KARO

MaRDI QIDQ15648swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/3-540-45484-5_3

Described by source

• Formalizing potential of agents. The KARO framework revisited

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