Reasoning with inconsistency in structured text

Knowledge Engineering Review

Volumn 15, Issue 4, 2000, Pages 317-337

  Hunter, A ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; SEMANTICS; SYNTACTICS; TEXT PROCESSING; XML;

PARACONSISTENT LOGIC; STRUCTURED TEXT; TEXT INCONSISTENCY;

FORMAL LOGIC;

EID: 0034438037     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888900002046     Document Type: Article

References (69)

1. Querying semi-structured data
2. On the logic of theory change: Partial meet contraction and revision functions
3. On the imaginary logic of NA Vasilev
4. Combining knowledgebases of first-order theories
5. Paraconsistent extensional propositional logics
6. Argumentative inference in uncertain and inconsistent knowledge bases
7. A logical approach to reasoning under inconsistency in stratified knowledge bases
8. Inconsistency management and prioritized syntax-based entailment
9. A useful four valued logic
10. Paraconsistent logic approach to knowledge representation
11. Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information
12. Introduction to actual and potential contradictions
13. Reasoning with actual and potential contradictions
14. A theory of argumentation
15. Preferred subtheories: An extended logical framework for default reasoning
16. Semistructured data
17. Information fusion in logic: A brief overview
18. Merging requirements from ranked agents
19. Information extraction
20. Management of preferences in assumption based reasoning
21. On the theory of inconsistent formal systems
22. A unified framework for hypothetical and practical reasoning: (1) Theoretical foundations
23. A truth maintenance system
24. On the logic of iterated belief revision
25. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
26. Argumentative logics: Reasoning from classically inconsistent information
27. Inconsistency handling in multi-perspective specifications
28. Arguments, contradictions and practical reasoning
29. Making inconsistency respectable 1: A logical framework for inconsistency in reasoning
30. Making inconsistency respectable 2: Meta-level handling of inconsistent data
31. Negation and contradiction
32. Information extraction techniques and challenges
33. Managing inconsistent specifications: Reasoning, analysis and action
34. Paraconsistent logics
35. Techniques for analysing sets of inconsistent formulae
36. Ramification analysis using causal mapping
37. Reasoning with contradictory information using quasi-classical logic
38. Merging potentially inconsistent items of structured text
39. Analysing inconsistent specifications
40. Managing inconsistent specifications: Reasoning, analysis and action
41. An assumption-based TMS
42. On the difference between updating a knowledge base and revising it
43. Merging with integrity constraints
44. On the logic of merging
45. A logic of argumentation for reasoning under uncertainty
46. Belief revision, revised
47. Arbitration (or how to merge knowledge bases)
48. Reasoning in the presence of inconsistency
49. A logic for reasoning consistently in the presence of inconsistency
50. On inferences from inconsistent information
51. A model of belief revision
52. Defining normative systems for qualitative argumentation
53. Reasoning from inconsistency: A taxonomy of principles for resolving conflict
54. A logical framework for default reasoning
55. An argument framework for default reasoning
56. Modelling argumentation in logic
57. A mathematical treatment of defeasible reasoning and its implementation
58. A logic for reasoning with inconsistent knowledge
59. A survey of paraconsistent semantics for logic programs
60. Abstract argumentation systems
61. Abstract argumentation systems
62. Ex contradictione nihil sequitur