CURRICULUM VITAE

LAST UPDATED 3/01/06
Ronald Prescott Loui
title: Assoc. Prof. of Computer Science
address: Box 1045, Washington University, St. Louis, MO 63130
email: loui@cs.wustl.edu
phone: 314-935-6102
fax: 314-935-7302
web: http://cse.wustl.edu/~loui/

b. 12/26/61 in Honolulu, Hawaii. Punahou School.

Education

Harvard. B.A. m.c.l. June 1982. Applied Mathematics (decision & control).

University of Rochester. M.S. October 1985. Computer Science.

University of Rochester. Ph.D. September 1987. Computer Science and Philosophy.

Academic Posts

Stanford. Sloan Cognitive Science Postdoctoral Affiliate. October 1987 to May 1988.

Washington University in St. Louis. Associate Professor of Computer Science. Adjunct Faculty, Computational Intelligence Center (formerly Center for Intelligent Computer Systems) and Senior Fellow, Center for Semantic Control and Optimization. Adjunct Faculty, Program on Legal Studies. August 1988 (as Assistant Professor and Adjunct Assistant Professor of Philosophy) to present.

Research Area

Long-term Research:
    • foundations of mathematical social science
    • computational models of reasoning
    • foundations of computing
Short-term Research:
    • network devices for regular expression processing of data streams
    • virtual memory and webserver performance
    • real-time risk analysis
Cited primarily for:
    • the mathematical modeling of argument and defeasible reasoning
    • dialectical procedures for argument
    • representation of cases as collections of arguments
    • stochastic shortest path problems
    • decisions over interval-valued utility
    • various polemics in cognitive science
    • ONLINE: "classic paper on scripting languages"
Current work:
    • computational models of fair process
    • procedural models of negotiation
    • mathematical models of procedural utility and institutional utility

External Support

Research Grants

