Laurence Cholvy

Int. J. Approx. Reason., 2012

Collecting Information Reported by Imperfect Information Sources.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2012

Vers une aide à la spécification d'une politique d'échange d'information dans un SI .

[BibT_eX]

[DOI]

Thomas Polacsek

Rémi Delmas

Proceedings of the Actes du XXXème Congrès INFORSID, Montpellier, France, 29 - 31 mai 2012, 2012

2011

How Strong Can an Agent Believe Reported Information ?

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

A framework to report and to analyse a debate.

[BibT_eX]

[DOI]

Thomas Polacsek

Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design, 2011

2010

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2010

Plausibility of Information Reported by Successive Sources.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

Evaluation of Information Reported: A Model in the Theory of Evidence.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010

2009

How to Complete Regulations in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Information evaluation in fusion using information correlation.

[BibT_eX]

[DOI]

Jérôme Besombes

Vincent Nimier

Proceedings of the 12th International Conference on Information Fusion, 2009

Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

A modal logic for reasoning on consistency and completeness of regulations.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

2008

Consistency and Completeness of Regulations.

[BibT_eX]

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

Towards Agent-Oriented Relevant Information.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Situation awareness and ability in coalitions.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Fusion, 2007

Modelling information evaluation in fusion.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Fusion, 2007

Reasoning with an Incomplete Information Exchange Policy.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Deriving individual obligations from collective obligations.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

2005

A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Ability in a Multi-agent Context: A Model in the Situation Calculus.

[BibT_eX]

[DOI]

Claire Saurel

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Answering Queries Addressed to Several Databases According to a Majority Merging Approach.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2004

Querying several conflicting databases.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2004

Strategies for Distributing Goals in a Team of Cooperative Agents.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

Desires, Norms and Constraints.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Merging requirements from a set of ranked agents.

[BibT_eX]

[DOI]

Anthony Hunter

Knowl. Based Syst., 2003

Distribution of goals addressed to a group of agents.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2001

Merging regulations: Analysis of a practical example.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2001

Merging databases: Problems and examples.

[BibT_eX]

[DOI]

Serafín Moral

Int. J. Intell. Syst., 2001

Fusion: General concepts and characteristics.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2001

An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

1999

Checking regulation consistency by using SOL-resolution.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Artificial Intelligence and Law, 1999

1998

Reasoning About Data Provided by Federated Deductive Databases.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 1998

Merging Security Policies: Analysis of a Practical Example.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1997

Analyzing Consistency of Security Policies.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Towards a Logical Formalization of Responsibility.

[BibT_eX]

[DOI]

Claire Saurel

Proceedings of the Sixth International Conference on Artificial Intelligence and Law, 1997

Information Fusion in Logic: A Brief Overview.

[BibT_eX]

[DOI]

Anthony Hunter

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996

Answering Queries Addressed to a Group of Deductive Databases.

[BibT_eX]

Proceedings of the Flexible Query-Answering Systems, 1996

1995

Solving Normative Conflicts by Merging Roles.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

Database updates and transition constraints: A formula-based approach.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1994

Reasoning About the Safety of Information: From Logical Formalization to Operational Definition.

[BibT_eX]

[DOI]

Robert Demolombe

Andrew J. I. Jones

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Providing Consistent Views in a Polyinstantiated Database.

[BibT_eX]

Proceedings of the Database Security, 1994

1993

Proving Theorems in a Multi-Source Environment.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

A Logical Approach to Multi-Sources Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

1990

Querying an Inconstistent Database.

[BibT_eX]

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1989

Mises à jour dans les bases de connaissances.

[BibT_eX]

Proceedings of the Cinquièmes Journées Bases de Données Avancées, 1989

1988

Answering Queries Addressed to the Rule Base of a Deductive Database.

[BibT_eX]

[DOI]

Elsa Pascual

Proceedings of the Uncertainty and Intelligent Systems, 1988

1986

Future Information Systems (Panel).

[BibT_eX]

Proceedings of the Information Processing 86, 1986

Update Semantics under the Domain Closure Assumption.

[BibT_eX]

[DOI]

Proceedings of the ICDT'86, 1986

Querying a Rule Base.

[BibT_eX]

Robert Demolombe

Proceedings of the Expert Database Systems, 1986

A Modal Approach to Update Semantics Problem.

[BibT_eX]

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

1983

ROSALIE: A C.A.D. Object-Oriented and Rule-Based System.

[BibT_eX]