Dynamic Reasoning Systems
From MaRDI portal
Publication:5277897
DOI10.1145/2798727zbMath1367.68293arXiv1308.5374OpenAlexW1520756217MaRDI QIDQ5277897
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1308.5374
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
- AGM 25 years. Twenty-five years of research in belief change
- Updating action domain descriptions
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- Resolving ambiguity in nonmonotonic inheritance hierarchies
- Dynamic reasoning with qualified syllogisms
- LUPS -- A language for updating logic programs
- Another perspective on default reasoning
- A textbook of belief dynamics. Theory change and database updating
- The refinement extension principle for semantics of dynamic logic programming
- Dynamic agent-oriented reasoning about belief and trust
- On the logic of theory change: Partial meet contraction and revision functions
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Dynamic updates of non-monotonic knowledge bases
- Algorithms for Maintaining a Consistent Knowledge Base in Distributed Multiagent Environments
- Formal Specifications for a Document Management Assistant
- On Action Theory Change
- On Computable Numbers, with an Application to the Entscheidungsproblem
This page was built for publication: Dynamic Reasoning Systems