Total sponsored research funding to date: ~$508k as PI, ~$1453k as co-PI.

  • Global Velocity (this is actually government funding): Fast Semantic Content Processing, as co-PI with J. Lockwood, PI, $364,860, May 2004-Dec 2004. $408,703, Jan 2005-Dec 2005. $477,000, June 2005-Dec 2005.
  • NSF Information Technology and Organizations Program: Multi-Agent Negotiation, as co-PI with T. Sandholm, PI, $199,000 with $3120 symposium supplement. July 1997 to July 1999, extended to 2001. 9610122.
  • NSF Information Technology and Organizations Program: Presentation Tools for Argumentative Discourse, $119,910 with $3125 REU Supplement. September 1995 to September 1997. 9503476.
  • NSF Office of Cross-Disciplinary Affairs and Interactive Systems Program: Summer Undergraduate Research Assistants, $84,420. March 1995 to February 1996. 9415573.
  • NSF Office of Cross-Disciplinary Affairs: REU Continuing Award, $110,480. April 1992 to September 1994. 9123643.
  • NSF Office of Cross-Disciplinary Affairs: Research Experiences for Undergraduates, $35,330. April 1991 to September 1992. 9102090.
  • NSF Office of Cross-Disciplinary Affairs: Summer Undergraduate Assistantship Program, $35,330. June 1990 to November 1991. 9000823.
  • NSF Knowledge Models and Cognitive Systems Program: Applications and Investigations of Resource-Bounded Argument, $109,000 with $4000 REU Supplement. October 1990 to September 1992. 9008012.
  • AAAI and McDonnell Douglas Corporation. Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, $10,000. August 1988.

    Affiliations and Consulting

  • Consultant. National Science Foundation, Arlington, VA. June 2005.
  • Supported Researcher. Global Velocity, St. Louis, MO. 2001 - 2004 (includes project with U.S. Intelligence Agency Sponsors).
  • Consultant. StreamSearch.com, St. Louis, MO. Summer 2000.
  • Consultant. National Science Foundation, Arlington, VA. November 1999.
  • Visiting Lecturer. Universidad Nacional del Sur, Bahia Blanca (ARGENTINA). July-August 1997.
  • Consultant. National Science Foundation, Bethesda, MD. May 1997.
  • Visiting Researcher. GMD (National Research Center, Gesellschaft fuer Mathematik und Datenverarbeitung), Bonn (GERMANY). August 1994.
  • Visiting Lecturer. Universidad Nacional del Sur, Bahia Blanca (ARGENTINA). July 1994.
  • Visiting Researcher. ICOT (Fifth Generation Project), Tokyo (JAPAN). May 1994.
  • Consultant. TRI/Southwestern Bell Corporation, St. Louis. August 1992 to June 1993.
  • Consultant. McDonnell Douglas Corporation, St. Louis. August 1989 to June 1990.
  • Consultant. National Science Foundation, Washington, D.C. April 1989.
  • Consultant. Xerox PARC, Palo Alto, and Xerox Webster, Rochester. June 1988 to August 1988.
  • Research Affiliate. Rockwell Palo Alto Laboratory. April 1988 to August 1988.
  • Summer Intern. Digital Equipment Corporate Research. May 1983 to September 1983.

    Research Supervision

    Washington University Dissertations (thesis advisor)

    Guillermo Simari, D.Sc. Computer Science, January 1990. "Mathematics of Defeasible Reasoning and Its Implementation." Nominated for ACM award. Currently Chairman of Computer Science Research at Universidad Nacional del Sur, ARGENTINA.

    Gadi Pinkas, D.Sc. Computer Science, October 1992. "Inference in Symmetric Connectionist Networks" (external examiner: D. Touretzky). Won internal competition for ACM award nomination (nomination declined). Currently Program Manager at AMDOCS, ISRAEL.

    Moshe Looks, M.Sc. Computer Science, April 2005. "Learning Computer Programs with the Bayesian Optimization Algorithm" Currently doctoral student and employee of SAIC/Object Sciences.

    Anrew Levine, M.Sc. Computer Science, April 2006 (expected). "Variations on The Clustering Problem for Concept Discovery."

    Visiting Research Associate

    Fernando Tohme, Ph.D. Dept. of Economics, Universidad Nacional del Sur, ARGENTINA. 1996 - 1997.

    Postdoctoral Affiliates

    Bart Verheij, Ph.D. Dept. of Metajuridica, University of Limburg, NETHERLANDS. Summer 1996.

    Gerard Vreeswijk, Ph.D. Dept. of Computer Science, VU-Amsterdam, NETHERLANDS. Fall 1996.

    External Dissertations (external examiner or doctoral opponent)

    Peter Eklund, Ph.D. Computer Science, University of Linkoeping (SWEDEN), September 1991, (student of S. Hagglund). An Epistemic Approach to Interactive Design in Multiple Inheritance Hierarchies.

    Gerard Vreeswijk, Ph.D. Computer Science, Vrije Universiteit Amsterdam (NETHERLANDS), March 1993, (student of J. Meyer). Studies in Defeasible Argumentation.

    George Ferguson, Ph.D. Computer Science, University of Rochester, September 1993, (student of J. Allen). Explicit Representation of Events, Actions, and Plans for Assumption-Based Plan Reasoning.

    Pawan Kumar, Ph.D. Computer Science and Engineering, Indian Institute of Technology (INDIA), Spring 1993, (student of H. Karnick). Model-Theoretic Semantics for Some Logics for Commonsense Reasoning.

    Ana Maguitman, M.S. Computer Science, Universidad Nacional del Sur (ARGENTINA), Summer 1997, (student of G. Simari). Formalizacion y Uso del Concepto de Relevancia en Sistemas Logicos.

    Arno Lodder, Ph.D. Metajuridica, University of Limburg, Maastricht, (NETHERLANDS), Summer 1998, (student of J. Hage). DiaLaw - On Legal Justification and Dialogue Games.

    Alejandro Garcia, Ph.D. Computer Science, Universidad Nacional del Sur (ARGENTINA), Summer 1997, (student of G. Simari). Programacion en Logica Rebatible: Lenguaje, Semantica Operacional y Paralelismo.

    School Doctoral Committees: Kanaan Faisal (CS), Victor Griswold (CS), Amol Joshi (Chemical Engineering), Rose Gamble (CS), Gene Freudenberg (Mathematics), Yuanlan Wu (Systems Science & Mathematics), Nilesh Jain (CS), J. Andrew Fingerhut (CS), Fang Yan (Systems Science & Mathematics), Keith Koper (Earth and Planetary Sciences), Travis Cusick (Systems Science & Mathematics), Michael Devore (EE), Sanghyun Kim (Systems Science and Mathematics), Dan Dooly (CS), Edi Tudoreanu (CS), James Moscola (CS), David Schuehler (CS).

    Other supervision includes: B.S. honors theses, Benjamin Weber, 1993, Diana Moore 1996, James Rosen, 2004, Charles Comstock, 2005. Peter Nicastro, St. Louis Science Center Award-Winning Project, 1992, Lance Cai (Yale), Kyle Ormsby (Chicago), and Alex Schiller (Princeton) winners of the Pfizer/Solutia best CS project, and approx. two dozen more Engelmann/STARS students.

    Undergraduate research: A. Costello, J. Dorosh (Harvard business), T. Plettell (Lethbridge), W. Chen (math), K. Stiefvater, J. Chen (Harvard economics), J. Olson, A. Merrill (Swarthmore), J. Carter, A. Strobel (systems science), J. Smith (systems science), V. Reddy (Harvard), D. Weisberger (Amherst political science), S. Theriault (french), J. Frens, M. Hess (Illinois law), M. Foltz, G. Davis, D. Saff, I. Figelman (systems science), J. Pollack, D. Goldman, S. Reda, L. Carmichael, D. Craven (math), N. Kang (Harvard), K. Hashimoto (Harvard economics), J. Linsday (Truman biology), J. Altepeter (physics), W. Zenfell, C. Hoge (systems science), A. Lewin (systems science), D. Pinkard, A. Jump (Harvard romance languages) A. Bisarya (Harvard/Stanford economics), J. Brodsky (theater), W. Yang (MIT), S. Sachs (Harvard history), J. Badino (Harvard), M. Joseph, M. Cosner, K. Chin, M. Pachos, K. Krouse, N. Ave-Lallemant, J. Moscola, A. Li, S. Lee, D. Schwartz, M. Summer, A. Tjahadji, M. Pendlebury, J. Hseu, B. Dheeravongkit, R. Bujans, J. Rosen, C. Comstock, C. Warner (Master's Project), R. Wofsey, J. Rosen, R. Miller-Webster, B. Klaydman, R. Mays, P. McKenzie, T. Welsh, E. Tipton, S. McCarthy, S. McCarthy (different person), R. Chernoff, O. Melzer, L. Schoen, A. Krevat (art), A. Hartman (business).

    Publications

    Journal Articles and Journal Appearances (**full article)

  • R. Loui. **"A study of citations for faculty at 100 U.S. Computer Science Departments," to be submitted to Communications of the ACM, 2005.
  • R. Loui. "In praise of scripting languages," submitted to IEEE Computer, 2005.
  • R. Loui. **"A mathematical comment on the fundamental difference between legal theory formation and scientific theory formation," Computational Models of Scientific Reasoning and Applications (CMSR-IV), Lisbon, 2005.
  • R. Loui. "A citation-based reflection on Toulmin and argument," Argumentation 19 : 4, special issue on Toulmin, 2005 (solicited). To be reprinted in Springer Argumentation Library, 2006.
  • E. Rissland, K. Ashley, and R. Loui. "AI and Law, a fruitful synergy," Artificial Intelligence 150 : 1-2, pp. 1-15, 2003.
  • C. Chesnevar, A. Maguitman, R. Loui. **"Logical models of argument," ACM Computing Surveys 32 : 4, pp. 337 - 383, 2000.
  • R. Loui. "Review of Brian Smith's Origin of Objects," Artificial Intelligence, 1999 (solicited).
  • R. Loui. "Review of Jaap Hage's Rules and Reasons," Artificial Intelligence and Law, 1999 (solicited).
  • R. Loui. "Review of Henry Prakken's Logical Tools for Modelling Legal Argument," Journal of Symbolic Logic 64, pp. 1840-1841, 1999 (solicited).
  • R. Loui. **"Process and policy: resource-bounded non-demonstrative argument," Computational Intelligence 14 : 1, pp. 1 - 38, 1998. WU CS TR 92-43.
  • R. Loui. "Why GAWK for AI?" ACM SIGPLAN 32 : 8, 1997. Translated into Turkish (for online journal), 2002, included in standard GAWK distribution.
  • R. Loui. "Review of Meyer and Wieringa: Deontic Logic in Computer Science," (feature review), ACM Computing Reviews 37, 1996 (solicited).
  • R. Loui. "Models of deliberation in the social sciences," Symposium on AI, ACM Computing Surveys 27 : 3, pp. 346-348, 1995 (invited comment).
  • R. Loui and J. Norman. **"Rationales and argument moves," Artificial Intelligence and Law 3, pp. 159-189, 1995. WU CS TR 93-03.
  • R. Loui. "Foucault, Derrida, Women's Speaking Justified, and Modelling Legal Argument," review of two books, Artificial Intelligence and Law 3, pp. 143-150, 1995 (solicited).
  • R. Loui. "Report on The Workshop on Computational Dialectics," AI Magazine 16 : 4, pp. 101-104, 1995 (required report).
  • R. Loui. "Kyburg and Volkswagens," Computational Intelligence 10 : 1, pp. 77-78, 1993 (invited response).
  • R. Loui. **"How a formal theory can be normative: interpretation vs. implementation," Journal of Philosophy 90 : 3, pp. 137-143, 1993. Also read at the Second International Workshop on Human and Machine Cognition, Perdido Key, 1991.
  • G. Simari and R. Loui. **"A mathematical treatment of defeasible reasoning and its implementation," Artificial Intelligence 53 : 2, pp. 125-157, 1992. Also WU CS TR 89-12 (revised 1991).
  • R. Loui. **"Argument and belief: where we stand in the Keynesian tradition," Minds and Machines 1 : 4, pp. 357-365, 1991 (invited paper). Also AAAI Spring Symposium on Argument and Belief, Stanford, 1991.
  • R. Loui. "Report on The Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance," AI Magazine 11 : 5, pp. 65-67, 1991 (required report). Also expanded report, WU CS TR 90-22, 1990, with M. Kahn and G. Simari (67 pages).
  • R. Loui and J. Dorosh. "Edited partial transcription of The Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance," ACM SIGART 2 : 1, pp. 3-51, 1991. WU CS TR 90-35, 1990.
  • R. Loui. **"Real rules of inference: acceptance and non-monotonicity in AI," Communication and Cognition -- AI 5 : 2, pp. 115-145, 1988. Also UR CS TR 191, 1985.
  • R. Loui. **"Response to Hanks and McDermott: temporal evolution of beliefs and beliefs about temporal evolution," Cognitive Science 11 : 3, pp. 283-297, 1987.
  • R. Loui. "Nozick's acceptance rule and the lottery paradox," Analysis 47 : 4, pp. 213-216, 1987.
  • R. Loui. "Review of Harman's change in view," Artificial Intelligence 32 : 3, pp. 119-124, 1987 (solicited).
  • R. Loui. **"Defeat among arguments: a system of defeasible inference," Computational Intelligence 3 : 3, pp. 100-106, 1987. UR CS TR 190, 1986.
  • R. Loui. **"Decisions with indeterminate probabilities," Theory and Decision 21 : 3, pp. 283-309, 1986.
  • R. Loui. **"Optimal paths in graphs with stochastic or multidimensional weights," Communications of the ACM (CACM) 26 : 9, pp. 670-676, 1983. Student paper prize. UR CS TR 115, 1982. Reprinted in Bit (JAPAN) 1984. Invited paper at ORSA/TIMS, Boston, 1984. Also a response to M. Henig over the article, CACM 28 : 11, 1985.
  • R. Loui. Letter in response to J. Peterson's article on automatic spell-checking, CACM 27, Forum, 1981.

    Distinct Conference Papers in Proceedings and Papers Formally Presented (**refereed)

  • J. B. Sharkey, D. Weishar, J. Lockwood, R. Loui, et al. Information processing at very high-speed data ingestion rates, in Emergent Information Technologies and Enabling Policies for Counter Terrorism, Popp and Yin, eds., IEEE Press/Wiley, 2006 (to appear).
  • S. Eick, J. Lockwood, R. Loui, et al., Hardware accelerated algorithms for semantic processing of document streams IEEE Aerospace Conference, 2006 (to appear).
  • M. Looks and R. Loui. **"Game mechanisms and procedural fairness: preliminary framework," JURIX (Dutch AI and Law Conference), Brussels, 2005.
  • M. Looks, R. Loui, and **"B. Cynamon. Dynamics of rule revision and strategy revision in legislative games," JURIX (Dutch AI and Law Conference), Brussels, 2005.
  • J. Lockwood, S. Eick, D. Weishar, R. Loui, et al. Transformation algorithms for data streams, IEEE Aerospace Conference, 2005.
  • J. Moscola, M. Pachos, J. Lockwood, R. Loui. **"FPsed: a streaming content search-and-replace module for an internet firewall," Proc. Hot Interconnects 11 (HotI-11), Stanford, 2003.
  • J. Moscola, J. Lockwood, R. Loui. **"Implementation of a content-scanning module for an internet firewall," Proc. IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), Napa, 2003.
  • R. Loui. "Some philosophical remarks on the foundations of computing," read at the Annual Meeting of the Society for Exact Philosophy (SEP), Athens, 1998.
  • R. Loui. "One hundred observations about fair games," read at the Maastricht Workshop on Legal Argumentation, 1998 (invited).
  • R. Loui and J. Norman, et al. **"Progress on Room 5: public interactive semiformal legal argument," J. Norman and students, Proc. Fifth Intl. Conf. on AI and Law (ICAIL-97), Melbourne, 1997. Abstract given at the Second Intl. Conf. on French-American AI and Law, Nice, 1998.
  • R. Loui. "Logic of arguments, and arguments of cases," Proc. XVIII World Congress of the International Association for Philosophy of Law and Social Philosophy (IVR), Buenos Aires, 1997.
  • F. Tohme and R. Loui. "Alchourron's defeasible conditionals and defeasible reasoning," Proc. Logica, Informatica, Diritto, Pisa, 1996. Published in Logica Della Norme, A. Martino, ed., 1997. WU CS TR 97-03.
  • R. Loui. **"Hart's critics on defeasible concepts and ascriptivism," Precis of larger paper, Proc. Fourth Intl. Conf. on AI and Law (ICAIL-95), College Park, pp. 21-30, ACM Press, 1995.
  • R. Loui. "An argument and arbitration game (precis)," Proc. AAAI Workshop on Computational Dialectics, pp. 72-83, Seattle, 1994.
  • R. Loui, J. Norman, J. Olson, and A. Merrill. **"A design for reasoning with policies, precedents, and rationales," Proc. Fourth Intl. Conf. on AI and Law (ICAIL-93), Amsterdam, pp. 202-211, ACM Press, 1993.
  • G. Pinkas and R. Loui. **"Reasoning from inconsistency," Proc. of The Third Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR92), Boston, H. Levesque and R. Brachman, eds., pp. 709-719, Morgan Kaufman, 1992. WU CS TR 91-27, 1991.
  • R. Loui. **"Analogical reasoning, defeasible reasoning, and the reference class," Proc. of The First Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR89), Toronto, H. Levesque and R. Brachman, eds., pp. 256-265, Morgan Kaufman, 1989. WU CS TR 89-7, 1989.
  • R. Loui. **"Defeasible decisions: what the proposal is and isn't," in Uncertainty in AI V, M. Henrion, R. Schachter, L. Kanal, and J. Lemmer, eds., pp. 99-116, North-Holland, 1990. Also, Uncertainty Workshop V, Windsor, 1989 (solicited). WU CS TR 89-30, 1989.
  • R. Loui. "Some inflammatory theses," Proc. Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, (2 pages), St. Louis, 1989.
  • R. Loui. **"Two heuristic functions for utility," Proc. AAAI Spring Symposium on Limited Rationality, pp. 81-86, Stanford, 1989. Also WU CS TR 89-9, 1989.
  • G. Simari and R. Loui. **"Confluence of argument systems: Poole's rules revisited," Proc. Third Intl. Workshop on Non-Monotonic Reasoning (NONMON3), pp. 223-232, Tahoe, 1990.
  • R. Loui. **"Evidential reasoning in a network usage prediction testbed," in Uncertainty in AI IV, R. Schachter, T. Levitt, L. Kanal, and J. Lemmer, eds., pp. 253-269, North-Holland, 1990. Also Uncertainty Workshop IV, Minneapolis, 1988.
  • R. Loui. "The curse of Frege," in Proc. of The Second Conference on Theoretical Aspects of Reasoning about Knowledge (TARK II), M. Vardi, ed., pp. 355-359, Morgan Kaufman, Monterey, 1988 (invited commentary).
  • R. Loui. **"Computing reference classes," in Uncertainty in AI II, J. Lemmer and L. Kanal, eds., pp. 273-289, North-Holland, 1987. Also Uncertainty Workshop II, Philadelphia, 1986.
  • R. Loui. **"Interval-based decisions for reasoning systems," in Uncertainty in AI, L. Kanal and J. Lemmer, eds, pp. 459-472, North-Holland, 1986. Also, Uncertainty Workshop I, Los Angeles, 1985 with J. Feldman and H. Kyburg.

    Books, Manuscripts, and Edited Proceedings

  • Knowledge Representation and Defeasible Reasoning, H. Kyburg, R. Loui, and G. Carlson, eds., (Volume 5 in the Springer Studies in Cognitive Systems) Kluwer, 1990 (423 pages), ISBN: 0-7923-0677-5.
  • Theory and Computation of Uncertain Inference and Decision, doctoral dissertation, University of Rochester, 1987 (260 pages, and revised manuscript for dissertation competition, 199 pages). Also UR CS TR228.
  • Legal Knowledge and Information Systems JURIX 2001: The Fourteenth Annual International Conference, with B. Verheij, A.R. Lodder, and A. Muntjewerff (eds.), (Volume 70 Frontiers in Artificial Intelligence and Applications), IOS Press, Amsterdam, Berlin, etc., 2001 (150 pages), ISBN: 1-5860-3201-1. (This was a courtesy co-editorship.)

    Chapters in Books (Non-Proceedings)

  • R. Loui. "An architecture for purely probabilistic negotiating agents: pessimism and punishment, laissez-faire paths, and one-sided rationality," volume of papers from the (Kyburg) Symposium on Probability as a Guide to Life, W. Harper and N. McClennan eds., 2006 (in press).
  • R. Loui. "Three kinds of machines we program," in AI and Virtual Reality, M. Postiglione, R. Brungs eds., (Papers from Theological Encounter with Science and Technology, ITEST, 2004), 2005.
  • R. Loui and M. Tutunaru. "Fed Cite Harvest: Receillir les Jurisprudences importantes," Droit et Intelligence artificialle, D. Bourcier, P. Hassett, C. Roquilly, eds., Romillat, 2000.
  • R. Loui. "Case-based reasoning and analogy," commissioned entry in the MIT Encyclopedia of Cognitive Science, R. Wilson and F. Keil, eds., MIT Press, 1998.
  • R. Loui. "Alchourron and von Wright on conflicting norms," in D. Nute, ed., Defeasible Deontic Logic, Kluwer, 1997. Also invited paper at Logica, Informatica, Diritto, the Workshop in Honor of Carlos Alchourron, Pisa, 1996 (a different paper was drafted for the proceedings).
  • R. Loui. "Back to the scene of the crime: who survived Yale shooting," in K. Ford and Z. Pylyshyn, eds., The Robot's Dilemma Revisited, Ablex, 1996. Also invited paper at The First International Workshop on Human and Machine Cognition, Pensacola, 1989.
  • R. Loui. "Dialectic, computation, and ampliative inference," in Philosophy and AI, J. Pollock, and R. Cummins, eds., pp. 141-155, MIT Press, 1991. Also precis delivered at The Second Midwest AI and Cognitive Science Conference, Carbondale, 1990. WU CS TR 89-41.
  • R. Loui. "Defeasible specification of utilities," pp. 345-359, which was an invited paper at Society for Exact Philosophy 17, Rochester, 1988. Included in Knowledge Representation and Defeasible Reasoning, H. Kyburg, R. Loui, and G. Carlson, eds., Kluwer, 1990.

    Additional Technical Reports

  • R. Loui and D. Moore. "Dialogue and deliberation," (45 pages), 1997. WU CS TR 97-11.
  • R. Loui and J. Norman. "Eliding the arguments of cases," (12 pages), WU CS TR 97-12, 1997.
  • R. Loui. "Human and Machine Cognition Workshop papers, 1989, 1991, 1993," WU CS TR 93-27 (includes two papers listed above), 1993 (26 pages). Includes "Should those who exercise the authority of rules also know the cases?" read at The Third International Workshop on Human and Machine Cognition, Seaside, 1993.
  • R. Loui, J. Norman, A. Merrill, K. Stiefvater, J. Olson, and A. Costello. "Computing specificity," (27 pages). WU CS TR 93-03, 1993.
  • R. Loui and J. Chen. "Clothespins on timelines: utility interval representation of time," WU CS TR 93-05, 1993 (14 pages).
  • R. Loui. "An argument game," with W. Chen, WU CS TR 92-47, 1992 (33 pages).
  • R. Loui and N. Jain. "Exact dominance without search in decision trees," Workshop on Normative Systems, Palos Verdes, 1991 (14 pages). WU CS TR 92-51, 1992.
  • R. Loui. "User's manual for CCRC: (common) computing reference classes, statistical reasoning shell v. 2.5," WU CS TR 89-8, 1989 (39 pages).
  • R. Loui. "Defeat among arguments II," WU CS TR 89-6, 1989 (120 pages).
  • D. Chiu, D. Ting, R. Jain, R. Loui, and W. Hawe. "Impact, design, and use of etherbridge," Digital Equipment Corporate Research Report, 1983 (64 pages).

    Note: Students and staff under supervision have produced fourteen refereed papers and twenty-two total papers as independent authors, including publications in Artificial Intelligence (4x), Journal of AI Research, Machine Intelligence and Pattern Recognition, Neural Computation, AAAI, IJCAI, and NIPS.

    Courses Taught

  • CS100 Computing Tools
  • CS141 Web Services and Web Enterprise (experimental course)
  • CS160 Web Development (new course developed)
  • CS201/301 Formal Foundations of CS
  • CS300 Art and Science of CS (experimental course)
  • CS313 AI Laboratory (new course developed)
  • CS363 Server-Side and CGI Scripting (new course developed, with D. Butler)
  • CS456 Software Engineering
  • CS507 Formal Languages and Automata
  • CS511 Artificial Intelligence I
  • CS512 Artificial Intelligence II
  • CS513 Knowledge Engineering
  • CS540 Formal Foundations of CS (course redeveloped)
  • CS580 Topics in Knowledge Representation (experimental course)
  • CS6742 Research Seminar in AI

    University, Engineering School, and Department Service

  • University Residential College Faculty Associate (04)
  • University Information Technology in Medical Student Education Committee (04)
  • University Board of Trustees Undergraduate Committee (02-04)
  • University Bookstore Advisory Committee (02-04)
  • University Chancellor's Management Team Research Speaker (01)
  • SEAS Engineering Library (ad hoc, 89-90)
  • SEAS Engineering 2001 Report (ad hoc, 90-91)
  • SEAS Library Liaison (90-91, 91-92, 92-93)
  • SEAS Speaker of Engineering Faculty Assembly (01-02)
  • SEAS Tenure Committees (both successful)
  • Department Graduate Admissions (88-89, 89-90 chair, 90-91, 99-00, 00-01 chair)
  • Department Graduate Recruiting (00-01chair)
  • Department Doctoral Committee (98-99 chair)
  • Department Summer Research (90-00 chair)
  • Department Technology Adoption Committee (99-00, 00-01)

    Notable Software Systems and Prototypes

  • CRC and CCRC, 1986-1989. LISP (FRANZ and COMMON) implementations of Kyburg's system for computing probabilities. Reported in dissertation.
  • RCSTAT, 1990-1993, with A. Costello. An efficient C implementation of Kyburg's system for computing probabilities (24k source sans comments). On the Primetime AI Freeware CD.
  • NATHAN, 1991-1993, with A. Costello, A. Merrill. A C implementation of rules for computing defeat among arguments (90k source sans comments). On the Primetime AI Freeware CD.
  • LMNOP, 1992, with J. Olson. A LISP implementation of a system for reasoning with policies, precedents, and rationales (49k source sans comments, 219 functions). Reported at conference.
  • HSERVER, 1992. A gawk-based mailserver that permitted a large organization to run a semi-private kiosk (a gopher competitor), a transitional system from mailservers to WWW.
  • SOPHIE I-III, 1993-1996, with D. Saff, S. Reda, S. Klein. Dialectical search for arguments and adjudication in C++ and gawk. Reported at conference. Reengineered, 2002, with J. Hseu in GOO with additional markup.
  • ARGCOL/ANTIGONE, 1993-1997, with T. Dang, J. Smith, J. Frens, M. Foltz, and J. Altepeter. Formatting plain-text arguments in Visual Basic, VI, gawk, C++, and HTML. Reported at conference.
  • ROOM 5/FED CITE HARVEST, 1996-1998, with J. Norman, J. Altepeter, D. Pinkard, D. Craven, J. Linsday, J. Pollack, D. Goldman, M. Gonzalez. A Web-site for interactive semi-symbolic argumentation of pending Supreme Court cases. Includes datamining online federal appellate decisions. Reported at conference.
  • A NEGOTIATION DEMO, 1996, with K. Hashimoto. A Web-site which shows two negotiating agents who perform individual and joint search. Reported in NSF workshop.
  • AN ARGUMENT GAME, 1996-2002, with N. Kang and A. Tjahjadi. A JAVA-based and a CGI-based site each of which referees an argument game.
  • A BETTER NEGOTIATION GAME, 1998, with A. Jump. A CGI-based site that referees a negotiation game that intermixes personal and social problem-solving.
  • MCOW/PROXY, 1999. A CGI-based browser accelerator that compresses images and rewrites HTML pages for thin clients.
  • PESS/PUNISH, 2000-2003, with B. Dheeravongkit. A simulator of agents that negotiate with pessimism probabilities and punishment utilities.
  • LOG ANALYST and REPLAYER, 2000, for Streamsearch.com. A CGI tool that segments sessions and infers user intent and statistics from web logs; also a replayer of user sessions with simulated bandwidth delays.
  • MMMALLOC, 2000, with M. Waldvogel, M. Pachos, K. Krouse. A version of the GNU malloc that localizes objects during memory allocation and a version of gawk that makes use of mmmalloc. In Doug Lea's release of GNU malloc as independent comalloc. Also an investigation with M. Waldvogel and K. Ormsby into optimal hash table widths for gawk programs bottlenecked by paging.
  • FPGREP, FPSED, and FPAWK, 2001, with J. Lockwood, M. Pachos, J. Moscola. An FPGA compiler for regular expression-based text processing tools. Basis for patent.
  • WARNER, 2002, with M. Summer and R. Pless. A real-time risk analysis testbed based on quarterback decisionmaking.
  • MEBAY, 2002. An auction browsing front-end which pre-fetches, caches, compresses, and reorganizes information; and example of how deep-linking and CGI easily permit rewriting of interfaces.
  • WUBAY, 2002, with M. Pendlebury. A reengineering of an auction site aimed for use in university communities.
  • SUBMAN/SUPERMAN, 2003, with C. Hendricks and E. Bosanquet. An intelligent HTML front-end to UNIX manual pages (beyond man-cgi).
  • AUTOCLASS/AUTOCLUSTER, 2004, for Global Velocity sponsored project with intelligence applications.

    Patents

    U.S. Patent filing, 5/21/02, 53047/9014 "Methods, Systems, and Devices Using Reprogrammable Hardware for High-Speed Processing of Streaming Data to Find a Redefinable Pattern and Respond Thereto." J. Lockwood, M. Pachos, J. Moscola, and R. Loui.

    Professional Service

    Organization and Editing

  • Special Issue Editor, AI Journal, with E. Rissland and K. Ashley, 2003.
  • Conference Chair, SEP (Society for Exact Philosophy), St. Louis, 2002.
  • Conference Chair and Program Committee, ICAIL, St. Louis, 2001.
  • Organizer, MiniSymposium on Interactive Foundations of Computing, St. Louis, 1997.
  • Organizer and Co-Chair, AAAI Workshop on Computational Dialectics, Seattle, 1994.
  • Knowledge Representation and Defeasible Reasoning, H. Kyburg, R. Loui, and G. Carlson, eds., Kluwer, 1990 (423 pages). Papers from the Society for Exact Philosophy Meeting 17, Rochester, 1988.
  • Organizer and Program Committee Chair, Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, St. Louis, 1989.
  • Organizer, Harvard INTERNET Club, 1992-3.

    Conferences and Boards

  • Nominating Committee, IAAIL, Intl. Assn. for AI and Law, 1997-2001.
  • Conference Coordinator Chair, KR, Knowledge Representation and Reasoning, and Advisory Board, KR Inc. (Responsible for the KR conferences.) Boston, 1996.

  • Program Committee, COMMA, International Conference on Computational Models of Argument, Liverpool, 2006.
  • Program Committee, CMSRA, Fourth International Workshop on Computational Models of Scientific Reasoning and Applications, Lisbon, 2005.
  • Program Committee, FINCO, Foundations of Interactive Computing, Edinburgh, 2005.
  • Program Committee, ICAIL (Intl. Conf. on AI and Law), Bologna, 2005.
  • Program Committee, ICAIL (Intl. Conf. on AI and Law), Edinburgh, 2003.
  • Program Committee, Workshop on Argument, Dialogue, and Decision, with KR 02 and NonMonotonic Reasoning 02, Toulouse, 2002.
  • Program Committee, JURIX, Amsterdam, 2001.
  • Program Committee, IASTED AI and Law, San Francisco, 2000.
  • Program Committee, Computational Dialectics Workshop, ECAI, Berlin, 2000.
  • Program Committee, AAAI National Conference, Orlando, 1999.
  • Program Committee, ICAIL, Oslo, 1999.
  • Program Committee, IASTED AI and Law, Honolulu, 1999.
  • Program Committee, AAAI National Conference, Portland, 1996.
  • Program Committee, AAAI National Conference, St. Paul, 1988.
  • Session Chair, UAI, Uncertainty in AI, Washington, D.C., 1993.

    Reviewing

    Editorial Boards, AI and Law, La Revue EDHEC Journal of Law, New Technology, and Best Legal Practices (Comite Scientifique), Journal of Computer Science and Technology (JCS&T/Latin America, with former doctoral student).

    Has refereed NSF, ESPRIT (Europe), ERC (Canada), EPSRC (UK), and Oak Ridge proposals, including four NSF funding review panels.

    Journals refereed include Advanced Computational Intelligence, Annals of Mathematical Computing, Annals of Mathematics and AI, Argumentation, Artificial Intelligence (AI Journal), AI and Law, AI and Society, Autonomous Agents and Multiagent Systems, Communications of The ACM (CACM), Computational Intelligence, Computers and Mathematics with Applications, Games and Economic Behavior, Group Decision and Negotiation, IEEE Expert, IEEE Transactions on Knowledge and Data Engineering, Intl. J. of Approximate Reasoning, Intl. J. of Intelligent Systems, Intl. J. of Security and Networks, J. of AI Research (JAIR), J. of The Association for Computing Machinery (JACM), J. of Logic and Computation, Minds and Machines, Monist, Structured Programming, Synthese.

    Additional conferences refereed include AAAI 88, IJCAI 89, Uncertainty 5, 6, 7, 8, and 9, 3rd Midwest Conference on AI and Cognitive Science, ACM CSC 93, Hawaii Conference on Systems Science 93, FLAIRS 96, AAAI 96, KR 96, FAPR CD Workshop 96, IASTED 99, ICAIL 99, AAAI 99, JURIX 99, IASTED 00, ICAIL 01, JURIX 01, FINCO 05, ICAIL 05, CMSRA 05.

    Recognition

    Awards and Nominations

    Shared first prize, ACM George S. Forsythe Award (best undergraduate student paper in computer science), 1983. Nominated for the Journal of Philosophy Johnsonian Prize, 1988 (best doctoral thesis in philosophy), and unofficial runner-up.

    Nominated for SIGART secretary/treasurer, 1992.

    Plenary Invited Addresses

  • Invited Speaker, Symposium in honor of Henry Kyburg, University of Rochester (Philosophy department and University-wide Meliora Day), 2004.
  • Conference Invited Speaker, ITEST Workshop on Virtual Reality and AI, with four others, Belleville, 2004.
  • Conference Invited Speaker, CAEPIA-TTIA (Spanish national AI conference), with three others, San Sebastian, 2003.
  • Panelist, Second Intl. Conference on Theoretical Aspects of Reasoning about Knowledge (TARK II), with J. Doyle, H. Levesque, and R. Moore, Monterey, 1988.

    Academic Colleagues (excluding all students) Supported with Reference Letter

  • Trevor Bench-Capon, Professor, Liverpool, UK.
  • Sviatoslav Braynov, Assistant Professor, SUNY Buffalo.
  • Steve Cousins, manager, PARC.
  • Dan Dooly, Assistant Professor, SIUE.
  • Hector Geffner, Professor, Universitat Pompeu Fabra, Spain.
  • Moises Goldszmidt, Senior Research Associate, Stanford.
  • Kate Larson, Assistant Professor, Waterloo, Canada.
  • Eric Neufeld, Professor, University of Saskatchewan, Canada.
  • Simon Parsons, Reader, University of Liverpool, UK.
  • Michael Pittarelli, SUNY Utica.
  • John Pollock, Professor, University of Arizona.
  • Henry Prakken, Lecturer, University of Utrecht, Netherlands.
  • Edwina Rissland, Professor, University of Massachusetts.
  • Tuomas Sandholm, Associate Professor, CMU.
  • Fernando Tohme, Associate Professor, National Southern University (Bahia Blanca), Argentina.
  • Bart Verheij, Assistant Professor, University of Maastricht, Netherlands.
  • Gerard Vreeswijk, University of Utrecht, Netherlands.

    Invited Presentations at Academic or Research Institutions

    Brandeis University, Brown University, SUNY Buffalo. Rockwell Science Center Palo Alto, SUNY Albany, University of Colorado-Boulder, University of Illinois-Chicago, University of Maryland-College Park, University of Michigan, Washington University (CS), Stanford CSLI (seminar), University of Illinois-Urbana, Xerox PARC, Xerox Webster. UCLA (AI class), Washington University (Phil). University of Chicago (CS and LS). University of Linkoeping (SWEDEN), National Nonmonotonic Logic Working Group and Vrije Universiteit Amsterdam (NETHERLANDS), St. Louis University, St. Louis SIGART, Southwestern Bell TRI. University of Illinois-Urbana, University of Rochester. DFKI (German AI Center, University of Saarbruecken, GERMANY), GMD (Institute for Mathematics and Computer Science, Bonn, GERMANY), Vrije Universiteit Amsterdam (NETHERLANDS), UMSL Engelmann Institute, University of Cincinatti, Carnegie-Mellon University (CS and Phil), University of Pittsburgh LRDC. ICOT (Tokyo, JAPAN), Meijigakuin School of Law (Tokyo, JAPAN), Universidad Nacional del Sur (Bahia Blanca, ARGENTINA), University of Rochester. University of Georgia, UMSL Engelmann Institute, Washington University (PNP Colloquium). Washington University (Economics). UMSL (undergraduate philosophy club). Telcordia (invited, postponed). SUNY Buffalo. University of Rochester (Philosophy Symposium and Meliora Day Panel).

    Public Symposia

    Harvard Club of St. Louis Conference "Schools and Education: Which Will Survive?" respondent to Nathan Glazer, Spring 1995.

    Harvard Club of St. Louis Co-Sponsor "How the Web is Changing the College," with Harry R. Lewis, Spring 1999.

    St. Louis Regional Commerce Growth Association (RCGA) Power Panel Invited Speaker, 2002.

    Public Service

    Computer Mini-Camp for Girls (thirteen seventh- and eighth-graders), Summer 1997.

    Press Coverage

    Recent press coverage in: WU Record, St. Louis Post Dispatch, Inside R&D Alert, Beyond2000.com, Scienceagogo.com, Eurekalert.com, KurzweilAI.net, Index.hu (Hungary), and others (on AI and Law). KDHX talk show (promoting Bucket Dance) and program notes for Edison Theater, Columbia Journalism Review (letter on Hawaii press), Tech (MIT daily) (letter on freshman death), various Notables in WU Record. Photographic work for WU Record and graduate study brochures for Rochester CS and WU CS, and on-camera/on-air work for Harvard Crimson, Harvard: A Portrait, Rochester TV station and newspaper, Honolulu newspaper.

    Selected Citations

    (CACM 83) Eiger, Mirchandani, and Soroush, "Path preferences and optimal paths," TRANSP SCI, 1985. Henig, "Optimal paths," CACM, 1985. Warburton, "Approx. of Pareto optima in multiple-obj. shortest-path problems," OPER RES, 1987. Andreatta, Romeo, "Stochastic shortest paths with resource constraints," NETWKS, 1988. Bard, Miller, "Probabilistic shortest-path problems with budgetary constraints," COMP OPER RES, 1989. Bard and Feinberg, "2-phase methodology for technology selection," IEEE MGMT, 1989. Brumbaugh-Smith and Shier, "Bicriterion shortest path algorithms," EUR J OPER RES, 1989. Beasley and Christofides, "Algorithm for the resource-constrained shortest path problem," NETWKS, 1989. Bard and Bennett, "Arc reduction and path preference," MAN SCI, 1991. List, Mirchandani, Turnquist, and Zografos, "Hazardous materials transportation," TRANSP SCI, 1991. Stewart, Liaw, and White, "Bibliography of heuristic search," IEEE SMC, 1994. Wellman, Larson, Ford, and Wurman, "Path planning under time-dependent uncertainty," UNCAI, 1995. Murthy, Sarkar, "Relaxation-based pruning technique for stochastic shortest paths," TRANSP SCI, 1996. Murthy, Sarkar, "Exact algorithms for the stochastic shortest path problem with a decreasing deadline utility function," EUR J OPER RES, 1997. Fu, "Expected shortest paths in dynamic and stochastic traffic networks," TRANSPORT RES B-METH, 1998. Miller-Hooks, Mahmassani, "Least possible time paths in stochastic, time-varying networks," COMP OPER RES, 1998. Murthy, Sarkar, "Stochastic shortest path problems with piecewise-linear concave utility functions," MANAGE SCI, 1998. Modesti, Sciomachen, "A utility measure for finding multiobjective shortest paths in urban multimodal transportation networks," EUR J OPER RES, 1998. Miller-Hooks and Mahmassani, "Least expected time paths in stochastic, time-varying transportation networks," TRANSPORT SCI, 2000. Fu, "Adaptive routing algorithm," TRANSP RES, 2001. Mandow, de la Cruz, "A heuristic search algorithm with lexicographic goals," ENG APPL ART INT, 2001. Bander and White, "A heuristic search approach for a nonstationary stochastic shortest path problem," TRANSPORT SCI, 2002. Rilett and Park, "Incorporating uncertainty and multiple objectives," J TRANSP ENG-ASCE, 2001. Fu, "Adaptive routing algorithm for in-vehicle route guidance systems with real-time information," TRANSPORT RES B-METH, 2001. Van Mieghem, Kuipers, Korkmaz, "Quality of service routing," LECT NOTES COMP SCI, 2003. Pattanamekar, Park, Rilett, "Dynamic and stochastic shortest path in transportation networks with two components of travel time uncertainty," TRANSPORT RES C-EMER, 2003. Mandow, de la Cruz, "Multicriteria heuristic search," EUR J OPER RES, 2003. Korkmaz, Krunz, "Bandwidth-delay constrained path selection under inaccurate state information," IEEE ACM T NETWORK, 2003. Miller-Hooks, Mahmassani, "Path comparisons for a priori and time-adaptive decisions in stochastic, time-varying networks," EUR J OPER RES, 2003. Briggs, Detweiler, Scharstein, "Expected shortest paths for landmark-based robot navigation," J ROBOTICS RESEARCH, 2004.

    (UNCAI 85 IntDec, Th. & Dec. 86) Yen, "A reasoning model based on an extended Dempster-Shafer theory," AAAI, 1986. Dubois and Prade, "Comments on Cheeseman," COMP INT, 1988. Kaplan, Frank, Bley, and Lindsay, "Expert System for Reactor Oper. Asst.," RELIAB ENG, 1988. Pittarelli, "Decision making with linear constraints," UNCAI, 1988. Pittarelli, "Uncertainty and estimation in reconstructability," INT J GEN S, 1989. Kaplan, Keter, Epstein, Bley, and Emerson, "Co-Pilot: bayesian diagnostic module," RELIAB ENG, 1990. Pittarelli, "Reconstructability analysis," INT J GEN S, 1990. Bacchus, REPRESENTING REASONING WITH PROBABILISTIC KNOWLEDGE (thesis & book), 1990. Pittarelli, "Decisions with probabilities over finite product spaces," IEEE SYST M, 1991. Kyburg, "A 2-level system of knowledge representation," PHIL STUD, 1991. Pittarelli, "Probabilistic databases," KYBERNETIKA, 1993. An, Bell, Hughes, "A logic for relative evidential support," INT J APPROX REASON, 1993. Pittarelli, "Algebra for probabilistic databases," IEEE KNOWL, 1994. Kyburg and Pittarelli, "Set-based bayesianism," IEEE SMC, 1996. Ferson and Ginzburg, "Different methods are needed to propagate ignorance," RELIAB ENG, 1996. Ferson, Ginzburg, "Different methods are needed to propagate ignorance and variability," RELIAB ENG SYST SAFE, 1996. Walley, "Measures of uncertainty in expert systems," AI, 1996. Voorbraak, "Partial probability: Theory and applications", INT J UNCERTAIN FUZZ, 2000. Hall, "Contingency approach to choice," CIV ENG ENVIRON SYST, 2002. Ferson, Hajagos, "Arithmetic with uncertain numbers: rigorous and (often) best possible answers," RELIAB ENG SYST SAFE, 2004.

    (draft 85 ProbPrimer, CC-AI 87 Acceptance) Prade, "Computational Approach to Approx. and Plausible Reasoning," IEEE PAMI 1985. Shastri, SEMANTIC NETWORKS (thesis & book), 1986. Pearl, "Distributed revision of composite beliefs," AI, 1987. Kyburg, "Representing knowledge and evidence for decision," LECT NOTES COMP SCI, 1987. Pearl, PROBABILISTIC REASONING INT SYSTEMS, 1988. Geffner, CONDITIONAL ENTAILMENT (thesis & book), 1989. Geffner and Pearl, "A framework for reasoning with defaults," 1990. Poole, "The effect of knowledge on belief," AI, 1991. Cohen, "Default reasoning and generics," COMP INT, 1997.

    (UNCAI 87 RefClass) Grosof, "Nonmonotonicity in probabilistic reasoning," UNCAI, 1988. Kyburg, "Knowledge," UNCAI, 1988. Kyburg, "Epistemological relevance," UNCAI, 1990. Kyburg, "Probabilistic inference and nonmonotonic inference," UNCAI, 1990. Lea Sombe, REASONING UNDER INCOMPLETE INFORMATION, 1990. Doyle and Wellman, "Impediments to universal default theories," AI, 1991. Etherington, "Nonmonotonicity and the scope of reasoning," AI, 1991. Kyburg, "Semantics for probabilistic inference," UNCAI, 1992. Eick and Mehta, "Decision-Making involving imperfect knowledge," IEEE SMC, 1993. An, Bell, Hughes, "A logic for relative evidential support," INT J APPROX REASON, 1993. Kyburg, "Believing on the basis of evidence," COMP INT, 1994. Thone, Kiessling, Guntzer, "On cautious probabilistic inference and default detachment," ANN OPER RES, 1995. Greiner, "A probabilstic hill-climbing algorithm," AI, 1996. Kyburg, "Combinatorial semantics," COMP INT, 1997. Lukasiewicz, "Probabilistic default reasoning with conditional constraints," ANN MATH AI, 2002.

    (Cogn. Sci. 87, RespHanks) McDermott, "AI, logic, and the frame problem," THE FRAME PROBLEM, 1987. Hanks and McDermott, "Nonmonotonic logic and temporal projection," AI, 1988. Konolige and Myers, "Representing defaults," COMP INT, 1989. Goodwin and Goebel, "The knowledge independence problem," LECT NOTES CS, 1989. Dascal, "Knowledge of representation," SYST RES, 1989. Nute, "Defeasible logic," KNOWLEDGE REPRESENTATION DEFEASIBLE REASONING, 1990. Vreeswijk, "Feasibility of defeat," KR, 1991. Valot and Amalberti, "Metaknowledge for time and reliability," RELIAB ENG, 1992. Vreeswijk, "Interpolation of benchmark problems," M MACHINES, 1993. Toth, "Review of Ford and Hayes," AI, 1995. Lin and Shoham, "Provably correct theories of action," JACM, 1995. Shanahan, "Circumscriptive calculus of evidence," AI, 1995. Pollock, "Perceiving and reasoning about a changing world," COMP INT, 1998.

    (Comp. Intell. 87, DefArg) Pearl, PROBABILISTIC REASONING INT SYSTEMS, 1988. Etherington, REASONING WITH INCOMPLETE INFORMATION, 1988. Konolige and Pollack, "Ascribing plans to agents," IJCAI, 1989. Konolige and Myers, "Representing defaults," COMP INT, 1989. Konolige, "Hierarchic autoepistemic theories," LECT NOTES CS, 1989. Thomason and Horty, "Logics for inheritance," LECT NOTES CS, 1989. Simari, "Mathematics of defeasible reasoning," thesis, 1989. Geffner, "Default reasoning, minimality, and coherence," KR, 1989. Geffner and Pearl, "Reasoning with defaults," KNOWLEDGE REPRESENTATION DEFEASIBLE REASONING, 1990. Poole, "Dialectics and specificity," NONMON, 1990. Bacchus, REPRESENTING REASONING WITH PROBABILISTIC KNOWLEDGE (thesis & book), 1990. Pollock, NOMIC PROBABILITY THE FOUNDATIONS OF INDUCTION, 1990. Pollock, "OSCAR: a general theory of rationality," PHILOSOPHY AI, 1991. Pollock, "A theory of defeasible reasoning," INT J INT SYSTS, 1991. Touretzky, Thomason, and Horty, "A skeptic's menagerie," IJCAI, 1991. Besnard, "Default logics," LECT NOTES COMP SCI, 1991. Cussens, Hunter, "Using defeasible logic for a window on a probabilistic database," LECT NOTES COMP SCI, 1991. Pearl, "Probabilistic semantics," PHILOSOPHY AI, 1991. Goldszmidt and Pearl, "Consistency of defeasible databases," AI, 1991. Geffner, "Beyond negation as failure," KR, 1991. Poole, "The effect of knowledge on belief," AI, 1991. Grosof, "Generalizing prioritization," KR, 1991. Vreeswijk, "Abstract argumentation," World Congress Foundations of AI, 1991. Prakken, "A tool in modelling disagreement in law," ICAIL, 1991. Vreeswijk, "Feasibility of defeat," KR, 1991. Goldszmidt, "Qualitative probabilities," thesis, 1992. Geffner and Pearl, "Conditional entailment," AI, 1992. Pollock, "How to reason defeasibly," AI, 1992. Vresswijk, "Reasoning with defeasible arguments," LECT NOTES CS, 1992. Hunter, "Conceptualization of preferences," LECT NOTES CS, 1992. Pinkas, "Logical inference in symmetric connectionist networks," thesis, 1992. Prakken, "Logical tools for legal reasoning," thesis and book, 1992. Thomason, "NETL and subsequent path-based theories," COMP MATH, 1992. Lin and Shoham, "Argument systems," COMP INT, 1993. Grosof, "Unification of specificity dominance," thesis, 1993. Vreeswijk, "Studies in defeasible argumentation," thesis, 1993. Vreeswijk, "Defeasible dialectics," J LOGIC COMP, 1993. Ferguson, "Explicit representation of events," thesis, 1993. Elvang-Goransson, Krause, and Fox, "Dialectic reasoning with inconsistent information," UNCAI, 1993. Kim, Maida, "Reliability measure-theory - a nonmonotonic semantics," IEEE T KNOWL DATA EN, 1993. Krause and Clark, REPRESENTING UNCERTAIN KNOWLEDGE, 1993. Freeman, "Toward formalizing dialectical argumentation," thesis, 1993. Kim, "Reliability measurement theory," IEEE Knowl., 1993. Poole, "Probabilistic horn abduction," AI, 1993. Boutillier, "Conditional logics of normality," AI, 1994. Eklund, "Recent developments," KNOWLEDGE ENGINEERING, 1994. Lozinskii, "Information and evidence in logic systems," J EXP THEOR ART INT, 194. Pinkas, "Reasoning in connectionist networks," AI, 1995. Geerts, Vermeir, "Specificity by default," LECT NOTES ART INT, 1995. Ryu, "Conditional deontic logic augmented with defeasible reasoning," DATA KNOWL ENG, 1995. Ryu and Lee, "Deontic defeasible reasoning," DECISION SUPPORT SYSTEMS, 1995. Geffner, "A formal framework for causal modeling and argumentation," FAPR, 1996. Verheij, "Rules, reasons, arguments," thesis, 1996. Prakken and Sartor, "Assessing conflicting arguments," AI LAW, 1996. Parsons, "Current approaches to handling imperfect information in data and knowledge bases," IEEE T KNOWL DATA EN, 1996. McCarty, "Some arguments about legal arguments," ICAIL, 1997. Vreeswijk, "Abstract argumentation," AI, 1997. Parsons, "Normative argumentation and qualitative probability," LECT NOTES ART INT, 1997. Poole, Mackworth, Goebel, COMP INT (textbook on AI), 1998. Sycara, "Multiagent systems," AI MAG, 1998. Nute, Erk, "Defeasible logic graphs - I. Theory," DECIS SUPPORT SYST, 1998. Parsons, "A proof theoretic approach to qualitative probabilistic reasoning," INT J APPROX REASON, 1998. Kraus, Sycara, and Evenchik, "Reaching agreements through argumentation," AIJ, 1998. Delrieux, "Nonmonotonic reasoning under uncertain evidence," LECT NOTES ART INT, 1998. Parsons, Sierra, and Jennings, "Agents that reason and negotiate by arguing," J ON LOGIC COMP, 1999. Augusto, Simari, "A temporal argumentative system," AI COMMUN, 1999. Carbogim, Robertson, Lee, "Argument-based applications to knowledge engineering" KNOWLEDGE ENG REV, 2000. Baroni, Giacomin, Guida, "Extending abstract argumentation systems theory," AIJ, 2000. Roos, "On resolving conflicts," COMP INT, 2000. Haenni, "Cost bounded argumentation," INT J APPROX REASONING, 2001. Barnden, "Uncertainty and conflict handling in the ATT-meta context-based system for metaphorical reasoning," LECT NOTES AI, 2001. Moulin, Irandoust, and Belanger, "Explanation and argumentation capabilities," AI REV, 2002. Tohme, "Negotiation and defeasible decision making," THEOR DECIS, 2002. Bodanza, "Disjunctions and specificity in suppositional defeasible argumentation," LOGIC J IGPL, JAN 2002. Baroni, Giacomin, "Argumentation through a distributed self-stabilizing approach," J EXP THEOR ART IN, 2002. Brito, Neves, "Properties and complexity in feasible logic-based argumentation for electronic commerce," LECT NOTES ART INT, 2002. Parsons, McBurney, "Argumentation-based dialogues for agent co-ordination," GROUP DECIS NEGOT, 2003. Pradhan, "Connecting databases with argumentation," LECT NOTES ART INT, 2003. Nute, "Defeasible logic," LECT NOTES ART INT, 2003. Parsons, "Oil precise and correct qualitative probabilistic inference," INT J APPROX REASON, 2004. Pradhan, "Argumentation databases," LECT NOTES COMP SCI, 2003. Dignum, Vreeswijk, "Towards a testbed for multi-party dialogues," LECT NOTES AI, 2003. Rahwan I, Ramchurn SD, Jennings NR, et al. Argumentation-based negotiation KNOWLEDGE ENGINEERING REVIEW 18 (4): 343-375 DEC 2003.

    (Thesis 87 and Cvs.C) Pearl, PROBABILISTIC REASONING INT SYSTEMS, 1988. Baker and Ginsberg, "A theorem prover for prioritized circumscription," IJCAI, 1989. Weber, "A parallel algorithm for statistical belief refinement," IJCAI, 1989. Bacchus, "Default reasoning from statistical knowledge," NONMON, 1990. Grosof, "Defeasible reasoning and uncertainty," UNCAI, 1990. Neufeld and Horton, "Conditioning on disjunctive knowledge," UNCAI, 1990. Fertig and Breese, "Interval influence diagrams," UNCAI, 1990. Goldman and Breese, "Integrating model construction and evaluation," UNCAI, 1992. Bacchus, "Using first-order probability logic for constructing Bayesian networks," UNCAI, 1993. Fertig and Breese, "Probability intervals," IEEE PATT A 1993. Neufeld, "Simpson's paradox," COMP INT, 1995. Kyburg, "The rule of adjunction and reasonable inference," J PHILOS, 1997. Brafman and Friedman, "Decision-theoretic foundations for defaults," ART INT, 2001.

    (HUMCOG 89) Dennett, BRAINCHILDREN, 1998.

    (Tech. rep. 89-6 DAA-II) Vreeswijk, "Abstract Argumentation," World Congress Foundations of AI, 1991. Touretzky, Thomason, and Horty, "A skeptic's menagerie," IJCAI, 1991. Vreeswijk, "Abstract argumentation," AI, 1997. Kraus, Sycara, and Evenchik, "Reaching agreements through argumentation," AIJ, 1998.

    (UNCAI 90 DefDec, KR&DR 90 DefUtil, AAAI SS) Grosof, "Defeasible reasoning and uncertainty," UNCAI, 1990. Ferguson, "Explicit representation of events," thesis, 1993. Poole, "Probabilistic horn abduction," AI, 1993. Bacchus and Grove, "Independence in qualitative decision theory," AAAI SPRING SYMP, 1997. Bierens, Swanson, "The econometric consequences of the ceteris paribus condition in economic theory," J ECONOMETRICS, 2000. Doyle, "Prospects for preferences," COMP INT, 2004. Andrew AM Cybernetics and systems on the web - The nature of belief and the contribution of mathematics KYBERNETES 33 (7-8): 1098-1115 2004. Doyle J Prospects for preferences COMP INT 20 (2): 111-136 MAY 2004.

    (SIGART Transcript, tech. rep. 91 Workshop) Grosof, "Defeasible reasoning and uncertainty," UNCAI, 1990. Eklund, "An epistemic approach to interactive design," thesis, 1991. Riedesel, "Review of KR&DR," SIGART BULL, 1991. Lehmann, "Semantic networks," COMP MATH, 1992. Vreeswijk, "Studies in defeasible argumentation," thesis, 1993. Vreeswijk, "Eight dialectic benchmarks," SYNTHESE, 2001. Khayata, Pacholczyk, and Garcia, "Qualitative approach to syllogistic reasoning," ANN MATH AI, 2002.

    (TARK 88 Curse, Philosophy and AI 91 AmplInf) Doyle, "Constructive belief," COMP INT, 1989. Poole, "Dialectics and specificity," NONMON, 1990. Vreeswijk, "Feasibility of defeat," KR, 1991. Cummins, "Conceptual role semantics," PHIL STUD, 1992. Vreeswijk, "Nonmonotonicity and partiality," NONMONOTONIC REASONING PARTIAL SEMANTICS, 1992. Vreeswijk, "Studies in defeasible argumentation," thesis, 1993. Korb, "Inductive learning and defeasible inference," J EXP THEOR ART 7, 1995. Haenni, "Cost bounded argumentation," INT J APPROX REASONING, 2001.

    (M. & Machines 91 Keynes) Vreeswijk, "Studies in defeasible argumentation," thesis, 1993. Verheij, "Rules, reasons, arguments," thesis, 1996. Vreeswijk, "Eight dialectic benchmarks," SYNTHESE, 2001.

    (AI 92 MathDefReas) Geffner and Pearl, "Conditional entailment," AI, 1992. Prakken, "Logical tools for legal reasoning," thesis and book, 1992. Vreeswijk, "Studies in defeasible argumentation," thesis, 1993. Wagner. "Neutralization and preemption in extended logic programs," LECT NOTES ART INT, 1993. Ferguson, "Explicit representation of events," thesis, 1993. Dung, "Acceptability of arguments," IJCAI, 1993 and AI, 1992. Prakken, "Logical framework for modelling legal argument," ICAIL, 1993. Sartor, "Computational model for nonmonotonic and adversarial legal reasoning," ICAIL, 1993. Sartor, AI LAW, 1993. Benferhat, Dubois, and Prade, "Argumentative inference in uncertain knowledge bases," UNCAI, 1993. Gordon, "Pleadings Game," thesis, 1993. Freeman, "Toward formalizing dialectical argumentation," thesis, 1993. Kowalski and Toni, "Argument and Reconciliation," SYMP ON 5TH GEN COMP, 1994. Hage and Verheij, "Reason-based logic," LAW, COMP, AI, 1994. Stone, "The reference argument of epistemic must," COMP SEMANTICS, 1994. Prakken and Sartor, "Relation between legal language and legal argument," ICAIL, 1995. Prakken, "From logic to dialectics," ICAIL, 1995. Pinkas, "Reasoning in connectionist networks," AI, 1995. Cayrol, "Argumentation and non-monotonic coherence-based entailment," IJCAI, 1995. Benferhat, Dubois, Prade, "How to infer from inconsistent beliefs without revising," IJCAI, 1995. Rintanen, "On specificity in default logic," IJCAI, 1995. Dung, Son, "Nonmonotonic inheritance, argumentation and logic programming," LECT NOTES ART INT, 1995. Sandri, Bittencourt, "Possibilistic semantic nets," LECT NOTES COMP SCI, 1995. Geerts, Vermeir, "Specificity by default," LECT NOTES ART INT, 1995. Cayrol, "From non-monotonic syntax-based entailment to preference-based argumentation," LECT NOTES ART INT, 1995. Cayrol, LagasquieSchiex, "Non-monotonic syntax-based entailment: A classification of consequence relations," LECT NOTES ART INT, 1995. Benferhat, Dubois, Prade, "A local approach to reasoning under in stratified knowledge bases," LECT NOTES ART INT, 1995. Prakken and Sartor, "Assessing conflicting arguments," AI LAW, 1996. Prakken, "Dialectical proof theory," FAPR, 1996. Gordon, "The ZENO argumentation framework," ICAIL, 1997. Bondarenko, Dung, Kowalski, Toni, "Abstract argumentation-theoretic approach,"" AI, 1997. Karacapilidis, Pappis, "A framework for group decision support systems: Combining AI tools and OR techniques," EUR J OPER RES, 1997. Amgoud, Cayrol, "Integrating preference orderings into argument-based reasoning," LECT NOTES ART INT, 1997. Benferhat, Garcia, "A coherence-based approach to default reasoning," LECT NOTES ART INT, 1997. Schwartz, "Dynamic reasoning with qualified syllogisms," ART INT, 1997. Vreeswijk, "Abstract argumentation," AI, 1997. Poole, Mackworth, Goebel, COMP INT (textbook on AI), 1998. Lodder, "On legal justification and dialogue games," thesis, 1998. Kraus, Sycara, and Evenchik, "Reaching agreements through argumentation," AIJ, 1998. Karacapilidis, Papadias, "A computational approach for argumentative discourse in multi-agent decision making environments," AI COMMUN, 1998. Karacapilidis, Pappis, Augusto, Simari, "A temporal argumentative system," AI COMMUN, 1999. "Computer-supported collaborative argumentation and fuzzy similarity measures in multiple criteria decision making," COMP OPER RES, 2000. Dung, Son, "Default reasoning with specificity," LECT NOTES ART INT, 2000. Vo, Thurbon, "Semantics for Pollock's defeasible reasoning," LECT NOTES ART INT, 2000. Carbogim, Robertson, Lee, "Argument-based applications to knowledge engineering" KNOWLEDGE ENG REV, 2000. Baroni, Giacomin, Guida, "Extending abstract argumentation systems theory," AIJ, 2000. Roos, "On resolving conflicts," COMP INT, 2000. Haenni, "Cost bounded argumentation," INT J APPROX REASONING, 2001. Vreeswijk, "Eight dialectic benchmarks," SYNTHESE, 2001. Prakken, "Relating protocols," SYNTHESE, 2001. Besnard and Hunter, "Logic-based theory of deductive arguments," AI, 2001. Hunter, "Reasoning with inconsistency," KNOWL ENG REV, 2001. Karacapilidis and Papadias, "Computer supported argumentation," INFORM SYSTEMS, 2001. Prakken, "Dialectical proof," LECT NOTES AI, 1999. Amgoud and Cayrol, "Reasoning model based on production of acceptable arguments," ANN MATH AI, 2002. Pollock, "Defeasible reasoning with variable degrees of justification," ART INT, 2001. Dung and Mancarella, IEEE T KNOWL DATA EN, 2002. Tohme, "Negotiation and defeasible decision making," THEOR DECIS, 2002. Bodanza, "Disjunctions and specificity in suppositional defeasible argumentation," LOGIC J IGPL, 2002. Dung, Mancarella, Toni, "Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning," LECT NOTES ART INT, 2002. Prakken, Sartor, "The role of logic in computational models of legal argument: A critical survey," LECT NOTES ART INT, 2002. Baroni, Giacomin, "Argumentation through a distributed self-stabilizing approach," J EXP THEOR ART IN, 2002. Amgoud, Cayrol, "Inferring from inconsistency in preference-based argumentation frameworks," J AUTOM REASONING, 2002. Parsons, McBurney, "Argumentation-based dialogues for agent co-ordination," GROUP DECIS NEGOT, 2003. Verheij, "Artificial argument assistants for defeasible argumentation," ART INT, 2003. Zhao, "Complexity of argument-based default reasoning with specificity," AI COMMUN, 2003. Garcia, Simari, "Defeasible logic programming: an argumentative approach," THEORY PRACTICE LOGIC PROGRAMMING, 2004.

    (KR 92 Taxonomy) Elvang-Goransson, Krause, and Fox, "Dialectic reasoning with inconsistent information," UNCAI, 1993. Benferhat, Dubois, and Prade, "Argumentative inference in uncertain knowledge bases," UNCAI, 1993. Pinkas, "Reasoning in connectionist networks," AI, 1995. Krause, Ambler, Elvang-Goransson, et al., "A logic of argumentation for reasoning under uncertainty," COMP INT, 1995. Cayrol, "Argumentation and non-monotonic coherence-based entailment," IJCAI, 1995 A classification of consequence relations," LECT NOTES ART INT, 1995. Baroni, Giacomin, Guida, "Extending abstract argumentation systems theory," AIJ, 2000. Hunter, "Reasoning with inconsistency," KNOWL ENG REV, 2001. Amgoud and Cayrol, "Reasoning model based on production of acceptable arguments," ANN MATH AI, 2002.

    (unpublished WU CS TR 92-43 P&P; Comp. Intell. 98) Vreeswijk, "Studies in defeasible argumentation," thesis, 1993. Gordon, "Pleadings Game," thesis, 1993. Leenes, Lodder, Hage, "A dialogue game for legal arguments," LAW, COMP, AI, 1994. Lodder and Herczog, "Dialogical framework for modeling legal reasoning," ICAIL, 1995. Prakken, "From logic to dialectics," ICAIL, 1995. Vreeswijk, "Computational value of debate," ARGUMENTATION, 1995. Prakken, "Dialectical proof theory," FAPR, 1996. Prakken and Sartor, "Assessing conflicting arguments," AI LAW, 1996. Lodder, "On legal justification and dialogue games," thesis, 1998. Prakken, Logical Tools for Modelling Legal Argument, 1997. Jakobovits and Vermier, "Dialectic semantics," ICAIL, 1999. Prakken, "Dialectical proof," LECT NOTES AI, 1999. Vreeswijk and Prakken, "Credulous and sceptical argument games," LECT NOTES AI, 2000. Prakken, "Dialogue systems with speech acts," LECT NOTES AI, 2000. Carbogim, Robertson, Lee, "Argument-based applications to knowledge engineering" KNOWLEDGE ENG REV, 2000. Roos, "On resolving conflicts," COMP INT, 2000. Prakken, "Modeling reasoning about evidence," ICAIL, 2001. Governatori, Dumas, ter Hofstede, Oaks, "Formal approach to protocols," ICAIL, 2001. Vreeswijk, "Eight dialectic benchmarks," SYNTHESE, 2001. Prakken, "Relating protocols," SYNTHESE, 2001. Brewka, "Dynamic argument systems," J LOGIC COMP, 2001. Prakken, "Modelling defeasibility in law," FUND INFORM, 2001. Verheij, "Artificial argument assistants for defeasible argumentation," ART INT, 2003. Dunne, Bench-Capon, "Two party immediate response disputes: Properties and efficiency," ART INT, 2003. Brewka, Prakken, Vreeswijk, "Special issue on computational dialectics: an introduction," J LOGIC COMP, 2003. Parsons, Wooldridge, Amgoud, "Properties and complexity of some formal inter-agent dialogues," J LOGIC COMP, 2003. Tohme, "Negotiation and defeasible decision making," THEOR DECIS, 2002. Prakken, Sartor, "The role of logic in computational models of legal argument: A critical survey," LECT NOTES ART INT, 2002. Dignum, Vreeswijk, "Towards a testbed for multi-party dialogues," LECT NOTES AI, 2003.

    (unpublished WU CS TR 92-47 ArgGame and CS TR 93-03 CompSpec) Gordon, "The pleadings game," ICAIL, 1993. Prakken, "Logical tools for legal reasoning," thesis and book, 1992. Gordon, "Pleadings Game," thesis, 1993. Nitta, Shibasaki, Sakata, Yamaji, Xianchang, Ohsaki, Tojo, Kokubo, "New HELIC-II," ICAIL, 1995. Verheij, "Rules, reasons, arguments," thesis, 1996. Nitta and Shibasaki, "Defeasible reasoning in Japanese criminal jurisprudence," AI LAW, 1996. Lodder, "On legal justification and dialogue games," thesis, 1998.

    (ICAIL 93 Design) Leenes, Lodder, Hage, "A dialogue game for legal arguments," LAW, COMP, AI, 1994. Tiscornia, "Legal applications of logic programming," KNOWL ENG REV, 1995. Aleven and Ashley, "Doing things with factors," ICAIL, 1995. Berman and Hafner, "Understanding precedents," ICAIL, 1995. Farley and Freeman, "Burden of proof," ICAIL, 1995. Tiscornia, "The legal applications of logic programming," KNOWL ENG REV, 1995. Prakken, "From logic to dialectics," ICAIL, 1995. Prakken and Sartor, "A system of defeasible argumentation with defeasible priorities," FAPR, 1996. Verheij, "Integrated view on rules and principles," JURIX 1996. Prakken and Sartor, "Representing legal precedents," CD/FAPR, 1996. Rissland, Skalak, Friedman, "Supporting legal arguments," AI LAW, 1996. Prakken and Sartor, "Assessing conflicting arguments," AI LAW, 1996. Freeman and Farley, "Model of argumentation," AI LAW, 1996. Prakken and Sartor, "Reasoning with precedents in a dialogue game," ICAIL, 1997. Palmer, "Legal merit arguments," ICAIL, 1997. Vreeswijk, "Abstract argumentation," AI, 1997. Lodder, "On legal justification and dialogue games," thesis, 1998. Kraus, Sycara, and Evenchik, "Reaching agreements through argumentation," AIJ, 1998. Prakken, LOGICAL TOOLS FOR MODELLING LEGAL ARGUMENT, 1997. Prakken, "Modeling reasoning about evidence," ICAIL, 2001. Vreeswijk, "Eight dialectic benchmarks," SYNTHESE, 2001. Prakken, Sartor, "The role of logic in computational models of legal argument: A critical survey," LECT NOTES ART INT, 2002.

    (AI MAG 95 CD) Verheij, "Rules, reasons, arguments," thesis, 1996. Vreeswijk, "Abstract argumentation," AI, 1997. Kraus, Sycara, and Evenchik, "Reaching agreements through argumentation," AIJ, 1998. Kahle, Liu, Rose, et al., "Dialectical thinking in consumer decision making," J CONSUM PSYCHOL, 2000. Vreeswijk, "Eight dialectic benchmarks," SYNTHESE, 2001. Prakken, "Relating protocols," SYNTHESE, 2001. Raghu, Ramesh, and Chang, "Collaborative decision making," INFORM SYST RES, 2001.

    (ICAIL 95 Hart) Verheij, "Rules, reasons, arguments," thesis, 1996. Prakken, LOGICAL TOOLS FOR MODELLING LEGAL ARGUMENT, 1997. Hage, REASONING WITH RULES, 1997. Prakken, Sartor, "The role of logic in computational models of legal argument: A critical survey," LECT NOTES ART INT, 2002.

    (AI&LAW 95 Rationales) Prakken, "Dialectical proof theory," FAPR, 1996. Prakken and Sartor, "Assessing conflicting arguments," AI LAW, 1996. Royyakkers and Dignum, "Defeasible reasoning with legal rules," DEF DEONTIC LOGIC, 1996. Prakken and Sartor, "Reasoning with precedents in a dialogue game," ICAIL, 1997. Verheij, Hage, and Lodder, "Logical tools for legal argument," ICAIL, 1997. Lodder, "On legal justification and dialogue games," thesis, 1998. Kraus, Sycara, and Evenchik, "Reaching agreements through argumentation," AIJ, 1998. Prakken, "Dialectical proof," LECT NOTES AI, 1999. Asaro, Nissan, Martino, "A tool for the Italian investigating magistrate," COMP INFORM, 2001. Moulin, Irandoust, and Belanger, "Explanation and argumentation capabilities," AI REV, 2002. Prakken, "Modelling defeasibility in law," FUND INFORM, 2001. Nissan, Martino, "Artificial intelligence and formalisms for legal evidence: An introduction," APPLIED ART INT, 2004. Artificial intelligence and formalisms for legal evidence: An introduction NISSAN E, MARTINO AA APPLIED ART INT 18 (3-4): 185-229 MAR-APR 2004.

    (Deontic Defeasible 97 Alchourron) Allen and Saxon, "Achieving fluency in modernized and formalized Hohfeld," ICAIL, 1997. Maranhao, "Refinement," ICAIL, 2001. Maranhao, "Some operators for refinement of normative systems," JURIX, 2001. Garcia, Simari, "Defeasible logic programming: an argumentative approach," THEORY PRACTICE LOGIC PROGRAMMING, 2004.

    (Progress 97) Verheij, "Automated argument assistance," ICAIL, 1999. Duker and Lodder, "Sentencing and information management," ICAIL, 1999. Lodder and Huygen, "A simple tool for online automated dispute resolution," JURIX 2001. Moulin, Irandoust, and Belanger, "Explanation and argumentation capabilities," AI REV, 2002. Garcia, Simari, "Defeasible logic programming: an argumentative approach," THEORY PRACTICE LOGIC PROGRAMMING, 2004.

    (Dialogue and Deliberation 98) Jennings, Parsons, Noriega, and Sierra, "On argumentation-based negotiation," DAI WORKSHOP, 1998. Jakobovits and Vermier, "Dialectic semantics for argumentation," ICAIL, 1999. Parsons, Sierra, and Jennings, "Agents that reason and negotiate by arguing," J ON LOGIC COMP, 1999. Jennings, Faratin, Lomuscio, Parsons, Wooldridge, Sierra, "Automated negotiation," GROUP DECISION NEGOTIATION, 2001.

    (MIT Enc, 98) Izquierdo, Gotts, Polhill, "Case-based reasoning, social dilemmas, and a new equilibrium concept," J ART SOCIETIES SOCIAL SIMULATION, 2004. Izquierdo LR, Gotts NM, Polhill JG Case-based reasoning, social dilemmas, and a new equilibrium concept JASSS-THE J ART SOCIETIES SOCIAL SIMULATION 7 (3): JUN 2004.

    (Survey, 00) Besnard and Hunter, "Logic-based theory of deductive arguments," AI, 2001. Becker, "Some concerns about the future of legal education," J LEGAL EDUC, 2001. Pollock, "Defeasible reasoning with variable degrees of justification," ART INT, 2001. Amgoud, Parsons, "An argumentation framework for merging conflicting knowledge bases," LECT NOTES ART INT, 2002. Takahashi, Umeda, Sawamura, "Formal argumentation frameworks for the extended generalized annotated logic programs," LECT NOTES ART INT, 2003. Verheij, "Artificial argument assistants for defeasible argumentation," ART INT, 2003. Brewka, Prakken, Vreeswijk, "Special issue on computational dialectics: an introduction," J LOGIC COMP, JUN 2003. Verheij, "DefLog: on the logical interpretation of prima facie justified assumptions," J LOGIC COMP, 2003. Cayrol, Doutre, Mengin, "On decision problems related to the preferred semantics for argumentation frameworks," J LOGIC COMP, 2003. Chesnevar, Dix, Stolzenburg, "Relating defeasible and normal logic programming through transformation properties," THEOR COMP SCI, 2003. Rahwan I, Ramchurn SD, Jennings NR, et al. Argumentation-based negotiation KNOWLEDGE ENGINEERING REVIEW 18 (4): 343-375 DEC 2003. Schweimeier, Schroeder, "Fuzzy unification and argumentation for well-founded semantics," LECT NOTES COMP SCI, 2004. Fukumoto T, Takahashi T, Sawamura H Implementing EGAP-based many-valued argument model for uncertain knowledge LECT NOTES ART INT 3215: 1-7 2004.

    (Rissland-Ashley, 03) Cunningham C, Weber R, Proctor JM, et al. Investigating graphs in textual case-based reasoning LECT NOTES COMP SCI 3155: 573-586 2004.

    Note: Science Citation Index shows 259 (312) journal citations in 181 (205) citing journal articles for this author 1988-2004 (-2005), with three main (four) papers of 53* (65) (Artificial Intelligence), 39 (51) (Computational Intelligence), and 26 (32) (CACM) (and 26, ACM Computing Surveys). *This figure is top-third as a best-cited paper for cs faculty members in top-50 departments, and top-five for his current department (as of 1/1/2003). ISI/SCI searches should use "loui r" (15%) and "loui rp" (85% of cites). Note that ISI cites are NOT comparable to citeseer or scholar.google numbers, which are based on unpublished articles.