2013 - 20122011 - 2010 - 20092008 - 2007 - 20062005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991 - 1990 and before
 
 
2013

Knowledge-Based Programs as Plans - Succinctness, and the Complexity of Plan Existence
Jérôme Lang, Bruno Zanuttini
TARK-2013

Strategic Voting and the Logic of Knowledge
Hans Van Ditmarsch, Jérôme Lang and Abdallah Saffidine
TARK-2013


2012


New candidates welcome! Possible winners with respect to the addition of new candidates
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot, Lirong Xia
Mathematical Social Sciences 64(1): 74-88 (2012)

Winner determination in voting trees with incomplete preferences and weighted votes

Jérôme Lang
, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh
Autonomous Agents and Multi-Agent Systems 25(1): 130-157 (2012)

Campaigns for lazy voters: truncated ballots
Dorothea Baumeister, Piotr Faliszewski, Jérôme Lang, Jörg Rothe
AAMAS 2012: 577-584

Possible and necessary winners of partial tournaments
Haris Aziz, Paul Harrenstein, Markus Brill, Jérôme Lang, Felix A. Fischer, Hans Georg Seedig
AAMAS 2012: 585-592

Strategic voting and the logic of knowledge
Hans P. van Ditmarsch, Jérôme Lang, Abdallah Saffidine
AAMAS 2012 1247-1248

Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains
Jérôme Lang, Jérôme Mengin, Lirong Xia
CP 2012: 973-987

Knowledge-Based Programs as Plans - The Complexity of Plan Verification
Jérôme Lang, Bruno Zanuttini
ECAI 2012: 504-509

Group Activity Selection Problem
Andreas Darmann, Edith Elkind, Sascha Kurz, Jérôme Lang, Joachim Schauer, Gerhard J. Woeginger
WINE 2012: 156-169

 
2011

Logic, Rationality, and Interaction
Hans P. van Ditmarsch, Jérôme Lang, Shier Ju
Proceedings of the Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Springer.

Designing incentives for Boolean games
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge
AAMAS 2011: 79-86
pdf

Possible winners when new alternatives join: new results coming up!
Lirong Xia, Jérôme Lang, Jérôme Monnot
AAMAS 2011: 829-836
pdf

Strategic sequential voting in multi-issue domains and multiple-election paradoxes
Lirong Xia, Vincent Conitzer, Jérôme Lang
ACM Conference on Electronic Commerce 2011: 179-188
pdf

Hypercubewise Preference Aggregation in Multi-Issue Domains
Vincent Conitzer, Jérôme Lang, Lirong Xia
IJCAI 2011: 158-163
pdf

Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion
Edith Elkind, Jérôme Lang, Abdallah Saffidine
IJCAI 2011: 186-191
pdf

Incentive Engineering for Boolean Games
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge
IJCAI 2011: 2602-2607
pdf

A General Elicitation-Free Protocol for Allocating Indivisible Goods
Sylvain Bouveret, Jérôme Lang
IJCAI 2011: 73-78
pdf

Compilation and communication protocols for voting rules with a dynamic set of candidates
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot
TARK 2011: 153-160
pdf

Judgment aggregation rules based on minimization
Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre
TARK 2011: 238-246
pdf
long version (technical report)

Belief extrapolation (or how to reason about observations and unpredicted change)
Florence Dupin de Saint-Cyr, Jérôme Lang
Artif. Intell. 175(2): 760-790 (2011)
pdf

Guest editorial: special issue on computational social choice
Edith Elkind, Jérôme Lang
Autonomous Agents and Multi-Agent Systems 22(1): 1-3 (2011)
pdf


2010


Reasoning under inconsistency: A forgetting-based approach.
Jérôme Lang, Pierre Marquis
Artif. Intell. 174(12-13): 799-823 (2010)
pdf

From preference logics to preference languages, and back
Meghyn Bienvenu, Jérôme Lang and Nic Wilson
Proceedings of KR-10.
pdf

Aggregating preferences in multi-issue domains by using maximum likelihood estimators classes of lexicographic orderings
Lirong Xia, Vincent Conitzer and Jérôme Lang
Proceedings of AAMAS-10.
pdf

Learning conditionally lexicographic preference relations
Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera
Proceedings of  ECAI 2010: 269-274
pdf

