The following pages link to GOLOG (Q14703):
Displaying 50 items.
- Regression and progression in stochastic domains (Q2303514) (← links)
- A model of three-way decisions for knowledge harnessing (Q2310297) (← links)
- Computing programs for generalized planning using a classical planner (Q2321292) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Innovations in robot mobility and control. (Q2369437) (← links)
- Extending movilog for supporting web services (Q2433297) (← links)
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming (Q2485090) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Reasoning about actions in dynamic linear time temporal logic (Q2716929) (← links)
- (Q2728910) (← links)
- (Q2728925) (← links)
- (Q2728926) (← links)
- Two approaches to efficient open-world reasoning (Q2734931) (← links)
- Functional strips: A more flexible language for planning and problem solving (Q2734937) (← links)
- Planning with natural actions in the situation calculus (Q2734938) (← links)
- Reactive Policies with Planning for Action Languages (Q2835891) (← links)
- Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions (Q2900515) (← links)
- Robot self-awareness: exploration of internal states (Q2908279) (← links)
- (Q2996156) (← links)
- On Representing Actions in Multi-agent Domains (Q3001922) (← links)
- (Q3045457) (← links)
- (Q3045460) (← links)
- The Cognitive Agents Specification Language and Verification Environment (Q3056334) (← links)
- An Investigation of Multi-Agent Planning in CLP (Q3084981) (← links)
- (Q3089165) (← links)
- Making Golog Norm Compliant (Q3092308) (← links)
- Some contributions to the metatheory of the situation calculus (Q3158539) (← links)
- Reinforcement learning for Golog programs with first-order state-abstraction (Q3165889) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882) (← links)
- (Q3367333) (← links)
- Integrating ASP into ROS for Reasoning in Robots (Q3449192) (← links)
- Reasoning About Actions Using Description Logics with General TBoxes (Q3533138) (← links)
- Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? (Q3578397) (← links)
- Ability in a Multi-agent Context: A Model in the Situation Calculus (Q3623961) (← links)
- Intention Recognition in the Situation Calculus and Probability Theory Frameworks (Q3623982) (← links)
- (Q3624165) (← links)
- (Q3632898) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- Occurrences and narratives as constraints in the branching structure of the situation calculus (Q4228074) (← links)
- (Q4247256) (← links)
- (Q4252264) (← links)
- (Q4256199) (← links)
- Rules as actions: A situation calculus semantics for logic programs (Q4352536) (← links)
- (Q4400802) (← links)
