The following pages link to ConGolog (Q14449):
Displaying 38 items.
- Bounded situation calculus action theories (Q286407) (← links)
- John McCarthy's legacy (Q543573) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Specifying and computing preferred plans (Q646542) (← links)
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L) (Q702110) (← links)
- Process algebra and constraint programming for modeling interactions in MAS (Q814899) (← links)
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- Agent planning programs (Q899440) (← links)
- From knowledge based software engineering to knowware based software engineering (Q954407) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Reasoning robots. The art and science of programming robotic agents (Q2487869) (← links)
- (Q2728910) (← links)
- (Q2728926) (← links)
- On Hierarchical Task Networks (Q2835901) (← links)
- (Q2996156) (← links)
- (Q2999222) (← links)
- Making Golog Norm Compliant (Q3092308) (← links)
- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report (Q3402244) (← links)
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? (Q3578397) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- (Q4252264) (← links)
- cc-Golog - An Action Language with Continuous Change (Q4408524) (← links)
- (Q4423028) (← links)
- (Q4460684) (← links)
- Planning under uncertainty as G<scp>OLOG</scp>programs (Q4467045) (← links)
- (Q4779807) (← links)
- (Q4798013) (← links)
- (Q4799264) (← links)
- Logic-based specification languages for intelligent software agents (Q4819010) (← links)
- (Q5392497) (← links)
- Programming Multi-Agent Systems in AgentSpeak usingJason (Q5433284) (← links)
- A formal method to model early requirement of multi-agent system (Q5485032) (← links)
- Computational Logic in Multi-Agent Systems (Q5706845) (← links)
- Incremental execution of guarded theories (Q5738916) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897330) (← links)
