swMATH3116MaRDI QIDQ15648FDOQ15648
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/3-540-45484-5_3
Cited In (23)
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- A logical formalization of the OCC theory of emotions
- Clausal resolution in a logic of rational agency
- Clausal Tableaux for Multimodal Logics of Belief
- Logic-based specification languages for intelligent software agents
- Multi-Agent Programming
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- Our Quest for the Holy Grail of Agent Verification
- Interactions between knowledge, action and commitment within agent dynamic logic
- On programming KARO agents
- Multi-Agent Programming
- AgentSpeak
- Jason
- METATEM
- Reasoning about emotional agents
- Using temporal logics of knowledge for specification and verification -- a case study
- JADE
- Jadex
- pdl-tableau
- 3APL
- Title not available (Why is that?)
- An internal version of epistemic logic
- Where logic and agents meet
This page was built for software: KARO
