scientific article
From MaRDI portal
Publication:4028811
zbMath0765.68192MaRDI QIDQ4028811
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Two counterexamples related to Baker's approach to the frame problem ⋮ Lifschitz and Circumscription ⋮ The ramification problem in temporal databases: Concurrent execution ⋮ Nested abnormality theories ⋮ A circumscriptive calculus of events ⋮ Proving properties of states in the situation calculus
This page was built for publication:
