The Fusemate logic programming system
From MaRDI portal
Publication:2055893
DOI10.1007/978-3-030-79876-5_34OpenAlexW3180158877MaRDI QIDQ2055893FDOQ2055893
Publication date: 1 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_34
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)
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)