Cited in
(41)- Symbolic execution of Reo circuits using constraint automata
- Comparing three coordination models: Reo, ARC, and PBRD
- Towards an environment interface standard for agent platforms
- Bounded situation calculus action theories
- Using theorem proving to verify properties of agent programs
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
- Reasoning about agent programs using ATL-like logics
- Klava
- ConGolog
- MetaKlaim
- GOLOG
- KARO
- AgentSpeak
- Jason
- Moise+
- METATEM
- simpleAPL
- A formal approach to the engineering of domain-specific distributed systems
- Agent planning programs
- Reoservice
- JTLV
- Linda
- Viptos
- SCELlight
- CArtAgO
- JADE
- Jadex
- pdl-tableau
- TRAVOS
- IndiGolog
- Computational models for normative multi-agent systems
- 3APL
- ISLANDER
- Society Visualiser
- KQML
- Elevator
- UTBot
- ReSpecT
- Mental State Abduction of BDI-Based Agents
- Reasoning about plan revision in BDI agent programs
- Logic and agent programming languages
This page was built for software: 2APL
