 | 2009 |
|---|
| 114 |       | James P. Delgrande,
Torsten Schaub,
Hans Tompits,
Stefan Woltran:
Merging Logic Programs under Answer Set Semantics.
ICLP 2009: 160-174 |
| 113 | | James P. Delgrande,
Torsten Grote,
Aaron Hunter:
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.
LPNMR 2009: 355-367 |
| 112 | | Viren Kumar,
James P. Delgrande:
Optimal Multicore Scheduling: An Application of ASP Techniques.
LPNMR 2009: 604-609 |
| 111 | | James P. Delgrande:
What Next for ASP? (A Not-Entirely-Well-Informed Opinion).
LPNMR 2009: 616-618 |
| 110 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits,
Stefan Woltran:
A general approach to belief change in answer set programming
CoRR abs/0912.5511: (2009) |
| 109 | | 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) |
| 2008 |
|---|
| 108 |  | James P. Delgrande,
Yi Jin:
Parallel Belief Revision.
AAAI 2008: 430-435 |
| 107 | | James P. Delgrande:
Horn Clause Belief Change: Contraction Functions.
KR 2008: 156-165 |
| 106 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits,
Stefan Woltran:
Belief Revision of Logic Programs under Answer Set Semantics.
KR 2008: 411-421 |
| 105 | | James P. Delgrande,
Yi Jin,
Francis Jeffry Pelletier:
Compositional Belief Update.
J. Artif. Intell. Res. (JAIR) 32: 757-791 (2008) |
| 104 | | James P. Delgrande,
Jérôme Lang,
Hans Rott:
Preface.
J. Log. Comput. 18(5): 697 (2008) |
| 2007 |
|---|
| 103 | | Giacomo Bonanno,
James P. Delgrande,
Jérôme Lang,
Hans Rott:
Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 102 | | Aaron Hunter,
James P. Delgrande:
Belief Change and Cryptographic Protocol Verification.
AAAI 2007: 427-433 |
| 101 | | James P. Delgrande,
Daphne H. Liu,
Torsten Schaub,
Sven Thiele:
COBA 2.0: A Consistency-Based Belief Change System.
ECSQARU 2007: 78-90 |
| 100 | | James P. Delgrande,
Francis Jeffry Pelletier,
Matthew Suderman:
Compositional Belief Update.
FLAIRS Conference 2007: 68-73 |
| 99 | | 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 |
| 98 | | 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 |
| 97 | | Aaron Hunter,
James P. Delgrande:
Belief Change and Cryptographic Protocol Verification.
Formal Models of Belief Change in Rational Agents 2007 |
| 96 | | James P. Delgrande,
Jérôme Lang,
Torsten Schaub:
Belief Change Based on Global Minimisation.
IJCAI 2007: 2468-2473 |
| 95 | | Aaron Hunter,
James P. Delgrande:
An Action Description Language for Iterated Belief Change.
IJCAI 2007: 2498-2503 |
| 94 | | Aaron Hunter,
James P. Delgrande,
Joel Faber:
Using Answer Sets to Solve Belief Change Problems.
LPNMR 2007: 272-277 |
| 93 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
A Preference-Based Framework for Updating Logic Programs.
LPNMR 2007: 71-83 |
| 92 | | James P. Delgrande,
Torsten Schaub:
A consistency-based framework for merging knowledge bases.
J. Applied Logic 5(3): 459-477 (2007) |
| 91 | | 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) |
| 2006 |
|---|
| 90 | | Aaron Hunter,
James P. Delgrande:
Belief Change in the Context of Fallible Actions and Observations.
AAAI 2006 |
| 89 | | James P. Delgrande,
Didier Dubois,
Jérôme Lang:
Iterated Revision as Prioritized Merging.
KR 2006: 210-220 |
| 88 | | James P. Delgrande:
On a rule-based interpretation of default conditionals.
Ann. Math. Artif. Intell. 48(3-4): 135-167 (2006) |
| 2005 |
|---|
| 87 | | James P. Delgrande,
Jérôme Lang,
Hans Rott,
Jean-Marc Tallon:
Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 |
| 86 | | 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 |
| 85 | | 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 |
| 84 | | 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 |
| 83 | | Aaron Hunter,
James P. Delgrande:
Iterated Belief Change: A Transition System Approach.
IJCAI 2005: 460-465 |
| 82 | | James P. Delgrande,
Torsten Schaub:
Expressing Default Logic Variants in Default Logic.
J. Log. Comput. 15(5): 593-621 (2005) |
| 81 | | James P. Delgrande,
Abhaya C. Nayak,
Maurice Pagnucco:
Gricean Belief Change.
Studia Logica 79(1): 97-113 (2005) |
| 2004 |
|---|
| 80 | | James P. Delgrande,
Torsten Schaub:
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings
NMR 2004 |
| 79 | | James P. Delgrande,
Abhaya C. Nayak,
Maurice Pagnucco:
Conservative Belief Revision.
AAAI 2004: 251-256 |
| 78 | | Diana Cukierman,
James P. Delgrande:
A Theory for Convex Interval Relations including Unbounded Intervals.
FLAIRS Conference 2004 |
| 77 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
Domain-Specific Preferences for Causal Reasoning and Planning.
ICAPS 2004: 63-72 |
| 76 | | James P. Delgrande,
Torsten Schaub:
Two Approaches to Merging Knowledge Bases.
JELIA 2004: 426-438 |
| 75 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
Domain-Specific Preferences for Causal Reasoning and Planning.
KR 2004: 673-682 |
| 74 | | James P. Delgrande:
Preliminary considerations on the modelling of belief change operators by metric spaces.
NMR 2004: 118-125 |
| 73 | | James P. Delgrande,
Torsten Schaub:
Consistency-based approaches to merging knowledge bases: preliminary report.
NMR 2004: 126-133 |
| 72 | | Diana Cukierman,
James P. Delgrande:
The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition.
TIME 2004: 28-35 |
| 71 | | Oliver Schulte,
James P. Delgrande:
Representing von Neumann-Morgenstern Games in the Situation Calculus.
Ann. Math. Artif. Intell. 42(1-3): 73-101 (2004) |
| 70 | | James P. Delgrande,
Torsten Schaub:
Reasoning with Sets of Defaults in Default Logic.
Computational Intelligence 20(1): 56-88 (2004) |
| 69 | | 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) |
| 68 | | 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) |
| 2003 |
|---|
| 67 | | James P. Delgrande,
M. Gharib,
Robert E. Mercer,
Vincent Risch,
Torsten Schaub:
Lukaszewicz-style Answer Set Programming: A Preliminary Report.
Answer Set Programming 2003 |
| 66 | | James P. Delgrande,
Torsten Schaub:
On the Relation between Reiter's Default Logic and Its (Major).
ECSQARU 2003: 452-463 |
| 65 | | James P. Delgrande,
Abhaya C. Nayak,
Maurice Pagnucco:
Prolegomenon to a Theory of Conservative Belief Revision.
IJCAI 2003: 1391-1393 |
| 64 | | James P. Delgrande:
Weak Conditional Logics of Normality.
IJCAI 2003: 873-878 |
| 63 | | James P. Delgrande,
Torsten Schaub:
A consistency-based approach for belief change.
Artif. Intell. 151(1-2): 1-41 (2003) |
| 62 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
A Framework for Compiling Preferences in Logic Programs.
TPLP 3(2): 129-187 (2003) |
| 2002 |
|---|
| 61 | | James P. Delgrande,
Aaron Hunter,
Torsten Schaub:
COBA: A Consistency-Based Belief Revision System.
JELIA 2002: 509-512 |
| 60 | | James P. Delgrande,
Matthew Suderman:
Considerations on compositional update operators.
NMR 2002: 150-159 |
| 59 | | 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) |
| 58 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
A Framework for Compiling Preferences in Logic Programs
CoRR cs.AI/0203005: (2002) |
| 57 | | James P. Delgrande,
Arvind Gupta:
Updating <=, <-chains.
Inf. Process. Lett. 82(5): 261-268 (2002) |
| 56 | | James P. Delgrande,
Torsten Schaub:
Reasoning Credulously and skeptically within a single extension.
Journal of Applied Non-Classical Logics 12(2): 259-285 (2002) |
| 2001 |
|---|
| 55 | | 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 |
| 54 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits,
Stefan Woltran:
On Computing Solutions to Belief Change Scenarios.
ECSQARU 2001: 510-521 |
| 53 | | James P. Delgrande,
Torsten Schaub:
How to Reason Credulously and Skeptically within a Single Extension.
ECSQARU 2001: 592-603 |
| 52 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
plp: A Generic Compiler for Ordered Logic Programs.
LPNMR 2001: 411-415 |
| 51 | | 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) |
| 2000 |
|---|
| 50 | | James P. Delgrande,
Torsten Schaub:
A Consistency-Based Model for Belief Change: Preliminary Report.
AAAI/IAAI 2000: 392-398 |
| 49 | | Matthew Suderman,
James P. Delgrande:
Considerations on Compositional Update Operators.
Canadian Conference on AI 2000: 411-420 |
| 48 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
Logic Programs with Compiled Preferences.
ECAI 2000: 464-468 |
| 47 | | Diana Cukierman,
James P. Delgrande:
A Formalization of Structured Temporal Objects and Repetition.
ECAI 2000: 83-87 |
| 46 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
A Compilation of Brewka and Eiter's Approach to Prioritization.
JELIA 2000: 376-390 |
| 45 | | Diana Cukierman,
James P. Delgrande:
A Formalization of Structured Temporal Objects and Repetition.
TIME 2000: 13-20 |
| 44 | | James P. Delgrande,
Torsten Schaub:
Expressing preferences in default logic.
Artif. Intell. 123(1-2): 41-87 (2000) |
| 43 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
A Compiler for Ordered Logic Programs
CoRR cs.AI/0003024: (2000) |
| 42 | | James P. Delgrande,
Torsten Schaub,
Hans Tompits:
Logic Programs with Compiled Preferences
CoRR cs.AI/0003028: (2000) |
| 41 | | James P. Delgrande,
Torsten Schaub:
A Consistency-Based Model for Belief Change: Preliminary Report
CoRR cs.AI/0003052: (2000) |
| 1999 |
|---|
| 40 | | James P. Delgrande,
Arvind Gupta,
Tim Van Allen:
Point-Based Approaches to Qualitative Temporal Reasoning.
AAAI/IAAI 1999: 739-744 |
| 39 | | James P. Delgrande:
Considerations on a Similarity-Based Approach to Beleif Change.
IJCAI 1999: 180-185 |
| 1998 |
|---|
| 38 | | James P. Delgrande,
Arvind Gupta:
Revising TimeGraph-II.
Canadian Conference on AI 1998: 349-362 |
| 37 | | James P. Delgrande,
Torsten Schaub:
Reasoning with Sets of Preferences in Default Logic.
PRICAI 1998: 134-145 |
| 36 | | Tim Van Allen,
James P. Delgrande,
Arvind Gupta:
Point-Based Approaches to Qualitative Temporal Reasoning.
PRICAI 1998: 305-316 |
| 35 | | Diana Cukierman,
James P. Delgrande:
Towards a Formal Characterization of Temporal Repetition with Closed Time.
TIME 1998: 140-147 |
| 34 | | James P. Delgrande:
On First-Order Conditional Logics.
Artif. Intell. 105(1-2): 105-137 (1998) |
| 33 | | Diana Cukierman,
James P. Delgrande:
Expressing Time Intervals and Repetition within a Formalization of Calendars.
Computational Intelligence 14(4): 563-597 (1998) |
| 1997 |
|---|
| 32 | | James P. Delgrande,
Torsten Schaub:
Compiling Reasoning with and about Preferences into Default Logic.
IJCAI (1) 1997: 168-175 |
| 31 | | James P. Delgrande,
Torsten Schaub:
Compiling Specificity Into Approaches to Nonmonotonic Reasoning.
Artif. Intell. 90(1-2): 301-348 (1997) |
| 1996 |
|---|
| 30 | | James P. Delgrande,
Arvind Gupta:
A Representation for Efficient Temporal Reasoning.
AAAI/IAAI, Vol. 1 1996: 381-388 |
| 29 | | Diana Cukierman,
James P. Delgrande:
Characterizing Temporal Repetition.
AAAI/IAAI, Vol. 2 1996: 1382 |
| 28 | | Diana Cukierman,
James P. Delgrande:
Characterizing Temporal Repetition.
TIME 1996 |
| 27 | | 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) |
| 1995 |
|---|
| 26 | | James P. Delgrande:
Syntactic Conditional Closures for Defeasible Reasoning.
IJCAI 1995: 1488-1494 |
| 25 | | James P. Delgrande:
A Framework for Logics of Explicit Belief.
Computational Intelligence 11: 47-88 (1995) |
| 1994 |
|---|
| 24 | | Diana Cukierman,
James P. Delgrande:
Time Units and Calendars.
AAAI 1994: 1436 |
| 23 | | James P. Delgrande:
A Preference-Based Approach to Default Reasoning: Preliminary Report.
AAAI 1994: 902-908 |
| 22 | | James P. Delgrande,
Torsten Schaub:
Incorporating Specificity into Circumscriptive Theories.
KI 1994: 272-283 |
| 21 | | James P. Delgrande,
Torsten Schaub:
A General Approach to Specificity in Default Reasoning.
KR 1994: 146-157 |
| 20 | | James P. Delgrande,
Torsten Schaub,
W. Ken Jackson:
Alternative Approaches to Default Logic.
Artif. Intell. 70(1-2): 167-237 (1994) |
| 19 | | James P. Delgrande:
On a General Approach to Hedged Reasoning.
Computational Intelligence 10: 39-45 (1994) |
| 1992 |
|---|
| 18 | | James P. Delgrande:
Accessibility in Logics of Explicit Belief.
KR 1992: 450-461 |
| 1991 |
|---|
| 17 | | James P. Delgrande:
Incorporating Nonmonotonic Reasoning in Horn Clause Theories.
AAAI 1991: 405-411 |
| 16 | | James P. Delgrande,
W. Ken Jackson:
Default Logic Revisited.
KR 1991: 118-127 |
| 1990 |
|---|
| 15 | | James P. Delgrande:
A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract.
LPNMR 1990: 38-48 |
| 1989 |
|---|
| 14 | | James P. Delgrande:
A note on evidence, confirmation in machine learning.
Computational Intelligence 5: 180-187 (1989) |
| 13 | | 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) |
| 1988 |
|---|
| 12 | | Chris Groeneboer,
James P. Delgrande:
Tableau-Based Theorem Proving In Normal Conditional Logics.
AAAI 1988: 171-176 |
| 11 | | James P. Delgrande:
An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report.
Artif. Intell. 36(1): 63-90 (1988) |
| 1987 |
|---|
| 10 | | James P. Delgrande:
An Approach to Default Reasoning Based on a First-Order Conditional Logic.
AAAI 1987: 340-345 |
| 9 | | James P. Delgrande:
A Formal Approach to Learning From Examples.
IJCAI 1987: 315-322 |
| 8 | | James P. Delgrande:
A Logic for Representing Default and Prototypical Properties.
IJCAI 1987: 423-429 |
| 7 | | James P. Delgrande:
Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints.
PODS 1987: 190-196 |
| 6 | | James P. Delgrande:
A First-Order Conditional Logic for Prototypical Properties.
Artif. Intell. 33(1): 105-130 (1987) |
| 5 | | James P. Delgrande:
A foundational approach to autonomous knowledge acquisition.
Computational Intelligence 3: 310-329 (1987) |
| 4 | | James P. Delgrande:
A Formal Approach to Learning from Examples.
International Journal of Man-Machine Studies 26(2): 123-141 (1987) |
| 1985 |
|---|
| 3 | | James P. Delgrande,
John Mylopoulos:
Knowledge Representation: Features of Knowledge.
Advanced Course: Fundamentals of Artificial Intelligence 1985: 3-36 |
| 1980 |
|---|
| 2 | | James P. Delgrande:
A graph-theoretic language extension for an interactive computer graphics environment.
Computers & Graphics 5(1): 13-22 (1980) |
| 1979 |
|---|
| 1 | | 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) |
