scientific article; zbMATH DE number 89002
From MaRDI portal
Publication:4016561
Recommendations
- Some contributions to the metatheory of the situation calculus
- The logical foundations of goal-regression planning in autonomous agents
- Frames in the space of situations
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- Causality as a key to the frame problem
Cited in
(91)- Linear temporal logic as an executable semantics for planning languages
- Inductive situation calculus
- Metatheory of actions: beyond consistency
- A logical formalization of the OCC theory of emotions
- Frames in the space of situations
- 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!
- The logical foundations of goal-regression planning in autonomous agents
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Probabilistic Horn abduction and Bayesian networks
- Proving properties of states in the situation calculus
- Representing action: indeterminacy and ramifications
- The independent choice logic for modelling multiple agents under uncertainty
- Causality as a key to the frame problem
- Ramification and causality
- ConGolog, a concurrent programming language based on the situation calculus
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- The qualification problem: A solution to the problem of anomalous models
- Belief revision and projection in the epistemic situation calculus
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- On the evaluation of agent behaviors
- Nested abnormality theories
- A circumscriptive calculus of events
- Modality and interrupts
- Default reasoning by deductive planning
- Mechanical verification on strategies
- Reasoning about time in the situation calculus
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Abduction to plausible causes: an event-based model of belief update
- Non-terminating processes in the situation calculus
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- Representing and planning with interacting actions and privacy
- Partially observable game-theoretic agent programming in Golog
- The aspect calculus
- A paraconsistent approach to actions in informationally complex environments
- The dramatic true story of the frame default
- Representing and reasoning about game strategies
- Asynchronous knowledge with hidden actions in the situation calculus
- Logic of temporal attribute implications
- Specifying and verifying interaction protocols in a temporal action logic
- Representations for robot knowledge in the \textsc{KnowRob} framework
- A general first-order solution to the ramification problem with cycles
- Event calculus and temporal action logics compared
- Existential assertions and quantum levels on the tree of the situation calculus
- Inference as doxastic agency. I: The basics of justification stit logic
- Indexical knowledge and robot action -- a logical account
- scientific article; zbMATH DE number 1664923 (Why is no real title available?)
- Bounded situation calculus action theories
- Alternating-time temporal announcement logic
- Making Golog norm compliant
- Some contributions to the metatheory of the situation calculus
- On the role of possibility in action execution and knowledge in the situation calculus
- Online belief tracking using regression for contingent planning
- Regression planning
- Logic-based agents and the frame problem: a case for progression
- Verifying Agents’ Conformance with Multiparty Protocols
- A Semantical Account of Progression in the Presence of Defaults
- Regression in modal logic
- A declarative agent programming language based on action theories
- ADL and the State-Transition Model of Action
- Planning under uncertainty as G<scp>OLOG</scp>programs
- Public announcements, public assignments and the complexity of their logic
- Functional completion
- Intelligent agents in the Situation Calculus: An application to user modelling
- Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
- scientific article; zbMATH DE number 1390349 (Why is no real title available?)
- scientific article; zbMATH DE number 7453108 (Why is no real title available?)
- Incorporating action models into the situation calculus
- Goal Change in the Situation Calculus
- 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
- The situation calculus: a case for modal logic
- Reasoning about action and change
- 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
- Practical solution techniques for first-order MDPs
- Tableau-based automata construction for dynamic linear time temporal logic
- Approximate postdictive reasoning with answer set programming
- Design and results of the Fifth Answer Set Programming Competition
- Property persistence in the situation calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016561)
