The following pages link to KARO (Q15648):
Displayed 16 items.
- Where logic and agents meet (Q657584) (← links)
- An internal version of epistemic logic (Q965903) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- On programming KARO agents (Q2716927) (← links)
- Clausal Tableaux for Multimodal Logics of Belief (Q3397155) (← links)
- Reasoning about emotional agents (Q3422185) (← links)
- Multi-Agent Programming (Q3598198) (← links)
- Reasoning About Epistemic States of Agents by Modal Logic Programming (Q3623962) (← links)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (Q4467046) (← links)
- (Q4536748) (← links)
- Logic-based specification languages for intelligent software agents (Q4819010) (← links)
- Our Quest for the Holy Grail of Agent Verification (Q5434474) (← links)
- Multi-Agent Programming (Q5699293) (← links)