Searching for authors named "Laurence Cholvy" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

A General Framework for Reasoning About Contradictory Information and Some of Its Applications
by Laurence Cholvy — 1998 — Handbook of Defeasible Reasoning and Uncertainty Management Systems
…. This paper 2 presents a logical approach to the problem of reasoning about information provided by several conflicting agents. The notion of conflict which is studied here, is the notion of contradiction. First, a general logical framework for reasoning with contradictory information is presente…
Cited by 2 (0 self) – Add To MetaCart

Checking regulation consistency by using SOL-resolution
by Laurence Cholvy — 2003 — In Proc. Int. Conf. on AI and Law
…This paper addresses the problem of regulation consistency checking. Regulations are sets of rules which express what is obligatory, permitted, forbidden and under which conditions. We first define a first order language to model regulations. Then we introduce a definition of regulation consistency.…
Cited by 5 (1 self) – Add To MetaCart

Automated reasoning with merged contradictory information whose reliability depends on topics
by Laurence Cholvy — 1995 — In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU
…Abstract This paper presents a theorem prover for reasoning with information which is provided by several information sources and which may be con- tradictory. This prover allows the user to assume that the different sources are more or less reliable, depending on the topics of the information. Theo…
Cited by 8 (1 self) – Add To MetaCart

Towards another logical interpretation of Theory of Evidence and a new combination rule
by Laurence Cholvy — 2002 — Rule, Conference IPMU 2002
…Theory of Evidence is a mathematical theory which allows one to reason with uncertainty and which provides a rule for combining uncertain data. It has been shown that Theory of Evidence can...…
Cited by 2 (0 self) – Add To MetaCart

Merging Requirements From a Set of Ranked Agents
by Laurence Cholvy, Anthony Hunter — 1999
…Handling inconsistency is an increasingly important issue in data and knowledge engineering. A number of logic-based proposals have been made for handling aspects of inconsistency in beliefs (where we use beliefs as a general term to encompass representations of the real world) including belief r…
Add To MetaCart

Querying Several Conflictual Databases
by Laurence Cholvy, Christophe Garion — 2003
…This paper addresses the problem of querying several databases considered as a whole. Assuming that the different databases share a common data description language, the problem that raises is to consistently answer queries even if the database contents are contradictory. The main contribution of th…
Add To MetaCart

Merging Conflictual Requirements with a Majority Approach
by Laurence Cholvy, Christophe Garion
…The first step of the development of a complex system usually involves many people, each having its own requirements about that system. The point is that these different sets of requirements have to be merged in order to get a single set of requirements, the one that will be used as the basis for th…
Add To MetaCart

An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties
by Laurence Cholvy, Christophe Garion — 2001 — Fundamenta Informaticae
…This paper presents some preliminary work which attempts to adapt, in the context of deontic reasoning, the CO logic defined by Boutilier for reasoning with conditional preferences. The first motivation for this work is that deontic logic can be given a semantics in terms of ordered worlds as in …
Cited by 6 (2 self) – Add To MetaCart

Collective Obligations, Commitments and Individual Obligations: A Preliminary Study
by Laurence Cholvy, Christophe Garion — 2002 — In Proceedings of 6th international Workshop on Deontic Logic in Computer Science (DEON’02
…A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task.…
Cited by 5 (2 self) – Add To MetaCart

Strategies for Distributing Goals in a Team of Cooperative Agents
by Laurence Cholvy, Christophe Garion — 2004 — Proceedings of the Fifth International Workshop on Engineering Societies in the Agents World (ESAW’04). Number 3451 in Lecture Notes in Artificial Intelligence, Springer-Verlag (2005) 178–190 C. Garion, L. Cholvy
…This paper addresses the problem of distributing goals to individual agents inside a team of cooperative agents.…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB