2APL
From MaRDI portal
Software:18665
swMATH6573MaRDI QIDQ18665FDOQ18665
Author name not available (Why is that?)
Cited In (13)
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
- Title not available (Why is that?)
- Using Theorem Proving to Verify Properties of Agent Programs
- Bounded situation calculus action theories
- Symbolic execution of Reo circuits using constraint automata
- Agent planning programs
- Towards an environment interface standard for agent platforms
- Comparing three coordination models: Reo, ARC, and PBRD
- Logic and Agent Programming Languages
- Reasoning about plan revision in BDI agent programs
- Mental State Abduction of BDI-Based Agents
- A formal approach to the engineering of domain-specific distributed systems
- Reasoning about Agent Programs Using ATL-Like Logics
This page was built for software: 2APL
