Argument construction and reinstatement in logics for defeasible reasoning

Artificial Intelligence and Law

Volumn 9, Issue 1, 2001, Pages 1-28

  Horty, J F ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; LAWS AND LEGISLATION; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

ARGUMENT REINSTATEMENT; ARGUMENT SYSTEMS; DEFEASIBLE REASONING; DEFEASIBLE RULES; LEGAL REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 0035265287     PISSN: 09248463     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011288805074     Document Type: Article

References (19)

1. An abstract, argumentation-theoretic approach to default reasoning
2. On the acceptability of arguments and its fundamental role in nonmonotonic reason, logic programming, and n-person games
3. Synthesis of proof procedures for default reasoning
4. Formalizing nonmonotonic reasoning systems
5. On inheritance hierarchies with exceptions
6. Some direct theories of nonmonotonic inheritance
7. Mixing strict and defeasible inheritance
8. A skeptical theory of inheritance in nonmonotonic semantic networks
9. Abstract argumentation
10. Defeasible reasoning
11. A dialectical model of assessing conflicting arguments in legal reasoning
12. A system for defeasible argumentation with defeasible priorities
13. Argument-based extended logic programming with defeasible priorities
14. Modelling reasoning with precedents in a formal dialogue game
15. Logics for defeasible argumentation
16. On interacting defaults
17. Millionaires next door - That is, if your neighbors work for Microsoft
18. A clash of intuitions: The current state of nonmonotonic multiple inheritance systems
19. A skeptic's menagerie: Conflictors, preemptors, reinstaters, and zombies in nonmonotonic inheritance