James P. Delgrande

Affiliations:
  • Simon Fraser University, Burnaby, Canada


According to our database1, James P. Delgrande authored at least 160 papers between 1979 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A general framework for preferences in answer set programming.
Artif. Intell., December, 2023

Current and Future Challenges in Knowledge Representation and Reasoning.
CoRR, 2023

2022
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).
Dagstuhl Reports, July, 2022

Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Epistemic Logic of Likelihood and Belief.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Using Conditional Independence for Belief Revision.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020
A Preference-Based Approach to Defeasible Deontic Inference.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events.
Stud Logica, 2019

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic.
J. Artif. Intell. Res., 2019

The logic of qualitative probability.
Artif. Intell., 2019

2018
General Belief Revision.
J. ACM, 2018

Incorporating Relevance in Epistemic States in Belief Revision.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017
Kernel Contraction and Base Dependence.
J. Artif. Intell. Res., 2017

A Knowledge Level Account of Forgetting.
J. Artif. Intell. Res., 2017

A Unifying Framework for Probabilistic Belief Revision.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Study of Kernel Contraction in EL.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus.
Proceedings of the Advances in Artificial Intelligence, 2017

2016
A New Approach for Revising Logic Programs.
CoRR, 2016

Reconsidering AGM-Style Belief Revision in the Context of Logic Programs.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Minimization-Based Approach to Iterated Multi-Agent Belief Change.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On a Minimal Logic of Default Conditionals.
Proceedings of the Computational Models of Rationality, 2016

2015
Guest Editors' Introduction.
J. Philos. Log., 2015

Belief Change with Uncertain Action Histories.
J. Artif. Intell. Res., 2015

Belief revision in Horn theories.
Artif. Intell., 2015

An Implementation of Consistency-Based Multi-agent Belief Change Using ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Implementing Preferences with asprin.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Extending AGM Contraction to Arbitrary Logics.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Logic of Qualitative Probability.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

asprin: Customizing Answer Set Preferences without a Headache.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence.
CoRR, 2014

Belief Change and Base Dependence.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Towards a Knowledge Level Analysis of Forgetting.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013
A Model-Theoretic Approach to Belief Change in Answer Set Programming.
ACM Trans. Comput. Log., 2013

Horn Clause Contraction Functions.
J. Artif. Intell. Res., 2013

AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

A Formal Account of Nondeterministic and Failed Actions.
Proceedings of the IJCAI 2013, 2013

An Application of Answer Set Programming for Situational Analysis in a Maritime Traffic Domain.
Proceedings of the Advances in Artificial Intelligence, 2013

Protocol Verification in a Theory of Action.
Proceedings of the Advances in Artificial Intelligence, 2013

2012
Guest Editors' Introduction.
J. Philos. Log., 2012

Revising beliefs on the basis of evidence.
Int. J. Approx. Reason., 2012

Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441).
Dagstuhl Reports, 2012

Parallel belief revision: Revising by sets of formulas.
Artif. Intell., 2012

Belief Revision with Sensing and Fallible Actions.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Considerations on Belief Revision in an Action Theory.
Proceedings of the Correct Reasoning, 2012

2011
Iterated Belief Change Due to Actions and Observations.
J. Artif. Intell. Res., 2011

Revising Horn Theories.
Proceedings of the IJCAI 2011, 2011

Revising by an Inconsistent Set of Formulas.
Proceedings of the IJCAI 2011, 2011

2010
A program-level approach to revising logic programs under the answer set semantics.
Theory Pract. Log. Program., 2010

On the representation and verification of cryptographic protocols in a theory of action.
Proceedings of the Eighth Annual Conference on Privacy, Security and Trust, 2010

Horn Clause Contraction Functions: Belief Set and Belief Base Approaches.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009
Special Issue on Formal Models of Belief Change in Rational Agents.
J. Appl. Log., 2009

A general approach to belief change in answer set programming
CoRR, 2009

Optimal Multicore Scheduling: An Application of ASP Techniques.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

What Next for ASP? (A Not-Entirely-Well-Informed Opinion).
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Merging Logic Programs under Answer Set Semantics.
Proceedings of the Logic Programming, 25th International Conference, 2009

09351 Executive Summary - Information processing, rational belief change and social interaction.
Proceedings of the Information processing, rational belief change and social interaction, 23.08., 2009

09351 Abstracts Collection - Information processing, rational belief change and social interaction.
Proceedings of the Information processing, rational belief change and social interaction, 23.08., 2009

2008
Preface.
J. Log. Comput., 2008

Compositional Belief Update.
J. Artif. Intell. Res., 2008

Belief Revision of Logic Programs under Answer Set Semantics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Horn Clause Belief Change: Contraction Functions.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Parallel Belief Revision.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
A General Framework for Expressing Preferences in Causal Reasoning and Planning.
J. Log. Comput., 2007

A consistency-based framework for merging knowledge bases.
J. Appl. Log., 2007

Using Answer Sets to Solve Belief Change Problems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

A Preference-Based Framework for Updating Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

An Action Description Language for Iterated Belief Change.
Proceedings of the IJCAI 2007, 2007

Belief Change Based on Global Minimisation.
Proceedings of the IJCAI 2007, 2007

Compositional Belief Update.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

COBA 2.0: A Consistency-Based Belief Change System.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Belief Change and Cryptographic Protocol Verification.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

07351 Executive Summary - Formal Models of Belief Change in Rational Agents.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

An Explicit Model of Belief Change for Cryptographic Protocol Verification.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
On a rule-based interpretation of default conditionals.
Ann. Math. Artif. Intell., 2006

