James P. Delgrande

James P. Delgrande, Yi Jin: Parallel belief revision: Revising by sets of formulas. Artif. Intell. 176(1): 2223-2245 (2012)

James P. Delgrande: Revising beliefs on the basis of evidence. Int. J. Approx. Reasoning 53(3): 396-412 (2012)

Giacomo Bonanno, James P. Delgrande, Hans Rott: Guest Editors' Introduction. J. Philosophical Logic 41(1): 1-5 (2012)

James P. Delgrande: Considerations on Belief Revision in an Action Theory. Correct Reasoning 2012: 164-177

James P. Delgrande, Hector J. Levesque: Belief Revision with Sensing and Fallible Actions. KR 2012

James P. Delgrande, Thomas Meyer, Ulrike Sattler: Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports 2(10): 105-116 (2012)

Aaron Hunter, James P. Delgrande: Iterated Belief Change Due to Actions and Observations. J. Artif. Intell. Res. (JAIR) 40: 269-304 (2011)

James P. Delgrande: Revising by an Inconsistent Set of Formulas. IJCAI 2011: 833-838

James P. Delgrande, Pavlos Peppas: Revising Horn Theories. IJCAI 2011: 839-844

James P. Delgrande, Wolfgang Faber (Eds.): Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Lecture Notes in Computer Science 6645, Springer 2011, isbn 978-3-642-20894-2

James P. Delgrande: A program-level approach to revising logic programs under the answer set semantics. TPLP 10(4-6): 565-580 (2010)

James P. Delgrande, Renata Wassermann: Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. KR 2010

James P. Delgrande, Aaron Hunter, Torsten Grote: On the representation and verification of cryptographic protocols in a theory of action. PST 2010: 39-45

James P. Delgrande: A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics. CoRR abs/1007.5024 (2010)

Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott: Special Issue on Formal Models of Belief Change in Rational Agents. J. Applied Logic 7(4): 363 (2009)

James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Merging Logic Programs under Answer Set Semantics. ICLP 2009: 160-174

James P. Delgrande, Torsten Grote, Aaron Hunter: A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR 2009: 355-367

Viren Kumar, James P. Delgrande: Optimal Multicore Scheduling: An Application of ASP Techniques. LPNMR 2009: 604-609

James P. Delgrande: What Next for ASP? (A Not-Entirely-Well-Informed Opinion). LPNMR 2009: 616-618

James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: A general approach to belief change in answer set programming. CoRR abs/0912.5511 (2009)

James P. Delgrande, Yi Jin, Francis Jeffry Pelletier: Compositional Belief Update. J. Artif. Intell. Res. (JAIR) 32: 757-791 (2008)

James P. Delgrande, Jérôme Lang, Hans Rott: Preface. J. Log. Comput. 18(5): 697 (2008)

James P. Delgrande, Yi Jin: Parallel Belief Revision. AAAI 2008: 430-435

James P. Delgrande: Horn Clause Belief Change: Contraction Functions. KR 2008: 156-165

James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Belief Revision of Logic Programs under Answer Set Semantics. KR 2008: 411-421

James P. Delgrande, Torsten Schaub: A consistency-based framework for merging knowledge bases. J. Applied Logic 5(3): 459-477 (2007)

James P. Delgrande, Torsten Schaub, Hans Tompits: A General Framework for Expressing Preferences in Causal Reasoning and Planning. J. Log. Comput. 17(5): 871-907 (2007)

Aaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. AAAI 2007: 427-433

Aaron Hunter, James P. Delgrande: An Explicit Model of Belief Change for Cryptographic Protocol Verification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 65-70

Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott: 07351 Executive Summary - Formal Models of Belief Change in Rational Agents. Formal Models of Belief Change in Rational Agents 2007

Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott: 07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents. Formal Models of Belief Change in Rational Agents 2007

Aaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. Formal Models of Belief Change in Rational Agents 2007

James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele: COBA 2.0: A Consistency-Based Belief Change System. ECSQARU 2007: 78-90

James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman: Compositional Belief Update. FLAIRS Conference 2007: 68-73