Graphical Representation of Ordinal Preferences: Languages and Applications.
Jérôme Lang
Proceedings of 18th International Conference on Conceptual Structures (ICCS 2010). Lecture Notes in Computer Science 6208 Springer 2010, 3--9.
pdf

Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods
Sylvain Bouveret, Ulle Endriss, and Jérôme Lang.
Proceedings of ECAI-2010, 387-392.
pdf

PossibleWinners when New Candidates are Added: the Case of Scoring Rules
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, and Jérôme Monnot. Possible Winners when New Candidates are Added: the case of scoring rules.
Proceedings of AAAI-2010.
pdf

Strategic Sequential Voting in Multi-Issue Domains and Multiple-Election Paradoxes
Lirong Xia, Vincent Conitzer and Jérôme Lang
Presented at LOFT-2010
pdf

PossibleWinners When New Alternatives Join: New Results Coming Up!
Lirong Xia, Jérôme Lang and Jérôme Monnot
To be presented at COMSOC-2010
pdf


2009


Learning ordinal preferences on multiattribute domains: the case of CP-nets
Yann Chevaleyre, Frédéric Koriche, Jérôme Lang, Jérôme Mengin and Bruno Zanuttini
To appear in the book Preference Learning (J. Fürnkranz and E. Hüllermeier, eds.), Springer-Verlag.
pdf

Conditional importance networks: a graphical language for representing ordinal, monotonic preferences over sets of goods
Sylvain Bouveret, Ulle Endriss and Jérôme Lang
Proceedings of IJCAI-09
pdf

How hard is it to control sequential elections via the agenda?
Vincent Conitzer, Jérôme Lang and Lirong Xia
Proceedings of IJCAI-09
pdf

Compiling the votes of a subelectorate
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet and Guillaume Ravilly-Abadie
Proceedings of IJCAI-09
pdf

The complexity of learning ceteris paribus separable preferences
Jérôme Lang and Jérôme Mengin
Proceedings of IJCAI-09
pdf

A dichotomy theorem on the existence of efficient or neutral sequential voting correspondences
Lirong Xia and Jérôme Lang
Proceedings of IJCAI-09
pdf

Sequential composition of voting rules in multi-issue domains
Jérôme Lang and Lirong Xia
Mathematical Social Sciences, Vol. 57 N. 3, p. 304-324, 2009.
pdf

Dependencies Between Players in Boolean Games
Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang.
International Journal of Approximate Reasoning, vol. 50, p. 899-914, 2009.
pdf (Short version: ECSQARU 2007, 743-754, 2007;pdf)

Representing Utility Functions via Weighted Goals.
Joel Uckelman, Yann Chevaleyre, Ulle Endriss, and Jérôme Lang.
Mathematical Logic Quarterly
, 55(4):341-361, 2009.
pdf

2008

The Computational Complexity of Dominance and Consistency in CP-nets
Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson.
Journal of Artificial Intelligence Research, Vol. 33, p. 403-432, 2009
pdf

Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity
Sylvain Bouveret and Jérôme Lang
Journal of Artificial Intelligence Research, Vol. 32, p. 525-564, 2008.

pdf
 
Compact preference representation and Boolean games
Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang and Bruno Zanuttini
Autonomous Agents and Multi-Agent Systems journal, vol. 18 p.1-35, 2009.
pdf

Voting in Combinatorial Domains: What Logic and AI Have to Say
Jérôme Lang
Proceedings of JELIA 2008,5-7
pdf

Preference Handling in Combinatorial Domains: From AI to Social Choice.
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, and Nicolas Maudet.
AI Magazine, Special Issue on Preferences
, 29(4):37-46, 2008.
pdf

Voting on Multiattribute Domains with Cyclic Preferential Dependencies
Lirong Xia, Vincent Conitzer, Jérôme Lang.
AAAI 2008, 202-207
pdf

From belief change to preference change
Jérôme Lang and Leon van der Torre.
Proceedings of ECAI-2008
pdf

Single-peaked consistency and its complexity
Bruno Escoffier, Jérôme Lang and Meltem Öztürk.
Proceedings of ECAI-2008
pdf

Efficient coalitions in Boolean games
Elise Bonzon, Marie-Christine Lagasquie-Schiex, and Jérôme Lang
in New Perspectives on Games and Interaction (K. Apt and R. van Rooij, Eds.), vol. 4 of Texts in Logic and Games, p.283-297. Amsterdam University Press, 2008.
pdf

