scientific article; zbMATH DE number 3359806

Cited in

(only showing first 100 items - show all)

Linear temporal logic as an executable semantics for planning languages
Plans, actions and dialogues using linear logic
Inductive situation calculus
Metatheory of actions: beyond consistency
Towards a general theory of action and time
Non-standard algorithmic and dynamic logic
Closed-world databases and circumscription
Temporal logics in AI: semantical and ontological considerations
On conceptual model specification and verification
Planning for conjunctive goals
Reasoning about action. I: A possible worlds approach
Reasoning about action. II: The qualification problem
Problems in formal temporal reasoning
Nonmonotonic logic and temporal projection
Defaults and relevance in model-based reasoning
Planning parallel actions
A logic for default reasoning
Prolegomena to a theory of mechanized formal reasoning
Extended inference modes in reasoning by computer systems
Circumscription - a form of non-monotonic reasoning
Non-monotonic logic. I
Theory construction in psychology: The interpretation and integration of psychological data
Frames in the space of situations
Nonmonotonic reasoning in the framework of situation calculus
Maintaining mental models of agents who have existential misconceptions
The validity of Dempster-Shafer belief functions
A non-reified temporal logic
A guide to completeness and complexity for modal logics of knowledge and belief
A theory of abstraction
Semantic networks
The ECO family
Subsumption computed algebraically
Retrieval from context trees
A logical theory of robot problem solving
Miracles in formal theories of action
What robots can do: robot programs and effective achievability
Formalizing narratives using nested circumscription
The expressive power of circumscription
Reasoning about actions: steady versus stabilizing state constraints
Let's plan it deductively!
Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
The logical foundations of goal-regression planning in autonomous agents
Network languages for complex systems
A linguistic approach to geometric reasoning
The inevitability of inconsistent abstract spaces
Probabilistic Horn abduction and Bayesian networks
Multilanguage hierarchical logics, or: How we can do without modal logics
Proving properties of states in the situation calculus
Translations of network languages
Time representation: A taxonomy of temporal models
Hybrid reasoning using universal attachment
Two counterexamples related to Baker's approach to the frame problem
Motivated action theory: A formal theory of causal reasoning
An overview of transaction logic
Issues in commonsense set theory
Network languages for intelligent control
Network languages for concurrent multiagent systems
Dynamical temporal interpretation contexts for temporal abstraction
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
Dynamic reasoning with qualified syllogisms
A framework for knowledge-based temporal abstraction
Introduction to computability logic
The Spatial Semantic Hierarchy
Specifying causality in action theories: A default logic approach
Stochastic dynamic programming with factored representations
ConGolog, a concurrent programming language based on the situation calculus
Understanding dynamic scenes
Logic programming and knowledge representation---The A-Prolog perspective
Ordered binary decision diagrams as knowledge-bases
The qualification problem: A solution to the problem of anomalous models
A comparison of point-based approaches to qualitative temporal reasoning
Process algebra and conditional composition
Autonomous agents modelling other agents: a comprehensive survey and open problems
Resolving distributed knowledge
First-order -calculus over generic transition systems and applications to the situation calculus
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
Local logics, non-monotonicity and defeasible argumentation
Generating plans in linear logic. I: Actions as proofs
Generating plans in linear logic. II: A geometry of conjunctive actions
Relation-based evidential reasoning
Planning in a hierarchy of abstraction spaces
The logic of tasks
Horn approximations of empirical data
A circumscriptive calculus of events
In search of a ``true logic of knowledge: The nonmonotonic perspective
An information-based theory of conditionals
The guarded fragment with transitive guards
Reasoning with ordered binary decision diagrams
Default reasoning by deductive planning
Mechanical verification on strategies
Belief revision, conditional logic and nonmonotonic reasoning
Reasoning about time in the situation calculus
Applying the persistent set approach in temporal reasoning
Representing diagnosis knowledge
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Judgment aggregation in nonmonotonic logic
A probabilistic interval-based event calculus for activity recognition

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 Q5633670)