ConGolog
From MaRDI portal
Cited in
(66)- Prioritized goals and subgoals in a logical account of goal change -- a preliminary report
- A verification framework for agent programming with declarative goals
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- scientific article; zbMATH DE number 1884362 (Why is no real title available?)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- From knowledge based software engineering to knowware based software engineering
- cc-Golog - An Action Language with Continuous Change
- scientific article; zbMATH DE number 5877344 (Why is no real title available?)
- scientific article; zbMATH DE number 1969725 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- Incremental execution of guarded theories
- Logical omniscience and the cost of deliberation
- Bounded situation calculus action theories
- Semantics of plan revision in intelligent agents
- Computational Logic in Multi-Agent Systems
- Specifying and verifying systems of communicating agents in a temporal action logic
- On the verification of very expressive temporal properties of non-terminating Golog programs
- Making Golog norm compliant
- John McCarthy's legacy
- Planning under uncertainty as G<scp>OLOG</scp>programs
- scientific article; zbMATH DE number 1884393 (Why is no real title available?)
- EVOLP: Tranformation-Based Semantics
- The situation calculus: a case for modal logic
- Process algebra and constraint programming for modeling interactions in MAS
- Specifying and computing preferred plans
- A formal method to model early requirement of multi-agent system
- pGOLOG
- GOLOG
- LUPS
- EVOLP
- IMPACT
- KARO
- DECAF
- AgentSpeak
- Jason
- Moise+
- 2APL
- METATEM
- simpleAPL
- SNet
- PDDL
- Reasoning about interaction protocols for customizing web service selection and composition
- Agent planning programs
- Programming Multi-Agent Systems in AgentSpeak usingJason
- Graphplan
- JTLV
- MAS-SOC
- WADE
- PIPER
- Jadex
- IndiGolog
- Logic-based specification languages for intelligent software agents
- Snoop
- CoBoxes
- 3APL
- PPlan
- Yochan
- AmbientTalk
- On hierarchical task networks
- scientific article; zbMATH DE number 1305385 (Why is no real title available?)
- Non-terminating processes in the situation calculus
- scientific article; zbMATH DE number 2063028 (Why is no real title available?)
- Reasoning robots. The art and science of programming robotic agents
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- scientific article; zbMATH DE number 1629862 (Why is no real title available?)
- scientific article; zbMATH DE number 1629872 (Why is no real title available?)
This page was built for software: ConGolog