Search Results - "Delgrande, J."
-
1
Horn Clause Contraction Functions
Published in The Journal of artificial intelligence research (2013)“…In classical, AGM-style belief change, it is assumed that the underlying logic contains classical propositional logic. This is clearly a limiting assumption,…”
Get full text
Journal Article -
2
Iterated Belief Change Due to Actions and Observations
Published in The Journal of artificial intelligence research (01-01-2011)“…In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use…”
Get full text
Journal Article -
3
Expressing preferences in default logic
Published in Artificial intelligence (01-10-2000)“…We address the problem of reasoning about preferences among properties (outcomes, desiderata, etc.) in Reiter's default logic. Preferences are expressed using…”
Get full text
Journal Article -
4
Compositional Belief Update
Published in The Journal of artificial intelligence research (01-01-2008)“…In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added…”
Get full text
Journal Article -
5
A consistency-based approach for belief change
Published in Artificial intelligence (01-12-2003)“…This paper presents a general, consistency-based framework for expressing belief change. The framework has good formal properties while being well-suited for…”
Get full text
Journal Article -
6
On Computing Belief Change Operations using Quantified Boolean Formulas
Published in Journal of logic and computation (01-12-2004)“…In this paper, we show how an approach to belief revision and belief contraction can be axiomatized by means of quantified Boolean formulas. Specifically, we…”
Get full text
Journal Article -
7
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
Published in Computational intelligence (01-05-2004)“…In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means…”
Get full text
Journal Article -
8
Compiling specificity into approaches to nonmonotonic reasoning
Published in Artificial intelligence (01-02-1997)“…We present a general approach for introducing specificity information into nonmonotonic theories. Historically, many approaches to nonmonotonic reasoning,…”
Get full text
Journal Article -
9
-
10
A formalization of structured temporal objects and repetition
Published in Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 (2000)“…We propose an approach to formally representing structured temporal objects. These new temporal objects are recursively made up of convex intervals and Allen's…”
Get full text
Conference Proceeding -
11
Representing von Neumann–Morgenstern Games in the Situation Calculus
Published in Annals of mathematics and artificial intelligence (01-09-2004)“…Sequential von Neumann–Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of…”
Get full text
Journal Article -
12
A General Framework for Expressing Preferences in Causal Reasoning and Planning
Published in Journal of logic and computation (01-10-2007)“…We consider the problem of representing arbitrary preferences in causal reasoning and planning systems. In planning, a preference may be seen as a goal or…”
Get full text
Journal Article -
13
A comparison of point-based approaches to qualitative temporal reasoning
Published in Artificial intelligence (01-09-2001)“…We address the problem of implementing general, qualitative, point-based temporal reasoning. Given a database of assertions concerning relative occurrences of…”
Get full text
Journal Article -
14
Peroperative biopsy of the sub-apical urethra during prostatectomy for cancer
Published in Progrès en urologie (Paris) (01-04-1996)“…Between 35 to 45% of radical prostatectomies (RP) will show positive margins and approximately 50% of patients with positive margins will progress following…”
Get more information
Journal Article -
15
A Formal Analysis of Relevance
Published in Erkenntnis (01-01-1998)“…We investigate the notion of relevance as it pertains to 'commonsense', subjunctive conditionals. Relevance is taken here as a relation between a property…”
Get full text
Journal Article -
16
On first-order conditional logics
Published in Artificial intelligence (01-10-1998)“…Conditional logics have been developed as a basis from which to investigate logical properties of “weak” conditionals representing, for example, counterfactual…”
Get full text
Journal Article -
17
Characterizing temporal repetition
Published in Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96) (1996)“…This paper is a preliminary investigation of temporal repetition. We review work in Artificial Intelligence of both formal and practical systems that deal with…”
Get full text
Conference Proceeding -
18
Expressing Default Logic Variants in Default Logic
Published in Journal of logic and computation (01-10-2005)“…Reiter's default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of default logic have…”
Get full text
Journal Article -
19
A Framework for Compiling Preferences in Logic Programs
Published 04-03-2002“…We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic…”
Get full text
Journal Article -
20
Total prostatectomy for stage D1 cancers
Published in Journal d'urologie (1992)“…Nineteen patients with stage D1 (TXN/MO) prostatic adenocarcinomas were treated with radical prostatectomy and adjuvant radiation therapy. The latter was…”
Get more information
Journal Article