James P. Delgrande, Jérôme Lang, Torsten Schaub: Belief Change Based on Global Minimisation. IJCAI 2007: 2468-2473

Aaron Hunter, James P. Delgrande: An Action Description Language for Iterated Belief Change. IJCAI 2007: 2498-2503

James P. Delgrande, Torsten Schaub, Hans Tompits: A Preference-Based Framework for Updating Logic Programs. LPNMR 2007: 71-83

Aaron Hunter, James P. Delgrande, Joel Faber: Using Answer Sets to Solve Belief Change Problems. LPNMR 2007: 272-277

Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott (Eds.): Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007. Dagstuhl Seminar Proceedings 07351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

James P. Delgrande: On a rule-based interpretation of default conditionals. Ann. Math. Artif. Intell. 48(3-4): 135-167 (2006)

Aaron Hunter, James P. Delgrande: Belief Change in the Context of Fallible Actions and Observations. AAAI 2006: 257-262

James P. Delgrande, Didier Dubois, Jérôme Lang: Iterated Revision as Prioritized Merging. KR 2006: 210-220

James P. Delgrande, Torsten Schaub: Expressing Default Logic Variants in Default Logic. J. Log. Comput. 15(5): 593-621 (2005)

James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco: Gricean Belief Change. Studia Logica 79(1): 97-113 (2005)

James P. Delgrande, Jérôme Lang, Hans Rott, Jean-Marc Tallon: 05321 Executive Summary - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Belief Change in Rational Agents 2005

James P. Delgrande, Jérôme Lang, Hans Rott, Jean-Marc Tallon: 05321 Abstracts Collection - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Belief Change in Rational Agents 2005

Isaac Levi, Giacomo Bonanno, Bernard Walliser, Didier Dubois, Hans Rott, James P. Delgrande, Jérôme Lang: 05321 - Panel on belief change. Belief Change in Rational Agents 2005

Aaron Hunter, James P. Delgrande: Iterated Belief Change: A Transition System Approach. IJCAI 2005: 460-465

James P. Delgrande, Jérôme Lang, Hans Rott, Jean-Marc Tallon (Eds.): Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005. Dagstuhl Seminar Proceedings 05321, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005

Oliver Schulte, James P. Delgrande: Representing von Neumann-Morgenstern Games in the Situation Calculus. Ann. Math. Artif. Intell. 42(1-3): 73-101 (2004)

James P. Delgrande, Torsten Schaub: Reasoning with Sets of Defaults in Default Logic. Computational Intelligence 20(1): 56-88 (2004)

James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang: A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Computational Intelligence 20(2): 308-334 (2004)

James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: On Computing Belief Change Operations using Quantified Boolean Formulas. J. Log. Comput. 14(6): 801-826 (2004)

James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco: Conservative Belief Revision. AAAI 2004: 251-256

James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004: 63-72

Diana Cukierman, James P. Delgrande: A Theory for Convex Interval Relations including Unbounded Intervals. FLAIRS Conference 2004: 789-794

James P. Delgrande, Torsten Schaub: Two Approaches to Merging Knowledge Bases. JELIA 2004: 426-438

James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. KR 2004: 673-682

James P. Delgrande: Preliminary considerations on the modelling of belief change operators by metric spaces. NMR 2004: 118-125

James P. Delgrande, Torsten Schaub: Consistency-based approaches to merging knowledge bases: preliminary report. NMR 2004: 126-133

Diana Cukierman, James P. Delgrande: The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. TIME 2004: 28-35

James P. Delgrande, Torsten Schaub (Eds.): 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. 2004, isbn 92-990021-0-X

James P. Delgrande, Torsten Schaub: A consistency-based approach for belief change. Artif. Intell. 151(1-2): 1-41 (2003)

James P. Delgrande, Torsten Schaub, Hans Tompits: A Framework for Compiling Preferences in Logic Programs. TPLP 3(2): 129-187 (2003)

James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub: Lukaszewicz-style Answer Set Programming: A Preliminary Report. Answer Set Programming 2003

James P. Delgrande, Torsten Schaub: On the Relation between Reiter's Default Logic and Its (Major). ECSQARU 2003: 452-463

