Embedding circumscriptive theories in general disjunctive programs
From MaRDI portal
Publication:5101461
DOI10.1007/3-540-59487-6_25zbMath1496.68323MaRDI QIDQ5101461
Publication date: 30 August 2022
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59487-6_25
Related Items
Reasoning under minimal upper bounds in propositional logic, Circumscribing DATALOG: expressive power and complexity, Prioritized logic programming and its application to commonsense reasoning, Implementing Prioritized Circumscription by Computing Disjunctive Stable Models