On propositional definability
Jérôme Lang, Pierre Marquis.
Artif. Intell.
172(8-9): 991-1017 (2008)
pdf


2007
 
A Short Introduction to Computational Social Choice
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, and Nicolas Maudet.
In Proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM-2007), LNCS, volume 4362, Springer-Verlag, January 2007. 
pdf

Vote and Aggregation in Combinatorial Domains with Structured Preferences
Jérôme Lang
Proceedings of IJCAI 2007, 1366-1371
pdf

Belief Update Revisited
Jérôme Lang
Proceedings of IJCAI 2007, 2517-2522 (poster)
pdf

Belief change based on global minimization
James Delgrande, Jérôme Lang and Torsten Schaub
Proceedings of IJCAI 2007, 2468-2473
pdf

Winner Determination in Sequential Majority Voting
Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable and Toby Walsh.
Proceedings of IJCAI 2007, 1372-1377
pdf

Sequential voting rules and multiple election paradoxes
Proceedings of TARK-07
Lirong Xia, Jérôme Lang and Mingsheng Ying
pdf

When are elections with few candidates hard to manipulate?
Vincent Conitzer, Tuomas Sandholm, Jérôme Lang.
J. ACM 54(3): 14 (2007)
pdf

Strongly Decomposable Voting Rules on Multiattribute Domains
Lirong Xia, Jérôme Lang, Mingsheng Ying.
AAAI 2007, 776-781, 2007
pdf

Purely Epistemic Markov Decision Processes
Régis Sabbadin, Jérôme Lang, Nasolo Ravoanjanahary.
AAAI 2007, 1057-1062, 2007
pdf

2006

Boolean games revisited
Elise Bonzon, Marie-Christine Lagasquie, Jérôme Lang and Bruno Zanuttini
Proceedings of ECAI-2006, 265-269
pdf

Compact Preference Representation for Boolean Games

Elise Bonzon, Marie-Christine Lagasquie and Jérôme Lang
Proceedings of PRICAI 2006: 41-50
pdf

Iterated revision as prioritized merging
James Delgrande, Didier Dubois, Jérôme Lang
Proceedings of KR 2006, 210-220
pdf

Representing Policies for Quantified Boolean Formulae.
Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis
Proceedings of KR 2006, 286-297
pdf

Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling
Yann Chevaleyre, Ulle Endriss, Jérôme Lang
Proceedings of KR 2006, 145-152
pdf

Variable Forgetting in Preference Relations over Propositional Domains.
Philippe Besnard, Jérôme Lang and Pierre Marquis
ECAI 2006: 763-764
pdf
longer version

2005

From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning.
Noël Laverny and Jérôme Lang
Synthese, Springer Netherlands, vol. 147, no. 2, pp. 277-321
pdf

The computational complexity of dominance and consistency in CP-nets
Judy Goldsmith, Jérôme Lang, Mirek Truszczinski and Nic Wilson
Proceedings of IJCAI-2005, 144-149.
pdf

Efficiency and envy-freeness in fair division of indivisible good: logical representation and complexity
Sylvain Bouveret and Jérôme Lang
Proceedings of IJCAI-2005, 935-940.
pdf

From Knowledge-Based Programs to Graded Belief-Based Programs Part II: Off-Line Reasoning.
Noël Laverny and Jérôme Lang
Proceedings of IJCAI-2005, 497-502.
pdf

Reasoning under inconsistency: the forgotten connective
Sébastien Konieczny, Jérôme Lang and Pierre Marquis
Proceedings of IJCAI-2005, 484-489.
pdf

Negotiating over small bundles of resources.
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet
Proceedings of AAMAS 2005, 296-302.
pdf

Voting procedures with incomplete preferences
Kathrin Konczak and Jérôme Lang
Proceedings of the IJCAI-05 Workshop on Advances in Preference Handling
Warning! Proposition 2 is false (and so is Corollary 1). See L. Xia and V. Conitzer, Determining Possible and Necessary Winners under Common Voting Rules Given Partial Orders, AAAI-08, 196-201, 2008.
pdf