James P. Delgrande: Weak Conditional Logics of Normality. IJCAI 2003: 873-878

James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco: Prolegomenon to a Theory of Conservative Belief Revision. IJCAI 2003: 1391-1393

M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat: AAAI 2002 Workshops. AI Magazine 23(4): 113-121 (2002)

James P. Delgrande, Arvind Gupta: Updating <=, <-chains. Inf. Process. Lett. 82(5): 261-268 (2002)

James P. Delgrande, Torsten Schaub: Reasoning Credulously and skeptically within a single extension. Journal of Applied Non-Classical Logics 12(2): 259-285 (2002)

James P. Delgrande, Aaron Hunter, Torsten Schaub: COBA: A Consistency-Based Belief Revision System. JELIA 2002: 509-512

James P. Delgrande, Matthew Suderman: Considerations on compositional update operators. NMR 2002: 150-159

James P. Delgrande, Torsten Schaub, Hans Tompits: A Framework for Compiling Preferences in Logic Programs. CoRR cs.AI/0203005 (2002)

James P. Delgrande, Arvind Gupta, Tim Van Allen: A comparison of point-based approaches to qualitative temporal reasoning. Artif. Intell. 131(1-2): 135-170 (2001)

Bradley Bart, James P. Delgrande, Oliver Schulte: Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study. Canadian Conference on AI 2001: 121-130

James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: On Computing Solutions to Belief Change Scenarios. ECSQARU 2001: 510-521

James P. Delgrande, Torsten Schaub: How to Reason Credulously and Skeptically within a Single Extension. ECSQARU 2001: 592-603

James P. Delgrande, Torsten Schaub, Hans Tompits: plp: A Generic Compiler for Ordered Logic Programs. LPNMR 2001: 411-415

James P. Delgrande, Torsten Schaub: Expressing preferences in default logic. Artif. Intell. 123(1-2): 41-87 (2000)

James P. Delgrande, Torsten Schaub: A Consistency-Based Model for Belief Change: Preliminary Report. AAAI/IAAI 2000: 392-398

Matthew Suderman, James P. Delgrande: Considerations on Compositional Update Operators. Canadian Conference on AI 2000: 411-420

Diana Cukierman, James P. Delgrande: A Formalization of Structured Temporal Objects and Repetition. ECAI 2000: 83-87

James P. Delgrande, Torsten Schaub, Hans Tompits: Logic Programs with Compiled Preferences. ECAI 2000: 464-468

James P. Delgrande, Torsten Schaub, Hans Tompits: A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000: 376-390

Diana Cukierman, James P. Delgrande: A Formalization of Structured Temporal Objects and Repetition. TIME 2000: 13-20

James P. Delgrande, Torsten Schaub, Hans Tompits: A Compiler for Ordered Logic Programs. CoRR cs.AI/0003024 (2000)

James P. Delgrande, Torsten Schaub, Hans Tompits: Logic Programs with Compiled Preferences. CoRR cs.AI/0003028 (2000)

James P. Delgrande, Torsten Schaub: A Consistency-Based Model for Belief Change: Preliminary Report. CoRR cs.AI/0003052 (2000)

James P. Delgrande, Arvind Gupta, Tim Van Allen: Point-Based Approaches to Qualitative Temporal Reasoning. AAAI/IAAI 1999: 739-744

James P. Delgrande: Considerations on a Similarity-Based Approach to Beleif Change. IJCAI 1999: 180-185

James P. Delgrande: On First-Order Conditional Logics. Artif. Intell. 105(1-2): 105-137 (1998)

Diana Cukierman, James P. Delgrande: Expressing Time Intervals and Repetition within a Formalization of Calendars. Computational Intelligence 14(4): 563-597 (1998)

James P. Delgrande, Arvind Gupta: Revising TimeGraph-II. Canadian Conference on AI 1998: 349-362

James P. Delgrande, Torsten Schaub: Reasoning with Sets of Preferences in Default Logic. PRICAI 1998: 134-145

Tim Van Allen, James P. Delgrande, Arvind Gupta: Point-Based Approaches to Qualitative Temporal Reasoning. PRICAI 1998: 305-316

