The following pages link to (Q4779807):
Displayed 50 items.
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- An epistemic approach to nondeterminism: believing in the simplest course of events (Q2009766) (← links)
- A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Some thoughts on knowledge-enhanced machine learning (Q2237522) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- On termination of transactions over semantic document models (Q2307928) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Position systems in dynamic domains (Q2341258) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- On propositional definability (Q2389643) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Pouring liquids: a study in commonsense physical reasoning (Q2389667) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Commonsense reasoning about containers using radically incomplete information (Q2407460) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- SLAP: specification logic of actions with probability (Q2447174) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Existential assertions and quantum levels on the tree of the situation calculus (Q2457629) (← links)
- Knowledge and communication: A first-order theory (Q2457657) (← links)
- Analysis of meeting protocols by formalisation, simulation, and verification (Q2463822) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Attacking Fair-Exchange Protocols (Q2841217) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- A New Incarnation of Action Language H (Q2900548) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- Action Theories over Generalized Databases with Equality Constraints (Q2938514) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
- ALPprolog – A new logic programming method for dynamic domains (Q3087435) (← links)
- Making Golog Norm Compliant (Q3092308) (← links)
- PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882) (← links)
- On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus (Q3305122) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- SIMULATION AND ANALYSIS OF ADAPTIVE AGENTS: AN INTEGRATIVE MODELING APPROACH (Q3498227) (← links)
- Complexity of Planning in Action Formalisms Based on Description Logics (Q3498484) (← links)