Donald E. Nute, Jr.

Curriculum Vitae

445 Crestwood Drive
Athens, GA 30605
706-546-5462
donald@nute.ws

EDUCATION

BA with Honors, Mathematics and Philosophy, University of Kentucky, 1969.
Ph.D., Philosophy, Indiana University, 1974. Dissertation: Identification and Demonstrative Reference, directed by Professor Hector Castañeda.

ACADEMIC POSITIONS

1970-1971
Associate Instructor, Indiana University.
1973-1978
Assistant Professor, The University of Georgia. 
1978-1983
Associate Professor, The University of Georgia.
1981 (summer)
Research Associate, University of Stuttgart, West Germany.
1983-2001
Professor of Philosophy, The University of Georgia.
1985 (summer)
Visiting Professor, University of Tübingen, West Germany.
1987-1994
Director, Master's Degree Program in Artificial Intelligence, The University of Georgia.
1989 (summer)
Research Associate, University of Antwerp, Belgium.
1989-1999
Head, Department of Philosophy, The University of Georgia.
1994-2003
Director, Artificial Intelligence Center, The University of Georgia.
1999-2004
Undergraduate Coordinator, Cognitive Science Program, The University of Georgia.
2001-2004 Franklin College Professor, The University of Georgia
2004- Professor Emeritus, The University of Georgia

GRANTS AND CONTRACTS

PUBLICATIONS

BOOKS

  1. Donald Nute. Topics in Conditional Logic. Philosophical Studies Monograph Series, D. Reidel Publishing Company, Dordrecht, Holland, 1980.
  2. Donald Nute. Essential Formal Semantics. Rowman & Littlefield, Totowa, New Jersey, USA, 1981.
  3. Michael Covington, Donald Nute, and André Vellino. Prolog Programming in Depth. Scott, Foresman and Company, Glenview, Illinois, 1988.
  4. Michael Covington, Donald Nute, and André Vellino. Prolog Programming in Depth. Second edition. Prentice-Hall, Englewood Cliffs, NJ, 1997.
  5. Donald Nute, editor. Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning. Kluwer Academic Publishers, Dordrecht, Holland, 1997.
  6. Alessio Lomuscio and Donald Nute, editors. Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004 Madiera, Portugal, May 2004, Proceedings. Springer, Berlin, 2004.

CHAPTERS IN BOOKS

  1. Donald Nute. "Conditional logic." Handbook of Philosophical Logic, Vol. II, ed. Franz Guenthner and Dov Gabbay, D. Reidel Publishing Company, Dordrecht, Holland, 1984:387-439.
  2. Donald Nute. "Defeasible reasoning: a philosophical analysis in Prolog." James Fetzer (ed.), Aspects of Artificial Intelligence, Studies in Cognitive Systems, Kluwer Academic Publishers, Boston, 1988:251-288.
  3. Donald Nute. "SCHOLAR: a scholarship identification system in Prolog." In Rao Aluri and Donald E. Riggs (eds.), Expert Systems in Libraries, ABLEX Publishing Corporation, Norwood, NJ, 1990:98-108.
  4. Donald Nute. "Defeasible logic and the frame problem." Henry Kyburg, Ronald Loui, and Greg Carlson (eds.), Knowledge Representation and Defeasible Reasoning, Studies in Cognitive Systems, Kluwer Academic Publishers, Boston, 1990:3-21.
  5. Donald Nute. "Defeasible logic." In D. Gabbay and C. Hogger (eds.), Handbook of Logic for Artificial Intelligence and Logic Programming, Vol. III, Oxford University Press, 1994:353-395.
  6. Donald Nute. "Basic defeasible logic." In L. Fariñas del Cerro and M. Penttonen (eds.), Intensional Logics for Programming, Oxford University Press, 1992:125-154.
  7. Donald Nute and Xiaochang Yu. "Introduction." In Donald Nute (ed.), Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning. Kluwer Academic Publishers, Dordrecht, Holland, 1997, pp. 1--16.
  8. Donald Nute. "Apparent obligation." In Donald Nute (ed.), Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning. Kluwer Academic Publishers, Dordrecht, Holland, 1997, pp. 287--316.
  9. Donald Nute. "Possible worlds without possibilia." In F. Orilia and W. Rapaport (eds.), Thought, Language and Ontology: Essays in Memory of Hector-Neri Castañeda, Kluwer Academic Publishers, 1998, pp. 153-167.
  10. Donald Nute. "Norms, priorities, and defeasibility." In P. McNamara and H. Prakken (eds.), Norms, Logics and Information Systems, IOS Press, Amsterdam, 1999, pp. 201--218.
  11. Donald Nute and Charles Cross. "Conditional logic." Handbook of Philosophical Logic Vol. IV (Revised Edition), ed.  Dov Gabbay, D. Reidel Publishing Company, Dordrecht, Holland, 2001, pp. 1-98.
  12. Donald Nute. "Defeasible logic: theory, implementation, and applications," In Oskar Bartenstein, Ulrich Geske, Markus Hannebauer, Osamu Yoshie (Eds.), Web Knowledge Management and Decision Support:Proceedings of INAP 2001, 14th International Conference on Applications of Prolog (Revised Papers), Springer-Verlag, Berlin Heidelberg New York, 2003, pp. 151-169.

