scientific article
From MaRDI portal
Publication:3198889
zbMath0713.68063MaRDI QIDQ3198889
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Two counterexamples related to Baker's approach to the frame problem ⋮ Circumscriptive semantics for updating knowledge bases ⋮ Event calculus and temporal action logics compared ⋮ Nonmonotonic reasoning in the framework of situation calculus ⋮ Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) ⋮ Formalizing narratives using nested circumscription ⋮ Value minimization in circumscription ⋮ Abductive reasoning through filtering ⋮ Nested abnormality theories ⋮ A circumscriptive calculus of events
This page was built for publication:
