A description logic based situation calculus
From MaRDI portal
Publication:604908
DOI10.1007/s10472-010-9176-zzbMath1205.68405OpenAlexW1986563142MaRDI QIDQ604908
Publication date: 12 November 2010
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-010-9176-z
description logicssituation calculusreasoning about action and changesemantic web and web servicestwo-variable logic with counting quantifiers
Related Items (3)
Progression of Decomposed Local-Effect Action Theories ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ Foundations of instance level updates in expressive description logics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Updating action domain descriptions
- Attributive concept descriptions with complements
- Metatheory of actions: beyond consistency
- Propositional dynamic logic of regular programs
- Analysis and simulation of Web services.
- How to progress a database
- A survey of temporal extensions of description logics
- Reasoning about noisy sensors and effectors in the situation calculus
- The price of universality
- Products of modal logics. III. Products of modal and temporal logics
- Reasoning about action and change. A dynamic logic approach
- Challenges for action theories
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Complexity of the two-variable fragment with counting quantifiers
- PSPACE Reasoning for Graded Modal Logics
- Some contributions to the metatheory of the situation calculus
- Complexity of Planning in Action Formalisms Based on Description Logics
- Reasoning About Actions Using Description Logics with General TBoxes
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
- Regression in Modal Logic
- Belief Change: from Situation Calculus to Modal Logic
- State Constraints Revisited
- On the Decision Problem for Two-Variable First-Order Logic
- GOLOG: A logic programming language for dynamic domains
- Products of modal logics, part 1
- Resolution-based methods for modal logics
- A theory and implementation of cognitive mobile robots
- Complexity Results for First-Order Two-Variable Logic with Counting
- Products of modal logics. Part 2: relativised quantifiers in classical logic
- The Description Logic Handbook
- A practical decision method for propositional dynamic logic (Preliminary Report)
- Logic Programming and Nonmonotonic Reasoning
This page was built for publication: A description logic based situation calculus
