Foundations of a functional approach to knowledge representation
From MaRDI portal
Publication:799390
DOI10.1016/0004-3702(84)90009-2zbMath0548.68090OpenAlexW2021693981MaRDI QIDQ799390
Publication date: 1984
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(84)90009-2
Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Information storage and retrieval of data (68P20)
Related Items
Minimal belief and negation as failure, Limited reasoning in first-order knowledge bases, A deontic approach to database integrity, The relationship between knowledge, belief, and certainty, Languages with self-reference. II: Knowledge, belief, and modality, The complexity of concept languages, The complexity of query evaluation in indefinite temporal constraint databases, Limited reasoning in first-order knowledge bases with full introspection, An epistemic operator for description logics, Belief revision and projection in the epistemic situation calculus, Modeling agents as qualitative decision makers, Is intractability of nonmonotonic reasoning a real drawback?, Reflections on the knowledge level, Indexical knowledge and robot action -- a logical account, Relating only knowing to minimal belief and negation as failure, Semantical considerations on multiagent only knowing, Unnamed Item, Abduction in economics: a conceptual framework and its model, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, On the decidability and complexity of reasoning about only knowing, Propositional belief base update and minimal change, A guide to completeness and complexity for modal logics of knowledge and belief, Defeasible inheritance: A lattice based approach, The Universe of Approximations, Towards a functional approach to modular ontologies using institutions, Abduction: a categorical characterization, All I know: A study in autoepistemic logic, Combining Multiple Knowledge Representation Technologies into Agent Programming Languages, On intuitionistic query answering in description bases, On first-order conditional logics, Querying temporal and spatial constraint networks in PTIME, EXPtime tableaux for ALC, Naming and identity in epistemic logic. II: A first-order logic for naming, Levesque's axiomatization of only knowing is incomplete, Belief as defeasible knowledge, Fuzzy autoepistemic logic and its relation to fuzzy answer set programming, The complexity of theory revision
Cites Work
