3APL
From MaRDI portal
swMATH20859WikidataQ4636211 ScholiaQ4636211MaRDI QIDQ32673FDOQ32673
Author name not available (Why is that?)
Official website: http://www.cs.uu.nl/3apl/
Cited In (34)
- 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
- Algebraic Methodology and Software Technology
- A declarative agent programming language based on action theories
- AgentSpeak
- Jason
- 2APL
- METATEM
- simpleAPL
- MCK
- JADE
- Jadex
- pdl-tableau
- IndiGolog
- Prototyping 3APL in the Maude Term Rewriting Language
- BAAC
- ISLANDER
- 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
- 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
- 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
- How to decide what to do?
This page was built for software: 3APL
