Maurice Pagnucco's List of Publications
Here is a list of some of my publications.
Alternatively,
email me (morri@cse.unsw.edu.au)
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.
-
Vongbunyong, S.,
Kara, S., and
Pagnucco, M.,
A Framework for Using Cognitive Robotics in Disassembly Automation.
19th CIRP Conference on Life Cycle Engineering, Berkeley, USA, May 2012.
-
Pagnucco, M.,
and
de Giacomo, G.,
Chronolog: It's about Time for Golog,
In Knowing, Reasoning and Acting: Essays in Honor of Hector J. Levesque.
G. Lakemeyer and S. McIlraith Eds. College Publications, London, UK. ISBN 978-1-84890-044-8, 2011.
-
Zhuang, Z., and
Pagnucco, M.,
Transitively Relational Partial Meet Horn Contraction,
In Proceedings of the Twentysecond International Joint Conference on Artificial Intelligence (IJCAI'11), pp.~1132 -- 1138,
Barcelona, Spain, July 2011.
-
Pagnucco, M.,
Rajaratnam, D.,
Strass, H.,
and
Thielscher, M.,
How to Plan When Being Deliberately Misled,
AAAI-11 Workshop on Automated Action Planning for Autonomous Mobile Robots
San Francisco, USA, August 2011.
-
Cerexhe, T.,
and
Pagnucco, M.,
Executability in the Situation Calculus.
In Proceedings of the Twentyfourth Australasian Conference on Artificial Intelligence,
pp. 677--686, Perth, Australia, December 2011.
-
Heap, B.,
and
Pagnucco, M.,
Sequential Single-Cluster Auctions for Robot Task Allocation
In Proceedings of the Twentyfourth Australasian Conference on Artificial Intelligence,
pp. 412--421, Perth, Australia, December 2011.
-
Rajaratnam, D.,
and
Pagnucco, M.,
From Approximate Clausal Reasoning to Problem Hardness.
In Proceedings of the Twentyfourth Australasian Conference on Artificial Intelligence,
pp. 501--510, Perth, Australia, December 2011.
-
Shapiro, S.,
Pagnucco, M.,
Lesperance, Y. and
Levesque, H.
Iterated Belief Change in the Situation Calculus,
Artificial Intelligence, 175(1): 165--192, 2011.
-
Schonig, A.,
and
Pagnucco, M.,
Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation,
In Proceedings of the Twentythird Australasian Conference on Artificial Intelligence,
Lecture Notes in Computer Science, Volume 6464, Springer Verlag, pp. 506--515, Adelaide, Australia, 2010.
-
Zhuang, Z. Q.,
and
Pagnucco, M.,
Horn Contraction via Epistemic Entrenchment,
In Proceedings of the Twelfth European Conference on Logics in Artificial Intelligence (JELIA 2010),
Volume 6341, Lecture Notes in Artificial Intelligence, Springer Verlag, pp. 339--351, Helsinki, Finland, 2010.
-
Zhuang, Z. Q.,
and
Pagnucco, M.,
Two Methods for Constructing Horn Contractions,
In Proceedings of the Twenty third Australasian Conference on Artificial Intelligence,
Lecture Notes in Computer Science, Volume 6464, Springer Verlag, pp. 72--81, Adelaide, Australia, 2010.
-
Ashar. J.,
Claridge, D.,
Hall, B.,
Hengst, B.,
Nguyen, H.,
Pagnucco, M.,
Ratter, M.,
Robinson, S.,
Sammut, C.,
Vance, B.,
White, B.,
and
Zhu, Y.,
RoboCup Standard Platform League---rUNSWift 2010,
In Proceedings of the Twelfth Australasian Conference on Robotics and Automation, Brisbane, Australia, 2010.
-
Ströder, T.,
Pagnucco, M.
Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors,
In
Proceedings of the Twentyfirst International Joint Conference on Artificial Intelligence
(IJCAI'09),
pp. 936 -- 941,
Pasedena, USA, July 2009.
-
Chamiel, G., and
Pagnucco, M.
Ontology Guided Dynamic Preference Elicitation,
Proceedings of the ACM RecSys'09 Workshop on Recommender Systems and the Social Web (RSWeb'09). New York, USA, 2009.
-
Zhuang, Zhi Qiang, and
Pagnucco, M.
Belief Contraction in the Description Logic EL,
Proceedings of the 22nd International Workshop on Description Logics (DL 2009),
Oxford, United Kindgom, July 27 -- 30, 2009.
CEUR Workshop Proceedings. Vol. 477.
-
Chamiel, G., and
Pagnucco, M.
Exploiting Ontological Structure for Complex Preference Assembly,
in Proceedings of the Twentyfirst Australasian Joint Conference on Artificial Intelligence (AI-08),
December 2008, Vol. 5360, pp. 86 -- 92, Auckland.
Lecture Notes in Artificial Intelligence, Springer Verlag.
-
Chamiel, G., and
Pagnucco, M.
Utilising Ontological Structure for Reasoning with Preferences,
in Proceedings of the Knowledge Representation Ontology Workshop (KROW'08),
pp. 1 -- 10,
September 17 2008, Sydney.
In conjunction with KR 2008.
-
Chamiel, G., and
Pagnucco, M.
Exploiting Ontological Information for Reasoning with Preferences,
in Proceedings of the 4th Multidisciplinary Workshop on Advances in Preference Handling (MPREF'08),
pp. 19 -- 24,
July 2008, Chicago. In conjunction with AAAI 2008.
-
Pagnucco, M. and
Thielscher, M. (eds.).
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning,
13-15 September, 2008, Sydney.
-
Zhuang, Zhi Qiang,
Pagnucco, M. and
Meyer, Thomas.
Implementing Iterated Belief Change via Prime Implicates,
in Proceedings of the Twentieth Australian Joint Conference on Artificial Intelligence (AI07),
Volume 4830,
Lecture Notes in Artificial Intelligence,
Springer Verlag,
pp. 507 -- 518, Surfers Paradise, December 2007.
-
Rajaratnam, D. and
Pagnucco, M.
Prime Implicates for Approximate Reasoning,
in the Second International Conference on Knowledge Science, Engineering and Management (KSEM07),
Volume 4798,
Lecture Notes in Artificial Intelligence,
Springer Verlag,
pp. 61 -- 72
Melbourne, Australia, November 28-30, 2007.
-
Pagnucco, M.
Knowledge Compilation for Belief Change,
in Proceedings of the Nineteenth Australian Joint Conference on Artificial Intelligence (AI06),
Volume 4304,
Lecture Notes in Artificial Intelligence,
Springer Verlag,
pp. 90 -- 99, Hobart, Tasmania, December 2006.
-
Pagnucco, M.
Levi on Abduction,
Chapter 10 in Erik J. Olsson (editor),
Knowledge and Inquiry: Essays on the Pragmatism of Isaac Levi,
pp. 143 -- 156, Cambridge University Press, 2006.
-
Pagnucco, M. and
Rajaratnam, D.
Inverse Resolution as Belief Change,
In
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence
(IJCAI'05),
Edinburgh, Scotland, August 2005 (to appear).
-
Delgrande, J.,
Nayak, A. C., and
Pagnucco, M.
Gricean Belief Change,
Studia Logica, 79(1):, February 2005.
-
Delgrande, J.,
Nayak, A. C., and
Pagnucco, M.
Conservative Belief Change,
In
Proceedings of the Nineteenth National Conference on Artificial Intelligence
(AAAI'04),
pp. 251 - 256, San Jose, USA, July 2004.
-
Shapiro, S. and
Pagnucco, M.
Iterated Belief Change and Exogenous Actions in the Situation Calculus,
In
Proceedings of the Sixteenth European Conference on Artificial Intelligence
(ECAI'04),
pp. 878 - 882, Valencia, Spain, August 2004.
-
Jauregui, V.,
Foo, N. Y. and
Pagnucco, M.
Simplicity in Solving the Frame Problem,
In
Proceedings of the Sixteenth European Conference on Artificial Intelligence
(ECAI'04),
pp. 640 - 644, Valencia, Spain, August 2004.
-
Jauregui, V.,
Foo, N. Y. and
Pagnucco, M.
On the Intended Interpretation of Actions,
In Proceedings of the 8th Pacific Rim Conference on Artificial Intelligence (PRICAI'04),
pp. 13 - 22, Auckland, New Zealand, August 2004.
-
Nayak, A. C.,
Pagnucco, M., and
Peppas, P.
Dynamic Belief Revision Operators,
Artificial Intelligence,
146(2):193-228, 2003.
-
Delgrande, J.,
Nayak, A. C., and
Pagnucco, M.
Prolegomenon to a Theory of Conservative Belief Revision,
In
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence
(IJCAI'03),
Acapulco, Mexico, August 2003.
-
Delgrande, J.,
Nayak, A. C., and
Pagnucco, M.
Conservative Belief Change: A Gricean Approach,
In
Proceedings of the Fifth International Workshop on Nonmonotonic Reasoning, Action, and Change
(NRAC'03)
Acapulco, Mexico, August 2003.
-
Pagnucco, M., and
Peppas, P.,
Causality and Minimal Change Demystified,
In
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence
(IJCAI'01),
Seattle, USA, pp. 125 - 130, August 2001.
-
Prokopenko, M.,
Pagnucco, M.,
Peppas, P.,
and Nayak, A. C.,
Capturing Context in Causal Propagation,
In
Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning and Change (NRAC'01),
Seattle, USA, pp. 95 - 102, August 2001.
-
Foo, N.,
Nayak, A.,
Pagnucco, M., and
Zhang, D.,
State Minimization Re-visited,
In
Proceedings of the Fourteenth Australian Joint Conference on Artificial
Intelligence,
Springer-Verlag, LNCS 2256, December 2001.
-
Jauregui, V.,
Pagnucco, M., and
Foo, N. Y.,
A Trajectory Approach to Causality,
Studia Logica 67: 385 - 401, 2001.
-
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)
-
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
Maurice Pagnucco (morri@cse.unsw.edu.au)