ARTICLES IN JOURNALS

  1. Donald Nute. "A contradiction in Ockham's theory of language." Philosophical Studies 25 (1974):417-422.
  2. Donald Nute. "Barry Miller on proper names." Australasian Journal of Philosophy 52 (1974):237-239.
  3. Donald Nute. "Counterfactuals." Notre Dame Journal of Formal Logic 16 (1975):476-482.
  4. Donald Nute. "Counterfactuals and the similarity of worlds." Journal of Philosophy 72 (1975):773-778.
  5. Donald Nute. "Identification as accomplishment." Philosophy and Phenomenological Research 37 (1976):46-69.
  6. Donald Nute. "David Lewis and the analysis of counterfactuals." Noûs 10 (1976):455-461.
  7. Donald Nute. "Simplification and substitution of disjunctive antecedents." Philosophia 7 (1978):317-326.
  8. Donald Nute. "An incompleteness theorem for conditional logic." Notre Dame Journal of Formal Logic 19 (1978):634-636.
  9. Donald Nute. "Proper names: how to become a causal theorist while remaining a sense theorist." Philosophia 8 (1978):43-57.
  10. Donald Nute. "Do proper names always designate rigidly?" Canadian Journal of Philosophy 8 (1978):317-326.
  11. Donald Nute. "Algebraic semantics for conditional logics." Reports on Mathematical Logic No. 10 (1978):79-101.
  12. Donald Nute. "Extensional equivalence of simple and general utilitarian principles." Notre Dame Journal of Formal Logic 20 (1979):32-36.
  13. James Fetzer and Donald Nute. "Syntax, semantics, and ontology: a probabilistic causal calculus." Synthese 40 (1970):453-495.
  14. Donald Nute. "Conversational scorekeeping and conditionals." Journal of Philosophical Logic 9 (1980):153-166.
  15. James Fetzer and Donald Nute. "A probabilistic causal calculus: conflicting conceptions." Synthese 44 (1980):241-246.
  16. Donald Nute. "Introduction to special issue on conditional logic." Journal of Philosophical Logic 10 (1981):127-148.
  17. Donald Nute. "Causes, laws, and law statements." Synthese 48 (1981):347-370.
  18. Donald Nute. "Logical relations." Philosophical Studies 46 (1984):41-56.
  19. Donald Nute. "Permission." Journal of Philosophical Logic 14 (1985):169-190.
  20. Donald Nute. "Defeasible reasoning and decision support systems." Decision Support Systems 4 (1988):97-110.
  21. Donald Nute, Robert Mann, and Betty Brewer. "Controlling expert system recommendations with defeasible logic." Decision Support Systems 6 (1990):153-164.
  22. David Billington, Koen De Coster, and Donald Nute. "A modular translation from defeasible nets to defeasible logics." Journal of Experimental and Theoretical Artificial Intelligence 2 (1990):151-177. An earlier version appeared as Computing and Information Technology Research Report 31, Griffeth University, Brisbane, Queensland, Australia, 1989, and Research Report AI-1989-05, The University of Georgia, Athens, Georgia, 1989.
  23. W. D. Potter, T. H. Tidrick, T. M. Hansen, L. W. Hill, D. E. Nute, L. M. Fried, and T. W. Leigh. "SLING: a knowledge-based product selector." Expert Systems with Applications 1 (1990):161-169.
  24. Donald Nute. "Historical necessity and conditionals." Noûs 25 (1991):161-175.
  25. Bernd Meyer, Torben Hansen, Donald Nute, Peter Albersheim, Alan Darvill, William York, and Jeffrey Sellers. "Identification of 1H-NMR spectra of complex oligosaccharides with artificial neural nets." Science 251 (1991):542-4.
  26. S. W. Karickhoff et al. "Predicting chemical reactivity by computer. " Environmental Toxicology and Chemistry 10 (1991):1405-1416.
  27. Katarzyna Macura, Robert Macura, and Donald Nute. "Intelligent Tutoring System for Neuro-Oncology." (Revised.) Journal of Medical Educational Technologies (Summer 1992):18-23.
  28. Donald Nute. "Inference, rules, and instrumentalism." International Journal of Expert Systems Research and Applications 5 (1993):267-274.
  29. Patricia Geerts, Donald Nute, and Dirk Vermeir. "Ordered logic: defeasible reasoning for multiple perspectives." Decision Support Systems 11(1994):157-190.
  30. Katarzyna Macura, Robert Macura, and Donald Nute. "Medical reference system for differential diagnosis of brain tumors - motivation and structure." Microcomputer Applications 12 (1993):110-117.
  31. Donald Nute, H. Michael Rauscher, Donald A. Perala, Guojun Zhu, Yousong Chang, and George M. Host. "A toolkit approach to developing forest management advisory systems in Prolog." AI Applications 9 (3) (1995):39-58.
  32. Vincent Gorokhovski and Donald Nute, "Two-level geological modeling: a computational approachs to teaching decision making under conditions of geological data paucity." Environmental and Engineering Geoscience 3 (1995):365-370.
  33. Donald Nute and Katrin Erk, "Defeasible Logic Graphs I: Theory." Decision Support Systems 22 (1998):277-293.
  34. Donald Nute, Christopher Henderson, and Zachary Hunter, "Defeasible Logic Graphs II: Implementation." Decision Support Systems 22 (1998):295-306.
  35. Donald Nute, Brahm Verma, Gregg Rosenberg, Shree Nath, Michael Rauscher, Mark Twery. "Goals and Goal-Orientation in Decision Support Systems for Ecosystem Management." Computers and Electronics in Agriculture 27 (2000):355-375.
  36. Geneho Kim, Donald Nute, H. Michael Rauscher and David L. Loftis. "AppBuilder for DSSTools: An Application Development Environment for Developing Decision Support Systems in Prolog."  Computers and Electronics in Agriculture 27 (2000):107-125.
  37. M. J. Twery, H. M. Rauscher, D. J. Bennett, S. A. Thomasma, S. L. Stout, J. F. Palmer, R. E. Hoffman, D. S. DeCalesta, E. Gustafson, H. Cleveland, J. M. Grove, D. Nute, G, Kim, and R. P. Kollasch. "NED-1: Integrated Analyses for Forest Stewardship Decisions." Computers and Electronics in Agriculture 27 (2000):167-193.
  38. Donald Nute, Walter D. Potter, Frederick Maier, Jin Wang, Mark Twery, H. Michael Rauscher, Peter Knopp, Scott Thomasma, Mayukh Dass, Hajime Uchiyama, and Astrid Glende. "NED-2: An Agent-Based Decision Support System for Forest Ecosystem Management." Envirnomental Modeling and Software 19 (2004): 831-843.
  39. Mark J. Twery, Peter D. Knopp, Scott A. Thomasma, H. Michael Rauscher, Donald E. Nute, Walter D. Potter, Frederick Maier, Jin Wang, Mayukh Dass, Hajime Uchiyama, Astrid Glende and Robin E. Hoffman. "NED-2: A Decision Support System for Integrated Forest Ecosystem Management." Computers and Electronics in Agriculture 49 (2005): 24-43.
  40. Donald Nute, Walter D. Potter, Zhiyuan Cheng, Mayukh Dass, Astrid Glende, Frederick Maier, Cy Routh, Hajime Uchiyama, Jin Wang, Sarah Witzig, Mark Twery, Peter Knopp, Scott Thomasma and H. Michael Rauscher. "A Method for Integrating Multiple Components in a Decision Support System." Computers and Electronics in Agriculture 49 (2005): 44-59.
  41. Frederick Maier and Donald Nute. Well-founded semantics for defeasible logic. Synthese, 176(2): 243-274, 2010. Link
  42. Donald Nute,"'A LogicalHhole in the Chinese Room Argument", Minds & Machines, 21(3) (2011): 431-433.

