3APL
From MaRDI portal
Software:32673
swMATH20859WikidataQ4636211 ScholiaQ4636211MaRDI QIDQ32673FDOQ32673
Author name not available (Why is that?)
Cited In (22)
- Dynamic Logic for Plan Revision in Agent Programming
- Semantics of plan revision in intelligent agents
- Parameterised verification for multi-agent systems
- A Compositional Semantics of Plan Revision in Intelligent Agents
- Title not available (Why is that?)
- 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
- Multi-Agent Programming
- BAAC: a Prolog system for action description and agents coordination
- Using Theorem Proving to Verify Properties of Agent Programs
- Algebraic Methodology and Software Technology
- Prototyping 3APL in the Maude Term Rewriting Language
- Computational Logic in Multi-Agent Systems
- A verification framework for agent programming with declarative goals
- External Transaction Logic with Automatic Compensations
- Reasoning about plan revision in BDI agent programs
- A Declarative Agent Programming Language Based on Action Theories
- Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5--7, 2000. Revised papers
- Where logic and agents meet
- ‘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
- How to decide what to do?
This page was built for software: 3APL
