Limited reasoning in first-order knowledge bases

DOI10.1016/0004-3702(94)90044-2zbMath0820.68117OpenAlexW1976904791MaRDI QIDQ1343837

Gerhard Lakemeyer

Publication date: 27 August 1995

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)90044-2

zbMATH Keywords

knowledge representationbeliefknowledge bases

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (7)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Limited reasoning in first-order knowledge bases ⋮ Limited reasoning in first-order knowledge bases with full introspection ⋮ Relevance from an epistemic perspective ⋮ Substructural epistemic logics ⋮ Approximate coherence-based reasoning ⋮ A computational model of belief

Cites Work

• Linear logic
• Foundations of a functional approach to knowledge representation
• Semantical considerations on nonmonotonic logic
• A decidable fragment of predicate calculus
• First degree entailments
• Hard problems for simple default logics
• Limited reasoning in first-order knowledge bases
• Intuitive semantics for first-degree entailments and `coupled trees'
• An overview of automated reasoning and related fields
• All I know: A study in autoepistemic logic
• Model-preference default theories
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• The Semantics of First Degree Entailment
• Taxonomic syntax for first order inference
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Limited reasoning in first-order knowledge bases