scientific article
From MaRDI portal
Publication:3807179
zbMath0658.03009MaRDI QIDQ3807179
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nonmonotonic logicdecision procedureanalytic tableauxbeliefs on an ideally rational agent who reflects on his own beliefs
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (6)
Tableau-based characterization and theorem proving for default logic ⋮ A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ A sequent calculus for skeptical Default Logic ⋮ Sequent calculi for default and autoepistemic logics ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ A uniform tableaux method for nonmonotonic modal logics
This page was built for publication:
