Delgrande, James P. - School of Computing Science, Simon Fraser University

• Merging Logic Programs under Answer Set Semantics James Delgrande1
• Representing von Neumann-Morgenstern Games in the Situation Calculus
• A General Approach to the Verification of Cryptographic Protocols using Answer Set
• Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter
• Journal of Artificial Intelligence Research 32 (2008) 757791 Submitted 01/08; published 08/08 Compositional Belief Update
• Belief Revision of Logic Programs under Answer Set Semantics James Delgrande
• On a Rule-Based Interpretation of Default Conditionals James P. Delgrande
• A Consistency-Based Framework for Merging Knowledge Bases
• An Action Description Language for Iterated Belief Change Aaron Hunter and James P. Delgrande
• Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande
• Belief Change in the Context of Fallible Actions and Observations Aaron Hunter and James P. Delgrande
• Iterated revision as prioritized merging James Delgrande
• J. P. Delgrande A. C. Nayak
• On Computing Belief Change Operations using Quantified Boolean Formulas
• Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande
• Compiling Specificity into Approaches to Nonmonotonic Reasoning
• JAMES P. DELGRANDE A MINIMAL MODELLING FOR SUCCESSFUL
• The Role of Default Logic in Knowledge Representation James P. Delgrande (jim@cs.sfu.ca)
• A Framework for Compiling Preferences in Logic Programs
• Belief change based on global minimisation James P. Delgrande
• Two Approaches to Merging Knowledge Bases James P. Delgrande1
• Updating ; !Chains James P. Delgrande, Arvind Gupta
• Reasoning credulously and skeptically within a single extension
• Parallel Belief Revision James Delgrande and Yi Jin
• Horn Clause Belief Change: Contraction Functions James P. Delgrande
• Expressing Default Logic Variants in Default Logic James P. Delgrande
• Weak Conditional Logics of Normality James P. Delgrande
• A General Framework for Expressing Preferences in Causal Reasoning and Planning
• A Comparison of PointBased Approaches to Qualitative Temporal Reasoning
• Iterated Belief Change: A Transition System Approach Aaron Hunter and James P. Delgrande
• Conservative Belief Change James P. Delgrande
• Expressing Preferences in Default Logic James P. Delgrande
• Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande
• Reasoning with Sets of Defaults in Default Logic James P. Delgrande
• On the Relation between Reiter's Default Logic and its (major) Variants
• What Next for ASP? (A Not-Entirely-Well-Informed Opinion)
• A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
• A Consistency-Based Approach for Belief Change James P. Delgrande