S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Nonmonotonic Probabilistic Logics between Model-Theoretic.. - Lukasiewicz (2002) (Correct)
.... entailment by Lamarre [35] Finally, mainly to solve problems with property inheritance from classes to exceptional subclasses, the maximum entropy approach to default entailment was proposed by Goldszmidt et al. 30] lexicographic entailment was introduced by Lehmann [37] and Benferhat et al. [4]; conditional entailment was proposed by Geffner [25, 26] and an infinitesimal belief function approach was suggested by Benferhat et al. 7] In this paper, we define probabilistic generalizations of entailment and Lehmann s lexicographic entailment that lie between entailment in ....
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings IJCAI-93, pages 640--645. Morgan Kaufmann, 1993.
Nonmonotonic Probabilistic Logics between Model-Theoretic.. - Lukasiewicz (2002) (Correct)
.... entailment by Lamarre [42] Finally, mainly to solve problems with property inheritance from classes to exceptional subclasses, the maximum entropy approach to default entailment was proposed by Goldszmidt et al. 34] lexicographic entailment was introduced by Lehmann [44] and Benferhat et al. [4]; conditional entailment was proposed by Geffner [28, 30] and an infinitesimal belief function approach was suggested by Benferhat et al. 7] In this paper, we present probabilistic generalizations of Pearl s entailment in System [55] and of Lehmann s lexicographic entailment [44] that lie ....
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings IJCAI-93, pages 640--645. Morgan Kaufmann, 1993.
The Lexicographic Closure as a Revision Process - Richard Booth University (Correct)
....item of so called default knowledge (hereafter just default ) i.e. an expression of the form # # standing for if # then normally (or usually, or typically) # , as following from a given set of defaults. Several answers to this question have been proposed in the literature (such as in [BCDLP 93, BSS 95, Bre 89, GMP 93, Leh 95, LM 92, Pea 90, Wey 96] to # Supported by the DFG project Computationale Dialektik within the DFG research group Kommunikatives Verstehen . name but a few) but none of them (with the exception of [Wey 96] but see also Section 5 of this paper) seem to attempt ....
....the exception of [Wey 96] but see also Section 5 of this paper) seem to attempt any explicit connection with belief revision. The aim of this paper is to make a start on such a connection by showing how one particular method of default entailment, namely the lexicographic closure construction ( BCDLP 93, Leh 95] can be given a formulation in terms of a certain method of belief revision which was first given by Nayak [Nay 94] and studied further by Nayak, Nelson and Polansky [NNP 96] In the process, we shall uncover one or two interesting avenues for further research on both sides. The plan of ....
[Article contains additional citation context not shown here]
S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade, Inconsistency management and prioritized syntax-based entailment, in: R. Bajcsy, ed, Proceedings International Joint Conference on Artificial Intelligence, (Morgan Kaufmann, 1993) 640--645.
Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (2 citations) (Correct)
.... for dealing with this task are based on techniques of belief revision [31] methods of resolving contradictions by quantitative considerations (such as majority vote [32] or qualitative ones (e.g. de ning priorities on di erent sources of information or preferring certain data over another [4, 9]) and approaches that are based on rewriting rules for representing the information in a speci c form [25] As in our case, abduction is used for database updating in [28] and an extended form of abduction is used in [26, 39] to explain modi cations in a theory. The use of three valued logics ....
S.Benferhat, C.Cayrol, D.Dubois, J.Lang, H.Prade. Inconsistency management and prioritized syntax-based entailment. Proc. IJCAI'93 , pp.640-645, 1993.
Nonmonotonic Probabilistic Reasoning under Variable-Strength.. - Lukasiewicz (Correct)
.... 1843 03 02 logic based entailment by Lamarre [37] Finally, mainly to solve problems with property inheritance from classes to exceptional subclasses, the maximum entropy approach was proposed by Goldszmidt et al. 30] lexicographic entailment was introduced by Lehmann [39] and Benferhat et al. [3]; conditional entailment was proposed by Geffner [25, 26] and a belief function approach was suggested by Benferhat et al. 6] The main ideas behind the probabilistic generalizations of sophisticated default reasoning formalisms in [45, 46] can be summarized as follows: # The work [45] ....
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings IJCAI-93, pages 640--645. Morgan Kaufmann, 1993.
Merging Information Under Constraints: A Logical Framework - Konieczny, Pérez (2002) (2 citations) (Correct)
....are studying. These operators are based on an union of all the belief bases and on the selection of some maximal subsets due to a given order (not necessarily the inclusion) Once the union of the belief bases is settled, the problem become to nd a coherent belief base from an inconsistent one [9, 6, 7]. A lot of work on belief base merging adopt this coherence approach e.g. 3, 4] An important drawback of coherence merging operators is that the source of each belief is lost in the merging process. So the problem is to take into account the source of each piece of information in order to allow ....
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings of the Thirteenth International Joint Conference on Arti cial Intelligence (IJCAI'93), pages 640-645, 1993.
Default Reasoning from Conditional Knowledge Bases.. - Eiter, Lukasiewicz (2000) (2 citations) (Correct)
.... to exceptional subclasses, the maximum entropy approach to default entailment was proposed by Goldszmidt et al. 45] and recently generalized to variable strength defaults by Bourne and Parsons [13] the notion of lexicographic entailment was introduced by Lehmann [62] and Benferhat et al. [6]; the notion of conditional entailment was proposed by Geffner [41, 43] and, an infinitesimal belief function approach was suggested by Benferhat et al. 9] Motivation and goals of this work. While the semantic properties and interrelationships of the various formalisms are quite well ....
....the Horn case can be extended to the q Horn case. Thus, in all these approaches a limited use of disjunction is possible while tractability is retained. Furthermore, we show that in the feedback free Horn case, default reasoning under z entailment [45] z s entailment [13] lex entailment [6], and lex p entailment [62] is tractable. To our knowledge, no or only limited tractable cases [6] for these notions of entailment from conditional knowledge bases have been identified so far. Our tractability results for the feedback free Horn case are complemented by our proof that without a ....
[Article contains additional citation context not shown here]
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntaxbased entailment. In Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France, pp. 640--645. Morgan Kaufmann, 1993.
Coherent Composition of Distributed.. - Arieli, Van.. (2001) (Correct)
.... for dealing with this task are based on techniques of belief revision [20] methods of resolving contradictions by quantitative considerations (such as majority vote [21] or qualitative ones (e.g. de ning priorities on di erent sources of information or preferring certain data over another [2, 4, 5]) Other approaches are based on rewriting rules for representing the information in a speci c form [14] or use multiple valued semantics (e.g. annotated logic programs [28, 29] and bilattice based formalisms [12, 22] together with non classical refutation procedures [11, 19, 28] that allow to ....
S.Benferhat, C.Cayrol, D.Dubois, J.Lang, H.Prade. Inconsistency management and prioritized syntax-based entailment. Proc. IJCAI'93 , 640-645, 1993. Provided that the constraints do not lead to oundering. To the best of our knowledge no other application of data integration has this ability.
Issues in Multiagent Resource Allocation - Chevaleyre, Dunne, al. (2006) Self-citation (Lang) (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI1993.
A Revision-Based Approach to Resolving Conflicting Information - Guilin Qi Queen's (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade (1993). Inconsistency Management and Prioritized Syntax-Based Entailment, In Proc. of IJCAI'93, 640-647.
Combining Individually Inconsistent Prioritized Knowledge Bases - Guilin Qi Weiru (2004) (Correct)
No context found.
Benferhat, S.; Dubois, D.; and Prade, H. 1993a. Inconsistency management and prioritized syntax-based entailment. InProc. IJCAI'93, 640-645.
A Split-Combination Approach to Merging Knowledge Bases in - Possibilistic Logic Guilin (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade, "Inconsistency management and prioritized syntax-based entailment," In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), 640-645, 1993.
Towards a Rule-Based Interpretation of Conditional Defaults - James Delgrande School (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 640--645, Chambery, Fr., 1993.
Revising Beliefs Received from Multiple Sources - Dragoni, Giorgini (1999) (4 citations) (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois D., J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence, pages 640--645, 1993.
Distributed Belief Revision - Aldo Franco Dragoni (Correct)
No context found.
Benferhat S., Cayrol C., Dubois D., Lang J. and Prade H., Inconsistency Management and Prioritized Syntax-Based Entailmen. Proceedings of the "13th Inter. Joint Conf. on Artificial Intelligence" (IJCAI 93), pp. 640-645, 1993.
Toward a Revision for Multi-Context Systems - Aldo Franco Dragoni (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois D., J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence, pages 640--645, 1993.
Handling Sequences of Belief Change in a Multi-Agent Context - Perrussel (2003) (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of the 13th IJCAI, pages 640--645, Chambery, France, 1993.
Weak Conditional Logics of Normality - James Delgrande School (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 640--645, Chambery, Fr., 1993.
Distributed Belief Revision - Dragoni, Giorgini (Correct)
No context found.
Benferhat S., Cayrol C., Dubois D., Lang J. and Prade H., Inconsistency Management and Prioritized Syntax-Based Entailmen. Proceedings of the "13th Inter. Joint Conf. on Artificial Intelligence" (IJCAI 93), pp. 640-645, 1993.
Toward a Revision for Multi-Context Systems - Dragoni, Giorgini (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois D., J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence, pages 640--645, 1993.
Belief Revision under Uncertainty in a Multi Agent Environment - Dragoni (Correct)
No context found.
Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade, `Inconsistency Management and Prioritized Syntax-Based Entailment', Proc. 13th Inter. Joint Conf. on Artificial Intelligence, (1993) 640-645.
Compilation of Propositional Weighted Bases - Adnan Darwiche Computer (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of the 13 Joint Conference on Artificial Intelligence (IJCAI '93), pages 640--645, Chamb ery, 1993.
Merging Structured Text Using Temporal Knowledge - Hunter (2002) (1 citation) (Correct)
No context found.
S Benferhat, C Cayrol, D Dubois, J Lang, and H Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of the 13th Int. Joint Conf. on AI, 1993.
Z-log: Applying System-Z - Michael Minock And (Correct)
No context found.
S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailmerit, 1993.
Logical Fusion Rules for Merging Structured News Reports - Hunter (2002) (1 citation) (Correct)
No context found.
S Benferhat, C Cayrol, D Dubois, J Lang, and H Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings of the 13th International Joint Conference on AI (IJCAI'93), 1993.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC