1: \begin{thebibliography}{}
2:
3: \bibitem[\protect\citename{Alferes \& Pereira, }1994]{Alferes94}
4: Alferes, Jos\'e~J., \& Pereira, Luis~Moniz. (1994).
5: \newblock Contradiction: When avoidance equals removal, part {I}.
6: \newblock {\em Lecture notes in computer science}, {\bf 798}, 11--23.
7:
8: \bibitem[\protect\citename{Alferes {\em et~al.}\relax, }1996]{Alferes96}
9: Alferes, Jos\'e~J., Pereira, Luis~Moniz, \& Przymusinski, Teodor~C. (1996).
10: \newblock Strong and explicit negation in nonmonotonic reasoning and logic
11: programming.
12: \newblock {\em Lecture notes in computer science}, {\bf 1126}, 143--163.
13:
14: \bibitem[\protect\citename{Antoniou {\em et~al.}\relax,
15: }1998]{AntoniouBillingtonMaher98}
16: Antoniou, Grigoris, Billington, David, \& Maher, Michel~J. (1998).
17: \newblock Normal forms for defeasible logic.
18: \newblock {\em Pages 160--174 of:} {\em Proceedings of international joint
19: conference and symposium on logic programming}.
20: \newblock MIT Press.
21:
22: \bibitem[\protect\citename{Antoniou {\em et~al.}\relax,
23: }2000a]{AntoniouMaherBillington00}
24: Antoniou, Grigoris, Maher, Michael~J., \& Billington, David. (2000a).
25: \newblock Defeasible logic versus logic programming without negation as
26: failure.
27: \newblock {\em Journal of logic programming}, {\bf 42}, 47--57.
28:
29: \bibitem[\protect\citename{Antoniou {\em et~al.}\relax, }2000b]{Antoniou00b}
30: Antoniou, Grigoris, Billington, David, Governatori, Guido, Maher, Michael~J.,
31: \& Rock, Andrew. (2000b).
32: \newblock A family of defeasible reasoning logics and its implementation.
33: \newblock {\em Pages 459--463 of:} {\em Proceedings of european conference on
34: artificial intelligence (ecai)}.
35:
36: \bibitem[\protect\citename{Antoniou {\em et~al.}\relax, }2001]{Antoniou}
37: Antoniou, Grigoris, Billington, David, Governatori, Guido, \& Maher, Michael~J.
38: (2001).
39: \newblock Representation results for defeasible logics.
40: \newblock {\em Acm transactions on computational logic}, {\bf 2}(2), 255--287.
41:
42: \bibitem[\protect\citename{Billington {\em et~al.}\relax,
43: }1990]{BillingtonDeCosterNute90}
44: Billington, David, {De~Coster}, Koen, \& Nute, Donald. (1990).
45: \newblock A modular translation from defeasible nets to defeasible logics.
46: \newblock {\em Journal of experimental and theoretical artificial intelligence,
47: 2}, 151--177.
48:
49: \bibitem[\protect\citename{Bondarenko {\em et~al.}\relax, }1993]{Bondarenko93}
50: Bondarenko, Andrei, Toni, Francesca, \& Kowalski, Robert~A. (1993).
51: \newblock An assumption-based framework for non-monotonic reasoning.
52: \newblock {\em Proceedings 2nd. international workshop on logic programming and
53: non-monotonic reasoning}, 171--189.
54:
55: \bibitem[\protect\citename{Bondarenko {\em et~al.}\relax, }1997]{Bondarenko97}
56: Bondarenko, Andrei, Dung, Phan~M., Kowalski, Robert~A., \& Toni, Francesca.
57: (1997).
58: \newblock An abstract, argumentation-theoretic approach to default reasoning.
59: \newblock {\em Artificial intelligence}, {\bf 93}, 63--101.
60:
61: \bibitem[\protect\citename{Brewka, }1996]{Brewka96}
62: Brewka, Gerhard. (1996).
63: \newblock Well-founded semantics for extended logic programs with dynamic
64: preferences.
65: \newblock {\em Journal of artificial intelligence research}, {\bf 4}, 19--36.
66:
67: \bibitem[\protect\citename{Brewka, }2001a]{Brewka01}
68: Brewka, Gerhard. (2001a).
69: \newblock Dynamic argument systems: A formal model of argumentation processes
70: based on situation calculus.
71: \newblock {\em Journal of logic and computation}, {\bf 11}(2), 257--282.
72:
73: \bibitem[\protect\citename{Brewka, }2001b]{Brewka01a}
74: Brewka, Gerhard. 2001b (Aug.).
75: \newblock On the relation between defeasible logic and well-founded semantics.
76: \newblock {\em Proceedings lpnmr 2001}.
77:
78: \bibitem[\protect\citename{Brewka \& Eiter, }2000]{BE00}
79: Brewka, Gerhard, \& Eiter, Thomas. (2000).
80: \newblock Prioritizing default logic.
81: \newblock {\em Pages 27--46 of:} H{\"o}lldobler, Steffen (ed), {\em
82: Intellectics and computational logic: Papers in honor of wolfgang bibel}.
83: \newblock Dordrecht, Boston, London: Kluwer Academic Publishers.
84:
85: \bibitem[\protect\citename{Ches{\~n}evar {\em et~al.}\relax, }2000]{Carlos}
86: Ches{\~n}evar, Carlos~I., Maguitman, Ana~G., \& Loui, Ronald~P. (2000).
87: \newblock {L}ogical {M}odels of {A}rgument.
88: \newblock {\em Acm computing surveys}, {\bf 32}(4), 337--383.
89:
90: \bibitem[\protect\citename{Ches{\~n}evar {\em et~al.}\relax, }2002]{dixetal02}
91: Ches{\~n}evar, Carlos~I., Dix, J\"{u}rgen, Stolzenburg, Frieder, \& Simari,
92: Guillermo~R. (2002).
93: \newblock Relating defeasible and normal logic programming through
94: transformation properties.
95: \newblock {\em Theoretical computer science}.
96: \newblock accepted for publication.
97:
98: \bibitem[\protect\citename{Covington {\em et~al.}\relax, }1997]{Covigton97}
99: Covington, Michael~A., Nute, Donald, \& Vellino, Andre. (1997).
100: \newblock {\em Prolog programming in depth}.
101: \newblock Prentice-Hall.
102:
103: \bibitem[\protect\citename{Dahl, }1999]{vero99}
104: Dahl, Veronica. (1999).
105: \newblock Logic programming and languages.
106: \newblock {\em Wiley encyclopedia of electrical and electronics engineering},
107: {\bf 11}, 576--580.
108:
109: \bibitem[\protect\citename{Dahl {\em et~al.}\relax, }1997]{vero97}
110: Dahl, Veronica, Tarau, Paul, \& Li, Renwei. (1997).
111: \newblock Assumption grammars for natural language processing.
112: \newblock {\em Fourteenth international conference on logic programming},
113: 256--270.
114:
115: \bibitem[\protect\citename{Dimopoulos \& Kakas, }1995]{DimopoulosKakas95}
116: Dimopoulos, Yannis, \& Kakas, Antonis. (1995).
117: \newblock Logic programming without negation as failure.
118: \newblock {\em Pages 369--384 of:} {\em Proceedings of 5th. international
119: symposium on logic programming}.
120: \newblock Cambridge, MA: MIT Press.
121:
122: \bibitem[\protect\citename{Dix, }1994]{Dix94}
123: Dix, J{\"{u}}rgen. (1994).
124: \newblock Semantics of logic programs: their intuitions and formal properties.
125: \newblock {\em Pages {227--313} of:} Fuhrmann, Andr{\'{e}}, \& Rott, Hans
126: (eds), {\em Logic, action and information}.
127: \newblock Berl{\'{\i}}n--New York: de Gruyter.
128:
129: \bibitem[\protect\citename{Dix \& Stolzenburg, }1998]{Dix98}
130: Dix, J{\"{u}}rgen, \& Stolzenburg, Frieder. (1998).
131: \newblock A framework to incorporate non-monotonic reasoning into constraint
132: logic programming.
133: \newblock {\em Journal of logic programming}, {\bf 37}, {1--31}.
134:
135: \bibitem[\protect\citename{Dung, }1991]{Dung91}
136: Dung, Phan~M. (1991).
137: \newblock Negation as hypothesis: An abductive foundation for logic programs.
138: \newblock {\em Proceedings of the 8th. international conference on logic
139: programming}.
140: \newblock Paris, France: MIT Press.
141:
142: \bibitem[\protect\citename{Dung, }1993a]{Dung93b}
143: Dung, Phan~M. (1993a).
144: \newblock An argumentation semantics for logic programming with explicit
145: negation.
146: \newblock {\em Pages 616--630 of:} {\em Proceedings 10th. intenational
147: conference on logic programming}.
148: \newblock MIT Press.
149:
150: \bibitem[\protect\citename{Dung, }1993b]{Dung93}
151: Dung, Phan~M. (1993b).
152: \newblock {O}n the {A}cceptability of {A}rguments and its {F}undamental {R}ole
153: in {N}omonotonic {R}easoning and {L}ogic {P}rogramming.
154: \newblock {\em Proceedings of the 13th. international joint conference in
155: artificial intelligence (ijcai), chamb\a'ery, francia}.
156:
157: \bibitem[\protect\citename{Dung, }1995]{Dung95}
158: Dung, Phan~M. (1995).
159: \newblock On the acceptability of arguments and its fundamental role in
160: nonmonotonic reasoning and logic programming and $n$-person games.
161: \newblock {\em Artificial intelligence}, {\bf 77}, 321--357.
162:
163: \bibitem[\protect\citename{Eshghi \& Kowalski, }1989]{EshghiKowalski89}
164: Eshghi, Kave, \& Kowalski, Robert~A. (1989).
165: \newblock Abduction compared with negation as failure.
166: \newblock {\em Proceedings of the 6th. international conference on logic
167: programming}.
168: \newblock Lisbon, Portugal: MIT Press.
169:
170: \bibitem[\protect\citename{Garc{\'{\i}}a, }1997]{GarciaMSC97}
171: Garc{\'{\i}}a, Alejandro~J. 1997 (July).
172: \newblock {\em Defeasible logic programming: Definition and implementation}.
173: \newblock M.Phil. thesis, Computer Science Department, Universidad Nacional del
174: Sur, Bah\'{\i}a Blanca, Argentina.
175:
176: \bibitem[\protect\citename{Garc{\'{\i}}a, }2000]{GarciaPhD00}
177: Garc{\'{\i}}a, Alejandro~J. 2000 (Dec.).
178: \newblock {\em Defeasible logic programming: Definition, operational semantics
179: and parallelism}.
180: \newblock Ph.D. thesis, Computer Science Department, Universidad Nacional del
181: Sur, Bah\'{\i}a Blanca, Argentina.
182:
183: \bibitem[\protect\citename{Garc\'{\i}a \& Simari, }1999]{GarciaSimari99b}
184: Garc\'{\i}a, Alejandro~J., \& Simari, Guillermo~R. (1999).
185: \newblock Parallel defeasible argumentation.
186: \newblock {\em Journal of computer science and technology special issue:
187: Artificial intelligence and evolutive computation.
188: http://journal.info.unlp.edu.ar/}, {\bf 1}(2), 45--57.
189:
190: \bibitem[\protect\citename{Garc\'{\i}a {\em et~al.}\relax,
191: }1998]{GarciaSimariChesnevar98}
192: Garc\'{\i}a, Alejandro~J., Simari, Guillermo~R., \& Ches{\~{n}}evar, Carlos~I.
193: 1998 (Aug.).
194: \newblock An argumentative framework for reasoning with inconsistent and
195: incomplete information.
196: \newblock {\em Workshop on practical reasoning and rationality}.
197: \newblock 13th biennial European Conference on Artificial Intelligence
198: (ECAI-98).
199:
200: \bibitem[\protect\citename{Garc\'{\i}a {\em et~al.}\relax, }2000]{Garcia00a}
201: Garc\'{\i}a, Alejandro~J., Gollapally, Devender, Tarau, Paul, \& Simari,
202: Guillermo~R. 2000 (Aug.).
203: \newblock Deliberative stock market agents using jinni and defeasible logic
204: programming.
205: \newblock {\em Proceedings of esaw'00 engineering societies in the agents'
206: world, workshop of ecai 2000}.
207:
208: \bibitem[\protect\citename{Gelfond, }1994]{Gelfond94}
209: Gelfond, Michael. (1994).
210: \newblock Logic programming and reasoning with incomplete information.
211: \newblock {\em Annals of mathematics and artificial intelligence}, {\bf 12},
212: 89--116.
213:
214: \bibitem[\protect\citename{Gelfond \& Lifschitz, }1990]{Gelfond90}
215: Gelfond, Michael, \& Lifschitz, Vladimir. (1990).
216: \newblock Logic programs with classical negation.
217: \newblock {\em Pages 579--597 of:} Warren, D., \& Szeredi, P. (eds), {\em 7th
218: international conference on logic programming}.
219: \newblock MIT Press.
220:
221: \bibitem[\protect\citename{Gelfond \& Son, }1997]{GelfondSon97}
222: Gelfond, Michel, \& Son, Tran~C. (1997).
223: \newblock Reasoning with prioritized defaults.
224: \newblock {\em Pages 164--223 of:} {\em Lecture notes in artificial
225: intelligence 1471, selected papers from the workshop on logic programming and
226: knowledge representation}.
227:
228: \bibitem[\protect\citename{Inoue, }1991]{Inoue91}
229: Inoue, Kazuko. (1991).
230: \newblock Extended logic programming with default assumptions.
231: \newblock {\em Proceedings of 8th. international conference on logic
232: programming}.
233:
234: \bibitem[\protect\citename{Kakas {\em et~al.}\relax,
235: }1993]{KakasKowalskiToni93}
236: Kakas, Antonis~C., Kowalski, Robert~A., \& Toni, Francesca. (1993).
237: \newblock Abductive logic programming.
238: \newblock {\em Journal of logic and computation}, {\bf 2}, 719--770.
239:
240: \bibitem[\protect\citename{Kakas {\em et~al.}\relax,
241: }1994]{KakasMancarellaDung94}
242: Kakas, Antonis~C., Mancarella, Paolo, \& Dung, Phan~M. (1994).
243: \newblock The acceptability semantics for logic programs.
244: \newblock {\em Pages 504--519 of:} {\em Proceedings of the 11th. international
245: conference on logic programming}.
246: \newblock Santa Margherita, Italy: MIT Press.
247:
248: \bibitem[\protect\citename{Kowalski \& Toni, }1996]{Kowa97}
249: Kowalski, Robert~A., \& Toni, Francesca. (1996).
250: \newblock Abstract argumentation.
251: \newblock {\em Artificial intelligence and law}, {\bf 4}(3-4), 275--296.
252:
253: \bibitem[\protect\citename{Li {\em et~al.}\relax, }1998]{vero98}
254: Li, Renwei, Pereira, Luis~Moniz, \& Dahl, Veronica. (1998).
255: \newblock Refining action theories with abductive logic programming.
256: \newblock {\em Selected extended papers from the lpkr'97: Ilps'97 workshop on
257: logic programming and knowledge representation}, 123--138.
258:
259: \bibitem[\protect\citename{Lifschitz, }1996]{Lif96}
260: Lifschitz, Vladimir. (1996).
261: \newblock Foundations of logic programs.
262: \newblock {\em Pages 69--128 of:} Brewka, G. (ed), {\em Principles of
263: knowledge representation}.
264: \newblock CSLI Pub.
265:
266: \bibitem[\protect\citename{Loui, }1997a]{Loui97a}
267: Loui, Ronald~P. (1997a).
268: \newblock {A}lchourr{\'o}n and {V}on {W}right on {C}onflict among {N}orms.
269: \newblock {\em Pages 345--353 of:} Nute, Donald (ed), {\em Defeasible deontic
270: logic}, vol. 263.
271: \newblock Synthese Library.
272:
273: \bibitem[\protect\citename{Loui, }1997b]{Loui97b}
274: Loui, Ronald~P. 1997b (July).
275: \newblock et al. {P}rogress on {R}oom 5: {A} {T}estbed for {P}ublic
276: {I}nteractive {S}emi-{F}ormal {L}egal {A}rgumentation.
277: \newblock {\em Proceedings of the 6th. international conference on artifcial
278: intelligence and law}.
279:
280: \bibitem[\protect\citename{Makinson \& Schlechta, }1991]{Makinson91}
281: Makinson, David, \& Schlechta, Karl. (1991).
282: \newblock Floating conclusions and zombie paths: two deep difficulties in the
283: directly skeptical approach to defeasible inference nets.
284: \newblock {\em Artificial intelligence}, {\bf 48}, 199--209.
285:
286: \bibitem[\protect\citename{Nute, }1988]{Nute88}
287: Nute, Donald. (1988).
288: \newblock Defeasible reasoning: a philosophical analysis in {\sc prolog}.
289: \newblock {\em Pages 251--288 of:} Fetzer, J.~H. (ed), {\em Aspects of
290: artificial intelligence}.
291: \newblock Kluwer Academic Pub.
292:
293: \bibitem[\protect\citename{Nute, }1992]{Nute92}
294: Nute, Donald. (1992).
295: \newblock Basic defeasible logic.
296: \newblock {Fari{\~{n}}as del Cerro}, Luis (ed), {\em Intensional logics for
297: programming}.
298: \newblock Oxford: Claredon Press.
299:
300: \bibitem[\protect\citename{Nute, }1994]{Nute94}
301: Nute, Donald. (1994).
302: \newblock Defeasible logic.
303: \newblock {\em Pages 355--395 of:} Gabbay, D.M., Hogger, C.J., \& J.A.Robinson
304: (eds), {\em Handbook of logic in artificial intelligence and logic
305: programming, vol 3}.
306: \newblock Oxford University Press.
307:
308: \bibitem[\protect\citename{Pereira \& Alferes, }1994]{Pereira94}
309: Pereira, Luis~Moniz, \& Alferes, Jos\'e~J. (1994).
310: \newblock Contradiction: When avoidance equals removal, part {II}.
311: \newblock {\em Lecture notes in computer science}, {\bf 798}, 268--281.
312:
313: \bibitem[\protect\citename{Pollock, }1987]{Pollock87}
314: Pollock, John. (1987).
315: \newblock {D}efeasible {R}easoning.
316: \newblock {\em Cognitive science}, {\bf 11}, 481--518.
317:
318: \bibitem[\protect\citename{Pollock, }1995]{Pollock95}
319: Pollock, John. (1995).
320: \newblock {\em Cognitive carpentry: A blueprint for how to build a person}.
321: \newblock MIT Press.
322:
323: \bibitem[\protect\citename{Pollock, }1996]{Pollock96a}
324: Pollock, John. (1996).
325: \newblock {O}scar - {A} general purpose defeasible reasoner.
326: \newblock {\em Journal of applied non-classical logics}, {\bf 6}, 89--113.
327:
328: \bibitem[\protect\citename{Poole, }1985]{Poole85a}
329: Poole, David~L. (1985).
330: \newblock {O}n the {C}omparison of {T}heories: {P}referring the {M}ost
331: {S}pecific {E}xplanation.
332: \newblock {\em Pages 144--147 of:} {\em {P}roc. 9th {IJCAI}}.
333: \newblock IJCAI.
334:
335: \bibitem[\protect\citename{Prakken, }1997]{Prakken97}
336: Prakken, Henry. (1997).
337: \newblock {\em Logical tools for modelling legal argument. a study of
338: defeasible reasoning in law}.
339: \newblock Kluwer Law and Philosophy Library.
340:
341: \bibitem[\protect\citename{Prakken \& Sartor, }1997]{PrakkenSartor97}
342: Prakken, Henry, \& Sartor, Giovanni. (1997).
343: \newblock Argument-based logic programming with defeasible priorities.
344: \newblock {\em J. of applied non-classical logics}, {\bf 7}(25-75).
345:
346: \bibitem[\protect\citename{Prakken \& Vreeswijk, }2000]{PraVree}
347: Prakken, Henry, \& Vreeswijk, Gerard. (2000).
348: \newblock Logical systems for defeasible argumentation.
349: \newblock D.Gabbay (ed), {\em Handbook of philosophical logic, 2nd ed.}
350: \newblock Kluwer Academic Pub.
351:
352: \bibitem[\protect\citename{Simari \& Loui, }1992]{Simari92}
353: Simari, Guillermo~R., \& Loui, Ronald~P. (1992).
354: \newblock {A} {M}athematical {T}reatment of {D}efeasible {R}easoning and its
355: {I}mplementation.
356: \newblock {\em Artificial intelligence}, {\bf 53}, 125--157.
357:
358: \bibitem[\protect\citename{Simari {\em et~al.}\relax,
359: }1994a]{SimariChesnevarGarcia94a}
360: Simari, Guillermo~R., Ches{\~{n}}evar, Carlos~I., \& Garc\'{\i}a, Alejandro~J.
361: 1994a (Oct.).
362: \newblock Focusing inference in defeasible argumentation.
363: \newblock {\em Iv~iberoamerican congress on artificial intelligence
364: (iberamia'94)}.
365: \newblock Venezuela.
366:
367: \bibitem[\protect\citename{Simari {\em et~al.}\relax,
368: }1994b]{SimariChesnevarGarcia94b}
369: Simari, Guillermo~R., Ches{\~{n}}evar, Carlos~I., \& Garc\'{\i}a, Alejandro~J.
370: 1994b (Nov.).
371: \newblock The role of dialectics in defeasible argumentation.
372: \newblock {\em {XIV} international conference of the chilenean computer
373: science society}.
374:
375: \bibitem[\protect\citename{Toni \& Kakas, }1995]{ToniKakas95}
376: Toni, Francesca, \& Kakas, Antonis~C. (1995).
377: \newblock Computing the acceptability semantics.
378: \newblock {\em Pages 401--415 of:} {\em Proceedings of the 3rd. international
379: workshop on logic programming and non-monotonic reasoning}.
380: \newblock Lexington,USA: Springer Verlag.
381:
382: \bibitem[\protect\citename{Verheij, }1996]{Verheij96}
383: Verheij, Bart. 1996 (Dec.).
384: \newblock {\em Rules, reasons, arguments: formal studies of argumentation and
385: defeat}.
386: \newblock Ph.D. thesis, Maastricht University, Holland.
387:
388: \bibitem[\protect\citename{Vreeswijk, }1997]{Vreeswijk97}
389: Vreeswijk, Gerard A.~W. (1997).
390: \newblock Abstract argumentation systems.
391: \newblock {\em Artificial intelligence}, {\bf 90}, 225--279.
392:
393: \bibitem[\protect\citename{Xianchang~Wang, }1997]{WangYouYuan97}
394: Xianchang~Wang, {Jia-Huai}~You, Li Y.~Yuan. (1997).
395: \newblock Logic programming without default negation revisited.
396: \newblock {\em Pages 1169--1174 of:} {\em Proceedings of ieee international
397: conference on intelligent processing systems}.
398: \newblock IEEE.
399:
400: \end{thebibliography}
401: