KARO

swMATH3116MaRDI QIDQ15648FDOQ15648

Author name not available (Why is that?)

Described by source

• Formalizing potential of agents. The KARO framework revisited

Cited In (16)

• 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
• Reasoning about emotional agents
• Using temporal logics of knowledge for specification and verification -- a case study
• Title not available (Why is that?)
• An internal version of epistemic logic
• Where logic and agents meet

This page was built for software: KARO