Inconsistency-tolerant temporal reasoning with hierarchical information
DOI10.1016/J.INS.2015.05.015zbMATH Open1390.68610OpenAlexW295891996MaRDI QIDQ1749966FDOQ1749966
Publication date: 17 May 2018
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2015.05.015
complexityparaconsistent logiccomputation tree logicinconsistency-tolerant reasoninghierarchical information
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Paraconsistent logics (03B53) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paraconsistent logic programming
- The logic of information structures
- Aspects of Paraconsistent Logic
- Constructible falsity
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- “Sometimes” and “not never” revisited
- Constructible falsity and inexact predicates
- Deciding full branching time logic
- Handbook of philosophical logic. Vol. 6
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Logic Programming with Strong Negation and Inexact Predicates
- Paraconsistent computation tree logic
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- A unifying approach to temporal constraint reasoning 👍 👎
- A hierarchy of temporal logics with past 👍 👎
- Efficient reasoning about rich temporal domains 👍 👎
- Reasoning about qualitative temporal information 👍 👎
- Taming the Complexity of Temporal Epistemic Reasoning 👍 👎
- Representing and Reasoning about Temporal Granularities 👍 👎
- On Temporal Properties of Knowledge Base Inconsistency 👍 👎
- Temporal Reasoning in Nested Temporal Networks with Alternatives 👍 👎
This page was built for publication: Inconsistency-tolerant temporal reasoning with hierarchical information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749966)
