The Fusemate logic programming system

DOI10.1007/978-3-030-79876-5_34OpenAlexW3180158877MaRDI QIDQ2055893

Peter Baumgartner

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_34

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Combining event calculus and description logic reasoning via logic programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• LARS: a logic-based framework for analytic reasoning over streams
• Possible models computation and revision -- a practical approach
• External sources of knowledge and value invention in logic programming
• An Introduction to Description Logic
• Efficient description logic reasoning in Prolog: The DLog system
• A Novel Architecture for Situation Awareness Systems
• Hypertableau Reasoning for Description Logics
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)