ConGolog
From MaRDI portal
swMATH1801MaRDI QIDQ14449FDOQ14449
Author name not available (Why is that?)
Official website: http://www.cs.toronto.edu/cogrobo/main/systems/
Cited In (61)
- 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?)
- Incremental execution of guarded theories
- cc-Golog - An Action Language with Continuous Change
- Planning under uncertainty as G<scp>OLOG</scp>programs
- Logical omniscience and the cost of deliberation
- Reasoning about interaction protocols for customizing web service selection and composition
- On hierarchical task networks
- Prioritized goals and subgoals in a logical account of goal change -- a preliminary report
- 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?)
- Specifying and verifying systems of communicating agents in a temporal action logic
- The situation calculus: a case for modal logic
- LUPS
- DECAF
- AgentSpeak
- Jason
- Moise+
- 2APL
- METATEM
- simpleAPL
- SNet
- PDDL
- Reasoning robots. The art and science of programming robotic agents
- Graphplan
- JTLV
- MAS-SOC
- WADE
- PIPER
- Jadex
- IndiGolog
- Agent planning programs
- Snoop
- CoBoxes
- 3APL
- PPlan
- Yochan
- AmbientTalk
- Programming Multi-Agent Systems in AgentSpeak usingJason
- Computational Logic in Multi-Agent Systems
- Title not available (Why is that?)
- A verification framework for agent programming with declarative goals
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- On the verification of very expressive temporal properties of non-terminating Golog programs
- Specifying and computing preferred plans
- Non-terminating processes in the situation calculus
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- Making Golog norm compliant
- EVOLP: Tranformation-Based Semantics
- Process algebra and constraint programming for modeling interactions in MAS
- Title not available (Why is that?)
- A formal method to model early requirement of multi-agent system
This page was built for software: ConGolog