Some Representation and Computational Issues in Social Choice.
Jérôme Lang
Proceedings of ECSQARU 2005, 15-26
pdf
revised and longer version with Y. Chevaleyre, U. Endriss and N. Maudet (to appear in Proceedings of SOFSEM-2007)

2004

Logical preference representation and combinatorial vote
Jérôme  Lang
Annals of Mathematics and Artificial Intelligence 42: 37-71, 2004
postscript
pdf

DA2 merging operators
Sébastien Konieczny, Jérôme Lang and Pierre Marquis
Artificial Intelligence 157(1-2): 49-79 (2004)
postscript

From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning.
Noël Laverny and Jérôme Lang
Proceedings of ECAI 2004, 368-372
postscript

A Preference-Based Interpretation of Other Agents' Actions
Jérôme Lang
Proceedings of KR 2004, 644-653
postscript

Expressive Power and Succinctness of Propositional Languages for Preference Representation
Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore and Pierre Marquis
Proceedings of KR 2004: 203-212
postscript

2003

Habilitation à diriger des recherches
postscript
pdf

Action representation and partially observable planning in epistemic logic

Andreas Herzig, Jérôme  Lang and Pierre  Marquis
Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03) , 1067-1072
postscript

Causal theories of action: a computational core
Jérôme  Lang, Fangzhen Lin and Pierre  Marquis
Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03) , 1073-1078
postscript

Hidden uncertainty in the logical representation of desires
Jérôme Lang, Leon van der Torre and Emil Weydert
Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03) , 685-690
postscript

Quantifying information and contradiction in propositional logic through test actions
Sébastien  Konieczny, Jérôme  Lang and Pierre  Marquis
Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03) , 106-111
postscript

Propositional Independence - Formula-Variable Independence and Forgetting
Jerôme  Lang, Paolo Liberatore and Pierre Marquis
Journal of Artificial Intelligence Research 18:391-443, 2003.
postscript
pdf

How many candidates are needed to make an election hard to manipulate?
Vincent Conitzer, Jérôme Lang and Tuomas Sandholm
Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-03), 201-214
postscript

Vote électronique : problèmes algorithmiques
Jérôme  Lang
Sciences de la Société (in French) 2003
 

2002

Conditional Independence in Propositional Logic
Jerôme  Lang, Paolo Liberatore and Pierre Marquis
Artificial Intelligence 141(1-2):79-121, 2002
postscript

Utilitarian desires
Jerôme  Lang, Leendert van der Torre and Emil Weydert
International Journal of Autonomous Agents and Multi-Agent Systems 5, 329-363, 2002, Kluwer Academic Publishers
postscript

From preference representation to combinatorial vote
Jerôme Lang
Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 277-288.
postscript

Belief extrapolation (or how to reason about observations and unpredicted change)
Florence Dupin de Saint-Cyr and Jérôme Lang
Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 497-508
postscript

Distance-based merging: a general framework and some complexity results
Sébastien  Konieczny, Jérôme  Lang and Pierre  Marquis.
Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 97-108
postscript

Resolving Inconsistencies by Variable Forgetting
Jerôme Lang and Pierre Marquis 
Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 239-250
postscript

I thought you didn't know! --- on belief revision in dynamic doxastic logic
Andreas Herzig, Jérôme Lang and Dominique Longin
Working Notes of the 5th Conf. on Logic and the Foundations of Game and Decision Theory (LOFT5), Torino, June 2002

Removing Inconsistencies in Assumption-based Theories through Knowledge-Gathering Actions
Jerôme Lang and Pierre Marquis
Studia Logica 67(2):179-214, 2001
postscript
 

2001

Plausible reasoning from spatial observations
Jérôme Lang and Philippe Muller
Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (UAI-01), 285-292
postscript

Updates, Actions and Planning
Andreas Herzig, Jérôme Lang, Pierre Marquis and Thomas Polacsek
Proceedings of 17th International Joint Conference on Artificial Intelligence (IJCAI'01), 119-124
postscript

<>Updating Epistemic States
Jérôme<>  Lang, Pierre Marquis and Mary-Anne Williams
Proceedings of 14th Australian Joint Conference on Artificial Intelligence (AI'01),
Lecture Notes in Artificial Intelligence 2256, Springer-Verlag, Adelaide, 2001 (297-308).  

Propositional distances and preference representation

Céline Lafage and Jérôme <>Lang
Lectures Notes in Artificial Intelligence 2143 (Proceedings of ECSQARU-2001), 48-59, 2001, Springer-Verlag.
postscript
 

2000

Logical representation of preference for group decision making
Céline Lafage and Jérôme Lang
Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR2000), 457-468
postscript

Propositional Logic and One-stage Decision Making
Hélène Fargier, Jérôme Lang and Pierre Marquis
Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR2000), 445-456
postscript

