Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
DOI10.1007/978-3-540-89982-2_12zbMATH Open1185.68697OpenAlexW1816916218MaRDI QIDQ5504646FDOQ5504646
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
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
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cites Work
- Combining answer set programming with description logics for the semantic web
- The alternating fixpoint of logic programs with negation
- Abductive Logic Programming
- Elements of finite model theory.
- Title not available (Why is that?)
- Predicate-calculus-based logics for modeling and solving search problems
- Representing Causal Information About a Probabilistic Process
- Logic programming revisited: logic programs as inductive definitions
- A logic of nonmonotone inductive definitions
Cited In (5)
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)
