GOLOG

swMATH2159MaRDI QIDQ14703FDOQ14703

Author name not available (Why is that?)

Described by source

• GOLOG: A logic programming language for dynamic domains

Cited In (only showing first 100 items - show all)

• Formalizing action and change in modal logic I: the frame problem
• Modeling biological networks by action languages via answer set programming
• Title not available (Why is that?)
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reactive computing as model generation
• Partially observable game-theoretic agent programming in Golog
• JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
• A formalization of programs in first-order logic with a discrete linear order
• John McCarthy's legacy
• Non-Markovian control in the Situation Calculus
• FLUX: A logic programming method for reasoning agents
• On knowledge-based programming with sensing in the situation calculus
• A formal characterisation of Hamblin's action-state semantics
• Temporal representation and reasoning in artificial intelligence: Issues and approaches
• Ability and knowing how in the situation calculus
• Theoretical Computer Science
• Title not available (Why is that?)
• KI 2004: Advances in Artificial Intelligence
• Bounded situation calculus action theories
• Progression and verification of situation calculus agents with bounded beliefs
• Integrating ASP into ROS for Reasoning in Robots
• Practical solution techniques for first-order MDPs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Knowledge, action, and the frame problem
• Title not available (Why is that?)
• Property persistence in the situation calculus
• A logical theory of localization
• Programming rational agents in a modal action logic
• Reasoning about actions in dynamic linear time temporal logic
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• A description logic based situation calculus
• How to progress a database
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
• Agent deliberation in an executable temporal framework
• Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
• The situation calculus: a case for modal logic
• The independent choice logic for modelling multiple agents under uncertainty
• Robot location estimation in the situation calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functional strips: A more flexible language for planning and problem solving
• Title not available (Why is that?)
• Reasoning about noisy sensors and effectors in the situation calculus
• SHIP - A Logic-Based Language and Tool to Program Smart Environments
• Remote Agent: to boldly go where no AI system has gone before
• Specification and Verification of Multi-Agent Systems
• Specifying and computing preferred plans
• Experiences with an interactive museum tour-guide robot
• Extending movilog for supporting web services
• PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS
• A Semantical Account of Progression in the Presence of Defaults
• Reasoning about plan revision in BDI agent programs
• A new representation and associated algorithms for generalized planning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Cognitive Agents Specification Language and Verification Environment
• ConGolog, a concurrent programming language based on the situation calculus
• Asynchronous knowledge with hidden actions in the situation calculus
• Reasoning About Actions Using Description Logics with General TBoxes
• Some contributions to the metatheory of the situation calculus
• Putting ABox Updates into Action
• Where logic and agents meet
• Rules as actions: A situation calculus semantics for logic programs
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• Two approaches to efficient open-world reasoning
• Heuristic planning: A declarative approach based on strategies for action selection
• Logic-based subsumption architecture
• Title not available (Why is that?)
• Computational Logic in Multi-Agent Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic reasoning about epistemic action narratives
• Plan-based control of robotic agents. Improving the capabilities of autonomous robots
• Ability in a Multi-agent Context: A Model in the Situation Calculus
• Intention Recognition in the Situation Calculus and Probability Theory Frameworks
• Innovations in robot mobility and control.
• Computational Logic in Multi-Agent Systems
• Intelligent agents in the Situation Calculus: An application to user modelling
• Title not available (Why is that?)
• Occurrences and narratives as constraints in the branching structure of the situation calculus
• Planning with natural actions in the situation calculus
• Logic-based specification languages for intelligent software agents
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A paraconsistent approach to actions in informationally complex environments
• Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions
• On Representing Actions in Multi-agent Domains
• Robot self-awareness: exploration of internal states
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: GOLOG