Frames in the space of situations
From MaRDI portal
Publication:1174513
DOI10.1016/0004-3702(90)90021-QzbMath0743.68122OpenAlexW1990764990MaRDI QIDQ1174513
Publication date: 25 June 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(90)90021-q
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Other applications of logic (03B80)
Related Items (16)
Deriving properties of belief update from theories of action ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Reasoning about actions with Temporal Answer Sets ⋮ On propositional definability ⋮ Applying the persistent set approach in temporal reasoning ⋮ Ramification and causality ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ A general first-order solution to the ramification problem with cycles ⋮ Propositional belief base update and minimal change ⋮ Reasoning about actions: steady versus stabilizing state constraints ⋮ Let's plan it deductively! ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Specifying causality in action theories: A default logic approach ⋮ A circumscriptive calculus of events ⋮ SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
Cites Work
This page was built for publication: Frames in the space of situations