Logical representation of preference for group decision making
Céline Lafage and Jérôme Lang
Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR2000), 457-468
postscript

A logic for planning under partial observability
Andreas Herzig, Jérôme Lang, Dominique Longin and Thomas Polacsek
Proceedings of AAAI'2000
postscript

A modal logic for epistemic tests
Andreas Herzig, Jérôme Lang and Thomas Polacsek
Proceedings of ECAI'2000
postscript

Towards mathematical ``morpho-logics''
Isabelle Bloch and Jérôme Lang,
Proceedings of IPMU'2000. Revised version in Technologies for Contructing Intelligent Systems, Vol. 2,  367-380, Springer-Verlag, 2002.
postscript

In Search of the Right Extension
Jérôme Lang and Pierre Marquis
Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR2000), 625-636
postscript

Graded paraconsistency -- Reasoning with inconsistent and uncertain knowledge
Philippe Besnard and Jérôme Lang
Frontiers of Paraconsistent Logic,  King's College Publications  (co-editors: C. Mortenson, G. Priest, J.P. Van Bendegem), 2000.
postscript

Possibilistic logic: complexity and algorithms
Jérôme Lang
Handbook of Defeasible Reasoning and Uncertainty Management Systems (D. Gabbay and Ph. Smets, eds.),
Vol. 5, 179-220, 2000, Kluwer Academic Publishers.
postscript

1999

1998

Complexity Results for Independence and Definability in Propositional Logic
Jérôme Lang and Pierre Marquis
Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 356-367.
postscript

Two forms of Dependence in Propositional Logic : Controllability and Definability
Jérôme Lang and Pierre Marquis
Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98), 268-273
postscript

Toward qualitative approaches to multi-stage decision making
Régis Sabbadin, Hélène Fargier and Jérôme Lang
International Journal on Approximate Reasoning 19 (1998), 441-471.

A general approach for inconsistency handling and merging information in prioritized knowledge bases
S. Benferhat, D. Dubois, J. Lang, H. Prade, A. Saffiotti and P. Smets
Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 466-477.
 
 

1997

Reasoning about unpredicted change and explicit time
Florence Dupin de Saint-Cyr and Jérôme Lang
Qualitative and Quantitative Practical Reasoning, Lectures Notes in Artificial Intelligence 1244, Springer-Verlag, 1997, 223-236.

Possibilistic planning: representation and complexity
C. da Costa Pereira, F. Garcia, J. Lang and R. Martin-Clouaire,
Recent Advances in Planning (Proceedings of ECP'99)
Lectures Notes in Artificial Intelligence, Springer Verlag, 1997, 143-155.
postscript

Planning with graded nondeterministic actions: a possibilistic approach
C. da Costa Pereira, F. Garcia, J. Lang and R. Martin-Clouaire,
International Journal of Intelligent Systems, 12 (11/12), 1997, 935-962.

Planning to discriminate diagnoses
J. Lang
Proceedings of DX'97, Le Mont St Michel, Sept. 1997, 135-139
postscript

Traitement de problèmes de décision sous incertitude par des problèmes de satisfaction de contraintes
H. Fargier, J. Lang, R. Martin-Clouaire, Th. Schiex
Revue d'Intelligence Artificielle Vol. 11, num. 3, Septembre 1997, Hermès, 375-398.
 

1996

Conditional desires and utilities -- An alternative logical framework for qualitative decision theory
J. Lang
Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), 318-322
postscript

Mixed constraint satisfaction: a framework for decision under incomplete knowledge
H. Fargier, J. Lang, R. Martin-Clouaire, Th. Schiex
Proceedings of AAAI'96, 175-180
postscript
 

1995

Linking transition-based update and base revision
M.-O. Cordier and J. Lang,
Proceedings of ECSQARU'95, Lectures Notes in Artificial Intelligence 946, Springer Verlag, 133-141.

