The Fusemate logic programming system

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

Authors: Peter Baumgartner 

Publication date: 1 December 2021

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

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

Mathematics Subject Classification ID

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

Cites Work

• External sources of knowledge and value invention in logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic-based calculus of events
• Efficient description logic reasoning in Prolog: The DLog system
• Hypertableau reasoning for description logics
• Title not available (Why is that?)
• 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)