Embedding circumscriptive theories in general disjunctive programs

DOI10.1007/3-540-59487-6_25MaRDI QIDQ5101461zbMATH OpenOpenAlexFDO

Authors Chiaki Sakama, Katsumi Inoue

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1090099
• Embedding prioritized circumscription in disjunctive logic programs
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 4106291
• Circumscribing embedded implications (without stratifications)

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4158607 (Why is no real title available?)
• scientific article; zbMATH DE number 4106291 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• scientific article; zbMATH DE number 67497 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 4185010 (Why is no real title available?)
• scientific article; zbMATH DE number 4185059 (Why is no real title available?)
• A circumscriptive theorem prover
• A logic of knowledge and justified assumption
• Abductive Logic Programming
• An algorithm to compute circumscription
• An efficient method for eliminating varying predicates from a circumscription
• Autoepistemic circumscription and logic programming
• Circumscription - a form of non-monotonic reasoning
• Closed-world databases and circumscription
• Eliminating the fixed predicates from a circumscription
• Linear resolution for consequence finding
• Minimal belief and negation as failure
• On the relationship between circumscription and negation as failure
• Saturation, nonmonotonic reasoning and the closed-world assumption

Cited in

(7)

• scientific article; zbMATH DE number 4106291 (Why is no real title available?)
• Reasoning under minimal upper bounds in propositional logic
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• Circumscribing DATALOG: expressive power and complexity
• Prioritized logic programming and its application to commonsense reasoning
• Embedding prioritized circumscription in disjunctive logic programs
• Logics in Artificial Intelligence

This page was built for publication: Embedding circumscriptive theories in general disjunctive programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101461)