3APL
From MaRDI portal
Cited in
(38)- Algebraic Methodology and Software Technology
- A verification framework for agent programming with declarative goals
- Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5--7, 2000. Revised papers
- A Compositional Semantics of Plan Revision in Intelligent Agents
- Dynamic Logic for Plan Revision in Agent Programming
- scientific article; zbMATH DE number 1983307 (Why is no real title available?)
- Agents with emotions
- Semantics of plan revision in intelligent agents
- Computational Logic in Multi-Agent Systems
- BAAC: a Prolog system for action description and agents coordination
- 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?
- Prototyping 3APL in the Maude Term Rewriting Language
- A declarative agent programming language based on action theories
- Computational logic in multi-agent systems. 7th international workshop, CLIMA VII, Hakodate, Japan, May 8--9, 2006. Revised selected and invited papers
- ConGolog
- GOLOG
- IMPACT
- KARO
- AgentSpeak
- Jason
- 2APL
- METATEM
- simpleAPL
- MCK
- JADE
- Jadex
- pdl-tableau
- IndiGolog
- Parameterised verification for multi-agent systems
- BAAC
- ISLANDER
- Where logic and agents meet
- External Transaction Logic with Automatic Compensations
- Multi-Agent Programming
- Reasoning about plan revision in BDI agent programs
This page was built for software: 3APL
