Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207zbMath1152.68639OpenAlexW4376598721MaRDI QIDQ5473958

Thomas Eiter

Publication date: 23 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

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

Related Items

Cautious reasoning in ASP via minimal models and unsatisfiable cores, A graded approach to database repair by context-aware distance semantics, Synthesizing Imperative Code from Answer Set Programming Specifications, Abstract Solvers for Computing Cautious Consequences of ASP programs, Unnamed Item, Distance semantics for database repair, Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study

Uses Software

• Cmodels