The Fusemate logic programming system

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• External sources of knowledge and value invention in logic programming
• A logic-based calculus of events
• Efficient description logic reasoning in Prolog: The DLog system
• Hypertableau Reasoning for Description Logics
• 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
• An Introduction to Description Logic
• A Novel Architecture for Situation Awareness Systems
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)

Cited In (1)

• Combining event calculus and description logic reasoning via logic programming

This page was built for publication: The Fusemate logic programming system

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