Artificial Intelligence
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
A logic for reasoning with inconsistent knowledge
Artificial Intelligence
Arguments, contradictions and practical reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Communications of the ACM
Abstract argumentation systems
Artificial Intelligence
On the logic of iterated belief revision
Artificial Intelligence
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
XML specification guide
Introduction to actual and potential contradictions
Handbook of defeasible reasoning and uncertainty management systems
Handbook of defeasible reasoning and uncertainty management systems
A survey of paraconsistent semantics for logic programs
Handbook of defeasible reasoning and uncertainty management systems
Ramification analysis using causal mapping
Data & Knowledge Engineering
Merging potentially inconsistent items of structured text
Data & Knowledge Engineering
Web Publishing with XML in Six Easy Steps
Web Publishing with XML in Six Easy Steps
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Defining Normative Systems for Qualitative Argumentation
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Information Extraction: Techniques and Challenges
SCIE '97 International Summer School on Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
A Local Approach to Reasoning under Incosistency in Stratified Knowledge Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Information Fusion in Logic: A Brief Overview
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Analyzing Inconsistent Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Consistent belief reasoning in the presence of inconsistency
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Logical fusion rules for merging structured news reports
Data & Knowledge Engineering
A Semantic Tableau Version of First-Order Quasi-Classical Logic
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
Reasoning with inconsistency involves some compromise on classical logic. There is a range of proposals for logics (called paraconsistent logics) for reasoning with inconsistency each with pros and cons. Selecting an appropriate paraconsistent logic for an application depends upon the requirements of the application. Here we review paraconsistent logics for the potentially significant application area of technology for structured text. Structured text is a general concept that is implicit in a variety of approaches to handling information. Syntactically, an item of structured text is a number of grammatically simple phrases together with a semantic label for each phrase. Items of structured text may be nested within larger items of structured text. The semantic labels in a structured text are meant to parameterize a stereotypical situation, and so a particular item of structured text is an instance of that stereotypical situation. Much information is potentially available as structured text, including tagged text in XML, text in relational and object-oriented databases, and the output from information extraction systems in the form of instantiated templates. In this review paper, we formalize the concept of structured text, and then focus on how we can identify inconsistency in items of structured text, and reason with these inconsistencies. Then we review key approaches to paraconsistent reasoning, and discuss the application of them to reasoning with inconsistency in structured text.