Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1390358 (Why is no real title available?)
- scientific article; zbMATH DE number 5877344 (Why is no real title available?)
- scientific article; zbMATH DE number 1390363 (Why is no real title available?)
- scientific article; zbMATH DE number 1390365 (Why is no real title available?)
- Probabilistic reasoning about epistemic action narratives
- Computational Logic in Multi-Agent Systems
- Plan-based control of robotic agents. Improving the capabilities of autonomous robots
- Modeling biological networks by action languages via answer set programming
- scientific article; zbMATH DE number 1313603 (Why is no real title available?)
- scientific article; zbMATH DE number 1182730 (Why is no real title available?)
- Formalizing action and change in modal logic I: the frame problem
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Ability in a Multi-agent Context: A Model in the Situation Calculus
- Intention Recognition in the Situation Calculus and Probability Theory Frameworks
- Reactive computing as model generation
- scientific article; zbMATH DE number 5547960 (Why is no real title available?)
- Innovations in robot mobility and control.
- Partially observable game-theoretic agent programming in Golog
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
- scientific article; zbMATH DE number 1390356 (Why is no real title available?)
- Computational Logic in Multi-Agent Systems
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- scientific article; zbMATH DE number 2241924 (Why is no real title available?)
- Intelligent agents in the Situation Calculus: An application to user modelling
- Planning with natural actions in the situation calculus
- Occurrences and narratives as constraints in the branching structure of the situation calculus
- A formalization of programs in first-order logic with a discrete linear order
- A paraconsistent approach to actions in informationally complex environments
- John McCarthy's legacy
- Non-Markovian control in the Situation Calculus
- Logic-based specification languages for intelligent software agents
- scientific article; zbMATH DE number 1940394 (Why is no real title available?)
- scientific article; zbMATH DE number 1947499 (Why is no real title available?)
- scientific article; zbMATH DE number 1947503 (Why is no real title available?)
- Temporal representation and reasoning in artificial intelligence: Issues and approaches
- Ability and knowing how in the situation calculus
- FLUX: A logic programming method for reasoning agents
- A formal characterisation of Hamblin's action-state semantics
- Robot self-awareness: exploration of internal states
- On knowledge-based programming with sensing in the situation calculus
- Theoretical Computer Science
- Bounded situation calculus action theories
- scientific article; zbMATH DE number 1305385 (Why is no real title available?)
- Progression and verification of situation calculus agents with bounded beliefs
- KI 2004: Advances in Artificial Intelligence
- scientific article; zbMATH DE number 1884393 (Why is no real title available?)
- An epistemic approach to nondeterminism: believing in the simplest course of events
- Reasoning about conversation protocols in a logic-based agent language
- scientific article; zbMATH DE number 1882063 (Why is no real title available?)
- scientific article; zbMATH DE number 2243412 (Why is no real title available?)
- Formalizing narratives using nested circumscription
- Incremental execution of guarded theories
- Practical solution techniques for first-order MDPs
- Multivalued action languages with constraints in \(CLP(FD)\)
- Logic-based agents and the frame problem: a case for progression
- Planning under uncertainty as G<scp>OLOG</scp>programs
- A dynamic logic for acting, sensing, and planning
- Reasoning about interaction protocols for customizing web service selection and composition
- Logical omniscience and the cost of deliberation
- scientific article; zbMATH DE number 1302017 (Why is no real title available?)
- scientific article; zbMATH DE number 2044515 (Why is no real title available?)
- scientific article; zbMATH DE number 2043378 (Why is no real title available?)
- scientific article; zbMATH DE number 2000825 (Why is no real title available?)
- scientific article; zbMATH DE number 2088361 (Why is no real title available?)
- Knowledge, action, and the frame problem
- scientific article; zbMATH DE number 2088755 (Why is no real title available?)
- What robots can do: robot programs and effective achievability
- Property persistence in the situation calculus
- Reactive policies with planning for action languages
- A logical theory of localization
- Planning as tabled logic programming
- scientific article; zbMATH DE number 1390352 (Why is no real title available?)
- Programming rational agents in a modal action logic
- Verification of agent navigation in partially-known environments
- Reasoning about actions in dynamic linear time temporal logic
- scientific article; zbMATH DE number 2090520 (Why is no real title available?)
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- A description logic based situation calculus
- How to progress a database
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- Putting ABox updates into action
- Programming hierarchical task networks in the situation calculus
- Agent deliberation in an executable temporal framework
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- The situation calculus: a case for modal logic
- JavaLog
- pGOLOG
- ConGolog
- UEML
- IMPACT
- KARO
- STAN
- i*
- YACS
- DECAF
- CPlan
- AgentSpeak
- Jason
This page was built for software: GOLOG
