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

DOI10.1007/978-3-540-89982-2_12zbMath1185.68697OpenAlexW1816916218MaRDI QIDQ5504646

Joost Vennekens, Marc Denecker

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

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

Related Items (2)

The KB paradigm and its application to interactive configuration ⋮ Knowledge-based support for adhesive selection

Cites Work

• Unnamed Item
• The alternating fixpoint of logic programs with negation
• Elements of finite model theory.
• Combining answer set programming with description logics for the semantic web
• Representing Causal Information About a Probabilistic Process
• Predicate-calculus-based logics for modeling and solving search problems
• A logic of nonmonotone inductive definitions
• Abductive Logic Programming
• Logic programming revisited

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