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