Pages that link to "Item:Q1583234"
From MaRDI portal
The following pages link to ConGolog, a concurrent programming language based on the situation calculus (Q1583234):
Displaying 18 items.
- ConGolog (Q14449) (← links)
- 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)
- 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)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← 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)
- Making Golog Norm Compliant (Q3092308) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- Planning under uncertainty as G<scp>OLOG</scp>programs (Q4467045) (← links)
- (Q5020586) (← links)
- Autonomous agents coordination: Action languages meet CLP() and Linda (Q5299582) (← links)