Diana Cukierman, James P. Delgrande: Towards a Formal Characterization of Temporal Repetition with Closed Time. TIME 1998: 140-147

James P. Delgrande, Torsten Schaub: Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artif. Intell. 90(1-2): 301-348 (1997)

James P. Delgrande, Torsten Schaub: Compiling Reasoning with and about Preferences into Default Logic. IJCAI (1) 1997: 168-175

James P. Delgrande, Arvind Gupta: The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae. Ann. Math. Artif. Intell. 18(1): 51-67 (1996)

James P. Delgrande, Arvind Gupta: A Representation for Efficient Temporal Reasoning. AAAI/IAAI, Vol. 1 1996: 381-388

Diana Cukierman, James P. Delgrande: Characterizing Temporal Repetition. AAAI/IAAI, Vol. 2 1996: 1382

Diana Cukierman, James P. Delgrande: Characterizing Temporal Repetition. TIME 1996: 80-87

James P. Delgrande: A Framework for Logics of Explicit Belief. Computational Intelligence 11: 47-88 (1995)

James P. Delgrande: Syntactic Conditional Closures for Defeasible Reasoning. IJCAI 1995: 1488-1494

James P. Delgrande, Torsten Schaub, W. Ken Jackson: Alternative Approaches to Default Logic. Artif. Intell. 70(1-2): 167-237 (1994)

James P. Delgrande: On a General Approach to Hedged Reasoning. Computational Intelligence 10: 39-45 (1994)

James P. Delgrande: A Preference-Based Approach to Default Reasoning: Preliminary Report. AAAI 1994: 902-908

Diana Cukierman, James P. Delgrande: Time Units and Calendars. AAAI 1994: 1436

James P. Delgrande, Torsten Schaub: Incorporating Specificity into Circumscriptive Theories. KI 1994: 272-283

James P. Delgrande, Torsten Schaub: A General Approach to Specificity in Default Reasoning. KR 1994: 146-157

James P. Delgrande: Accessibility in Logics of Explicit Belief. KR 1992: 450-461

James P. Delgrande: Incorporating Nonmonotonic Reasoning in Horn Clause Theories. AAAI 1991: 405-411

James P. Delgrande, W. Ken Jackson: Default Logic Revisited. KR 1991: 118-127

James P. Delgrande: A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract. LPNMR 1990: 38-48

Sharon J. Hamilton, James P. Delgrande: An investigation of modal structures as an alternative semantic basis for epistemic logics. Computational Intelligence 5: 82-96 (1989)

James P. Delgrande: A note on evidence, confirmation in machine learning. Computational Intelligence 5: 180-187 (1989)

James P. Delgrande: An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report. Artif. Intell. 36(1): 63-90 (1988)

Chris Groeneboer, James P. Delgrande: Tableau-Based Theorem Proving In Normal Conditional Logics. AAAI 1988: 171-176

James P. Delgrande: A First-Order Conditional Logic for Prototypical Properties. Artif. Intell. 33(1): 105-130 (1987)

James P. Delgrande: A foundational approach to autonomous knowledge acquisition. Computational Intelligence 3: 310-329 (1987)

James P. Delgrande: A Formal Approach to Learning from Examples. International Journal of Man-Machine Studies 26(2): 123-141 (1987)

James P. Delgrande: An Approach to Default Reasoning Based on a First-Order Conditional Logic. AAAI 1987: 340-345

James P. Delgrande: A Formal Approach to Learning From Examples. IJCAI 1987: 315-322

James P. Delgrande: A Logic for Representing Default and Prototypical Properties. IJCAI 1987: 423-429

James P. Delgrande: Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints. PODS 1987: 190-196

James P. Delgrande, John Mylopoulos: Knowledge Representation: Features of Knowledge. Advanced Course: Fundamentals of Artificial Intelligence 1985: 3-36

James P. Delgrande: A graph-theoretic language extension for an interactive computer graphics environment. Computers & Graphics 5(1): 13-22 (1980)

James P. Delgrande, Leslie Mezei: An interactive system for the construction and animation of systems dynamics models. Computers & Graphics 4(3-4): 155-160 (1979)