2APL
From MaRDI portal
Software:18665
No author found.
Related Items (13)
Bounded situation calculus action theories ⋮ Reasoning about Agent Programs Using ATL-Like Logics ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Unnamed Item ⋮ Agent planning programs ⋮ Symbolic execution of Reo circuits using constraint automata ⋮ Reasoning about plan revision in BDI agent programs ⋮ An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals ⋮ 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 ⋮ Towards an environment interface standard for agent platforms ⋮ Logic and Agent Programming Languages
This page was built for software: 2APL
