ConGolog
From MaRDI portal
Software:14449
swMATH1801MaRDI QIDQ14449FDOQ14449
Author name not available (Why is that?)
Cited In (38)
- From knowledge based software engineering to knowware based software engineering
- Title not available (Why is that?)
- Semantics of plan revision in intelligent agents
- Title not available (Why is that?)
- Logic-based specification languages for intelligent software agents
- John McCarthy's legacy
- Title not available (Why is that?)
- Bounded situation calculus action theories
- Title not available (Why is that?)
- Making Golog Norm Compliant
- Incremental execution of guarded theories
- cc-Golog - An Action Language with Continuous Change
- Planning under uncertainty as G<scp>OLOG</scp>programs
- AI*IA 2003: Advances in Artificial Intelligence
- Reasoning about interaction protocols for customizing web service selection and composition
- Title not available (Why is that?)
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The situation calculus: a case for modal logic
- Reasoning robots. The art and science of programming robotic agents
- Agent planning programs
- Programming Multi-Agent Systems in AgentSpeak usingJason
- Computational Logic in Multi-Agent Systems
- Title not available (Why is that?)
- On Hierarchical Task Networks
- A verification framework for agent programming with declarative goals
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- Specifying and computing preferred plans
- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report
- Non-terminating processes in the situation calculus
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- EVOLP: Tranformation-Based Semantics
- Process algebra and constraint programming for modeling interactions in MAS
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formal method to model early requirement of multi-agent system
This page was built for software: ConGolog