dblp.uni-trier.dewww.uni-trier.de

James P. Delgrande Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
110EEJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Merging Logic Programs under Answer Set Semantics. ICLP 2009: 160-174
109EEJames P. Delgrande, Torsten Grote, Aaron Hunter: A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR 2009: 355-367
108EEViren Kumar, James P. Delgrande: Optimal Multicore Scheduling: An Application of ASP Techniques. LPNMR 2009: 604-609
107EEJames P. Delgrande: What Next for ASP? (A Not-Entirely-Well-Informed Opinion). LPNMR 2009: 616-618
2008
106 James P. Delgrande, Yi Jin: Parallel Belief Revision. AAAI 2008: 430-435
105 James P. Delgrande: Horn Clause Belief Change: Contraction Functions. KR 2008: 156-165
104 James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Belief Revision of Logic Programs under Answer Set Semantics. KR 2008: 411-421
103EEJames P. Delgrande, Yi Jin, Francis Jeffry Pelletier: Compositional Belief Update. J. Artif. Intell. Res. (JAIR) 32: 757-791 (2008)
102EEJames P. Delgrande, Jérôme Lang, Hans Rott: Preface. J. Log. Comput. 18(5): 697 (2008)
2007
101 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
100 Aaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. AAAI 2007: 427-433
99EEJames P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele: COBA 2.0: A Consistency-Based Belief Change System. ECSQARU 2007: 78-90
98 James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman: Compositional Belief Update. FLAIRS Conference 2007: 68-73
97EEGiacomo 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
96EEGiacomo 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
95EEAaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. Formal Models of Belief Change in Rational Agents 2007
94EEJames P. Delgrande, Jérôme Lang, Torsten Schaub: Belief Change Based on Global Minimisation. IJCAI 2007: 2468-2473
93EEAaron Hunter, James P. Delgrande: An Action Description Language for Iterated Belief Change. IJCAI 2007: 2498-2503
92EEAaron Hunter, James P. Delgrande, Joel Faber: Using Answer Sets to Solve Belief Change Problems. LPNMR 2007: 272-277
91EEJames P. Delgrande, Torsten Schaub, Hans Tompits: A Preference-Based Framework for Updating Logic Programs. LPNMR 2007: 71-83
90EEJames P. Delgrande, Torsten Schaub: A consistency-based framework for merging knowledge bases. J. Applied Logic 5(3): 459-477 (2007)
89EEJames 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
88 Aaron Hunter, James P. Delgrande: Belief Change in the Context of Fallible Actions and Observations. AAAI 2006
87 James P. Delgrande, Didier Dubois, Jérôme Lang: Iterated Revision as Prioritized Merging. KR 2006: 210-220
86EEJames P. Delgrande: On a rule-based interpretation of default conditionals. Ann. Math. Artif. Intell. 48(3-4): 135-167 (2006)
2005
85 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
84EEIsaac 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
83EEJames 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
82EEJames 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
81EEAaron Hunter, James P. Delgrande: Iterated Belief Change: A Transition System Approach. IJCAI 2005: 460-465
80EEJames P. Delgrande, Torsten Schaub: Expressing Default Logic Variants in Default Logic. J. Log. Comput. 15(5): 593-621 (2005)
79EEJames P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco: Gricean Belief Change. Studia Logica 79(1): 97-113 (2005)
2004
78 James P. Delgrande, Torsten Schaub: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings NMR 2004
77 James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco: Conservative Belief Revision. AAAI 2004: 251-256
76 Diana Cukierman, James P. Delgrande: A Theory for Convex Interval Relations including Unbounded Intervals. FLAIRS Conference 2004
75 James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004: 63-72
74EEJames P. Delgrande, Torsten Schaub: Two Approaches to Merging Knowledge Bases. JELIA 2004: 426-438
73 James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. KR 2004: 673-682
72EEJames P. Delgrande: Preliminary considerations on the modelling of belief change operators by metric spaces. NMR 2004: 118-125
71EEJames P. Delgrande, Torsten Schaub: Consistency-based approaches to merging knowledge bases: preliminary report. NMR 2004: 126-133
70EEDiana Cukierman, James P. Delgrande: The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. TIME 2004: 28-35
69EEOliver Schulte, James P. Delgrande: Representing von Neumann-Morgenstern Games in the Situation Calculus. Ann. Math. Artif. Intell. 42(1-3): 73-101 (2004)
68EEJames 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
67EEJames P. Delgrande, M. Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub: Lukaszewicz-style Answer Set Programming: A Preliminary Report. Answer Set Programming 2003
66EEJames 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
63EEJames 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
61EEJames 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)
58EEJames P. Delgrande, Torsten Schaub, Hans Tompits: A Framework for Compiling Preferences in Logic Programs CoRR cs.AI/0203005: (2002)
57EEJames 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
55EEBradley 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
54EEJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: On Computing Solutions to Belief Change Scenarios. ECSQARU 2001: 510-521
53EEJames P. Delgrande, Torsten Schaub: How to Reason Credulously and Skeptically within a Single Extension. ECSQARU 2001: 592-603
52EEJames P. Delgrande, Torsten Schaub, Hans Tompits: plp: A Generic Compiler for Ordered Logic Programs. LPNMR 2001: 411-415
51EEJames 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
49EEMatthew 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
46EEJames P. Delgrande, Torsten Schaub, Hans Tompits: A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000: 376-390
45EEDiana Cukierman, James P. Delgrande: A Formalization of Structured Temporal Objects and Repetition. TIME 2000: 13-20
44EEJames P. Delgrande, Torsten Schaub: Expressing preferences in default logic. Artif. Intell. 123(1-2): 41-87 (2000)
43EEJames P. Delgrande, Torsten Schaub, Hans Tompits: A Compiler for Ordered Logic Programs CoRR cs.AI/0003024: (2000)
42EEJames P. Delgrande, Torsten Schaub, Hans Tompits: Logic Programs with Compiled Preferences CoRR cs.AI/0003028: (2000)
41EEJames 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
37EEJames P. Delgrande, Torsten Schaub: Reasoning with Sets of Preferences in Default Logic. PRICAI 1998: 134-145
36EETim Van Allen, James P. Delgrande, Arvind Gupta: Point-Based Approaches to Qualitative Temporal Reasoning. PRICAI 1998: 305-316
35EEDiana Cukierman, James P. Delgrande: Towards a Formal Characterization of Temporal Repetition with Closed Time. TIME 1998: 140-147
34EEJames 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: 563-597 (1998)
1997
32 James P. Delgrande, Torsten Schaub: Compiling Reasoning with and about Preferences into Default Logic. IJCAI (1) 1997: 168-175
31EEJames 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
7EEJames 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
2EEJames P. Delgrande: A graph-theoretic language extension for an interactive computer graphics environment. Computers & Graphics 5(1): 13-22 (1980)
1979
1EEJames P. Delgrande, Leslie Mezei: An interactive system for the construction and animation of systems dynamics models. Computers & Graphics 4(3-4): 155-160 (1979)

