The following pages link to (Q4779807):
Displayed 39 items.
- 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)
- A Fluent Calculus Semantics for ADL with Plan Constraints (Q3532463) (← links)
- Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- Regression in Modal Logic (Q3647207) (← links)
- Belief Change: from Situation Calculus to Modal Logic (Q3647208) (← links)
- Interpreting an action from what we perceive and what we expect (Q3647262) (← links)
- Practical reasoning about knowledge states for open world planning with sensing (Q3647290) (← 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)
- Some properties of system descriptions of (Q4583309) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- A Logical Representation of Extension Transformation (Q4977804) (← links)
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
- (Q5240213) (← links)
- CONTINGENCY AND KNOWING WHETHER (Q5247344) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)