Maurice Pagnucco's List of Publications

Here is a list of some of my publications. Alternatively, email me (morri@cs.toronto.edu) and I will be more than happy to send you a copy.

Items are in chronological order (most recent first). Underlined titles are links to abstracts and/or postscript versions.

• Prokopenko, M., Pagnucco, M., Peppas, P., and Nayak, A. C., A Unifying Semantics for Causal Ramifications, In Proceedings of the Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI'2000), Melbourne, Australia, August 2000.
• Levesque, H. J., and Pagnucco, M., Legolog: Inexpensive Experiments in Cognitive Robotics, In Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany, August 21-22, 2000.
• Shapiro, S., Pagnucco, M., Lesperance, Y., and Levesque, H. J., Iterated Belief Change in the Situation Calculus, In Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR'2000), Breckenridge, Colorado, USA, pp. 527 - 538, April 2000.
• Prokopenko, M., Pagnucco, M., Peppas, P., and Nayak, A. C., Causal Propagation Semantics --- A Study, In Proceedings of the Twelfth Australian Joint Conference on Artificial Intelligence (AI'99), Sydney, Australia, December 1999.
• Jauregui, V., Pagnucco, M., and Foo, N. Y., A Trajectory Approach to Causality, In Proceedings of the Twelfth Australian Joint Conference on Artificial Intelligence (AI'97), Sydney, Australia, December 1999. (Poster presentation).
• Jauregui, V., Pagnucco, M., and Foo, N. Y., A Trajectory Approach to Causality, In Proceedings of the Third Australian Commonsense Reasoning Workshop, Sydney, Australia, December 1999.
• Rott, H. and Pagnucco, M. Severe Withdrawal (and Recovery), Journal of Philosophical Logic, Volume 28 Number 5, October 1999. [On-line pdf copy available from Kluwer site for those with institutional subscriptions. An earlier version containing full proofs is available as an ILLC Research Report LP-1998-01, January 1998. You can also get a copy by clicking here (155K gzip'ed postscript).]
• Peppas, P., Pagnucco, M., Prokopenko, M., Foo, N. Y., and Nayak, A. C., Preferential Semantics for Causal Systems, In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, pp. 118 - 123, August 1999.
• Foo, N. Y., Nayak, A. C. and Pagnucco, M., Diagrammatic Proofs, In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, pp. 378 - 383, August 1999.
• Wobcke, W., Pagnucco, M. and Zhang, C. (eds), Agent and Multi-Agent Systems: Formalism, Methodologies, and Applications, Lecture Notes in Artificial Intelligence, Volume 1441 Springer-Verlag, 1998.
• Nayak, A. C., and Pagnucco, M. (eds), Proceedings of the Second Australian Workshop on Commonsense Reasoning, Perth, Australia, December 1997.
• Peppas, P., Pagnucco, M., and Prokopenko, M., Preferential Semantics for Causal Fixpoints, In Proceedings of the Tenth Australian Joint Conference on Artificial Intelligence (AI'97), Perth, Australia, pp. 197 - 206, December 1997.
• Foo, N. Y., Nayak, A. C., Pagnucco, M., Peppas, P. and Zhang, Y., Action Localness, Genericity and Invariants in STRIPS, In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, pp. 549 - 554, August 1997.
• Pagnucco, M. (ed.), Computational Logic in Australia, Computational Logic, Volume 3, Number 1, pp. 15 -- 27, December, 1996.
• Foo, N. Y., Nayak, A. C., and Pagnucco, M., Definitional Constraints, In Wahlster, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI96), Budapest, Hungary, pp. 65 - 69, August 1996.
• Nayak, A. C., Foo, N. Y., Pagnucco, M. and Peppas, P., Learning From Conditionals: Judy Benjamin's Other Problems, In Washlter, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI96), Budapest, Hungary, pp. 75 - 79, August 1996.
• Peppas, P., Nayak, A. C., Pagnucco, M., Foo, N. Y., Kwok R., and Prokopenko, M., Revision vs. Update: Taking a Closer Look, In Wahslter, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI96), Budapest, Hungary, pp. 95 - 99, August 1996.
• Pagnucco, M., The Role of Abductive Reasoning within the Process of Belief Revision PhD Thesis, Department of Computer Science, University of Sydney February 1996.
• Nayak, A. C., Foo, N. Y., Pagnucco, M. and Sattar, A., Changing Conditional Beliefs Unconditionally, In Proceedings of the Sixth Conference on Theoretical Aspects Of Rationality And Knowledge (TARK VI), De Zeeuwse Stromen, The Netherlands, pp. 119 - 135, March 1996.
• Pagnucco, M., Conjunctive Versus Disjunctive Abduction - A Pragmatic Difference Between Abduction and Inverse Resolution, In Yao, X. (Ed.), Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'95), p. 572, Canberra, Australia, November 1995.
• Nayak, A. C., Pagnucco, M., Foo, N.Y. and Kwok, R., Entrenchment and Retractability: A Preliminary Report, In Yao, X. (Ed.), Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'95), pp. 219 - 226, Canberra, Australia, November 1995.
• Pagnucco, M., Nayak, A. C., and Foo, N. Y., An Epistemic Interpretation of Defaults, In Antoniou, G., Foo, N. Y., MacNish, C. K., Peppas, P., Stanton, R., and Williams, M-A. (Eds.), Proceedings of the First Australian Workshop on Commonsense Reasoning, pp. 62 - 73, Canberra, Australia, November 1995.
• Williams, M. A., Pagnucco, M., Foo, N. Y. and Sims, B., Determining Explanations Using Knowledge Transmutations, In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI95), pp. 822 - 830, Montreal, Canada, August 1995.
• Pagnucco, M., Nayak, A. C., and Foo, N. Y., Abductive Reasoning, Belief Expansion and Nonmonotonic Consequence, In Decker, H., Geske, U., Kakas, A., Sakama, C., Seipel, D., and Urpi, T., (Eds.), Proceedings of the ICLP'95 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge-based Systems, pp. 143 - 158, Shonan Village Center, Japan, June 1995.
• Pagnucco, M., A Simple Approach to Abductive Inference Using Conceptual Graphs, In Ellis, G. and Eklund, P. (Eds.), Proceedings of the First Australian Conceptual Structures Workshop, pp. 70 - 77, Armidale, Australia, 1994.
• Pagnucco, M., Nayak, A. C. and Foo, N.Y., Abductive Expansion: The Application of Abductive Inference to the Process of Belief Change, In Zhang, C., Debenham, J. and Lukose, D. (Eds.), Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence (AI94), pp. 267 - 274, Armidale, Australia, 1994.
• Nayak, A. C., Foo, N. Y., Pagnucco, M. and Sattar, A., Entrenchment Kinematics 101, In Zhang, C., Debenham, J. and Lukose, D. (Eds.), Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence, pp. 157 - 164. Armidale, Australia, 1994.
• Nayak, A. C., Foo, N. Y. and Pagnucco, M., Abduction, Revision and Iteration: A Unifying Proposal, In Proceedings of the Automated Reasoning Day, pp. 39 - 43, Bribie Island, Australia, 1994.
• Foo, N. Y., Nayak, A. C. and Pagnucco, M., Controllable Systems Representations, In Proceedings of the Automated Reasoning Day, pp. 33 - 38, Bribie Island, Australia, 1994.
• Esch, J., Pagnucco, M., Wermelinger, M. and Pfeiffer, H., LINEAR - Linear Notation Interface, In Proceedings of the Third International Workshop on PEIRCE: A Conceptual Graphs Workbench, Robert Levinson and Gerard Ellis (Eds.), College Park, August 1994.
• Pagnucco, M. and Foo, N. Y., Inverting Resolution With Conceptual Graphs, In Proceedings of the First International Conference on Conceptual Structures, pp. 238 - 253, Quebec City, Canada, August 1993. (Also appears as Conceptual Graphs for Knowledge Representation, Guy W. Mineau, Bernard Moulin, John F. Sowa (Eds.), Lecture Notes in Artificial Intelligence, Volume 699, Springer-Verlag, 1993).
• Esch, J., Pagnucco, M. and Wermelinger, M., LINEAR - Linear Notation Interface, In Proceedings of the Second International Workshop on PEIRCE: A Conceptual Graphs Workbench, Robert Levinson and Gerard Ellis (Eds.), pp. 16 - 24, Quebec City, Canada, August 1993.
• Pagnucco, M. and Foo, N. Y., The Relationship Between Abduction and Changes in Belief States, In Proceedings of the ICLP93 Postconference Workshop on Abductive Reasoning, pp. 75 - 83, Budapest, Hungary, June 1993.
• Foo, N. Y. and Pagnucco, M., Thagard's Postulates for Coherence and Explanation, In Proceedings of the 16th Australian Computer Science Conference, pp. 435 - 444, Brisbane, Australia, February 1993.
• Pagnucco, M., Choi, Y. B., Pfeiffer, H. and Wermelinger, M., LINEAR: Linear Notation Interface, In Proceedings of the 1st International Workshop on PEIRCE: A Conceptual Graphs Workbench, Robert Levinson and Gerard Ellis (Eds.), Las Cruces, New Mexico, pp. 30 - 33, July 1992.
• Yap, K., Walker, G. and Pagnucco, M., The Object User Interface to the Banksia GIS, In Proceedings of the 1st International Workshop on Interfaces to Databases, Glasgow, Scotland, July 1992.
• Bondi, M. and Pagnucco, M., HYPERNET, Note di Software No.48/49, pp. 98 - 114, June/October, 1990.

Maurice's home page