GOLOG
From MaRDI portal
Cited in
(only showing first 100 items - show all)- SHIP -- a logic-based language and tool to program smart environments
- Scheduling in the situation calculus: A case study
- Heuristic planning: A declarative approach based on strategies for action selection
- Logic-based subsumption architecture
- Logic Programming
- DatalogMTL
- scientific article; zbMATH DE number 2088159 (Why is no real title available?)
- Navigation and execution for mobile robots in dynamic environments: an integrated approach
- Moise+
- 2APL
- METATEM
- simpleAPL
- SNet
- PDDL
- FODD-Planner
- FluCaP
- Graphplan
- JTLV
- WADE
- MCMAS
- CCalc
- Verics
- STeLP
- NMRDPP
- scientific article; zbMATH DE number 1629862 (Why is no real title available?)
- scientific article; zbMATH DE number 1629871 (Why is no real title available?)
- JADE
- scientific article; zbMATH DE number 1629872 (Why is no real title available?)
- pdl-tableau
- ANML
- SHIP
- IndiGolog
- PREGO
- SHOP2
- Snoop
- 3APL
- PPlan
- Yochan
- BLOG
- GETFOL
- OptiqueVQS
- COLIN
- Datalog LITE
- ALM
- ActHEX
- GTGolog
- POGTGolog
- BayesOWL
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
- scientific article; zbMATH DE number 1884362 (Why is no real title available?)
- The independent choice logic for modelling multiple agents under uncertainty
- Robot location estimation in the situation calculus
- Efficient Open World Reasoning for Planning
- The cognitive agents specification language and verification environment
- scientific article; zbMATH DE number 2088756 (Why is no real title available?)
- Advances in Artificial Intelligence – SBIA 2004
- Advances in Artificial Intelligence – SBIA 2004
- KI 2003: Advances in Artificial Intelligence
- Proof systems for planning under 0-approximation semantics
- Agent planning programs
- Functional strips: A more flexible language for planning and problem solving
- scientific article; zbMATH DE number 6606377 (Why is no real title available?)
- scientific article; zbMATH DE number 6606384 (Why is no real title available?)
- Knowledge-based programs as building blocks for planning
- Reasoning about noisy sensors and effectors in the situation calculus
- Conceptual representations of actions for autonomous robots
- Automatic verification of Golog programs via predicate abstraction
- Remote Agent: to boldly go where no AI system has gone before
- scientific article; zbMATH DE number 1407685 (Why is no real title available?)
- scientific article; zbMATH DE number 6606368 (Why is no real title available?)
- Specification and Verification of Multi-Agent Systems
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- Reinforcement learning for Golog programs with first-order state-abstraction
- Specifying and computing preferred plans
- Computing programs for generalized planning using a classical planner
- scientific article; zbMATH DE number 1759735 (Why is no real title available?)
- Experiences with an interactive museum tour-guide robot
- Astrahl
- Extending movilog for supporting web services
- scientific article; zbMATH DE number 2080356 (Why is no real title available?)
- A new representation and associated algorithms for generalized planning
- Reasoning about plan revision in BDI agent programs
- scientific article; zbMATH DE number 5201473 (Why is no real title available?)
- scientific article; zbMATH DE number 1882058 (Why is no real title available?)
- A Semantical Account of Progression in the Presence of Defaults
- A model of three-way decisions for knowledge harnessing
- scientific article; zbMATH DE number 1989652 (Why is no real title available?)
- scientific article; zbMATH DE number 2080342 (Why is no real title available?)
- scientific article; zbMATH DE number 1759374 (Why is no real title available?)
- scientific article; zbMATH DE number 1390357 (Why is no real title available?)
- Non-terminating processes in the situation calculus
- ConGolog, a concurrent programming language based on the situation calculus
- Asynchronous knowledge with hidden actions in the situation calculus
- Regression and progression in stochastic domains
- Reasoning About Actions Using Description Logics with General TBoxes
- Some contributions to the metatheory of the situation calculus
- Where logic and agents meet
- On representing actions in multi-agent domains
- Extending action language \(\mathcal{C}+\) by formalizing composite actions
This page was built for software: GOLOG
