James Delgrande - Selected Refereed Publications

For a complete list of publications please follow this link . Please email me for copies of any papers not listed below (or visit the Computer Science Bibliography Server).

2009

• James Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran, Merging Logic Programs under Answer Set Semantics, 25th International Conference on Logic Programming (ICLP 2009), Lecture Notes in Artificial Intelligence, Vol. 5649, Springer-Verlag, Patricia M. Hill and David Scott Warren (eds), Pasadena, CA, 2009, pp. 160-174.

• James P. Delgrande, Torsten Grote, and Aaron Hunter, A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming, Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Lecture Notes in Artificial Intelligence, Vol. 5753, Springer-Verlag, Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds), Potsdam, Germany, 2009, pp. 355-367.

• Viren Kumar and James P. Delgrande, Optimal Multicore Scheduling: An Application of ASP Techniques, Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Lecture Notes in Artificial Intelligence, Vol. 5753, Springer-Verlag, Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds), Potsdam, Germany, 2009, pp. 604-609.

• James P. Delgrande, What Next for ASP? (invited commentary), Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Lecture Notes in Artificial Intelligence, Vol. 5753, Springer-Verlag, Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds), Potsdam, Germany, 2009, pp. 616-618.

• James P. Delgrande, Torsten Grote, and Aaron Hunter, Modelling Cryptographic Protocols in a Theory of Action, Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto, Ontario, June 1-3, 2009.

2008

• James P. Delgrande, Yi Jin and F. Jeffry Pelletier, Compositional Belief Update, Journal of Artificial Intelligence Research, 32, 2008, pp. 757-791.

• James P. Delgrande, Horn Clause Belief Change: Contraction Functions, Eleventh International Conference on Principles of Knowledge Representation and Reasoning, Sydney, Australia, September 16-19, 2008.

• James P. Delgrande, Torsten Schaub, Hans Tompits and Stefan Woltran, Belief Revision of Logic Programs under Answer Set Semantics, Eleventh International Conference on Principles of Knowledge Representation and Reasoning, Sydney, Australia, September 16-19, 2008.

• Chris Schmidt and James P. Delgrande, Incorporating a Qualitative Ranked Preference System into Planning, Twelth International Workshop on Non-Monotonic Reasoning NMR'2008, Sydney, Australia, 13 - 15 September, 2008.

• James Delgrande and Yi Jin, Parallel Belief Revision, 23rd National Conference on Artificial Intelligence (AAAI-08), Chicago. IL, July 13-17, 2008.

2007

• James P. Delgrande, On a Rule-Based Interpretation of Default Conditionals, Annals of Mathematics and Artificial Intelligence, 48, 2007, pp. 135-167.

• James P. Delgrande, Torsten Schaub, and Hans Tompits, A General Framework for Expressing Preferences in Causal Reasoning and Planning, Journal of Logic and Computation, 17, 2007, pp. 871-907.

• James P. Delgrande and Torsten Schaub, A Consistency-Based Framework for Merging Knowledge Bases, Journal of Applied Logic, 5,3, 2007, pp. 459-477.

• James P. Delgrande, Jérôme Lang, and Torsten Schaub, Belief Change Based on Global Minimisation, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 9-12, 2007.

• Aaron Hunter and James P. Delgrande, An Action Description Language for Iterated Belief Change, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 9-12, 2007.

• James P. Delgrande, Torsten Schaub, and Hans Tompits, A Preference-Based Framework for Updating Logic Programs, Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Phoenix, Arizona, May 14-16, 2007.

• Aaron Hunter and James P. Delgrande, Belief Change and Cryptographic Protocol Verification, Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, BC, July 24-26, 2007.

2006

• Aaron Hunter and James P. Delgrande, Belief Change in the Context of Fallible Actions and Observations, 21st National Conference on Artificial Intelligence (AAAI-06), Boston, MA, July 16-20, 2006.

• James P. Delgrande, Didier Dubois, and Jérôme Lang, Iterated revision as prioritized merging, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District, United Kingdom, June 2-5, 2006, pp. 210-220.

• James P. Delgrande, Towards a Rule-Based Interpretation of Conditional Defaults, Ninth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 4-6, 2006. (Invited paper)

2005

• Aaron Hunter and James P. Delgrande, Iterated Belief Change: A Transition System Approach, , 19th International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, August 2-5, 2005.
• James P. Delgrande and Torsten Schaub, Expressing Default Logic Variants in Default Logic, Journal of Logic and Computation, 15, 5, 2005, pp. 593-621.
• James P. Delgrande, Abhaya C. Nayak, and Maurice Pagnucco, Gricean Belief Change, Studia Logica, 79, 2005, pp. 97-113.

2004