Iterated Revision as Prioritized Merging.
Proceedings of the Proceedings, 2006

Belief Change in the Context of Fallible Actions and Observations.
Proceedings of the Proceedings, 2006

2005
Gricean Belief Change.
Stud Logica, 2005

Expressing Default Logic Variants in Default Logic.
J. Log. Comput., 2005

Iterated Belief Change: A Transition System Approach.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

05321 - Panel on belief change.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

05321 Abstracts Collection - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

05321 Executive Summary - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

2004
On Computing Belief Change Operations using Quantified Boolean Formulas.
J. Log. Comput., 2004

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning.
Comput. Intell., 2004

Reasoning with Sets of Defaults in Default Logic.
Comput. Intell., 2004

Representing von Neumann-Morgenstern Games in the Situation Calculus.
Ann. Math. Artif. Intell., 2004

The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition.
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Consistency-based approaches to merging knowledge bases: preliminary report.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Preliminary considerations on the modelling of belief change operators by metric spaces.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Domain-Specific Preferences for Causal Reasoning and Planning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Two Approaches to Merging Knowledge Bases.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Theory for Convex Interval Relations including Unbounded Intervals.
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Conservative Belief Revision.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
A Framework for Compiling Preferences in Logic Programs.
Theory Pract. Log. Program., 2003

A consistency-based approach for belief change.
Artif. Intell., 2003

Prolegomenon to a Theory of Conservative Belief Revision.
Proceedings of the IJCAI-03, 2003

Weak Conditional Logics of Normality.
Proceedings of the IJCAI-03, 2003

On the Relation between Reiter's Default Logic and Its (Major).
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Lukaszewicz-style Answer Set Programming: A Preliminary Report.
Proceedings of the Answer Set Programming, 2003

2002
Reasoning Credulously and skeptically within a single extension.
J. Appl. Non Class. Logics, 2002

Updating <=, <-chains.
Inf. Process. Lett., 2002

AAAI 2002 Workshops.
AI Mag., 2002

Considerations on compositional update operators.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

COBA: A Consistency-Based Belief Revision System.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
A comparison of point-based approaches to qualitative temporal reasoning.
Artif. Intell., 2001

plp: A Generic Compiler for Ordered Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

On Computing Solutions to Belief Change Scenarios.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

How to Reason Credulously and Skeptically within a Single Extension.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study.
Proceedings of the Advances in Artificial Intelligence, 2001

2000
A Compiler for Ordered Logic Programs
CoRR, 2000

Expressing preferences in default logic.
Artif. Intell., 2000

A Compilation of Brewka and Eiter's Approach to Prioritization.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Logic Programs with Compiled Preferences.
Proceedings of the ECAI 2000, 2000

A Formalization of Structured Temporal Objects and Repetition.
Proceedings of the ECAI 2000, 2000

A Consistency-Based Model for Belief Change: Preliminary Report.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Considerations on a Similarity-Based Approach to Beleif Change.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Expressing Time Intervals and Repetition within a Formalization of Calendars.
Comput. Intell., 1998

On First-Order Conditional Logics.
Artif. Intell., 1998

Towards a Formal Characterization of Temporal Repetition with Closed Time.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Reasoning with Sets of Preferences in Default Logic.
Proceedings of the PRICAI'98, 1998

Point-Based Approaches to Qualitative Temporal Reasoning.
Proceedings of the PRICAI'98, 1998

Revising TimeGraph-II.
Proceedings of the Advances in Artificial Intelligence, 1998

1997
Compiling Specificity Into Approaches to Nonmonotonic Reasoning.
Artif. Intell., 1997

Compiling Reasoning with and about Preferences into Default Logic.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae.
Ann. Math. Artif. Intell., 1996

A Representation for Efficient Temporal Reasoning.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Characterizing Temporal Repetition.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
A Framework for Logics of Explicit Belief.
Comput. Intell., 1995

Syntactic Conditional Closures for Defeasible Reasoning.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
On a General Approach to Hedged Reasoning.
Comput. Intell., 1994

Alternative Approaches to Default Logic.
Artif. Intell., 1994

A General Approach to Specificity in Default Reasoning.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Incorporating Specificity into Circumscriptive Theories.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

A Preference-Based Approach to Default Reasoning: Preliminary Report.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Time Units and Calendars.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1992
Accessibility in Logics of Explicit Belief.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991
Default Logic Revisited.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Incorporating Nonmonotonic Reasoning in Horn Clause Theories.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
A general approach for determining the validity of commonsense assertions using conditional logics.
Int. J. Intell. Syst., 1990

A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract.
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989
An investigation of modal structures as an alternative semantic basis for epistemic logics.
Comput. Intell., 1989

A note on evidence, confirmation in machine learning.
Comput. Intell., 1989

1988
An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report.
Artif. Intell., 1988

Tableau-Based Theorem Proving In Normal Conditional Logics.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
A Formal Approach to Learning from Examples.
Int. J. Man Mach. Stud., 1987

A foundational approach to autonomous knowledge acquisition.
Comput. Intell., 1987

A First-Order Conditional Logic for Prototypical Properties.
Artif. Intell., 1987

Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

A Logic for Representing Default and Prototypical Properties.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

An Approach to Default Reasoning Based on a First-Order Conditional Logic.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1985
A foundational approach to conjecture and knowledge in knowledge bases.
PhD thesis, 1985

Knowledge Representation: Features of Knowledge.
Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985

1980
A graph-theoretic language extension for an interactive computer graphics environment.
Comput. Graph., 1980

1979
An interactive system for the construction and animation of systems dynamics models.
Comput. Graph., 1979


  Loading...