3APL

swMATH20859WikidataQ4636211MaRDI QIDQ32673

No author found.

Related Items (22)

Semantics of plan revision in intelligent agents ⋮ How to decide what to do? ⋮ A verification framework for agent programming with declarative goals ⋮ Prototyping 3APL in the Maude Term Rewriting Language ⋮ Unnamed Item ⋮ Multi-Agent Programming ⋮ Reasoning about plan revision in BDI agent programs ⋮ Where logic and agents meet ⋮ Computational Logic in Multi-Agent Systems ⋮ Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5--7, 2000. Revised papers ⋮ Using Theorem Proving to Verify Properties of Agent Programs ⋮ ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations ⋮ Language Constructs for Multi-agent Programming ⋮ Agents with emotions ⋮ Computational logic in multi-agent systems. 7th international workshop, CLIMA VII, Hakodate, Japan, May 8--9, 2006. Revised selected and invited papers ⋮ A Compositional Semantics of Plan Revision in Intelligent Agents ⋮ A Declarative Agent Programming Language Based on Action Theories ⋮ Algebraic Methodology and Software Technology ⋮ External Transaction Logic with Automatic Compensations ⋮ BAAC: A Prolog System for Action Description and Agents Coordination ⋮ Dynamic Logic for Plan Revision in Agent Programming ⋮ Parameterised verification for multi-agent systems

This page was built for software: 3APL