| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Giacomo Bonanno, James P. Delgrande, Hans Rott |
Guest Editors' Introduction.  |
J. Philosophical Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Yi Jin |
Parallel belief revision: Revising by sets of formulas. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande |
Revising beliefs on the basis of evidence. |
Int. J. Approx. Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande |
Iterated Belief Change Due to Actions and Observations. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Pavlos Peppas |
Revising Horn Theories. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Revising by an Inconsistent Set of Formulas. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Wolfgang Faber (eds.) |
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande |
A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
A program-level approach to revising logic programs under the answer set semantics. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Aaron Hunter, Torsten Grote |
On the representation and verification of cryptographic protocols in a theory of action. |
PST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Renata Wassermann |
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
A general approach to belief change in answer set programming |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
Merging Logic Programs under Answer Set Semantics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
strong equivalence, answer set programming, belief merging |
| 1 | Viren Kumar, James P. Delgrande |
Optimal Multicore Scheduling: An Application of ASP Techniques. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
clingo, edge cover, scheduling, multicore, ASP |
| 1 | James P. Delgrande |
What Next for ASP? (A Not-Entirely-Well-Informed Opinion). |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Grote, Aaron Hunter |
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Jérôme Lang, Hans Rott |
Preface. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Yi Jin, Francis Jeffry Pelletier |
Compositional Belief Update. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
Belief Revision of Logic Programs under Answer Set Semantics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Horn Clause Belief Change: Contraction Functions. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Yi Jin |
Parallel Belief Revision. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
A General Framework for Expressing Preferences in Causal Reasoning and Planning. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
A consistency-based framework for merging knowledge bases. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande |
An Action Description Language for Iterated Belief Change. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Jérôme Lang, Torsten Schaub |
Belief Change Based on Global Minimisation. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele |
COBA 2.0: A Consistency-Based Belief Change System. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande |
Belief Change and Cryptographic Protocol Verification. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande |
An Explicit Model of Belief Change for Cryptographic Protocol Verification. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2007 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
A Preference-Based Framework for Updating Logic Programs. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande, Joel Faber |
Using Answer Sets to Solve Belief Change Problems. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman |
Compositional Belief Update. |
FLAIRS Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande |
Belief Change and Cryptographic Protocol Verification. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
On a rule-based interpretation of default conditionals. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T30 |
| 1 | James P. Delgrande, Didier Dubois, Jérôme Lang |
Iterated Revision as Prioritized Merging. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande |
Belief Change in the Context of Fallible Actions and Observations. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco |
Gricean Belief Change. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
belief revision and update, Gricean conversational implicature, Belief change |
| 1 | James P. Delgrande, Torsten Schaub |
Expressing Default Logic Variants in Default Logic. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Hunter, James P. Delgrande |
Iterated Belief Change: A Transition System Approach. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Belief Change in Rational Agents |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
On Computing Belief Change Operations using Quantified Boolean Formulas. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Reasoning with Sets of Defaults in Default Logic. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang |
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Schulte, James P. Delgrande |
Representing von Neumann-Morgenstern Games in the Situation Calculus. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
reasoning about actions and change, game theory, knowledge representation, multiagent systems, decision theory |
| 1 | Diana Cukierman, James P. Delgrande |
The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
Domain-Specific Preferences for Causal Reasoning and Planning. |
ICAPS |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Two Approaches to Merging Knowledge Bases. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
Domain-Specific Preferences for Causal Reasoning and Planning. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diana Cukierman, James P. Delgrande |
A Theory for Convex Interval Relations including Unbounded Intervals. |
FLAIRS Conference |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Preliminary considerations on the modelling of belief change operators by metric spaces. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Consistency-based approaches to merging knowledge bases: preliminary report. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub (eds.) |
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco |
Conservative Belief Revision. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
A consistency-based approach for belief change. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
A Framework for Compiling Preferences in Logic Programs. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco |
Prolegomenon to a Theory of Conservative Belief Revision. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Weak Conditional Logics of Normality. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
On the Relation between Reiter's Default Logic and Its (Major). |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub |
Lukaszewicz-style Answer Set Programming: A Preliminary Report. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Arvind Gupta |
Updating <=, <-chains. |
Inf. Process. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Reasoning Credulously and skeptically within a single extension. |
Journal of Applied Non-Classical Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
A Framework for Compiling Preferences in Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Aaron Hunter, Torsten Schaub |
COBA: A Consistency-Based Belief Revision System. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Matthew Suderman |
Considerations on compositional update operators. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Arvind Gupta, Tim Van Allen |
A comparison of point-based approaches to qualitative temporal reasoning. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
How to Reason Credulously and Skeptically within a Single Extension. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
On Computing Solutions to Belief Change Scenarios. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
plp: A Generic Compiler for Ordered Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
A Consistency-Based Model for Belief Change: Preliminary Report |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
Logic Programs with Compiled Preferences |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
A Compiler for Ordered Logic Programs |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Expressing preferences in default logic. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Cukierman, James P. Delgrande |
A Formalization of Structured Temporal Objects and Repetition. (PDF / PS) |
TIME |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Cukierman, James P. Delgrande |
A Formalization of Structured Temporal Objects and Repetition. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
Logic Programs with Compiled Preferences. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
A Compilation of Brewka and Eiter's Approach to Prioritization. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Suderman, James P. Delgrande |
Considerations on Compositional Update Operators. |
Canadian Conference on AI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
A Consistency-Based Model for Belief Change: Preliminary Report. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Considerations on a Similarity-Based Approach to Beleif Change. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Arvind Gupta, Tim Van Allen |
Point-Based Approaches to Qualitative Temporal Reasoning. |
AAAI/IAAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Diana Cukierman, James P. Delgrande |
Expressing Time Intervals and Repetition within a Formalization of Calendars. |
Computational Intelligence |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande |
On First-Order Conditional Logics. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Cukierman, James P. Delgrande |
Towards a Formal Characterization of Temporal Repetition with Closed Time. (PDF / PS) |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Reasoning with Sets of Preferences in Default Logic. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Van Allen, James P. Delgrande, Arvind Gupta |
Point-Based Approaches to Qualitative Temporal Reasoning. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Arvind Gupta |
Revising TimeGraph-II. |
Canadian Conference on AI |
1998 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Compiling Specificity Into Approaches to Nonmonotonic Reasoning. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub |
Compiling Reasoning with and about Preferences into Default Logic. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Arvind Gupta |
The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae. |
Ann. Math. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Cukierman, James P. Delgrande |
Characterizing Temporal Repetition. |
TIME |
1996 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Arvind Gupta |
A Representation for Efficient Temporal Reasoning. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Diana Cukierman, James P. Delgrande |
Characterizing Temporal Repetition. |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")