Conservative query normalization on parallel circumscription

DOI10.1007/3-540-58156-1_21zbMath1433.68552OpenAlexW1592349378MaRDI QIDQ5210781

Kouji Iwanuma

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_21

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Reconsideration of circumscriptive induction with pointwise circumscription, An extension of pointwise circumscription

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algorithm to compute circumscription
• A circumscriptive theorem prover
• Circumscription - a form of non-monotonic reasoning
• Some computational aspects of circumscription