Dynamic Consistency Checking in Goal-Directed Answer Set Programming

DOI10.1017/S1471068414000118zbMath1307.68020arXiv1405.3603MaRDI QIDQ2931249

Kyle Marple, Gopal Gupta

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.3603

zbMATH Keywords

answer set programmingconsistent query answeringgoal-directeddynamic consistency checking

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (9)

On dual programs in co-logic programming and the Horn \({\mu}\)-calculus ⋮ Synthesizing Imperative Code from Answer Set Programming Specifications ⋮ Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming ⋮ Query answering in resource-based answer set semantics ⋮ Unnamed Item ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study ⋮ On Dual Programs in Co-Logic Programming ⋮ The Seventh Answer Set Programming Competition: Design and Results

Cites Work

• Answer sets for consistent query answering in inconsistent databases

This page was built for publication: Dynamic Consistency Checking in Goal-Directed Answer Set Programming