The logic of knowledge bases

MaRDI QIDQ2756788zbMATH OpenFDO

Authors Hector J. Levesque, Gerhard Lakemeyer

Publication date 19 November 2001

zbMATH Keywords

knowledge-based system

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Database theory (68P15) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited in

(39)

• A kind of logical compilation for knowledge bases
• Belief revision and projection in the epistemic situation calculus
• Logical object as a basis of knowledge based systems
• A logic-algebraic tool for reasoning with knowledge-based systems
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• Inference-proof updating of a weakened view under the modification of input parameters
• Off-line reasoning for on-line efficiency: knowledge bases
• Encyclopedic models in artificial intelligence
• Multi-modal nonmonotonic logics of minimal knowledge
• Bounded situation calculus action theories
• The truth about defaults
• A PDL-Like Logic of Knowledge Acquisition
• Guarded hybrid knowledge bases
• A Semantical Account of Progression in the Presence of Defaults
• scientific article; zbMATH DE number 4092818 (Why is no real title available?)
• scientific article; zbMATH DE number 54050 (Why is no real title available?)
• scientific article; zbMATH DE number 108399 (Why is no real title available?)
• scientific article; zbMATH DE number 1241674 (Why is no real title available?)
• scientific article; zbMATH DE number 1305379 (Why is no real title available?)
• scientific article; zbMATH DE number 549989 (Why is no real title available?)
• scientific article; zbMATH DE number 1041117 (Why is no real title available?)
• Substructural epistemic logics
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 812533 (Why is no real title available?)
• scientific article; zbMATH DE number 825175 (Why is no real title available?)
• Logically automorphically equivalent knowledge bases models
• scientific article; zbMATH DE number 975711 (Why is no real title available?)
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• scientific article; zbMATH DE number 5227716 (Why is no real title available?)
• Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
• On the progression of belief
• The situation calculus: a case for modal logic
• Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
• Explicit and implicit belief in first degree entailment with strict implication
• A propositional encoding for first-order clausal entailment over infinitely many constants
• A framework for belief-based programs and their verification
• Learnability with PAC semantics for multi-agent beliefs
• Logical foundations for rule-based systems.
• Semantical considerations on multiagent only knowing

This page was built for publication: The logic of knowledge bases

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