Cited in
(only showing first 100 items - show all)- Partially observable game-theoretic agent programming in Golog
- A formal characterisation of Hamblin's action-state semantics
- Some contributions to the metatheory of the situation calculus
- A formalization of programs in first-order logic with a discrete linear order
- Knowledge, action, and the frame problem
- The cognitive agents specification language and verification environment
- scientific article; zbMATH DE number 2088361 (Why is no real title available?)
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- Logical omniscience and the cost of deliberation
- Practical solution techniques for first-order MDPs
- Bounded situation calculus action theories
- Integrating ASP into ROS for reasoning in robots
- scientific article; zbMATH DE number 5547960 (Why is no real title available?)
- Property persistence in the situation calculus
- Extending movilog for supporting web services
- SHIP -- a logic-based language and tool to program smart environments
- FLUX: A logic programming method for reasoning agents
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Remote Agent: to boldly go where no AI system has gone before
- Progression and verification of situation calculus agents with bounded beliefs
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
- Specifying and computing preferred plans
- JavaLog
- pGOLOG
- ConGolog
- UEML
- IMPACT
- KARO
- STAN
- i*
- YACS
- DECAF
- CPlan
- AgentSpeak
- Jason
- Moise+
- 2APL
- METATEM
- simpleAPL
- SNet
- PDDL
- FODD-Planner
- FluCaP
- Graphplan
- JTLV
- WADE
- MCMAS
- CCalc
- Verics
- STeLP
- NMRDPP
- JADE
- pdl-tableau
- ANML
- SHIP
- IndiGolog
- PREGO
- SHOP2
- Snoop
- 3APL
- PPlan
- Yochan
- BLOG
- GETFOL
- OptiqueVQS
- COLIN
- Datalog LITE
- ALM
- ActHEX
- GTGolog
- POGTGolog
- BayesOWL
- scientific article; zbMATH DE number 1305385 (Why is no real title available?)
- A logical theory of localization
- Specification and Verification of Multi-Agent Systems
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Two approaches to efficient open-world reasoning
- Putting ABox updates into action
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- scientific article; zbMATH DE number 2088756 (Why is no real title available?)
- A description logic based situation calculus
- Experiences with an interactive museum tour-guide robot
- The independent choice logic for modelling multiple agents under uncertainty
- How to progress a database
- scientific article; zbMATH DE number 1390352 (Why is no real title available?)
- The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains.
- Reactive computing as model generation
- A new representation and associated algorithms for generalized planning
- Robot location estimation in the situation calculus
- ConGolog, a concurrent programming language based on the situation calculus
- Agent deliberation in an executable temporal framework
- Asynchronous knowledge with hidden actions in the situation calculus
- Reasoning about noisy sensors and effectors in the situation calculus
- Reasoning About Actions Using Description Logics with General TBoxes
- scientific article; zbMATH DE number 1989652 (Why is no real title available?)
- scientific article; zbMATH DE number 2080342 (Why is no real title available?)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- scientific article; zbMATH DE number 1759374 (Why is no real title available?)
- Reasoning about actions in dynamic linear time temporal logic
- scientific article; zbMATH DE number 1390357 (Why is no real title available?)
This page was built for software: GOLOG
