Search Results - "Logic programming] Terms"

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Cover Image

    Justifying answer sets using argumentation by SCHULZ, CLAUDIA, TONI, FRANCESCA

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.01.2016
    Published in Theory and practice of logic programming (01.01.2016)
    “… using arguments and attacks between them, whereas ABA-Based Answer Set Justifications express the same justification structure in logic programming terms, that is using…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Beyond Logic Programming for Legal Reasoning by Ha-Thanh Nguyen, Toni, Francesca, Stathis, Kostas, Satoh, Ken

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 29.06.2023
    Published in arXiv.org (29.06.2023)
    “…Logic programming has long being advocated for legal reasoning, and several approaches have been put forward relying upon explicit representation of the law in logic programming terms…”
    Get full text
    Paper
    Save to List
    Saved in:
  3. 3
    Cover Image

    Justifying Answer Sets using Argumentation by Schulz, Claudia, Toni, Francesca

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 02.12.2014
    Published in arXiv.org (02.12.2014)
    “… using arguments and attacks between them, whereas ABA-Based Answer Set Justifications express the same justification structure in logic programming terms, that is using…”
    Get full text
    Paper
    Save to List
    Saved in:
  4. 4
    Cover Image

    Combining Forward and Backward Abstract Interpretation of Horn Clauses by Bakhirkin, Alexey, Monniaux, David

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 07.08.2017
    Published in arXiv.org (07.08.2017)
    “… The current state-of-the-art technique for combining forward (bottom-up, in logic programming terms) and backward (top-down…”
    Get full text
    Paper
    Save to List
    Saved in:
  5. 5
    Cover Image

    Equivariant Unification by Cheney, James

    ISSN: 0168-7433, 1573-0670
    Published: Dordrecht Springer Netherlands 01.10.2010
    Published in Journal of automated reasoning (01.10.2010)
    “… It serves as the basis of logic programming, term rewriting, and automated theorem proving techniques that support reasoning about languages with name-binding…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    Parallel virtual machine for functional logic programming by Alqaddoumi, Abdulla

    ISBN: 9781339970981, 1339970988
    Published: ProQuest Dissertations & Theses 01.01.2016
    “…Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming. Functional…”
    Get full text
    Dissertation
    Save to List
    Saved in:

Search Tools: