GOLOG
From MaRDI portal
Software:14703
No author found.
Related Items (only showing first 100 items - show all)
A dynamic logic for acting, sensing, and planning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Conceptual representations of actions for autonomous robots ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Efficient Open World Reasoning for Planning ⋮ Logic-based specification languages for intelligent software agents ⋮ Advances in Artificial Intelligence – SBIA 2004 ⋮ Advances in Artificial Intelligence – SBIA 2004 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Planning as tabled logic programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theoretical Computer Science ⋮ FLUX: A logic programming method for reasoning agents ⋮ Intelligent agents in the Situation Calculus: An application to user modelling ⋮ Computational Logic in Multi-Agent Systems ⋮ Computational Logic in Multi-Agent Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On knowledge-based programming with sensing in the situation calculus ⋮ Incremental execution of guarded theories ⋮ SHIP - A Logic-Based Language and Tool to Program Smart Environments ⋮ Formalizing action and change in modal logic I: the frame problem ⋮ KI 2004: Advances in Artificial Intelligence ⋮ Unnamed Item ⋮ KI 2003: Advances in Artificial Intelligence ⋮ AI*IA 2003: Advances in Artificial Intelligence ⋮ Planning under uncertainty as G<scp>OLOG</scp>programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Logic Programming ⋮ Reactive computing as model generation ⋮ A formalization of programs in first-order logic with a discrete linear order ⋮ Some contributions to the metatheory of the situation calculus ⋮ Bounded situation calculus action theories ⋮ Reinforcement learning for Golog programs with first-order state-abstraction ⋮ Innovations in robot mobility and control. ⋮ Specification and Verification of Multi-Agent Systems ⋮ Practical solution techniques for first-order MDPs ⋮ Integrating ASP into ROS for Reasoning in Robots ⋮ Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions ⋮ Unnamed Item ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ A logical theory of localization ⋮ Unnamed Item ⋮ Verification of agent navigation in partially-known environments ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reasoning about interaction protocols for customizing web service selection and composition ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Programming rational agents in a modal action logic ⋮ On the semantics of deliberation in IndiGolog -- from theory to implementation ⋮ Scheduling in the situation calculus: A case study ⋮ A description logic based situation calculus ⋮ Knowledge-based programs as building blocks for planning ⋮ The independent choice logic for modelling multiple agents under uncertainty ⋮ The situation calculus: a case for modal logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS ⋮ Non-terminating processes in the situation calculus ⋮ Proof systems for planning under 0-approximation semantics ⋮ Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning ⋮ How to progress a database ⋮ Agent planning programs ⋮ Robot location estimation in the situation calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Extending movilog for supporting web services ⋮ Unnamed Item ⋮ Probabilistic reasoning about epistemic action narratives
This page was built for software: GOLOG
