Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic

DOI10.1007/978-3-540-89982-2_12MaRDI QIDQ5504646zbMATH OpenOpenAlexFDO

Authors Marc Denecker, Joost Vennekens

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_12

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 549989
• The logic of knowledge bases
• A logic-algebraic tool for reasoning with knowledge-based systems
• A kind of logical compilation for knowledge bases
• scientific article; zbMATH DE number 1241674
• On the design of a natural logic system for knowledge bases
• Logic Programming in Knowledge Domains
• Logic Programming for Knowledge Representation
• Logic programming and knowledge representation
• scientific article; zbMATH DE number 4112075

Cites work

• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• A logic of nonmonotone inductive definitions
• Abductive Logic Programming
• Combining answer set programming with description logics for the semantic web
• Elements of finite model theory.
• Logic programming revisited: logic programs as inductive definitions
• Predicate-calculus-based logics for modeling and solving search problems
• Representing Causal Information About a Probabilistic Process
• The alternating fixpoint of logic programs with negation

Cited in

(5)

• A logic-algebraic tool for reasoning with knowledge-based systems
• scientific article; zbMATH DE number 549989 (Why is no real title available?)
• The KB paradigm and its application to interactive configuration
• Inference in the \(\mathrm{FO(C)}\) modelling language
• Knowledge-based support for adhesive selection

This page was built for publication: Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic

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