Progression of Decomposed Local-Effect Action Theories
From MaRDI portal
Publication:5278214
DOI10.1145/3091119zbMath1367.68292arXiv1705.04712OpenAlexW2615306226MaRDI QIDQ5278214
Mikhail Soutchanski, Denis K. Ponomaryov
Publication date: 13 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1705.04712
Related Items (2)
Progression of Decomposed Local-Effect Action Theories ⋮ On the relationship between the complexity of decidability and decomposability of first-order theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algorithmic issues of AND-decomposition of Boolean formulas
- A description logic based situation calculus
- On decidability of the decomposability problem for finite theories
- The road to two theorems of logic
- Deciding inseparability and conservative extensions in the description logic
- The complexity of explicit definitions
- Proving properties of states in the situation calculus
- How to progress a database
- Model-theoretic inseparability and modularity of description logic ontologies
- Partition-based logical reasoning for first-order and propositional theories
- Beth Definability in Expressive Description Logics
- Action Theories over Generalized Databases with Equality Constraints
- Some contributions to the metatheory of the situation calculus
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Formal Properties of Modularisation
- Mathematical Logic for Life Science Ontologies
- A Complete Axiomatization for Blocks World
- Progression of Decomposed Local-Effect Action Theories
- Parallel interpolation, splitting, and relevance in belief change
- On strongest necessary and weakest sufficient conditions
This page was built for publication: Progression of Decomposed Local-Effect Action Theories
