The following pages link to (Q4016561):
Displaying 30 items.
- Representing and planning with interacting actions and privacy (Q2287194) (← links)
- Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)
- The aspect calculus (Q2305430) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Logic of temporal attribute implications (Q2364366) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Existential assertions and quantum levels on the tree of the situation calculus (Q2457629) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- Indexical knowledge and robot action -- a logical account (Q2675278) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- Making Golog Norm Compliant (Q3092308) (← 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)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- A Declarative Agent Programming Language Based on Action Theories (Q3655203) (← links)
- Planning under uncertainty as G<scp>OLOG</scp>programs (Q4467045) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- Functional completion (Q4583310) (← links)
- Intelligent agents in the Situation Calculus: An application to user modelling (Q4632293) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- (Q4934641) (← links)
- (Q5020549) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)
- Reasoning about action and change (Q6602230) (← links)
