Dynamic Reasoning Systems

DOI10.1145/2798727zbMath1367.68293arXiv1308.5374OpenAlexW1520756217MaRDI QIDQ5277897

Daniel G. Schwartz

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

zbMATH Keywords

belief revisionnonmonotonic reasoningdynamic reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Uses Software

• LUPS

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