The following pages link to 3APL (Q32673):
Displayed 22 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Reasoning about plan revision in BDI agent programs (Q655407) (← links)
- Where logic and agents meet (Q657584) (← links)
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- How to decide what to do? (Q1885765) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Computational logic in multi-agent systems. 7th international workshop, CLIMA VII, Hakodate, Japan, May 8--9, 2006. Revised selected and invited papers (Q2517768) (← links)
- External Transaction Logic with Automatic Compensations (Q2851973) (← links)
- (Q2909158) (← links)
- Using Theorem Proving to Verify Properties of Agent Programs (Q3056325) (← links)
- Agents with emotions (Q3065306) (← links)
- Dynamic Logic for Plan Revision in Agent Programming (Q3430950) (← links)
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations (Q3602942) (← links)
- Language Constructs for Multi-agent Programming (Q3602945) (← links)
- A Compositional Semantics of Plan Revision in Intelligent Agents (Q3623945) (← links)
- A Declarative Agent Programming Language Based on Action Theories (Q3655203) (← links)
- (Q4427303) (← links)
- Prototyping 3APL in the Maude Term Rewriting Language (Q5301998) (← links)
- Algebraic Methodology and Software Technology (Q5312998) (← links)
- Multi-Agent Programming (Q5699293) (← links)
- Computational Logic in Multi-Agent Systems (Q5706845) (← links)
- Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5--7, 2000. Revised papers (Q5952654) (← links)