Cited in
(25)- A logical formalization of the OCC theory of emotions
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- 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
- GOLOG
- IMPACT
- AgentSpeak
- Jason
- METATEM
- JADE
- Jadex
- pdl-tableau
- 3APL
- Multi-Agent Programming
- Using temporal logics of knowledge for specification and verification -- a case study
- Reasoning about emotional agents
- scientific article; zbMATH DE number 1759733 (Why is no real title available?)
- An internal version of epistemic logic
- Where logic and agents meet
This page was built for software: KARO