• James P. Delgrande, Torsten Schaub, Hans Tompits and Stefan Woltran, On Computing Solutions to Belief Change Scenarios, Journal of Logic and Computation, 14,6, December 2004, pp. 801-826.
• James P. Delgrande and Torsten Schaub, Two Approaches to Merging Knowledge Bases, 9th European Conference on Logics in Artificial Intelligence, Lisbon, Portugal, September 2004.
• James P. Delgrande, Abhaya C. Nayak, and Maurice Pagnucco, Conservative Belief Change, American Association for Artificial Intelligence Conference, San Jose, CA, July 2004.
• James P. Delgrande, Torsten Schaub, and Hans Tompits, Domain-Specific Preferences for Causal Reasoning and Planning, Ninth International Conference on Principles of Knowledge Representation and Reasoning, Whistler, Canada, pp. 673-682, June 2004.
• James Delgrande, Torsten Schaub, Hans Tompits, and Kewen Wang, A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning, Computational Intelligence, 20,2, 2004, pp. 308-334.
• Oliver Schulte and James Delgrande, Representing von Neumann-Morgenstern Games in the Situation Calculus, Annals of Mathematics and Artificial Intelligence, 42, 1-3, J. Dix, J. Leite, K. Satoh, eds., Special Issue on ``Computational Logic in Multi-Agent Systems'', 42, 1-3, pp. 73-101, 2004
• James P. Delgrande and Torsten Schaub, Reasoning with Sets of Defaults in Default Logic, Computational Intelligence, 20,1, 2004, pp. 56-88.

2003

• James Delgrande and Torsten Schaub, A Consistency-Based Approach for Belief Change, Artificial Intelligence Journal 151, 1-2, 2003, pp. 1-41.
• James Delgrande, Torsten Schaub, and Hans Tompits, A Framework for Compiling Preferences in Logic Programs, Theory and Practice of Logic Programming 3(2), 2003, pp. 129-187.
• James P. Delgrande, Weak Conditional Logics of Normality, 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15 2003, pp. 873-879.
• James Delgrande, Abhaya Nayak, and Maurice Pagnucco, Prolegomenon to a Theory of Conservative Belief Revision, 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15 2003, pp. 1391-1393.
• James P. Delgrande and Torsten Schaub, On the Relation between Reiter's Default Logic and its (Major) Variants, Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Lecture Notes in Artificial Intelligence, Vol. 2711, Springer-Verlag, T. Nielsen and N. Zhang (Eds.), Aalborg, Denmark, July 2-5, 2003.

2002

• James P. Delgrande and Torsten Schaub, Reasoning Credulously and Skeptically within a Single Extension, Journal of Applied Non-Classical Logics 12(2), 2002, pp. 259-285.
• James Delgrande and Arvind Gupta, Updating <=,<-Chains, Information Processing Letters, 82, 5, 2002, pp. 261-268.
• James P. Delgrande, Aaron Hunter, and Torsten Schaub, COBA: A Consistency-Based Belief Revision System, JELIA-2002: 8th European Conference on Logic in Artificial Inteligence, Cosenza, Italy, Sept 23-26, 2002, pp. 509-512.

2001

• James Delgrande, Arvind Gupta, and Tim Van Allen, A Comparison of Point-Based Approaches to Qualitative Temporal Reasoning, Artificial Intelligence Journal, 131, 1-2, 2001, pp. 135-170.
• James P. Delgrande, A Minimal Modelling for Successful Knowledge Base Revision, in Frontiers of Belief Revision, Mary-Anne Williams and Hans Rott (eds.), Applied Logic Series, Volume 22, Series Editors: Dov Gabbay and Jon Barwise, Kluwer Academic Publishers, 2001.
• James P. Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran, On Computing Solutions to Belief Change Scenarios, Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2001), Lecture Notes in Artificial Intelligence, Vol. 2143, Springer-Verlag, S. Benferhat, P. Besnard (Eds.), Toulouse, France, September 19th - 21th, 2001, pp. 510-521.
• James P. Delgrande, Torsten Schaub, and Hans Tompits, plp: A Generic Compiler for Ordered Logic Programs, Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), Lecture Notes in Artificial Intelligence, Vol. 2173, Springer-Verlag, T. Eiter,W. Faber, M. Truszczyski (Eds.), Vienna, Austria, September 17-19, 2001, pp. 411-415.
• Bradley Bart, James P. Delgrande, and Oliver Schulte, Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study, 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence (AI 2001), Lecture Notes in Artificial Intelligence, Vol. 2056, Springer-Verlag, E. Stroulia, S. Matwin (Eds.), Ottawa, ON, June 7-9, 2001, pp. 121-130

2000

