The Fusemate logic programming system

DOI10.1007/978-3-030-79876-5_34MaRDI QIDQ2055893zbMATH OpenOpenAlexFDO

Authors Peter Baumgartner

Publication date 1 December 2021

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• The fuzzy logic programming language FASILL: design and implementation
• scientific article; zbMATH DE number 1890626
• scientific article; zbMATH DE number 1926616
• Logic Programming
• Fuzzy logic programming

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4094866 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1890628 (Why is no real title available?)
• A logic-based calculus of events
• A novel architecture for situation awareness systems
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• An introduction to description logic
• Efficient description logic reasoning in Prolog: The DLog system
• External sources of knowledge and value invention in logic programming
• Hypertableau reasoning for description logics
• LARS: a logic-based framework for analytic reasoning over streams
• Possible models computation and revision -- a practical approach
• 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)