A constraint satisfaction framework for decision under uncertainty
H. Fargier, J. Lang, R. Martin-Clouaire and Th. Schiex
Proceedings of the 10th Int. Conf. on Uncertainty in Artificial Intelligence (UAI'95), 167-174.
postscript

A nonmonotonic approach to spatial persistence based on distances and boundaries
J. Lang and N. Asher
Workshop Notes of the 5th International Workshop on Time,  Space and Movement (P. Amsili, M. Borillo, L. Vieu, eds.), Bonas, June 1995.
 

1994

Possibility and necessity functions over non-classical logics
Ph. Besnard and J. Lang
Proceedings of the 10th Int. Conf. on Uncertainty in Artificial Intelligence (UAI'94), 69-76

Syntax-based default reasoning as probabilistic model-based diagnosis
J. Lang
Proceedings of the 10th Int. Conf. on Uncertainty in Artificial Intelligence (UAI'94), 391-398

Possibilistic logic
D. Dubois, J. Lang and H. Prade
In Handbook of Logic for Artificial Intelligence and Logic Programming,   Clarendon Press, Oxford, Vol.3, 439-513, 1994.

Possibility and necessity functions over non-classical logics
Ph. Besnard and J. Lang
Proceedings of the 10th Int. Conf. on Uncertainty in Artificial Intelligence (UAI'94), 69-76

Penalty logic and its links with Dempster-Shafer theory
F. Dupin de Saint-Cyr, J. Lang and Th. Schiex,
Proceedings of the 10th Int. Conf. on Uncertainty in Artificial Intelligence (UAI'94), 204-211

Ordering-based nonmonotonic reasoning
L. Fariñas del Cerro, A. Herzig and J. Lang
Artificial Intelligence Journal, 66:375-393, 1994

When nonmonotonicity comes from distances
N. Asher and J. Lang
Proceedings of KI'94, Lectures Notes in Artificial Intelligence, Vol. 861, 308-318.
 

1993

Inconsistency management and prioritized syntax-based entailment
S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade
Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), 640-645.

Possibilistic decreasing persistence
Dimiter Driankov, Jérôme Lang
UAI 1993: 469-476

1992

Inconsistency in possibilistic knowledge bases: to live or not live with
D. Dubois, J. Lang and H. Prade
Fuzzy Logic for the Management of Uncertainty (L. Zadeh, J. Kacprzyk, eds.), Wiley, 1992, 335-352.  

From expectation-based nonmonotonic reasoning to conditional logics

Luis Fariñas del Cerro, Andreas Herzig and Jérôme Lang
Proceedings of the 10th Eur. Conf. on Artificial Intelligence (ECAI'92), Vienna, pages 314-318.

Dealing with Multi-Source Information in Possibilistic Logic
Didier Dubois, Jérôme Lang, Henri Prade
ECAI 1992: 38-42

1991

Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints
Jérôme Lang
FAIR 1991: 112-126

Towards Possibilistic Logic Programming
Didier Dubois, Jérôme Lang, Henri Prade
ICLP 1991: 581-595

A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency
Jérôme Lang, Didier Dubois, Henri Prade
UAI 1991: 188-196

Timed possibilistic logic
Didier Dubois, Jérôme Lang
Fundam. Inform. 15(3-4): 211-234 (1991)

1990

Semantic Evaluation in Possibilistic Logic, Application to Min-Max Discrete Optimisation Problems
Jérôme Lang
IPMU 1990: 260-268

A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision
Didier Dubois, Jérôme Lang, Henri Prade
Truth Maintenance Systems (ECAI Workshop) 1990: 87-106

Logique possibiliste et logique floue -- Application au raisonnement automatisé et aux systèmes d'information (in French)
Vincent Andrès, Didier Dubois, Jérôme Lang and Henri Prade
Méthodes Logiques et Systèmes d'Intelligence Artificielle (L. Iturrioz, A. Duchaussoy, eds.), Hermès, 163-181, 1990

before 1990

Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights
Didier Dubois, Jérôme Lang and Henri Prade
Proc. of the 5th Int. Workshop on Uncertainty in Artificial Intelligence, 1989

Theorem Proving Under Uncertainty - A Possibility Theory-based Approach
Didier Dubois, Jérôme Lang and Henri Prade
IJCAI 1987: 984-986

 
 


jérôme lang

 

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Last modified: Thu Jul 18 00:23:50 CEST 2002