scientific article
From MaRDI portal
Publication:3703315
zbMath0581.68067MaRDI QIDQ3703315
Joseph Y. Halpern, Yoram Moses
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Theory of operating systems (68N25)
Related Items (21)
Minimal knowledge problem: A new approach ⋮ Minimal belief and negation as failure ⋮ Knowledge, belief and time ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic ⋮ Efficient reasoning about rich temporal domains ⋮ Honesty in partial logic ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ An epistemic operator for description logics ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Impediments to universal preference-based default theories ⋮ On the decidability and complexity of reasoning about only knowing ⋮ Nonmonotonicity and the scope of reasoning ⋮ A logic of knowledge and justified assumption ⋮ All I know: A study in autoepistemic logic ⋮ Minimal temporal epistemic logic ⋮ A uniform tableaux method for nonmonotonic modal logics ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ Adding a temporal dimension to a logic system ⋮ A simple logic for reasoning about incomplete knowledge
This page was built for publication:
