Cited in
(25)- Multi-Agent Programming
- An internal version of epistemic logic
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- scientific article; zbMATH DE number 1759733 (Why is no real title available?)
- Our Quest for the Holy Grail of Agent Verification
- On programming KARO agents
- Clausal Tableaux for Multimodal Logics of Belief
- Interactions between knowledge, action and commitment within agent dynamic logic
- GOLOG
- IMPACT
- AgentSpeak
- Jason
- METATEM
- JADE
- Jadex
- pdl-tableau
- Logic-based specification languages for intelligent software agents
- 3APL
- Where logic and agents meet
- Clausal resolution in a logic of rational agency
- Reasoning about emotional agents
- Multi-Agent Programming
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- A logical formalization of the OCC theory of emotions
- Using temporal logics of knowledge for specification and verification -- a case study
This page was built for software: KARO
