scientific article
From MaRDI portal
Publication:4016561
zbMath0755.68124MaRDI QIDQ4016561
Publication date: 16 January 1993
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 (77)
Logic of temporal attribute implications ⋮ Bounded situation calculus action theories ⋮ Practical solution techniques for first-order MDPs ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Modality and interrupts ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ Default reasoning by deductive planning ⋮ Mechanical verification on strategies ⋮ Online belief tracking using regression for contingent planning ⋮ Tableau-based automata construction for dynamic linear time temporal logic ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ Representations for robot knowledge in the \textsc{KnowRob} framework ⋮ Reasoning about time in the situation calculus ⋮ Public announcements, public assignments and the complexity of their logic ⋮ Functional completion ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Representing action: indeterminacy and ramifications ⋮ The independent choice logic for modelling multiple agents under uncertainty ⋮ The situation calculus: a case for modal logic ⋮ Indexical knowledge and robot action -- a logical account ⋮ Non-terminating processes in the situation calculus ⋮ Approximate postdictive reasoning with answer set programming ⋮ Ramification and causality ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Unnamed Item ⋮ Intelligent agents in the Situation Calculus: An application to user modelling ⋮ Event calculus and temporal action logics compared ⋮ Existential assertions and quantum levels on the tree of the situation calculus ⋮ Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) ⋮ On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison ⋮ John McCarthy's legacy ⋮ Non-Markovian control in the Situation Calculus ⋮ \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem ⋮ A unifying action calculus ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ Iterated belief change in the situation calculus ⋮ First-order logical filtering ⋮ Formalizing sensing actions -- a transition function based approach ⋮ Property persistence in the situation calculus ⋮ Representing and planning with interacting actions and privacy ⋮ Linear temporal logic as an executable semantics for planning languages ⋮ Partially observable game-theoretic agent programming in Golog ⋮ The aspect calculus ⋮ A Semantical Account of Progression in the Presence of Defaults ⋮ Alternating-Time Temporal Announcement Logic ⋮ Making Golog Norm Compliant ⋮ Verifying Agents’ Conformance with Multiparty Protocols ⋮ What robots can do: robot programs and effective achievability ⋮ Formalizing narratives using nested circumscription ⋮ Reasoning about actions: steady versus stabilizing state constraints ⋮ Let's plan it deductively! ⋮ Inductive situation calculus ⋮ Metatheory of actions: beyond consistency ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Planning under uncertainty as G<scp>OLOG</scp>programs ⋮ A logical formalization of the OCC theory of emotions ⋮ A Declarative Agent Programming Language Based on Action Theories ⋮ A paraconsistent approach to actions in informationally complex environments ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Incorporating Action Models into the Situation Calculus ⋮ The dramatic true story of the frame default ⋮ Representing and reasoning about game strategies ⋮ On the evaluation of agent behaviors ⋮ Nested abnormality theories ⋮ A circumscriptive calculus of events ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Probabilistic Horn abduction and Bayesian networks ⋮ Proving properties of states in the situation calculus ⋮ The qualification problem: A solution to the problem of anomalous models ⋮ Knowledge, action, and the frame problem ⋮ Nonmonotonic causal theories ⋮ Logic-based subsumption architecture ⋮ Heuristic planning: A declarative approach based on strategies for action selection ⋮ A causal approach to nonmonotonic reasoning
This page was built for publication:
