 | 2009 |
|---|
| 123 |       | Peter Bosch,
David Gabelaia,
Jérôme Lang:
Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
Springer 2009 |
| 122 | | Vincent Conitzer,
Jérôme Lang,
Lirong Xia:
How Hard Is It to Control Sequential Elections via the Agenda?
IJCAI 2009: 103-108 |
| 121 | | Lirong Xia,
Jérôme Lang:
A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences.
IJCAI 2009: 342-347 |
| 120 | | Sylvain Bouveret,
Ulle Endriss,
Jérôme Lang:
Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods.
IJCAI 2009: 67-72 |
| 119 | | Jérôme Lang,
Jérôme Mengin:
The Complexity of Learning Separable ceteris paribus Preferences.
IJCAI 2009: 848-853 |
| 118 | | Yann Chevaleyre,
Jérôme Lang,
Nicolas Maudet,
Guillaume Ravilly-Abadie:
Compiling the Votes of a Subelectorate.
IJCAI 2009: 97-102 |
| 117 | | Elise Bonzon,
Marie-Christine Lagasquie-Schiex,
Jérôme Lang,
Bruno Zanuttini:
Compact preference representation and Boolean games.
Autonomous Agents and Multi-Agent Systems 18(1): 1-35 (2009) |
| 116 | | Elise Bonzon,
Marie-Christine Lagasquie-Schiex,
Jérôme Lang:
Dependencies between players in Boolean games.
Int. J. Approx. Reasoning 50(6): 899-914 (2009) |
| 115 | | Giacomo Bonanno,
James P. Delgrande,
Jérôme Lang,
Hans Rott:
Special Issue on Formal Models of Belief Change in Rational Agents.
J. Applied Logic 7(4): 363 (2009) |
| 114 | | Jérôme Lang,
Lirong Xia:
Sequential composition of voting rules in multi-issue domains.
Mathematical Social Sciences 57(3): 304-324 (2009) |
| 2008 |
|---|
| 113 |  | Gerhard Brewka,
Jérôme Lang:
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008
AAAI Press 2008 |
| 112 | | Lirong Xia,
Vincent Conitzer,
Jérôme Lang:
Voting on Multiattribute Domains with Cyclic Preferential Dependencies.
AAAI 2008: 202-207 |
| 111 | | Hans P. van Ditmarsch,
Andreas Herzig,
Jérôme Lang,
Pierre Marquis:
Introspective Forgetting.
Australasian Conference on Artificial Intelligence 2008: 18-29 |
| 110 | | Jérôme Lang,
Leendert van der Torre:
From Belief Change to Preference Change.
ECAI 2008: 351-355 |
| 109 | | Bruno Escoffier,
Jérôme Lang,
Meltem Öztürk:
Single-peaked consistency and its complexity.
ECAI 2008: 366-370 |
| 108 | | Jérôme Lang:
Voting in Combinatorial Domains: What Logic and AI Have to Say.
JELIA 2008: 5-7 |
| 107 | | Jérôme Lang,
Pierre Marquis:
On propositional definability.
Artif. Intell. 172(8-9): 991-1017 (2008) |
| 106 | | Sylvain Bouveret,
Jérôme Lang:
Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity.
J. Artif. Intell. Res. (JAIR) 32: 525-564 (2008) |
| 105 | | Judy Goldsmith,
Jérôme Lang,
Miroslaw Truszczynski,
Nic Wilson:
The Computational Complexity of Dominance and Consistency in CP-Nets.
J. Artif. Intell. Res. (JAIR) 33: 403-432 (2008) |
| 104 | | James P. Delgrande,
Jérôme Lang,
Hans Rott:
Preface.
J. Log. Comput. 18(5): 697 (2008) |
| 2007 |
|---|
| 103 | | Giacomo Bonanno,
James P. Delgrande,
Jérôme Lang,
Hans Rott:
Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 102 | | Ulle Endriss,
Jérôme Lang,
Francesca Rossi,
Tuomas Sandholm:
Computational Issues in Social Choice, 21.10. - 26.10.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 101 | | Régis Sabbadin,
Jérôme Lang,
Nasolo Ravoanjanahry:
Purely Epistemic Markov Decision Processes.
AAAI 2007: 1057-1062 |
| 100 | | Lirong Xia,
Jérôme Lang,
Mingsheng Ying:
Strongly Decomposable Voting Rules on Multiattribute Domains.
AAAI 2007: 776-781 |
| 99 | | Ulle Endriss,
Jérôme Lang,
Francesca Rossi,
Tuomas Sandholm:
07431 Abstracts Collection - Computational Issues in Social Choice.
Computational Issues in Social Choice 2007 |
| 98 | | Ulle Endriss,
Jérôme Lang,
Francesca Rossi,
Tuomas Sandholm:
07431 Executive Summary - Computational Issues in Social Choice.
Computational Issues in Social Choice 2007 |
| 97 | | Elise Bonzon,
Marie-Christine Lagasquie-Schiex,
Jérôme Lang:
Dependencies Between Players in Boolean Games.
ECSQARU 2007: 743-754 |
| 96 | | Giacomo Bonanno,
James P. Delgrande,
Jérôme Lang,
Hans Rott:
07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents.
Formal Models of Belief Change in Rational Agents 2007 |
| 95 | | Giacomo Bonanno,
James P. Delgrande,
Jérôme Lang,
Hans Rott:
07351 Executive Summary - Formal Models of Belief Change in Rational Agents.
Formal Models of Belief Change in Rational Agents 2007 |
| 94 | | Jérôme Lang,
Leendert van der Torre:
From belief change to preference change.
Formal Models of Belief Change in Rational Agents 2007 |
| 93 | | Jérôme Lang:
Vote and Aggregation in Combinatorial Domains with Structured Preferences.
IJCAI 2007: 1366-1371 |
| 92 | | Jérôme Lang,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Winner Determination in Sequential Majority Voting.
IJCAI 2007: 1372-1377 |
| 91 | | James P. Delgrande,
Jérôme Lang,
Torsten Schaub:
Belief Change Based on Global Minimisation.
IJCAI 2007: 2468-2473 |
| 90 | | Jérôme Lang:
Belief Update Revisited.
IJCAI 2007: 2517-2522 |
| 89 | | Yann Chevaleyre,
Ulle Endriss,
Jérôme Lang,
Nicolas Maudet:
A Short Introduction to Computational Social Choice.
SOFSEM (1) 2007: 51-69 |
| 88 | | Lirong Xia,
Jérôme Lang,
Mingsheng Ying:
Sequential voting rules and multiple elections paradoxes.
TARK 2007: 279-288 |
| 87 | | Vincent Conitzer,
Tuomas Sandholm,
Jérôme Lang:
When are elections with few candidates hard to manipulate?.
J. ACM 54(3): 14 (2007) |
| 2006 |
|---|
| 86 | | Jérôme Lang,
Fangzhen Lin,
Ju Wang:
Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings
Springer 2006 |
| 85 | | Elise Bonzon,
Marie-Christine Lagasquie-Schiex,
Jérôme Lang,
Bruno Zanuttini:
Boolean Games Revisited.
ECAI 2006: 265-269 |
| 84 | | Philippe Besnard,
Jérôme Lang,
Pierre Marquis:
Variable Forgetting in Preference Relations over Propositional Domains.
ECAI 2006: 763-764 |
| 83 | | Yann Chevaleyre,
Ulle Endriss,
Jérôme Lang:
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling.
KR 2006: 145-152 |
| 82 | | James P. Delgrande,
Didier Dubois,
Jérôme Lang:
Iterated Revision as Prioritized Merging.
KR 2006: 210-220 |
| 81 | | Sylvie Coste-Marquis,
Hélène Fargier,
Jérôme Lang,
Daniel Le Berre,
Pierre Marquis:
Representing Policies for Quantified Boolean Formulae.
KR 2006: 286-297 |
| 80 | | Elise Bonzon,
Marie-Christine Lagasquie-Schiex,
Jérôme Lang:
Compact Preference Representation for Boolean Games.
PRICAI 2006: 41-50 |
| 79 | | Yann Chevaleyre,
Paul E. Dunne,
Ulle Endriss,
Jérôme Lang,
Michel Lemaître,
Nicolas Maudet,
Julian A. Padget,
Steve Phelps,
Juan A. Rodríguez-Aguilar,
Paulo Sousa:
Issues in Multiagent Resource Allocation.
Informatica (Slovenia) 30(1): 3-31 (2006) |
| 2005 |
|---|
| 78 | | James P. Delgrande,
Jérôme Lang,
Hans Rott,
Jean-Marc Tallon:
Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 |
| 77 | | Sylvain Bouveret,
Michel Lemaître,
Hélène Fargier,
Jérôme Lang:
Allocation of indivisible goods: a general model and some complexity results.
AAMAS 2005: 1309-1310 |
| 76 | | Yann Chevaleyre,
Ulle Endriss,
Jérôme Lang,
Nicolas Maudet:
Negotiating over small bundles of resources.
AAMAS 2005: 296-302 |
| 75 | | Isaac Levi,
Giacomo Bonanno,
Bernard Walliser,
Didier Dubois,
Hans Rott,
James P. Delgrande,
Jérôme Lang:
05321 - Panel on belief change.
Belief Change in Rational Agents 2005 |
| 74 | | James P. Delgrande,
Jérôme Lang,
Hans Rott,
Jean-Marc Tallon:
05321 Abstracts Collection - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics.
Belief Change in Rational Agents 2005 |
| 73 | | James P. Delgrande,
Jérôme Lang,
Hans Rott,
Jean-Marc Tallon:
05321 Executive Summary - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics.
Belief Change in Rational Agents 2005 |
| 72 | | Jérôme Lang:
Some Representation and Computational Issues in Social Choice.
ECSQARU 2005: 15-26 |
| 71 | | Judy Goldsmith,
Jérôme Lang,
Miroslaw Truszczynski,
Nic Wilson:
The computational complexity of dominance and consistency in CP-nets.
IJCAI 2005: 144-149 |
| 70 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
Reasoning under inconsistency: the forgotten connective.
IJCAI 2005: 484-489 |
| 69 | | Noël Laverny,
Jérôme Lang:
From knowledge-based programs to graded belief-based programs, part II: off-line reasoning.
IJCAI 2005: 497-502 |
| 68 | | Sylvain Bouveret,
Jérôme Lang:
Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity.
IJCAI 2005: 935-940 |
| 67 | | Celine Lafage,
Jérôme Lang:
Propositional distances and compact preference representation.
European Journal of Operational Research 160(3): 741-761 (2005) |
| 66 | | Yann Chevaleyre,
Paul E. Dunne,
Ulle Endriss,
Jérôme Lang,
Nicolas Maudet,
Juan A. Rodríguez-Aguilar:
Multiagent resource allocation.
Knowledge Eng. Review 20(2): 143-149 (2005) |
| 2004 |
|---|
| 65 | | Noël Laverny,
Jérôme Lang:
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning.
ECAI 2004: 368-372 |
| 64 | | Jérôme Lang:
A Preference-Based Interpretation of Other Agents' Actions.
ICAPS 2004: 33-42 |
| 63 | | Sylvie Coste-Marquis,
Jérôme Lang,
Paolo Liberatore,
Pierre Marquis:
Expressive Power and Succinctness of Propositional Languages for Preference Representation.
KR 2004: 203-212 |
| 62 | | Jérôme Lang:
A Preference-Based Interpretation of Other Agents' Actions.
KR 2004: 644-653 |
| 61 | | Jérôme Lang:
Logical Preference Representation and Combinatorial Vote.
Ann. Math. Artif. Intell. 42(1-3): 37-71 (2004) |
| 60 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
DA2 merging operators.
Artif. Intell. 157(1-2): 49-79 (2004) |
| 59 | | Hélène Fargier,
Jérôme Lang,
Michel Lemaître,
Gérard Verfaillie:
Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires.
Technique et Science Informatiques 23(9): 1187-1217 (2004) |
| 58 | | Hélène Fargier,
Jérôme Lang,
Michel Lemaître,
Gérard Verfaillie:
Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique.
Technique et Science Informatiques 23(9): 1219-1238 (2004) |
| 2003 |
|---|
| 57 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
Quantifying information and contradiction in propositional logic through test actions.
IJCAI 2003: 106-111 |
| 56 | | Andreas Herzig,
Jérôme Lang,
Pierre Marquis:
Action representation and partially observable planning using epistemic logic.
IJCAI 2003: 1067-1072 |
| 55 | | Jérôme Lang,
Fangzhen Lin,
Pierre Marquis:
Causal Theories of Action: A Computational Core.
IJCAI 2003: 1073-1078 |
| 54 | | Jérôme Lang,
Leendert W. N. van der Torre,
Emil Weydert:
Hidden Uncertainty in the Logical Representation of Desires.
IJCAI 2003: 685-690 |
| 53 | | Vincent Conitzer,
Jérôme Lang,
Tuomas Sandholm:
How many candidates are needed to make elections hard to manipulate?
TARK 2003: 201-214 |
| 52 | | Vincent Conitzer,
Jérôme Lang,
Tuomas Sandholm:
How many candidates are needed to make elections hard to manipulate?
CoRR cs.GT/0307003: (2003) |
| 51 | | Jérôme Lang,
Paolo Liberatore,
Pierre Marquis:
Propositional Independence: Formula-Variable Independence and Forgetting.
J. Artif. Intell. Res. (JAIR) 18: 391-443 (2003) |
| 2002 |
|---|
| 50 | | Jérôme Lang,
Pierre Marquis:
Resolving Inconsistencies by Variable Forgetting.
KR 2002: 239-250 |
| 49 | | Jérôme Lang:
From Preference Representation to Combinatorial Vote.
KR 2002: 277-290 |
| 48 | | Florence Dupin de Saint-Cyr,
Jérôme Lang:
Belief Extrapolation (or how to Reason About Observations and Unpredicted Change).
KR 2002: 497-508 |
| 47 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
Distance Based Merging: A General Framework and some Complexity Results.
KR 2002: 97-108 |
| 46 | | Jérôme Lang,
Paolo Liberatore,
Pierre Marquis:
Conditional independence in propositional logic.
Artif. Intell. 141(1/2): 79-121 (2002) |
| 45 | | Jérôme Lang,
Leendert W. N. van der Torre,
Emil Weydert:
Utilitarian Desires.
Autonomous Agents and Multi-Agent Systems 5(3): 329-363 (2002) |
| 2001 |
|---|
| 44 | | Jérôme Lang,
Pierre Marquis,
Mary-Anne Williams:
Updating Epistemic States.
Australian Joint Conference on Artificial Intelligence 2001: 297-308 |
| 43 | | Celine Lafage,
Jérôme Lang:
Propositional Distances and Preference Representation.
ECSQARU 2001: 48-59 |
| 42 | | Andreas Herzig,
Jérôme Lang,
Pierre Marquis,
Thomas Polacsek:
Updates, actions, and planning.
IJCAI 2001: 119-124 |
| 41 | | Jérôme Lang,
Philippe Muller:
Plausible reasoning from spatial observations.
UAI 2001: 285-292 |
| 40 | | Jérôme Lang:
Special Issue on Decision Theory and Artificial Intelligence.
Appl. Intell. 14(3): 235-236 (2001) |
| 39 | | Isabelle Bloch,
Anthony Hunter,
Alain Appriou,
André Ayoun,
Salem Benferhat,
Philippe Besnard,
Laurence Cholvy,
Roger Cooke,
Frédéric Cuppens,
Didier Dubois,
Hélène Fargier,
Michel Grabisch,
Rudolf Kruse,
Jérôme Lang,
Serafín Moral,
Henri Prade,
Alessandro Saffiotti,
Philippe Smets,
Claudio Sossai:
Fusion: General concepts and characteristics.
Int. J. Intell. Syst. 16(10): 1107-1134 (2001) |
| 38 | | Salem Benferhat,
Jérôme Lang:
Conference paper assignment.
Int. J. Intell. Syst. 16(10): 1183-1192 (2001) |
| 37 | | Jérôme Lang,
Pierre Marquis:
Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions.
Studia Logica 67(2): 179-214 (2001) |
| 2000 |
|---|
| 36 | | Andreas Herzig,
Jérôme Lang,
Dominique Longin,
Thomas Polacsek:
A Logic for Planning under Partial Observability.
AAAI/IAAI 2000: 768-773 |
| 35 | | Hélène Fargier,
Jérôme Lang,
Pierre Marquis:
Propositional Logic and One-Stage Decision Making.
KR 2000: 445-456 |
| 34 | | Celine Lafage,
Jérôme Lang:
Logical representation of preferences for group decision making.
KR 2000: 457-468 |
| 33 | | Jérôme Lang,
Pierre Marquis:
In search of the right extension.
KR 2000: 625-636 |
| 1998 |
|---|
| 32 | | Salem Benferhat,
Didier Dubois,
Jérôme Lang,
Henri Prade,
Alessandro Saffiotti,
Philippe Smets:
Reasoning Under Inconsistency Based on Implicitly-Specified Partial Qualitative Probability Relations: A Unified Framework.
AAAI/IAAI 1998: 121-126 |
| 31 | | Jérôme Lang,
Pierre Marquis:
Two Forms of Dependence in Propositional Logic: Controllability and Definability.
AAAI/IAAI 1998: 268-273 |
| 30 | | Jérôme Lang,
Pierre Marquis:
Complexity Results for Independence and Definability in Propositional Logic.
KR 1998: 356-367 |
| 29 | | Salem Benferhat,
Didier Dubois,
Jérôme Lang,
Henri Prade,
Alessandro Saffiotti,
Philippe Smets:
A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases.
KR 1998: 466-477 |
| 28 | | Régis Sabbadin,
Hélène Fargier,
Jérôme Lang:
Towards qualitative approaches to multi-stage decision making.
Int. J. Approx. Reasoning 19(3-4): 441-471 (1998) |
| 1997 |
|---|
| 27 | | Célia da Costa Pereira,
Frédérick Garcia,
Jérôme Lang,
Roger Martin-Clouaire:
Possibilistic Planning: Representation and Complexity.
ECP 1997: 143-155 |
| 26 | | Florence Dupin de Saint-Cyr,
Jérôme Lang:
Reasoning About Unpredicted Change and Explicit Time.
ECSQARU-FAPR 1997: 223-236 |
| 1996 |
|---|
| 25 | | Hélène Fargier,
Jérôme Lang,
Thomas Schiex:
Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge.
AAAI/IAAI, Vol. 1 1996: 175-180 |
| 24 | | Jérôme Lang:
Conditional Desires and Utilities: an Alternative Logical Approach to Qualitative Decision Theory.
ECAI 1996: 318-322 |
| 1995 |
|---|
| 23 | | Marie-Odile Cordier,
Jérôme Lang:
Linking Transition-based Update and Base Revision.
ECSQARU 1995: 133-142 |
| 22 | | Hélène Fargier,
Jérôme Lang,
Roger Martin-Clouaire,
Thomas Schiex:
A constraint satisfaction framework for decision under uncertainty.
UAI 1995: 167-174 |
| 1994 |
|---|
| 21 | | Nicholas Asher,
Jérôme Lang:
When Nonmonotonicity Comes from Distances.
KI 1994: 308-318 |
| 20 | | Florence Dupin de Saint-Cyr,
Jérôme Lang,
Thomas Schiex:
Penalty Logic and its Link with Dempster-Shafer Theory.
UAI 1994: 204-211 |
| 19 | | Jérôme Lang:
Syntax-based Default Reasoning as Probabilistic Model-based Diagnosis.
UAI 1994: 391-398 |
| 18 | | Philippe Besnard,
Jérôme Lang:
Possibility and Necessity Functions over Non-Classical Logics.
UAI 1994: 69-76 |
| 17 | | Luis Fariñas del Cerro,
Andreas Herzig,
Jérôme Lang:
From Ordering-Based Nonmonotonic Reasoning to Conditional Logics.
Artif. Intell. 66(2): 375-393 (1994) |
| 16 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights.
IEEE Trans. Knowl. Data Eng. 6(1): 64-71 (1994) |
| 1993 |
|---|
| 15 | | Hélène Fargier,
Jérôme Lang:
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach.
ECSQARU 1993: 97-104 |
| 14 | | Salem Benferhat,
Claudette Cayrol,
Didier Dubois,
Jérôme Lang,
Henri Prade:
Inconsistency Management and Prioritized Syntax-Based Entailment.
IJCAI 1993: 640-647 |
| 13 | | Dimiter Driankov,
Jérôme Lang:
Possibilistic decreasing persistence.
UAI 1993: 469-476 |
| 12 | | Philippe Besnard,
Yves Moinard,
Wilmer Pereira,
Michael Clarke,
Nic Wilson,
Miguel Delgado,
Serafín Moral,
Juan Cano,
Didier Dubois,
Henri Prade,
Luis Fariñas del Cerro,
Jérôme Lang,
Stéphane Amarger,
John Fox,
Paul Krause,
Michael Dohnal,
Christine Froidevaux,
Jérôme Mengin,
Ramon López de Mántaras,
Lluis Godo,
E. H. Mamdani,
John Bigham,
Simon Parsons,
Rudolf Kruse,
Olivier Paillet,
Pierre Siegel,
Philippe Smets,
Yen-Teh Hsia,
Alessandro Saffiotti,
Robert Kennes,
Hong Xu,
Elizabeth Umkehrer,
Kurt Sundermeyer,
Chris Whitney:
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun. 6(1): 27-46 (1993) |
| 1992 |
|---|
| 11 | | Luis Fariñas del Cerro,
Andreas Herzig,
Jérôme Lang:
From Ordering Based Nonmonotonic Reasoning to Conditional Logics.
ECAI 1992: 314-318 |
| 10 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
Dealing with Multi-Source Information in Possibilistic Logic.
ECAI 1992: 38-42 |
| 1991 |
|---|
| 9 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
A Brief Overview of Possibilistic Logic.
ECSQARU 1991: 53-57 |
| 8 | | Jérôme Lang:
Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints.
FAIR 1991: 112-126 |
| 7 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
Handling Uncertainty, Context, Vague Predicates, and Partial Inconsistency in Possibilistic Logic.
Fuzzy Logic and Fuzzy Control 1991: 45-55 |
| 6 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
Towards Possibilistic Logic Programming.
ICLP 1991: 581-595 |
| 5 | | Jérôme Lang,
Didier Dubois,
Henri Prade:
A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency.
UAI 1991: 188-196 |
| 4 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
Timed possibilistic logic.
Fundam. Inform. 15(3-4): 211-234 (1991) |
| 1990 |
|---|
| 3 | | Jérôme Lang:
Semantic Evaluation in Possibilistic Logic, Application to Min-Max Discrete Optimisation Problems.
IPMU 1990: 260-268 |
| 2 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision.
Truth Maintenance Systems (ECAI Workshop) 1990: 87-106 |
| 1987 |
|---|
| 1 | | Didier Dubois,
Jérôme Lang,
Henri Prade:
Theorem Proving Under Uncertainty - A Possibility Theory-based Approach.
IJCAI 1987: 984-986 |
