Jérôme Lang

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Some Representation and Computational Issues in Social Choice.

[BibT_eX]

[DOI]

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

05321 - Panel on belief change.

[BibT_eX]

[DOI]

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

05321 Abstracts Collection - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics.

[BibT_eX]

[DOI]

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

05321 Executive Summary - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics.

[BibT_eX]

[DOI]

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Negotiating over small bundles of resources.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Allocation of indivisible goods: a general model and some complexity results.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2004

Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2004

Logical Preference Representation and Combinatorial Vote.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

DA<sup>2</sup> merging operators.

[BibT_eX]

[DOI]

Artif. Intell., 2004

A Preference-Based Interpretation of Other Agents' Actions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Expressive Power and Succinctness of Propositional Languages for Preference Representation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning.

[BibT_eX]

Noël Laverny

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Propositional Independence: Formula-Variable Independence and Forgetting.

[BibT_eX]

[DOI]

Paolo Liberatore

J. Artif. Intell. Res., 2003

How many candidates are needed to make elections hard to manipulate?

[BibT_eX]

[DOI]

Vincent Conitzer

Tuomas Sandholm

Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), 2003

Hidden Uncertainty in the Logical Representation of Desires.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Emil Weydert

Proceedings of the IJCAI-03, 2003

Causal Theories of Action: A Computational Core.

[BibT_eX]

[DOI]

Fangzhen Lin

Proceedings of the IJCAI-03, 2003

Quantifying information and contradiction in propositional logic through test actions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Action representation and partially observable planning using epistemic logic.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the IJCAI-03, 2003

2002

Conditional independence in propositional logic.

[BibT_eX]

[DOI]

Paolo Liberatore

Artif. Intell., 2002

Utilitarian Desires.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Emil Weydert

Auton. Agents Multi Agent Syst., 2002

Resolving Inconsistencies by Variable Forgetting.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

From Preference Representation to Combinatorial Vote.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Distance Based Merging: A General Framework and some Complexity Results.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions.

[BibT_eX]

[DOI]

Stud Logica, 2001

Fusion: General concepts and characteristics.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2001

Conference paper assignment.

[BibT_eX]

[DOI]

Salem Benferhat

Int. J. Intell. Syst., 2001

Special Issue on Decision Theory and Artificial Intelligence.

[BibT_eX]

[DOI]

Appl. Intell., 2001

Plausible reasoning from spatial observations.

[BibT_eX]

[DOI]

Philippe Muller

Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Updates, actions, and planning.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Propositional Distances and Preference Representation.

[BibT_eX]

[DOI]

Celine Lafage

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

Updating Epistemic States.

[BibT_eX]

[DOI]

Mary-Anne Williams

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

In search of the right extension.

[BibT_eX]

Proceedings of the KR 2000, 2000

Logical representation of preferences for group decision making.

[BibT_eX]

Celine Lafage

Proceedings of the KR 2000, 2000

Propositional Logic and One-Stage Decision Making.

[BibT_eX]

Proceedings of the KR 2000, 2000

A modal logic for epistemic tests.

[BibT_eX]

Andreas Herzig

Thomas Polacsek

Proceedings of the ECAI 2000, 2000

A Logic for Planning under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998

Towards qualitative approaches to multi-stage decision making.

[BibT_eX]

[DOI]

Régis Sabbadin

Int. J. Approx. Reason., 1998

Complexity Results for Independence and Definability in Propositional Logic.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Two Forms of Dependence in Propositional Logic: Controllability and Definability.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

Reasoning Under Inconsistency Based on Implicitly-Specified Partial Qualitative Probability Relations: A Unified Framework.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Planning with graded nondeterministic actions: A possibilistic approach.

[BibT_eX]

[DOI]

Célia da Costa Pereira

Frédérick Garçia

Florence Dupin de Saint-Cyr

Roger Martin-Clouaire

Int. J. Intell. Syst., 1997

Reasoning About Unpredicted Change and Explicit Time.

[BibT_eX]

[DOI]

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Possibilistic Planning: Representation and Complexity.

[BibT_eX]

[DOI]

Célia da Costa Pereira

Frédérick Garçia

Roger Martin-Clouaire

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996

Conditional Desires and Utilities: an Alternative Logical Approach to Qualitative Decision Theory.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge.

[BibT_eX]

[DOI]

Thomas Schiex

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

A constraint satisfaction framework for decision under uncertainty.

[BibT_eX]

[DOI]

Roger Martin-Clouaire

Thomas Schiex

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Linking Transition-based Update and Base Revision.

[BibT_eX]

[DOI]

Marie-Odile Cordier

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

1994

Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1994

From Ordering-Based Nonmonotonic Reasoning to Conditional Logics.

[BibT_eX]

[DOI]

Luis Fariñas del Cerro

Andreas Herzig

Florence Dupin de Saint-Cyr

Artif. Intell., 1994

Penalty Logic and its Link with Dempster-Shafer Theory.

[BibT_eX]

[DOI]

Thomas Schiex

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Syntax-based Default Reasoning as Probabilistic Model-based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Possibility and Necessity Functions over Non-Classical Logics.

[BibT_eX]

[DOI]

Philippe Besnard

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

When Nonmonotonicity Comes from Distances.

[BibT_eX]

[DOI]

Nicholas Asher

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.

[BibT_eX]

[DOI]

AI Commun., 1993

Possibilistic decreasing persistence.

[BibT_eX]

[DOI]

Dimiter Driankov

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Inconsistency Management and Prioritized Syntax-Based Entailment.

[BibT_eX]

[DOI]

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

Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach.

[BibT_eX]

[DOI]

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

1992

Dealing with Multi-Source Information in Possibilistic Logic.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Timed possibilistic logic.

[BibT_eX]

Fundam. Informaticae, 1991

A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

Handling Uncertainty, Context, Vague Predicates, and Partial Inconsistency in Possibilistic Logic.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic and Fuzzy Control, 1991

Towards Possibilistic Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1991

Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

A Brief Overview of Possibilistic Logic.

[BibT_eX]

[DOI]

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

1990

Semantic Evaluation in Possibilistic Logic, Application to Min-Max Discrete Optimisation Problems.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Knowledge Bases, 1990

A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Truth Maintenance Systems, 1990

1987

Theorem Proving Under Uncertainty - A Possibility Theory-based Approach.

[BibT_eX]

[DOI]