• James P. Delgrande and Torsten Schaub, Expressing Preferences in Default Logic, Artificial Intelligence Journal, 123, 1-2, 2000, pp. 41-87.
• James P. Delgrande and Torsten Schaub, The Role of Default Logic in Knowledge Representation, in Logic-Based Artificial Intelligence, Jack Minker (ed.), Kluwer Academic Publishers, 2000.
• James P. Delgrande, Torsten Schaub, and Hans Tompits, A Compilation of Brewka and Eiter's Approach to Prioritization, 7th European Workshop on Logic in Artificial Inteligence (JELIA-2000), Malaga, Spain, 29 Sept - 2 Oct, 2000, pp 376-390.
• Diana Cukierman and James P. Delgrande, A Formalization of Structured Temporal Objects and Repetition", 14th European Conference on Artificial Intelligence (ECAI'2000), Berlin, Germany, August 23-25, 2000, pp. 83-87. Also appeared at Seventh International Workshop on Temporal Representation and Reasoning (TIME-2000), Cape Breton, NS, July 7-9, 2000. (Best paper award)
• James P. Delgrande, Torsten Schaub, and Hans Tompits, Logic Programs with Compiled Preferences, 14th European Conference on Artificial Intelligence (ECAI'2000), Berlin, Germany, August 23-25, 2000, pp. 464-468. Also appeared at the Eighth International Workshop on Non-Monotonic Reasoning (NMR'2000), April 9-11, Breckenridge, Colorado
• James P. Delgrande and Torsten Schaub, A Consistency-Based Model for Belief Change: Preliminary Report, American Association for Artificial Intelligence Conference (AAAI'2000), Austin, Texas, July 30 -- August 3, 2000, pp. 392-398. Also appeared at the Eighth International Workshop on Non-Monotonic Reasoning (NMR'2000), April 9-11, 2000, Breckenridge, Colorado.
• James P. Delgrande, Torsten Schaub, and Hans Tompits, A Compiler for Ordered Logic Programs, Eighth International Workshop on Non-Monotonic Reasoning (NMR'2000), April 9-11, Breckenridge, Color

1999

• James P. Delgrande, Considerations on a Similarity-Based Approach to Belief Change, 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, August 1999, pp. 180-185.
• James P. Delgrande, Arvind Gupta, and Timothy Van Allen, Point-Based Approaches to Qualitative Temporal Reasoning, American Association for Artificial Intelligence Conference (AAAI'99), Orlando, Florida, July 1999, pp. 739-744.

1998

• James P. Delgrande and Jeff Pelletier, A Formal Analysis of Relevance, Erkenntnis, 49, 2, 1998, pp. 137-173.
• James P. Delgrande, On First-Order Conditional Logics, Artificial Intelligence Journal, 105, 1-2, 1998, pp. 105-137.
• Diana Cukierman and James P. Delgrande, Expressing Time Intervals and Repetition within a Formalization of Calendars, Computational Intelligence, 14, 4, 1998, pp. 563-597.
• James P. Delgrande, Conditional Logics for Defeasible Reasoning, Volume 2 of The Handbook of Defeasible Reasoning and Uncertainty Management Systems: Reasoning with Actual and Potential Contradictions, Philippe Besnard and Anthony Hunter (eds.), Series Editors: Dov Gabbay and Philippe Smets, Kluwer Academic Publishers, 1998, pp. 135-173.
• James P. Delgrande and Arvind Gupta, Revising TimeGraph-II, Twelfth Canadian Conference on Artificial Intelligence (AI'98), Vancouver, June 1998.

1997

• James P. Delgrande and Torsten Schaub, Compiling reasoning with and about preferences into default logic, 15th International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, August 1997.
• James P. Delgrande and Torsten Schaub, Reasoning with sets of preferences in default logic, The Second IJCAI Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'97), Nagoya, Japan, August 1997.
• James P. Delgrande and Torsten Schaub, Compiling Specificity into Approaches to Nonmonotonic Reasoning, Artificial Intelligence Journal, 90, 1-2, February 1997, pp. 301-348.

1996

• James P. Delgrande and Arvind Gupta, The complexity of minimum partial truth assignments and implication in negation-free formulae. Annals of Mathematics and Artificial Intelligence, Special Issue in Boundaries for Tractability for Artificial Intelligence, M. Hirsch, ed., 1996, pp. 51-67.
• James P. Delgrande and Arvind Gupta, A Representation for Efficient Temporal Reasoning, American Association for Artificial Intelligence Conference (AAAI'96), Portland, Oregon, August 1996.
• James P. Delgrande, Toward a First-Order Conditional Logic for Default Properties, Sixth International Workshop on Nonmonotonic Reasoning (NMR'96), Timberline, Oregon, June 10-12, 1996.
• Diana Cukierman and James P.Delgrande, Characterizing Temporal Repetition, Third International Workshop on Temporal Representation and Reasoning (TIME-96), Key West, Florida, May, 1996.

1995

• James P. Delgrande, Syntactic Conditional Closures for Defeasible Reasoning, 14th International Joint Conference on Artificial Intelligence (IJCAI'95), Montreal, Canada, August 1995.
• Diana Cukierman and James P.Delgrande, A language to Express Time Intervals and Repetition, Second International Workshop on Temporal Representation and Reasoning (TIME-95), Melbourne Beach, Florida, April 26, 1995.
• James P. Delgrande, A Framework for Logics of Explicit Belief, Computational Intelligence, 11, 1, January 1995, pp. 47-88.

1994

• James P. Delgrande, Torsten Schaub, and W. Ken Jackson, Alternative Approaches to Default Logic, Artificial Intelligence Journal, 70, 1-2, October 1994, pp. 167-237.
• James P. Delgrande, A Preference-Based Approach to Default Reasoning: Preliminary Report, American Association for Artificial Intelligence Conference (AAAI'94), Seattle, Washington, July 1994.
• James P. Delgrande and Torsten Schaub, A General Approach to Specificity in Default Reasoning, Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), Bonn, Germany, May 1994, pp. 146-157.