Skip to content

James P. Delgrande

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

90

Venues

15

Active years

1987–2025

Best venue rank

A*

Where they publish

Papers

90 indexed papers, newest first.

YearVenueTitleAuthors
2025KRBelief Revision in a Probabilistic Setting.James P. Delgrande, Gerhard Lakemeyer, Maurice Pagnucco, Joshua Sack
2022AAAIUsing Conditional Independence for Belief Revision.Matthew James Lynn, James P. Delgrande, Pavlos Peppas
2022IJCAIEpistemic Logic of Likelihood and Belief.James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco
2022KRProjection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing.Jens Claen, James P. Delgrande
2021KRAn Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors.Jens Claen, James P. Delgrande
2020KRDyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus.Jens Claen, James P. Delgrande
2020KRA Preference-Based Approach to Defeasible Deontic Inference.James P. Delgrande
2018KRIncorporating Relevance in Epistemic States in Belief Revision.James P. Delgrande, Pavlos Peppas
2017AIOn the Role of Possibility in Action Execution and Knowledge in the Situation Calculus.Vahid Vaezian, James P. Delgrande
2017IJCAIA Unifying Framework for Probabilistic Belief Revision.Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar
2016ECAIA Minimization-Based Approach to Iterated Multi-Agent Belief Change.Paul Vicol, James P. Delgrande, Torsten Schaub
2016ECAIReconsidering AGM-Style Belief Revision in the Context of Logic Programs.Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar
2015AAAIasprin: Customizing Answer Set Preferences without a Headache.Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2015AAAIA Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs.James P. Delgrande, Kewen Wang
2015IJCAIThe Logic of Qualitative Probability.James P. Delgrande, Bryan Renne
2015IJCAIKernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence.Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier
2015IJCAIExtending AGM Contraction to Arbitrary Logics.Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande
2015LPNMRImplementing Preferences with asprin.Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2015LPNMRAn Implementation of Consistency-Based Multi-agent Belief Change Using ASP.Paul Vicol, James P. Delgrande, Torsten Schaub
2014KRTowards a Knowledge Level Analysis of Forgetting.James P. Delgrande
2014KRBelief Change and Base Dependence.Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
2013AIProtocol Verification in a Theory of Action.Aaron Hunter, James P. Delgrande, Ryan McBride
2013AIAn Application of Answer Set Programming for Situational Analysis in a Maritime Traffic Domain.Zahra Vaseqi, James P. Delgrande
2013IJCAIA Formal Account of Nondeterministic and Failed Actions.James P. Delgrande, Hector J. Levesque
2013LPNMRAGM-Style Belief Revision of Logic Programs under Answer Set Semantics.James P. Delgrande, Pavlos Peppas, Stefan Woltran
2012KRBelief Revision with Sensing and Fallible Actions.James P. Delgrande, Hector J. Levesque
2011IJCAIRevising by an Inconsistent Set of Formulas.James P. Delgrande
2011IJCAIRevising Horn Theories.James P. Delgrande, Pavlos Peppas
2010KRHorn Clause Contraction Functions: Belief Set and Belief Base Approaches.James P. Delgrande, Renata Wassermann
2010PSTOn the representation and verification of cryptographic protocols in a theory of action.James P. Delgrande, Aaron Hunter, Torsten Grote
2009ICLPMerging Logic Programs under Answer Set Semantics.James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2009LPNMRWhat Next for ASP? (A Not-Entirely-Well-Informed Opinion).James P. Delgrande
2009LPNMRA General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.James P. Delgrande, Torsten Grote, Aaron Hunter
2009LPNMROptimal Multicore Scheduling: An Application of ASP Techniques.Viren Kumar, James P. Delgrande
2008AAAIParallel Belief Revision.James P. Delgrande, Yi Jin
2008KRHorn Clause Belief Change: Contraction Functions.James P. Delgrande
2008KRBelief Revision of Logic Programs under Answer Set Semantics.James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2007AAAIBelief Change and Cryptographic Protocol Verification.Aaron Hunter, James P. Delgrande
2007ECSQARUCOBA 2.0: A Consistency-Based Belief Change System.James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele
2007FlAIRSCompositional Belief Update.James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman
2007IJCAIBelief Change Based on Global Minimisation.James P. Delgrande, Jrme Lang, Torsten Schaub
2007IJCAIAn Action Description Language for Iterated Belief Change.Aaron Hunter, James P. Delgrande
2007LPNMRA Preference-Based Framework for Updating Logic Programs.James P. Delgrande, Torsten Schaub, Hans Tompits
2007LPNMRUsing Answer Sets to Solve Belief Change Problems.Aaron Hunter, James P. Delgrande, Joel Faber
2006AAAIBelief Change in the Context of Fallible Actions and Observations.Aaron Hunter, James P. Delgrande
2006KRIterated Revision as Prioritized Merging.James P. Delgrande, Didier Dubois, Jrme Lang
2005IJCAIIterated Belief Change: A Transition System Approach.Aaron Hunter, James P. Delgrande
2004AAAIConservative Belief Revision.James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco
2004FlAIRSA Theory for Convex Interval Relations including Unbounded Intervals.Diana Cukierman, James P. Delgrande
2004JELIATwo Approaches to Merging Knowledge Bases.James P. Delgrande, Torsten Schaub
2004KRDomain-Specific Preferences for Causal Reasoning and Planning.James P. Delgrande, Torsten Schaub, Hans Tompits
2004TIMEThe SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition.Diana Cukierman, James P. Delgrande
2003ECSQARUOn the Relation between Reiter's Default Logic and Its (Major).James P. Delgrande, Torsten Schaub
2003IJCAIWeak Conditional Logics of Normality.James P. Delgrande
2003IJCAIProlegomenon to a Theory of Conservative Belief Revision.James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco
2002JELIACOBA: A Consistency-Based Belief Revision System.James P. Delgrande, Aaron Hunter, Torsten Schaub
2001AIKnowledge and Planning in an Action-Based Multi-agent Framework: A Case Study.Bradley Bart, James P. Delgrande, Oliver Schulte
2001ECSQARUHow to Reason Credulously and Skeptically within a Single Extension.James P. Delgrande, Torsten Schaub
2001ECSQARUOn Computing Solutions to Belief Change Scenarios.James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2001LPNMRplp: A Generic Compiler for Ordered Logic Programs.James P. Delgrande, Torsten Schaub, Hans Tompits
2000AAAIA Consistency-Based Model for Belief Change: Preliminary Report.James P. Delgrande, Torsten Schaub
2000AIConsiderations on Compositional Update Operators.Matthew Suderman, James P. Delgrande
2000ECAIA Formalization of Structured Temporal Objects and Repetition.Diana Cukierman, James P. Delgrande
2000ECAILogic Programs with Compiled Preferences.James P. Delgrande, Torsten Schaub, Hans Tompits
2000JELIAA Compilation of Brewka and Eiter's Approach to Prioritization.James P. Delgrande, Torsten Schaub, Hans Tompits
2000TIMEA Formalization of Structured Temporal Objects and Repetition.Diana Cukierman, James P. Delgrande
1999AAAIPoint-Based Approaches to Qualitative Temporal Reasoning.James P. Delgrande, Arvind Gupta, Tim Van Allen
1999IJCAIConsiderations on a Similarity-Based Approach to Beleif Change.James P. Delgrande
1998AIRevising TimeGraph-II.James P. Delgrande, Arvind Gupta
1998PRICAIPoint-Based Approaches to Qualitative Temporal Reasoning.Tim Van Allen, James P. Delgrande, Arvind Gupta
1998PRICAIReasoning with Sets of Preferences in Default Logic.James P. Delgrande, Torsten Schaub
1998TIMETowards a Formal Characterization of Temporal Repetition with Closed Time.Diana Cukierman, James P. Delgrande
1997IJCAICompiling Reasoning with and about Preferences into Default Logic.James P. Delgrande, Torsten Schaub
1996AAAICharacterizing Temporal Repetition.Diana Cukierman, James P. Delgrande
1996AAAIA Representation for Efficient Temporal Reasoning.James P. Delgrande, Arvind Gupta
1996TIMECharacterizing Temporal Repetition.Diana Cukierman, James P. Delgrande
1995IJCAISyntactic Conditional Closures for Defeasible Reasoning.James P. Delgrande
1994AAAITime Units and Calendars.Diana Cukierman, James P. Delgrande
1994AAAIA Preference-Based Approach to Default Reasoning: Preliminary Report.James P. Delgrande
1994KIIncorporating Specificity into Circumscriptive Theories.James P. Delgrande, Torsten Schaub
1994KRA General Approach to Specificity in Default Reasoning.James P. Delgrande, Torsten Schaub
1992KRAccessibility in Logics of Explicit Belief.James P. Delgrande
1991AAAIIncorporating Nonmonotonic Reasoning in Horn Clause Theories.James P. Delgrande
1991KRDefault Logic Revisited.James P. Delgrande, W. Ken Jackson
1990LPNMRA Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract.James P. Delgrande
1988AAAITableau-Based Theorem Proving In Normal Conditional Logics.Chris Groeneboer, James P. Delgrande
1987AAAIAn Approach to Default Reasoning Based on a First-Order Conditional Logic.James P. Delgrande
1987IJCAIA Formal Approach to Learning From Examples.James P. Delgrande
1987IJCAIA Logic for Representing Default and Prototypical Properties.James P. Delgrande
1987PODSFormal Limits on the Automatic Generation and Maintenance of Integrity Constraints.James P. Delgrande