GOLOG
From MaRDI portal
Cited in
(only showing first 100 items - show all)- What robots can do: robot programs and effective achievability
- Formalizing narratives using nested circumscription
- Remote Agent: to boldly go where no AI system has gone before
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Astrahl
- Scheduling in the situation calculus: A case study
- The independent choice logic for modelling multiple agents under uncertainty
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
- How to progress a database
- JavaLog
- pGOLOG
- ConGolog
- UEML
- IMPACT
- KARO
- ConGolog, a concurrent programming language based on the situation calculus
- STAN
- Temporal representation and reasoning in artificial intelligence: Issues and approaches
- Reasoning about noisy sensors and effectors in the situation calculus
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- YACS
- i*
- DECAF
- CPlan
- Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
- AgentSpeak
- Jason
- Moise+
- Ability and knowing how in the situation calculus
- Plan-based control of robotic agents. Improving the capabilities of autonomous robots
- METATEM
- 2APL
- simpleAPL
- SNet
- PDDL
- Graphplan
- FODD-Planner
- FluCaP
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Experiences with an interactive museum tour-guide robot
- An epistemic approach to nondeterminism: believing in the simplest course of events
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- JTLV
- WADE
- Verification of agent navigation in partially-known environments
- MCMAS
- Verics
- STeLP
- CCalc
- Non-terminating processes in the situation calculus
- Probabilistic reasoning about epistemic action narratives
- NMRDPP
- Partially observable game-theoretic agent programming in Golog
- Regression and progression in stochastic domains
- A model of three-way decisions for knowledge harnessing
- Computing programs for generalized planning using a classical planner
- A paraconsistent approach to actions in informationally complex environments
- Asynchronous knowledge with hidden actions in the situation calculus
- JADE
- Innovations in robot mobility and control.
- pdl-tableau
- Extending movilog for supporting web services
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- ANML
- SHIP
- A formal characterisation of Hamblin's action-state semantics
- Reactive computing as model generation
- Knowledge-based programs as building blocks for planning
- Reasoning about actions in dynamic linear time temporal logic
- scientific article; zbMATH DE number 1629862 (Why is no real title available?)
- scientific article; zbMATH DE number 1629871 (Why is no real title available?)
- scientific article; zbMATH DE number 1629872 (Why is no real title available?)
- Two approaches to efficient open-world reasoning
- Functional strips: A more flexible language for planning and problem solving
- Planning with natural actions in the situation calculus
- A formalization of programs in first-order logic with a discrete linear order
- Reactive policies with planning for action languages
- Bounded situation calculus action theories
- IndiGolog
- PREGO
- Extending action language \(\mathcal{C}+\) by formalizing composite actions
- Robot self-awareness: exploration of internal states
- SHOP2
- Snoop
- Logical omniscience and the cost of deliberation
- On representing actions in multi-agent domains
- scientific article; zbMATH DE number 2088755 (Why is no real title available?)
- scientific article; zbMATH DE number 2088756 (Why is no real title available?)
- The cognitive agents specification language and verification environment
- An investigation of multi-agent planning in CLP
- A general method to solve complex problems by combining multiple answer set programs
- Making Golog norm compliant
- Progression and verification of situation calculus agents with bounded beliefs
- A logical theory of localization
- Some contributions to the metatheory of the situation calculus
- Reinforcement learning for Golog programs with first-order state-abstraction
- Specification and Verification of Multi-Agent Systems
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- Yochan
- PPlan
This page was built for software: GOLOG