CONFERENCE PROCEEDINGS

  1. Donald Nute. "Defeasible reasoning." Proceedings of the 20th Hawaii International Conference on System Science, University of Hawaii, 1987:470-477.
  2. Samuel Karickhoff, André Vellino, Lionel Carreira, Donald Nute, and Valeta McDaniel. "Predicting chemical parameters with Prolog." Proceedings of the Artificial Intelligence in Minerals and Materials Technology Conference, U.S. Department of the Interior, Bureau of Mines, Washington, 1988:53-65. Also appeared as ACMC Research Report 01-0020, The University of Georgia, 1987.
  3. Donald Nute, Robert Mann, and Betty Brewer. "Using defeasible logic to control selection of a business forecasting method." Proceedings of the 21st Hawaii International Conference on System Science, Vol. III, IEEE Computer Society Press, Washington, 1988:437-444.
  4. Donald Nute. "General and special defeasible theories." Proceedings of the Tübingen Workshop on Semantic Nets and Nonmonotonic Reasoning, Vol. I. SNS Bericht 89-48, University of Tübingen, 1989:83-97. An abstract appears in ASL Abstracts: Logic Colloquium Berlin 89, Technical University of Berlin, 1989.
  5. Donald Nute, David Billington, and Koen De Coster. "Defeasible logic and inheritance hierarchies with exceptions." Proceedings of the Tübingen Workshop on Semantic Nets and Nonmonotonic Reasoning, Vol. I. SNS Bericht 89-48, University of Tübingen, 1989:69-82.
  6. Dirk Vermeir, Donald Nute, and Patricia Geerts. "A logic for defeasible perspectives", Proceedings of the Tübingen Workshop on Semantic Nets and Nonmonotonic Reasoning, Vol. I. SNS Bericht 89-48. University of Tübingen, 1989:1-27. An abstract appears in ASL Abstracts: Logic Colloquium Berlin 89, Technical University, Berlin, 1989.
  7. W.D. Potter and Donald Nute. "d-KDL: an EDS environment incorporating defeasible reasoning." Proceedings of IFIP WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, China Academic Periodical Press, Guangzhou, China, 1989:484-493.
  8. Donald Nute. "Defeasible logic and temporal projection." Proceedings of the 22nd Hawaii International Conference on System Science, Vol. III, IEEE Computer Society Press, Washington, 1989:575-581.
  9. David Billington, Koen De Coster, and Donald Nute. "Defeasible nets are special defeasible logics." Proceedings of the Australian Joint Artificial Intelligence Conference, 1989.
  10. Dirk Vermeir, Donald Nute, and Patricia Geerts. "A defeasible logic for multi-expert systems." Proceedings of the International Symposium on Computational Intelligence. Milan, Italy, September 25-29, 1989.
  11. Henry Hexmoor, Donald Nute, and William Underwood. "Planning, acting, and control environment: a testbed for multi-agent planning and acting." Proceedings of Technology Symposium III, 1989.
  12. Dirk Vermeir, Donald Nute, and Patricia Geerts. "Modeling defeasible reasoning with multiple agents." Proceedings of the 23rd Hawaii International Conference on System Science, Vol. III, IEEE Computer Society Press, Washington, 1990:534-543.
  13. Robert Macura, Katarzyna Macura, and Donald Nute. "Computerized support system for differential diagnosis of primary brain tumors." Proceedings of the ISMM International Conference on Mini and Microcomputers in Medicine and Health. Acta Press, Anaheim, 1991:60-63.
  14. Katarzyna Macura, Robert Macura, and Donald Nute. "Intelligent Tutoring System for Neuro-Oncology." Proceedings of Orlando Multimedia '92. Learning Technologies Institute, Warrenton, VA, 1992:36-39.
  15. Mark Maloof, W. D. Potter, Donald Nute, Sufen Bai, and Levi Hill. "GAUGE and HOSE: data-driven industrial product recommendation systems." Proceedings of the International Association for Knowledge Engineers, Washington, D.C., November 1992:603-607.
  16. Donald Nute. "A decidable quantified defeasible logic." In D. Prawitz, B. Skyrms, and D. Westerstahl (eds.), Logic, Methodology and Philosophy of Science IX, Elsevier Science B. V., New York, 1994:263-284.
  17. Donald Nute and Katrin Erk. "Defeasible logic graphs for decision support." Proceedings of the 29th Hawaii International Conference on System Science, Vol. II, IEEE Computer Society Press, Washington, 1996, pp. 11-19.
  18. Linda L. Redmann, Donald Nute, and Liucong Geng. "Accessibility and ability: home and farm." Proceedings of the 6th International Conference on Computers in Agriculture, Cancun, Mexico, June 11-14, pp. 749-755. American Society of Agricultural Engineers, Gainesville, Florida, 1996.
  19. Guojun Zhu, Donald Nute, and Michael Rauscher. "DSSTOOLS: a toolkit for development of decision support systems in Prolog." Proceedings of the 6th International Conference on Computers in Agriculture, Cancun, Mexico, June 11-14, pp. 541-547. American Society of Agricultural Engineers, Gainesville, Florida, 1996.
  20. Vincent Gorokhovski and Donald Nute. "Validation of hydrogeological models is impossible: what's next?" In K. Kovar and P. van der Heijde (eds.), Calibration and Reliability in Groundwater Modeling: Proceedings of the ModelCARE 96 Conference, Golden, Colorado, September 1996), pp. 417-424, IAHS Press, Wallingford, England, 1996.
  21. Donald Nute. "d-Prolog: an implementation of defeasible logic in Prolog." Non-monotonic Extensions of Logic Programming: Theory, Implementation and Applications. (Proceedings of the JICSLP 96 Postconference Workshop W1), Bad Honnef, Germany, September 2-6, 1996, pp. 161-182. Universität Koblenz-Landau, Koblenz, Germany, 1996.
  22. H. Michael Rauscher, R. Peter Kollasch, Scott A. Thomasma, Donald Nute, Ningyu Chen, Mark J. Twery, Deborah J. Bennett, and Helene Cleveland. "NED-1: a goal-driven ecosystem management decision support system: technical description." Integrating Spatial Information Technologies for Tomorrow: GIS '97 Conference Proceedings, Vancouver, British Columbia, Canada, February 17-20, 1997, pp. 324-332. GIS World Inc., 1997.
  23. Donald Nute, Christopher Henderson, and Zachary Hunter. "d-Graph: an argument-based system incorporating defeasible graphs."  Proceedings of the 30th Hawaii International Conference on System Science, Vol. II, IEEE Computer Society Press, Washington, 1997.
  24. Mark Twery, Deborah Bennett, Peter Kollasch, Scott Thomasma, Susan Stout, David DeCalesta, Jim Hornbeck, James Steinman, Gary Miller, Morgan Grove, H. Michael Rauscher, Eric Gustafson, Helene Cleveland, James Palmer, Robin Hoffman, Barbara McGuinness, Ningyu Chen, and Donald Nute.  "NED-1: an integrated decision support system for ecosystem management." In 1997 ACSM/ASPRS: Annual Convention and Exposition Technical Papers, Vol. IV, American Society for Photogrammetry and Remote Sensing and American Congress on Surveying and Mapping, Bethesda, Maryland, 1997, pp. 331--342.
  25. Q. Dong, W.D. Potter, D.E. Nute, and L. Hill, "The automated catalog: an expert database system", Proc. of the 10th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 389-396.
  26. Steven O. Kimbrough and Donald Nute. "Introduction to the 1998 HICSS MiniTrack on Logic Modeling." Proceedings of the 31st Hawaii International Conference on System Science, Vol. V, IEEE Computer Society Press, Washington, 1998: 164-165
  27. Donald Nute, Geneho Kim, Walter D. Potter, Mark J. Twery, H. Michael Rauscher, Scott Thomasma, Deborah Bennett, and Peter Kollasch. "A multi-criterial decision support system for forest management." Environmental Decision Support Systems and Artificial Intelligence, AAAI-99, Technical Report WS-99-07, AAAI Press, Menlo Park, California, 1999, pp. 68-73.
  28. Donald Nute and Steven O. Kimbrough. "Logic Modeling - Introduction." Proceedings of the 32nd Hawaii International Conference on System Science, IEEE Computer Society Press, Washington, 1999.
  29. Donald Nute, Xingfeng Deng, Cynthia Trim and Christine Egger. "AneSoft: a knowledge based system for canine anesthesia." In F. Velafar (ed.), Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences, Volume I , Las Vegas, Nevada, CSREA Press, 2000, pp. 331-336.
  30. B. C. Bridger, David Crouch, and Donald Nute. "Planning agent architecture for a virtual world environment." In H. R. Arabnia (ed.), Proceedings: IC-AI 2001 Volume III, CSREA Press 2001, pp. 1059-1065.
  31. Donald Nute. “Defeasible logic: theory, implementation, and applications.” Proceedings of INAP 2001, 14th International Conference on Applications of Prolog, IF Computer Japan, Tokyo, 2001, pp. 87-114.
  32. D. Nute, W.D. Potter, F. Maier, J. Wang, M. Twery, H.M. Rauscher, P. Knopp, S. Thomasma, M. Dass, and H. Uchiyama."Intelligent model management in a forest ecosystem management decision support system." In A. E. Rizzoli and A. J. Jakeman (eds.), Integrated Assessment and Decision Support: Proceedings of the First Biennial Meeting on the International Environment Modeling and Software Society, Vol. 3: 396-401, International Environmental Modeling and Software Society, Lugano, Switzerland, 2002.
  33. W.D. Potter, D. Nute, J. Wang, F. Maier, M. Twery, M. Rauscher, P. Knopp, S. Thomasma, H. Uchiyama. "The NED IIS project - forest ecosystem management." In M. Musen, B. Neumann, and R. Studer (eds.), Intelligent Information Processing, Proceedings of IFIP 17th World Computer Conference - TC12 Stream on Intelligent Information Processing. Kluwer Academic Publishers, Dordrecht, Netherlands, 2002, pp. 293-296.
  34. F. Maier, D. Nute, W. Potter, J. Wang, M. Twery, M. Rauscher, P. Knopp, S. Thomasma, M. Dass, and H. Uchiyama, "PROLOG/RDBMS integration in the NED intelligent information system." In Meersman, Tari et al. (Eds.), Confederated International Conferences CoopIS, DOA, and ODBASE 2002 Proceedings (Tenth International Conference on Cooperative Information Systems), [Lecture Notes in Computer Science 2519, Springer-Verlag, Berlin], Irvine, California, p.528, October, 2002.
  35. Wang, J.; Potter, W. D.; Nute, D.; Maier, F.; Rauscher, H. M.; Twery, M. J.; Thomasma, S.; Knopp. P. 2002. An intelligent information system for forest management: NED/FVS integration. In: Crookston, Nicholas L.; Havis, Robert N., comps. Second forest vegetation simulator conference; 2002 February 12-14; Fort Collins, CO. Gen. Tech. Rep. RMRS-P-25. Ogden, UT: U.S. Department of Agriculture, Forest Service, Rocky Mountain Research Station: 189-195.
  36. Mark J. Twery, Peter D. Knopp, Scott A. Thomasma, H. Michael Rauscher, Donald E. Nute, Walter D. Potter, Frederick Maier, Jin Wang, Mayukh Dass, Hajime Uchiyama, Astrid Glende, Robin E. Hoffman. "NED-2: an integrated forest ecosystem management decision support system." Proceedings: Decision Support for Multiple Purpose Forestry, April 23-25, 2003, Vienna, Austria, International Union of Forestry Research Organizations.
  37. Donald Nute, Walter D. Potter, Mayukh Dass, Astrid Glende, Frederick Maier, Hajime Uchiyama, Jin Wang, Mark Twery, Peter Knopp, Scott Thomasma, H. Michael Rauscher. "An agent architecture for an integrated forest ecosystem management decision support system." Proceedings: Decision Support for Multiple Purpose Forestry, April 23-25, 2003, Vienna, Austria, International Union of Forestry Research Organizations.
  38. David A. Boucugnani, Donald Nute, and David L. Loftis. REGEN agent for Excel: a modular and generalized forest regeneration agent. Proceedings: Decision Support for Multiple Purpose Forestry, April 23-25, 2003, Vienna, Austria, International Union of Forestry Research Organizations.
  39. F. Maier, D. Nute, W.D. Potter, J. Wang, M. Twery, M. Rauscher, P. Knopp, S. Thomasma, M. Dass, and H. Uchiyama, "PROLOG/RDBMS revisited: getting it right in NED-2." Proceedings of the International Conference on Information and Knowledge Engineering 2003 (IKE'03), Las Vegas, Nevada, June, 2003.
  40. Hemel, B.T.,C.K. Routh, D.S. Buckley, A.J. Long, H.M. Rauscher, W.G. Hubbard, and D.E.Nute. Development of a wildland fire component for the NED decision support system. In EastFIRE Conference Proceedings, EastFIRE Conference, George Mason University, May 11-13, 2005; Fairfax, VA. 4 P. (CD), 2005.
  41. Daniel DeJuan, Vineet Khosla, Walter D. Potter, Blair Dorminey, Donald Nute. ImmGnosis: A Stateless Web-Based Expert System for Immigration Law. In Hamid R. Arabnia, Rose Joshua (Eds.): Proceedings of the 2005 International Conference on Artificial Intelligence, ICAI 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 1, CSREA Press 2005, pp. 249-255.
  42. Frederick Maier and Donald Nute. Relating defeasible logic to the well-founded semantics for normal logic programs. In Juergen Dix and Anthony Hunter (Program Chairs,) Proceedings of NMR'06: Eleventh International Workshop on Non-monotonic Reasoning, Windermere, U.K., May 30 - June 1, 2006, http://cig.in.tu-clausthal.de/NMR06/.
  43. Donald Nute, Julian Bishop, Zhiyuan Cheng, Walter D. Potter, David Loftis, Mark Twery, Scott Thomasma, and Peter Knopp. Interleaving growth and regeneration models in the NED-2 decision support system for forest ecosystems. In: Voinov, A., Jakeman, A., Rizzoli, A. (eds). Proceedings of the iEMSs Third Biennial Meeting: "Summit on Environmental Modelling and Software". International Environmental Modelling and Software Society, Burlington, USA, July 2006. CD ROM. Internet: http://www.iemss.org/iemss2006/sessions/all.html.
  44. Donald Nute, Zhiyuan Cheng, Arlo Lyle, Walter D. Potter, Mark Twery, Scott Thomasma, and Peter Knopp. Managing for visual goals in the NED-2 decision dupport dystem for forest ecosystems. In: Voinov, A., Jakeman, A., Rizzoli, A. (eds). Proceedings of the iEMSs Third Biennial Meeting: "Summit on Environmental Modelling and Software". International Environmental Modelling and Software Society, Burlington, USA, July 2006. CD ROM. Internet: http://www.iemss.org/iemss2006/sessions/all.html.
  45. John Dewey, Frederick Maier, H. Michael Rauscher, Mark Twery, Walter D. Potter, and Donald Nute. Prescriptive treatment optimization using a genetic algorithm: a tool for forest management. In: Voinov, A., Jakeman, A., Rizzoli, A. (eds). Proceedings of the iEMSs Third Biennial Meeting: "Summit on Environmental Modelling and Software". International Environmental Modelling and Software Society, Burlington, USA, July 2006. CD ROM. Internet: http://www.iemss.org/iemss2006/sessions/all.html.
  46. Frederick Maier and Donald Nute. Relating defeasible logic to the well-founded semantics for normal logic programs. In Juergen Dix and Anthony Hunter (Program Chairs,) Proceedings of NMR'06: Eleventh International Workshop on Non-monotonic Reasoning, Windermere, U.K., May 30 - June 1, 2006, http://cig.in.tu-clausthal.de/NMR06/.
  47. Frederick Maier and Donald Nute. Ambiguity propagating defeasible logic and the well-founded semantics. In Fisher, M., van der Hoek, W., Konev,B., and Lisitsa, A. (eds.) Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, Springer-Verlag, Berlin, 2006, http://dx.doi.org/10.1007/11853886_26.

TECHNICAL REPORTS

  1. Donald Nute. Scientific law and nomological conditionals. National Science Foundation Technical Report, 1977.
  2. Donald Nute. "Tense and conditionals." Deutsche Forschungsgemeinschaft Technical Report, 1982, and Research Report AI-1991-02, Artificial Intelligence Programs, The University of Georgia, 1991.
  3. Donald Nute. "Non-monotonic reasoning and conditionals." ACMC Research Report 01-0002, The University of Georgia, 1984.
  4. Donald Nute. "A non-monotonic logic based on conditional logic." ACMC Research Report 01-0007, The University of Georgia, 1985.
  5. Donald Nute. "LDR: a logic for defeasible reasoning." SNS-Bericht 86-11, University of Tübingen, 1986. Also appeared as ACMC Research Report 01-0013, The University of Georgia, 1986.
  6. Donald Nute and Michael Lewis. "d-Prolog: a user's manual." ACMC Research Report 01-0017, The University of Georgia, 1986.
  7. Michael Covington and Donald Nute. "Implicature, disjunction, and non-monotonic logic." ACMC Research Report 01-0015, The University of Georgia, 1986.
  8. Donald Nute and Dov Gabbay. "Defeasible reasoning: syntax, semantics, implementation, and applications." National Science Foundation Technical Report, 1988.
  9. Michael Covington, Donald Nute, Nora Schmitz, and David Goodman. "From English to Prolog via Discourse Representation Theory." National Science Foundation Technical Report and ACMC Research Report 01-0024, The University of Georgia, 1988.
  10. Samuel W. Karickhoff, Lionel A. Carreira, Clyde Melton, Valeta K. McDaniel, André N. Vellino, and Donald E. Nute. "Computer Prediction of Chemical Reactivity - The Ultimate SAR." Environmental Research Brief EPA/600/M-89/017. U.S. Environmental Protection Agency, Center for Environmental Research Information, Cincinnati, OH, 1989.
  11. Henry Hexmoor and Donald Nute. "Methods for deciding `what to do next' and learning." Research Report AI-1992-01, Artificial Intelligence Programs, The University of Georgia, 1992, and Technical Report 92-23, Department of Computer Science, SUNY at Buffalo.
  12. Donald Nute. "Defeasible Prolog." Working Papers of the 1993 AAAI Fall Symposium on Automated Deduction and Nonstandard Logics. AAAI Technical Report FS-93-01, AAAI Press, Menlo Park, California, 1993:105-112. Also appears at Research Report AI-1993-04, Artificial Intelligence Center, The University of Georgia, Athens, GA 30602.
  13. Shree Nath, Brahm Verma, Donald Nute, E. B. Knapp and Vicente Zapata, May 1999. Multiple Stakeholder Decision-Making. User's Guide. University of Georgia and Centro Internacional de Agricultura Tropical. 136p.
  14. Mark J. Twery, Peter D. Knopp, Scott A. Thomasma, and Donald E. Nute. NED-2 User's Guide. Gen. Tech. Rep. NRS-85. Newtown Square, PA: U.S. Department of Agriculture, Forest Service, Northern Research Station. 2011. 193 p.

REVIEWS AND CRITICAL STUDIES

  1. Donald Nute. "Review of James Bogen, Wittgenstein's Philosophy of Language." Language Science no. 35 (1975):31-32.
  2. Donald Nute. "Critical study of John Pollock, Subjunctive Reasoning. " Noûs 15 (1981):212-219.
  3. Donald Nute and William Mitcheltree. "Critical study of Ernest Adams, The Logic of Conditionals." Noûs 15 (1981):432-436.
  4. Donald Nute. "Review of Tuen A. van Dijk, Studies in the Pragmatics of Discourse." American Anthropologist 85 (1983):190-192.
  5. Donald Nute. "Review of Harper, Pearce, and Stalnaker (eds.), Ifs. " Philosophy of Science 50 (1983):518-520.
  6. Donald Nute. "Review of W. F. Clocksin and C. S. Mellish, Programming in Prolog." PC Tech Journal 4, no 11 (1986):197.
  7. Donald Nute. "Review of Matthew Ginsberg, Readings in Nonmonotonic Reasoning." Philosophical Psychology 2 (1989):351-355.
  8. Donald Nute. "Review of Frank Jackson, Conditionals." Journal of Symbolic Logic 55 (1990):891-892.
  9. Donald Nute. "Review of Robert N. McLauglin, On the Logic of Ordinary Conditionals." Minds and Machines 4 (1994):239-242.
  10. Charles Cross and Donald Nute. "Review of G. Crocco, L. Fariñas del Cerro, and A. Herzog (eds.), Conditionals: from Philosophy to Computer Science." Journal of Symbolic Logic 62 (1997):1487-1490.

OTHER PUBLICATIONS

  1. Donald Nute. "The logic of causal conditionals of universal strength." The Relevance Logic Newsletter No. 1 (1976):79-91.
  2. Donald Nute (editor.) Special issue on conditional logic, Journal of Philosophical Logic 10 (2) (1981).
  3. Donald Nute. "A programming solution to certain problems with loops in PROLOG." SIGPLAN Notices 20.8 (1985):32-37. Also appeared as ACMC Research Report 01-0004, The University of Georgia, 1984.
  4. Donald Nute, Michael Covington, and Terry Rankin. "AI research at the Advanced Computational Methods Center, The University of Georgia. " AI Magazine 7(1) (1986):74-76.
  5. Donald Nute. "Editorial." Journal of Logic and Computation 1 (1990):155-158.
  6. Donald Nute (editor, with preface.) Defeasible Reasoning (Special Issue), Minds and Machines 1 (4) (1991).
  7. Donald Nute. "Logic, conditional." S. Shapiro (ed.), Encyclopedia of Artificial Intelligence, Second Edition, John Wiley & Sons, Inc., New York, 1992:854-860.
  8. Donald Nute. "default logic", "defeasibility", and "intension". Robert Audi (ed.), The Cambridge Dictionary of Philosophy, Cambridge University Press, Cambridge, 1995:184-185, 379. Also included in The Cambridge Dictionary of Philosophy, Second Edition, 1999.
  9. Alessio Lomuscio and Donald Nute (editors.) DEON 04 (Special Issue) Journal of Applied Logic 3 (3-4) (2005).

PRESENTATIONS AND ABSTRACTS

  1. "Counterfactuals and the similarity of worlds", Department of Philosophy, Indiana University, March, 1975.
  2. "How to make sense out of the causal theory of proper names", (1) Southern Society for Philosophy and Psychology, March 28, 1975; (2) Department of Philosophy, Valdosta State College, April 25, 1975; (3) Department of Philosophy, University of Kentucky, September 4, 1975
  3. "The logic of causal conditionals of universal strength", Association for Symbolic Logic, December 28, 1975, abstract in Journal of Symbolic Logic 42:152 (1977).
  4. "Simplification and substitution of disjunctive counterfactual antecedents", Society for Exact Philosophy, May 22, 1976.
  5. "Names and rigid designators", American Philosophical Association, December, 1976, abstract in The Journal of Philosophy 73:604 (1976).
  6. "A formal comparison of semantics for conditionals", Association for Symbolic Logic, April 28, 1977, abstract in Journal of Symbolic Logic 43:615 (1978).
  7. "Subjunctive probability", (1) Department of Philosophy, University of Rochester, October 14, 1977; (2) Department of Philosophy, The Ohio State University, November 20, 1977.
  8. "A semantical analysis of subjunctive conditionals", (1) Discussion Club, Sage School of Philosophy, Cornell University, October 17, 1977; (2) Association for Symbolic Logic, December 29, 1977, abstract in Journal of Symbolic Logic 46:685 (1981).
  9. "Similarity of worlds and the semantical analysis of counterfactuals", Department of Philosophy, The Ohio State University, November 19, 1977.
  10. "It is necessarily the case that Aristotle was a philosopher", Southern Society for Philosophy and Psychology, March 24, 1978.
  11. "Two problems with Pollock's analysis of subjunctive conditionals", American Philosophical Association, December, 1978, abstract in The Journal of Philosophy 75:573 (1978).
  12. "Conversational scorekeeping and conditionals", Association for Symbolic Logic, December 29, 1979, abstract in Journal of Symbolic Logic 46:432 (1981).
  13. "Logical relations", (1) Conference on Language and Human Nature, Valdosta State College, April 26, 1980; (2) Institute for Philosophy, Psychology, and Methodology, University of Turku, October 11, 1982; (3) Department of Philosophy, Vanderbilt University, March 25, 1983; (4) New College of the University of South Florida, April 2, 1983; (5) Department of Philosophy, University of Maryland, April 26, 1984.
  14. "A selection function semantics for permission", (1) Georgia Philosophical Society, November 22, 1980; (2) American Philosophical Association, April 24, 1981.
  15. "Permission and obligation", Department of Philosophy, University of North Carolina at Chapel Hill, April 3, 1981.
  16. "A Searlean semantics for proper names", Association for Symbolic Logic, April 25, 1981, abstract in Journal of Symbolic Logic 48:515 (1983).
  17. "The analysis of tense and conditionals", (1) Institute for Philosophy, Psychology, and Methodology, University of Turku, October 12, 1982; (2) Department of Philosophy, University of Helsinki, October 14, 1982.
  18. "The logic of permission", Institute for Philosophy, Psychology, and Methodology, University of Turku, October 13, 1982.
  19. "What possible worlds are", Southern Society for Philosophy and Psychology, April 2, 1983.
  20. "Historical necessity and conditionals", Southern Society for Philosophy and Psychology, April 20, 1984.
  21. "Conditional logic and artificial intelligence", Society for Exact Philosophy, May 17, 1985.
  22. "Conditional logic and logic programming", Logic Colloquium 1985, Universite Paris VII, July 9-13, presented by title.
  23. "Beyond predicate logic?", Department of Computing, Imperial College of Science and Technology, University of London, June 28, 1985.
  24. "Defeasible generalizations and non-monotonic reasoning", (1) Research Center for Natural Language Systems (FNS), University of Tübingen, July 22, 1985; (2) University of Stuttgart, July 31, 1985.
  25. "A non-monotonic logic based on conditional logic", (1) Computer Science Department, University of Rochester, Rochester, New York, November 6, 1985; (2) State University of New York at Buffalo, November 7, 1985.
  26. "A logic for defeasible rules", Association for Symbolic Logic, December 30, 1985, abstract in Journal of Symbolic Logic 51:1088 (1986).
  27. "Defeasible PROLOG", Ohio University Interdisciplinary Conference on Inference, Athens, Ohio, October 9, 1986.
  28. "Syntax and Semantics for a Defeasible Reasoning System", Society for Exact Philosophy, Honolulu, Hawaii, February 20, 1986.
  29. "Artificial Intelligence, Expert Systems, and Reasoning from Incomplete Information", Old Dominion University, March 4, 1986.
  30. "LDR: a logic for defeasible reasoning", (1) Research Center for Natural Language Systems (FNS), University of Tübingen, July 11, 1986; (2) University of Antwerp, July 14, 1986; (3) Imperial College, University of London, July 16, 1986; (4) Hawaii International Conference on System Science, Kona, Hawaii, January 8, 1987; (5) Georgia Tech Research Institute, Atlanta, Georgia, August 7, 1987.
  31. "Predicting chemical parameters with Prolog", Artificial Intelligence in Minerals and Materials Technology Conference, Tuscaloosa, Alabama, October 20, 1987.
  32. "A logic for defeasible reasoning: syntax, semantics, and applications", Decision Sciences Department, Wharton School of Business, University of Pennsylvania, Philadelphia, Pennsylvania, November 18, 1987.
  33. "Defeasible logic and the frame problem", (1) Society for Exact Philosophy, Rochester, NY, June 2, 1988; (2) The First International Workshop on Human and Machine Cognition, Pensacola Beach, Florida, May 12, 1989; (3) Department of Mathematics and Computing, University of Antwerp (UIA), July 12, 1989.
  34. "General and special defeasible theories", (1) Tübingen Workshop on Semantic Nets, Inheritance and Nonmonotonic Reasoning, University of Tübingen, December 9, 1988; (2) Department of Mathematics and Computing, University of Antwerp (UIA), July 18, 1989; (3) Logic Colloquium Berlin: 1989 European Meeting of the Association for Symbolic Logic, Technical University, Berlin, July 28, 1989.
  35. "Inheritance nets are specialized defeasible theories," Tübingen Workshop on Semantic Nets, Inheritance and Nonmonotonic Reasoning, University of Tübingen, December 12, 1988.
  36. "Defeasible logic and temporal projection", 22nd Hawaii International Conference on Systems Science, Kona, Hawaii, January 4, 1989.
  37. "Expert systems and logic modeling", The University of Georgia Chapter of Sigma Xi, March 14, 1989.
  38. Invited Panelist, "What is this thing we're trying to formalize?" and "Philosophy of the future or more of conventionalism's curse?" Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, St. Louis, April 7 - 9, 1989.
  39. "Defeasible logic for modeling", (1) Department of Management and Information Science, University of Texas, Austin, April 27, 1989; (2) Department of Decisions Sciences, Wharton School of Business, University of Pennsylvania, Philadelphia, May 26, 1989.
  40. "Curtained ordered logics", Department of Mathematics and Computing, University of Antwerp (UIA), August 8, 1989.
  41. "Semantics for defeasible logics", Department of Mathematics and Computing, University of Antwerp (UIA), August 9, 1989.
  42. "Even-if", Distinguished Alumni Lectures, Department of Philosophy, Indiana University, April 11, 1991.
  43. "Historical necessity and conditionals", Symposium on Philosophy of Language: Conditionals, American Philosophical Association Central Division, Chicago, April 27, 1991.
  44. "Inference rules, compliance conditions, and instrumentalism", The Second International Workshop on Human and Machine Cognition, Perdido Key, Florida, May 10, 1991.
  45. "A decidable quantified defeasible logic", Invited Lecture, 9th International Conference on Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 15, 1991.
  46. "Defeasible Prolog", AAAI 1993 Fall Symposium, Automated Deduction in Nonstandard Logics, Raleigh, NC, October 22, 1993.
  47. "Is artificial intelligence possible?", Invited Panelist, Society for Machines and Mentality, in conjunction with the APA, Atlanta, GA, December 28, 1993.
  48. "Possible worlds without possibilia", Society for Exact Philosophy, Austin, TX, May 12, 1994.
  49. "Defeasible Deontic Logic", Society for Exact Philosophy, Calgary, Alberta, Canada, May 26, 1995.
  50. "An aspen forest management decision support system implemented using a Prolog knowledge systems toolkit." (Abstract) In J. Michael Power, Murray Strome, and Terry C. Daniels (eds.), Proceedings of Decision Support - 2001, American Society for Photogrammetry and Remote Sensing, Bethesda, Maryland, 1995:686.
  51. Donald Nute. (Co-author: Katrin Erk.) "Defeasible logic graphs for decision support." 29th Hawaii International Conference on System Science, Waimea, Maui, Hawaii, January 4, 1996. (This paper received the Best Paper Award for the Decision Support and Knowledge-based Systems track.)
  52. "How my work in artificial intelligence has influenced my views in epistemology." Valdosta State University, Valdosta, Georgia, April 29, 1996.
  53.  "d-Prolog: an implementation of defeasible logic in Prolog." Non-monotonic Extensions of Logic Programming: Theory and Implementation. Joint International Conference and Seminar on Logic Programming 96 Postconference Workshop W1. Bad Honnef, Germany, September 6, 1996.
  54. "Prospects for Using Logic to Model Socially-Sensitive Decisions in Forest Management." Invited presentation. U.S.D.A. Forest Service Workshop, Baltimore, Maryland, November, 1997.
  55. "Norms, Priorities, and Defeasibility." Invited Talk. DEON'98 - Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy, January 10, 1998.
  56. "Apparent Obligation." Wharton School of Business, The University of Pennsylvania, March 18, 1998.
  57. Donald Nute (with  Shree Nath, Brahm Verma, Gregg Rosenberg, E. B. Knapp, and Vicente Zapata,) “Workshop on Multiple Stakeholder Decision-Making”, sponsored by Centro Internacional de Agricultura Tropical, (1) September 1998, Tegucigalpa, Honduras,  (2) May 1999, Managua, Nicaragua.
  58. “Goals and Goal-Orientation in Decision Support Systems for Ecosystem Management”,  IUFRO (International Union of Forestry Research Organizations) Conference: The Application of Scientific Knowledge to Decisionmaking in Managing Forest Ecosystems, Asheville, NC, May 5, 1999.
  59. Geneho Kim (presenter,) Donald Nute, H. Michael Rauscher and David L. Loftis. AppBuilder for DSSTools: an application development environment for developing decision support systems in Prolog. IUFRO(International Union of Forestry Research Organizations)Conference:The Application of Scientific Knowledge to Decisionmaking in Managing Forest Ecosystems, Asheville, NC, May 5, 1999.
  60. "A Multi-criterial Decision Support System for Forest Management." Workshop on Environmental Decision Support Systems and Artificial Intelligence, American Association for Artificial Intelligence, Orlando, Florida, July 1999.
  61. "Formalization Projects for Electronic Commerce." FMEC 2000: Workshop in Formal Modeling in Electronic Commerce,The Wharton School, University of Pennsylvania and Bennett S. Lebow College of Business, Drexel University, Philadelphia, Pennsylvania, May 11-12, 2000.
  62. "Semantics for Defeasible Logic." Workshop on Nonmonotonic Logic, The Artificial Intelligence Center, The University of Georgia, November 10, 2000.
  63. "Thin Complaint Heads." Presidential Address, Society for Exact Philosophy, University of Montreal, May 12, 2001.
  64. “Defeasible Logic: Theory, Implementation, and Applications.” Invited Address, INAP 2001, 14th International Conference on Applications of Prolog, Tokyo, November 20, 2001.
  65. "Epistemology for Defeasible Reasoners." Joint Invited Address, Society for Exact Philosophy and Computer Science Department, Washington University in St. Louis, St. Louis, MO, May 23, 2002.
  66. "Intelligent Model Management in a Forest Ecosystem Management Decision Support System." Co-authors D. Potter, F. Maier, M. Twery, H. M. Rauscher, S. Thomasma, P. Knopp, J. Wang, and M. Dass. iEMSs 2002, Conference of the International Environmental Modeling and Software Society, Lugano, Switzerland, June 24-27, 2002.
  67. "Agents, Epistemic Justification, and Defeasibility." Invited Address, 5th Agustus de Morgan Workshop, King's College London, November 3-5, 2003.
  68. "Epistemic Justification and Defeasibility." Wharton School, University of Pennsylvania, June 16, 2004.
  69. "Relating Defeasible Logic to the Well-founded Semantics for Normal Logic Programs." Co-author Frederick Maier. NMR'06: Eleventh International Workshop on Non-monotnic Reasoning, Windermere, U.K., May 30, 2006.
  70. "Interleaving Growth and Regeneration Models in the NED-2 Decision Support System for Forest Ecosystems." Co-authors Julian Bishop, Zhiyuan Cheng, Walter D. Potter, David Loftis, Mark Twery, Scott Thomasma, and Peter Knopp. iEMSs Third Biennial Meeting: "Summit on Environmental Modelling and Software", Burlington, VT, July 10, 2006.
  71. "Managing for Visual Goals in the NED-2 Decision Support System for Forests Ecosystems." Co-authors Zhiyuan Cheng, Arlo Lyle, Walter D. Potter, Mark Twery, Scott Thomasma, and Peter Knopp. iEMSs Third Biennial Meeting: "Summit on Environmental Modelling and Software", Burlington, VT, July 10, 2006.

EDITORIAL

Editorial Board, Journal of Logic and Computation, Oxford University Press.
Editorial Board, Minds and Machines, Kluwer Academic Publishers.

Referee for:

Last revised 2/8/2011.