2APL
From MaRDI portal
swMATH6573MaRDI QIDQ18665FDOQ18665
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1355951
Cited In (36)
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
- Bounded situation calculus action theories
- Symbolic execution of Reo circuits using constraint automata
- Computational models for normative multi-agent systems
- AgentSpeak
- Jason
- Moise+
- METATEM
- simpleAPL
- Logic and agent programming languages
- Reoservice
- JTLV
- Linda
- Viptos
- SCELlight
- CArtAgO
- JADE
- Jadex
- pdl-tableau
- TRAVOS
- IndiGolog
- Agent planning programs
- 3APL
- ISLANDER
- Society Visualiser
- KQML
- Towards an environment interface standard for agent platforms
- Elevator
- UTBot
- ReSpecT
- Reasoning about agent programs using ATL-like logics
- Comparing three coordination models: Reo, ARC, and PBRD
- Reasoning about plan revision in BDI agent programs
- Mental State Abduction of BDI-Based Agents
- Using theorem proving to verify properties of agent programs
- A formal approach to the engineering of domain-specific distributed systems
This page was built for software: 2APL