Coauthor Index

1Tim Van Allen [36] [40] [51]
2Frank D. Anger [59]
3Chitta Baral [59]
4Bradley Bart [55]
5M. Brian Blake [59]
6Giacomo Bonanno [84] [96] [97] [101]
7Paolo Bouquet [59]
8Michael Brenner [59]
9Diana Cukierman [24] [28] [29] [33] [35] [45] [47] [70] [76]
10Jon Doyle [59]
11Didier Dubois [84] [87]
12Joel Faber [92]
13Rino Falcone [59]
14M. Gharib [67]
15Piotr J. Gmytrasiewicz [59]
16Carla P. Gomes [59]
17Chris Groeneboer [12]
18Torsten Grote [109]
19Hans W. Guesgen [59]
20Haipeng Guo [59]
21Arvind Gupta [27] [30] [36] [38] [40] [51] [57]
22Karen Zita Haigh [59]
23Sharon J. Hamilton [13]
24Henry Hexmoor [59]
25Eric Horvitz [59]
26Aaron Hunter [61] [81] [88] [92] [93] [95] [100] [109]
27Nancy Ide [59]
28W. Ken Jackson [16] [20]
29Yi Jin [103] [106]
30Ulrich Junker [59]
31Antonio Krüger [59]
32Viren Kumar [108]
33Koichi Kurumantani [59]
34Jérôme Lang [82] [83] [84] [85] [87] [94] [96] [97] [101] [102]
35Isaac Levi [84]
36Gérard Ligozat (Gerard Ligozat) [59]
37Daphne H. Liu [99]
38Rainer Malaka [59]
39Sheila A. McIlraith [59]
40Robert E. Mercer [67]
41Leslie Mezei [1]
42John Mylopoulos [3]
43Abhaya C. Nayak [65] [77] [79]
44Maurice Pagnucco [65] [77] [79]
45Simon Parsons [59]
46Adam Pease [59]
47Francis Jeffry Pelletier [98] [103]
48Vincent Risch [67]
49Francesca Rossi [59]
50Hans Rott [82] [83] [84] [85] [96] [97] [101] [102]
51Torsten Schaub [20] [21] [22] [31] [32] [37] [41] [42] [43] [44] [46] [48] [50] [52] [53] [54] [56] [58] [59] [61] [62] [63] [66] [67] [68] [71] [73] [74] [75] [78] [80] [89] [90] [91] [94] [99] [104] [110]
52Oliver Schulte [55] [69]
53Bill Smart [59]
54Leen-Kiat Soh [59]
55Matthew Suderman (Matthew J. Suderman) [49] [60] [98]
56Jean-Marc Tallon [82] [83] [85]
57Sven Thiele [99]
58Hans Tompits [42] [43] [46] [48] [52] [54] [58] [62] [68] [73] [75] [89] [91] [104] [110]
59Bernard Walliser [84]
60Toby Walsh [59]
61Christopher A. Welty [59]
62Stefan Woltran [54] [68] [104] [110]
63Marie desJardins [59]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)