General domain circumscription and its first-order reduction

DOI10.1007/3-540-61313-7_65MaRDI QIDQ4632291zbMATH OpenOpenAlexFDO

Authors Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas

Publication date 29 April 2019

Published in Practical Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61313-7_65

zbMATH Keywords

existential quantifierfunction symbolpredicate symbolpredicate variableuniversal theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1337728
• scientific article; zbMATH DE number 994057
• Computing circumscription revisited: A reduction algorithm
• Some computational aspects of circumscription
• scientific article; zbMATH DE number 67498

Cites work

• A tableau prover for domain minimization
• Computing circumscription revisited: A reduction algorithm
• First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
• General domain circumscription and its first-order reduction
• scientific article; zbMATH DE number 994057 (Why is no real title available?)
• scientific article; zbMATH DE number 1303431 (Why is no real title available?)
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• The mathematics of non-monotonic reasoning
• Untersuchungen über das Eliminationsproblem der mathematischen Logik

Cited in

(3)

• scientific article; zbMATH DE number 994057 (Why is no real title available?)
• scientific article; zbMATH DE number 1337728 (Why is no real title available?)
• General domain circumscription and its first-order reduction

Describes a project that uses

Uses Software

• MiniTab

This page was built for publication: General domain circumscription and its first-order reduction

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