IRIT - UMR 5505

LILaC

 Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

• Livres / Books
• Ouvrages de synthèse / Books edition
• Numéros spéciaux de revues / Special issues of journals
• Actes de conférences et de workshops / Conferences proceedings
• Articles de revues internationales / International journals articles
• Articles de revues nationales / National journals articles
• Contributions à des ouvrages de synthèse / Books parts
• Conférences et workshops internationaux / International conferences articles
• Conférences et workshops nationaux / National conferences articles
• Conférences sans actes publiés / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Livres / Books (monographies)

• Nicholas Asher. Lexical Meaning in Context, Cambridge University Press, 2010 (à paraître).
  BibTeX

• Philippe Besnard, Anthony Hunter. Elements of Argumentation, The MIT Press, juin 2008.
  BibTeX

• Luis Fariñas del Cerro. Selected Papers of Logic in AI, Baltzer Science Publishers, 2006.
  BibTeX

• Nicholas Asher, Alex Lascarides. Logics of Conversation, Cambridge University Press, 2003.
  BibTeX

• E. Agirre, X. Arregi, X. Artola, A. Diaz de Ilarraza, Fabrice Evrard. An Intelligent Dictionary Help System, Taylor & Francis Group, Vol. Dekker ENCYCLOPEDIAS, ISBN: 0-8247-4259-1, mai 2003.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/IDHS_ELIS_2003.pdf
  BibTeX

• Luis Fariñas del Cerro, Jürgen Dix, Ulrich Furbach. Selected Papers of Logic in AI, Baltzer Science Publishers, Vol. 27, Special Issue of the Annals in Mathematics and Artificial Intelligence, 2000.
  BibTeX

• Daniel Bonevac, Nicholas Asher, Robert Koons. Logic, Sets and Functions, Kendall/Hunt Publishing Company, 1999.
  BibTeX

• Philippe Balbiani, Vincent Dugat, Luis Fariñas del Cerro, Anne Lopez. Eléments de géométrie mécanique, Hermès, 1994.
  BibTeX

• Nicholas Asher. Reference to Abstract Objects in Discourse: A Philosophical Semantics for Natural Language Metaphysics, Kluwer, Vol. 50, SLAP, 1993.
  BibTeX

Ouvrages de synthèse / Books edition

• Michel Aurnague, Maya Hickmann, Laure Vieu. The Categorization of Spatial Entities in Language and Cognition, John Benjamins Publishing Company, Vol. 20, Human Cognitive Processing, 2007.
  BibTeX

• Nicole Bidoit, Luis Fariñas del Cerro, Serge Fdida, Brigitte Vallée. Paradigmes et enjeux de l'informatique, Hermès, Lavoisier, Paris, Série informatique et systèmes, 2005.
  BibTeX

• Mario Borillo. Approches cognitives de la création artistique, Pierre MARDAGA Editeur, Sprimont, Belgique, janvier 2005.
  BibTeX

• Mario Borillo, Jean-Pierre Goulette. Cognition et création. Explorations cognitives des processus de création, Pierre Mardaga Editeur, Sprimont, Belgique, mai 2002.
  BibTeX

• Myriam Bras, Laure Vieu. Semantic and Pragmatic Issues in Discourse and Dialogue. Experimenting with Current Dynamic Theories, Elsevier, CRiSPI, 2001.
  BibTeX

• E. Agirre, X. Arregi, X. Artola, Fabrice Evrard, A. Diaz de Ilarraza. An Intelligent Dictionary Help System, Kent A. Editor, Marcel Dekker Inc., New York., Basel, Vol. Volume 67, Supplement 30, 2000.
  BibTeX

• Philippe Besnard, Anthony Hunter. Reasoning with Actual and Potential Contradictions, Kluwer Academic Publishers, Vol. II, 1998.
  BibTeX

• Mario Borillo, Anne Sauvageot. Les cinq sens de la création : art, technologie, sensorialité, Editions Champ Vallon, Seyssel, France, 1996.
  BibTeX

• Walter Sinott-Armstrong, Diana Raffman, Nicholas Asher. Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus, Cambridge University Press, 1995.
  BibTeX

• Gabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig. Conditionals: From Philosophy to Computer Science, Oxford University Press, Studies in Logic and Computation, 1995.
  BibTeX

Numéros spéciaux de revues / Special issues of journals

• Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig. Special Issue 20th Anniversary - Part 2. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 20 N. 4, 2011.
  BibTeX

• Philippe Balbiani. Special Issue 20th Anniversary - Part 1. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 20 N. 3, 2011.
  BibTeX

• Emiliano Lorini, Laure Vieu. Foreword to the Synthese special issue on theories of information dynamics and interaction and their application to dialogue. Dans : Synthese, Springer, 2011 (à paraître).
  BibTeX

• Andreas Herzig, Emiliano Lorini. Editorial Introduction: Logical Methods for Social Concepts. Dans : Journal of Philosophical Logic, Springer-Verlag, Vol. 40 N. 4, 2011.
  Accès : http://www.springerlink.com/content/x1453u7n38075007/fulltext.pdf
  BibTeX

• Frank Van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi. Commonsense Reasoning for the Semantic Web. Dans : Annals of Mathematics and Artificial Intelligence, Springer, Vol. 58 N. 1-2, octobre 2010.
  Accès : http://www.springerlink.com/content/1012-2443/58/1-2/
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Applied Modal Logic. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 18, 2008.
  BibTeX

• Hans van Ditmarsch, Mara Manzano. Special Issue 'Tools for Teaching Logic'. Dans : Logic Journal of the IGPL, Oxford University Press, Vol. 15 N. 4, 2007.
  BibTeX

• Hans van Ditmarsch, Andreas Herzig. Belief revision and dynamic logic. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 17 N. 2, août 2007.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl07.html
  BibTeX

• Dominique Longin. Langage et cognition : contraintes pragmatiques. Dans : Psychologie de l'Interaction, Editions L'Harmattan, Paris, France, Vol. 21-22, 2006.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/2006_Longin_Psycho_Inter_Editorial.pdf
  BibTeX

• Philippe Balbiani. Dynamic Logics. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 15, 2005.
  BibTeX

• Philippe Besnard, Andreas Herzig. Logical approaches to paraconsistency. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 15:1, 2005.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/jancl05.html
  BibTeX

• Salem Benferhat, Philippe Besnard. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Dans : Journal of Applied Non-Classical Logics, Hermes, Vol. 12, 2002.
  BibTeX

• Philippe Balbiani. Spatial Logics. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 12, 2002.
  BibTeX

• Samir Chopra, Andreas Herzig. Belief Change: Theory and Practice. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 11, 2/3, 2001.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/jancl01.html
  BibTeX

• Nicola Guarino, Simone Pribbenow, Laure Vieu. Modelling Part-Whole Relations. Dans : Data and Knowledge Engineering, Kluwer, Dordrecht, Vol. 20, 1996.
  BibTeX

• Luis Fariñas del Cerro, Antonio Frias Delgado. Numéro Spécial sur le Raisonnement non-monotone. Dans : Theoria, -, Vol. 23, 1995.
  BibTeX

Actes de conférences et de workshops / Conferences proceedings

• Emiliano Lorini, Laure Vieu. Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue (TIDIAD@ESSLLI2010), Copenhague, Danemark, 16/08/2010 - 20/08/2010, University of Copenhagen, août 2010.
  Accès : http://phis.ruc.dk/ESSLLI2010_Course_Material.zip
  BibTeX

• Andreas Herzig, Benjamin Johnston. NRAC: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/2009, UTSeScholarship, octobre 2009.
  Accès : http://utsescholarship.lib.uts.edu.au/dspace/bitstream/handle/2100/967/complete%20proceedings.pdf?sequence=1
  BibTeX

• Farah Benamara, Ozdowska Sylwia. Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL07), Toulouse, 05/06/2008 - 08/06/2008, IRIT Press, 2008.
  Accès : http://www.irit.fr/~Dominique.Longin/TALN2007/
  BibTeX

• Philippe Besnard, Sylvie Doutre, Anthony Hunter. Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, 28/05/2008 - 30/05/2008, IOS Press, Frontiers in Artificial Intelligence and Applications ISBN 978-1-58603-859-5, mai 2008.
  Résumé Accès : http://www.iospress.nl/loadtop/load.php?isbn=9781586038595
  BibTeX

• Nabil Hathout, Philippe Muller. Traitement Automatique des Langues Naturelles, Toulouse, 05/06/2007 - 08/06/2007, IRIT Press, 2007.
  Accès : http://www.irit.fr/~Dominique.Longin/TALN2007/
  BibTeX

• Ron Artstein, Laure Vieu. 11th Workshop on the Semantics and Pragmatics of Dialogue (Decalog 2007), Rovereto, Italy, 30/05/2007 - 01/06/2007, University of Trento, mai 2007.
  BibTeX

• Boicho Kokinov, Daniel Richardson, Thomas Roth-Berghofer, Laure Vieu. Modeling and Using Context.6th international and interdisciplinary conference (CONTEXT 2007), Roskilde, Denmark, 20/08/2007 - 24/08/2007, Springer-Verlag, LNAI 4635, août 2007.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. KRAQ'06: Knowledge and Reasoning for Answering Questions, Trento, 12/04/2006 - 13/04/2006, Association for Computational Linguistics (ACL), avril 2006.
  BibTeX

• Eric Raufaste, André Tricot. Actes des 3èmes journées de Psychologie Ergonomique, Toulouse, France, 26/09/2005 - 28/09/2005, septembre 2005.
  BibTeX

• Andreas Herzig, Yves Lespérance, Abdel-Illah Mouaddib. Modèles formels de l'interaction - actes des secondes journées francophones (MFI'05), Caen, 25/05/2005 - 27/05/2005, Cépaduès Editions, mai 2005.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/mfi05Preface.html
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. Knowledge and Reasoning for Answering Questions KRAQ05, Edinburgh, 30/07/2005 - 30/07/2005, IJCAI, juillet 2005.
  BibTeX

• Achille Varzi, Laure Vieu. Formal Ontology in Information Systems, Proceedings of the Third International Conference (FOIS 2004), Turin, Italy, IOS Press, Amsterdam, 2004.
  BibTeX

• Philippe Balbiani, Nobo-Yuki Suziki, Frank Wolter, Michael Zakharyaschev. Advances in Modal Logic: Volume 4, Toulouse, King's College, 2003.
  BibTeX

• Andreas Herzig, Brahim Chaib-Draa, Philippe Mathieu. Modèles formels de l'interaction - Actes des Secondes Journées Francophones (MFI'03), Lille, Cépaduès-Editions, 2003.
  Accès : http://www.lifl.fr/mfi03/liste.html
  BibTeX

• Salem Benferhat, Philippe Besnard. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), Toulouse, France. LNAI 2143, Springer, 2001.
  BibTeX

• Myriam Bras, Laure Vieu. Atelier thématique de la conférence TALN'99 'Theoretical Bases for Semantics and Pragmatics in NLP: The expression of time, space and movement in lexicon, discourse and dialogue', Cargèse, Corse, 12/07/1999 - 17/07/1999, Association pour le Traitement Automatique des LAngues (ATALA), Paris, juillet 1999.
  BibTeX

• Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade. Proc. of the FAPR'96 Workshop 'Is Logic + Ordering Enough for Formalizing Common Sense Reasoning?' (International Conference on Formal And Applied Practical Reasoning), Bonn - Allemagne, juin 1996.
  BibTeX

• Pascal Amsili, Mario Borillo, Laure Vieu. Time, Space and Movement. Meaning and Knowledge in the Sensible World - 5th TSM International Workshop, Toulouse, IRIT, 1995.
  BibTeX

• Fabrice Evrard. Consignes, processus cognitifs et coopération, -, 20/09/1995 - 22/09/1995, PRESCOT, IRIT Toulouse, septembre 1995.
  BibTeX

• Mario Borillo, Pascal Amsili, Laure Vieu. Meaning and Knowledge in the Sensible World, Actes TSM'95, Château de Bonas, CEC Toulouse, 1995.
  BibTeX

• Luis Fariñas del Cerro, A. Cohn. Working Notes of the Workshop on Space and Geometry at the Seventh Eur. Summer School in Logic, Language and Information, Barcelona, Spain, août 1995.
  BibTeX

• Pascal Amsili, Mario Borillo, Laure Vieu. Time, Space, and Movement. Meaning and Knowledge in the Sensible World, Workshop Notes of the 5th International Workshop TSM'95, Château de Bonas, France, juin 1995.
  BibTeX

• Michel Aurnague, Andrée Borillo, Mario Borillo, Myriam Bras. Semantics of Time, Space, Movement, and Spatio-Temporal Reasoning - 4th TSM International Workshop, Toulouse, IRIT, 1992.
  BibTeX

Articles de revues internationales / International journals articles

• Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan Broersen. Grounding power on actions and mental attitudes. Dans : Logic Journal of the IGPL, Oxford University Press, 2012 (à paraître).
  BibTeX

• Philippe Balbiani, Pablo Seban. Reasoning about permitted announcements. Dans : Journal of Philosophical Logic, Springer-Verlag, Vol. 40 N. 4, p. 445-472, 2011.
  Résumé
  BibTeX

• Philippe Balbiani. Axiomatization and completeness of lexicographic products of modal logics. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 21 N. 2, p. 141-176, 2011.
  Résumé
  BibTeX

• Philippe Balbiani, Valentin Goranko, Guido Sciavicco. Two sorted point-interval temporal logics. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 278 N. 3, p. 31-45, 2011.
  Résumé
  BibTeX

• Jonathan Ben-Naim, Henri Prade. Evaluating Trustworthiness from Past Performances: Interval-based Approaches. Dans : Annals of Mathematics and Artificial Intelligence, Springer, Numéro spécial Special issue of Annals of Mathematics and Artificial Intelligence (AMAI) with selected extended papers from SUM 2008, 2011 (à paraître).
  BibTeX

• Emiliano Lorini. From self-regarding to other-regarding agents in strategic games: a logical analysis. Dans : Journal of Applied Non-Classical Logics, Hermès, 2011 (à paraître).
  BibTeX

• Emiliano Lorini, Frédéric Moisan. An epistemic logic of extensive games. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, 2011 (à paraître).
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/Reports/epistemic_logic_extensive_games.pdf
  BibTeX

• Emiliano Lorini, François Schwarzentruber. A logic for reasoning about counterfactual emotions. Dans : Artificial Intelligence, Elsevier, Vol. 175 N. 3-4, p. 814-847, 2011.
  BibTeX

• Hans van Ditmarsch, Andreas Herzig, Tiago de Lima. From Situation Calculus to Dynamic Logic. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 21 N. 2, p. 179-204, avril 2011.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Jlc11.html
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Boolean logics with relations. Dans : Journal of Logic and Algebraic Programming, Elsevier, Vol. 79 N. 8, p. 707-721, 2010.
  Résumé
  BibTeX

• Ibrahim Bounhas, Bilel Elayeb, Fabrice Evrard, Yahya Slimani. Toward a computer study of the reliability of Arabic stories. Dans : Journal of American Society for Information Science and Technology, Wiley, Vol. 61 N. 8, p. 1686-1705, 2010.
  Résumé Accès : http://onlinelibrary.wiley.com/doi/10.1002/asi.21356/pdf
  BibTeX

• Emiliano Lorini, François Schwarzentruber. A Modal Logic of Epistemic Games. Dans : Games, MDPI Publishing, Basel - Switzerland, Numéro spécial Epistemic Game Theory and Modal Logic, Vol. 1 N. 4, p. 478-526, 2010.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/EpistemicGamesLoriniSchwarze.pdf
  BibTeX

• Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel. Prime forms and minimal change in propositional belief bases. Dans : Annals of Mathematics and Artificial Intelligence, Springer, Vol. 59 N. 1, p. 1-45, 2010.
  Accès : http://dx.doi.org/10.1007/s10472-010-9206-x
  BibTeX

• Emiliano Lorini. A dynamic logic of agency II: deterministic DLA, Coalition Logic, and game theory. Dans : Journal of Logic, Language and Information, Springer, Vol. 19 N. 3, p. 327-351, 2010.
  Accès : http://www.springerlink.com/content/c7575jmp24275g18/?p=40aef9af84af4ea9b93db8229bb09fa7&pi=2
  BibTeX

• Andreas Herzig, Emiliano Lorini. A dynamic logic of agency I: STIT, abilities and powers. Dans : Journal of Logic, Language and Information, Springer, Vol. 19 N. 1, p. 89-121, 2010.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jolli10.html
  BibTeX

• Thomas Agotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban. Group Announcement Logic. Dans : Journal of Applied Logic, Elsevier, Vol. 8 N. 1, p. 62-81, 2010.
  Résumé
  BibTeX

• Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini. Computer-Mediated Trust in Self-Interested Expert Recommendations. Dans : AI & Society, Springer, Vol. 25 N. 4, p. 413-422, octobre 2010.
  Résumé Accès : http://www.springerlink.com/content/m3v2564127113434
  BibTeX

• Andreas Herzig, Emiliano Lorini, Jomi F. Hübner, Laurent Vercouter. A logic of trust and reputation. Dans : Logic Journal of the IGPL, Oxford University Press, Numéro spécial Normative Multiagent Systems, Vol. 18 N. 1, p. 214-244, février 2010.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Igpl09.html
  BibTeX

• Guillaume Aucher. Generalizing AGM to a multi-agent setting. Dans : Logic Journal of the IGPL, Oxford University Press, Vol. 18 N. 4, p. 530-558, 2010.
  BibTeX

• Guillaume Aucher. An internal version of epistemic logic. Dans : Studia Logica, Springer, Vol. 94 N. 1, p. 1-22, janvier 2010.
  BibTeX

• Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima. Tableaux for public announcement logics. Dans : Journal of Logic and Computation, Oxford University Press, Numéro spécial Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, p. 55-76, 2010.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jlc09.html
  BibTeX

• Salem Benferhat, Jonathan Ben-Naim, Odile Papini, Eric Würbel. An Answer Set Programming Encoding of Prioritized Removed Sets Revision : Application to GIS. Dans : Applied Intelligence, Springer, Vol. 32 N. 1, p. 60-87, 2010.
  BibTeX

• Jean-François Bonnefon, Dominique Longin, Manh Hung Nguyen. A Logical Framework for Trust-Related Emotions. Dans : Electronic Communications of the EASST, Electronic Communications of the EASST, Berlin - Germany, Numéro spécial Formal Methods for Interactive Systems 2009, Vol. 22, (en ligne), 2009.
  Résumé Accès : http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/33
  BibTeX

• Jan Broersen, Andreas Herzig, Nicolas Troquard. What groups do, can do, and know they can do: an analysis in normal modal logics. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 19 N. 3, p. 261-289, novembre 2009.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl09.html
  BibTeX

• Andreas Herzig, Tiago de Lima, Emiliano Lorini. On the dynamics of institutional agreements. Dans : Synthese, Springer, Vol. 171 N. 2, p. 321-355, novembre 2009.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_instAgree.html
  BibTeX

• Robert Demolombe, Pilar Pozos Parra. Integrating state constraints and obligations in Situation Calculus. Dans : Inteligencia Artificial (Ibero-American Journal of Artificial Intelligence), Asociación Española de Inteligencia Artificial (AEPIA), Spain, Numéro spécial Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, Vol. 41, p. 55-64, janvier 2009.
  BibTeX

• Bilel Elayeb, Fabrice Evrard, Montaceur Zaghdoud, Mohamed Ben Ahmed. Towards an intelligent possibilistic web information retrieval using multiagent system. Dans : International Journal of Interactive Technology and Smart Education, Emerald, Bradford - UK, Numéro spécial Special Issue : New learning support systems, Vol. 6 N. 1, p. 40-59, juin 2009.
  Résumé Accès : http://www.emeraldinsight.com/Insight/viewContentItem.do;jsessionid=9F376F970BAF5DF7A2FCC52A1A379850?contentType=Article&contentId=1793785
  BibTeX

• Nicholas Asher, Farah Benamara, Yannick Mathieu. Appraisal of Opinion Expressions in Discourse. Dans : Lingvisticæ Investigationes, John Benjamins Publishing Company, Amsterdam, Vol. 31.2, p. 279-292, 2009.
  BibTeX

• Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis. Introspective forgetting. Dans : Synthese, Springer, Vol. 169 N. 2, p. 405-423, juillet 2009.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_forget.html
  BibTeX

• Carole Adam, Andreas Herzig, Dominique Longin. A logical formalization of the OCC theory of emotions. Dans : Synthese, Springer, Vol. 168 N. 2, p. 201-248, 2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Journaux_internationaux/2009_Adam_et_al_Synthese.pdf
  BibTeX

• Hans Atkinson, Hans van Ditmarsch, Sigrid Roehling. Avoiding bias in cards cryptography. Dans : Australasian Journal of Combinatorics, Combinatorial Mathematics Society of Australasia, 2009 (à paraître).
  BibTeX

• Philippe Balbiani, Jan Broersen, Julien Brunel. Decision procedures for a deontic logic modeling temporal inheritance of obligations. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 231, p. 69-89, 2009.
  BibTeX

• Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig. Global and local graph modifiers. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 231, p. 293-307, mars 2009.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
  BibTeX

• Laurent Prévot, Laure Vieu, Nicholas Asher. Une formalisation plus précise pour une annotation moins confuse: la relation d’élaboration d’entité. Dans : Journal of French Language Studies, Cambridge University Press, Vol. 19 N. 2, p. 207-228, juillet 2009.
  BibTeX

• Emiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig. The logic of acceptance: grounding institutions on agents' attitudes. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 19 N. 6, p. 901-940, décembre 2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/JLC.pdf
  BibTeX

• Stergos Afantenos, Vangelis Karkaletsis, Panagiotis Stamatopoulos, Constantin Halatsis. Using Synchronic and Diachronic Relations for Summarizing Multiple Documents Describing Evolving Events. Dans : Journal of Intelligent Information Systems, Springer, Vol. 30 N. 3, p. 183-226, juin 2008.
  Accès : http://portal.acm.org/citation.cfm?id=1371163
  BibTeX

• Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi. Arbitrary announcement logic. Dans : Bulletin of Symbolic Logic, Association for Symbolic Logic (ASL), Vol. 14, p. 438-439, 2008.
  BibTeX

• Andreas Herzig. Review of "Dynamic Epistemic Logic" by Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi (Springer Verlag, Synthese Library No. 337, 2007). Dans : Studia Logica, Springer, Vol. 89, p. 439-443, octobre 2008.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Sl09Revw.pdf
  BibTeX

• Philippe Balbiani, Petar Iliev, Dimiter Vakarelov. A modal logic for Pawlak's approximation spaces with rough cardinality n. Dans : Fundamenta Informaticae, IOS Press, Vol. 83, p. 451-464, 2008.
  BibTeX

• Philippe Balbiani. Hyper arrow logic with indiscernibility and complementarity. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 18, p. 137-152, 2008.
  BibTeX

• Nicholas Asher, Josh Dever, Chris Pappas. Supervaluations Debugged. Dans : Mind, Oxford University Press, 2008 (à paraître).
  BibTeX

• Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima. `Knowable' as `known after an announcement'. Dans : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, p. 305-334, 2008.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
  BibTeX

• Philippe Besnard, Sébastien Konieczny, Pierre Marquis. Bipolarity in Bilattice Logics. Dans : International Journal of Intelligent Systems, Wiley, Numéro spécial Special Issue: Bipolar Representations of Information and Preference. Part 2: Reasoning and Learning, Vol. 23 N. 10, p. 1046-1061, octobre 2008.
  BibTeX

• Emiliano Lorini, Andreas Herzig. A logic of intention and attempt. Dans : Synthese, Springer, Vol. 163 N. 1, p. 45-77, 2008.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese08.html
  BibTeX

• Daniela Berardi, Fahima Cheikh Alili, Giuseppe De Giacomo, Fabio Patrizi. AUTOMATIC SERVICE COMPOSITION VIA SIMULATION. Dans : International Journal of Foundations of Computer Science, World Scientific, Vol. 19 N. 2, p. 429-451, avril 2008.
  BibTeX

• Alain Trognon, Christine Sorsana, Martine Batt, Dominique Longin. Peer interaction and problem solving: one example of a logical-discursive analysis of a process of joint decision making. Dans : The European Journal of Developmental Psychology, Psychology Press Ltd, Vol. 5 N. 5, p. 623-643, 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/2008_TrognonEtAl_EJDP.pdf
  BibTeX

• Nicholas Asher. A Type Driven Theory of Predication with Complex Types. Dans : Fundamenta Informaticae, IOS Press, Vol. 84 N. 2, p. 151-183, 2008.
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Foreword. Dans : Journal of Applied Non-Classical Logics, Hermès, Numéro spécial Special Issue, Vol. 18, p. 136-136, 2008.
  BibTeX

• Philippe Balbiani, Andreas Herzig, Nicolas Troquard. Alternative axiomatics and complexity of deliberative STIT theories. Dans : Journal of Philosophical Logic, Springer-Verlag, Vol. 37 N. 4, p. 387-406, août 2008.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Jpl08.html
  BibTeX

• Philippe Balbiani. Logical approaches to deontic reasoning: from basic questions to dynamic solutions. Dans : International Journal of Intelligent Systems, Wiley, Vol. 23, p. 1021-1045, 2008.
  BibTeX

• Hans van Ditmarsch, Ji Ruan, Rineke Verbrugge. Sum and Product in Dynamic Epistemic Logic. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 18 N. 3, p. 563-588, décembre 2007.
  BibTeX

• Emiliano Lorini, Castelfranchi Cristiano. The unexpected aspects of Surprise. Dans : International Journal of Pattern Recognition and Artificial Intelligence, World Scientific, Vol. 20 N. 6, p. 817-835, 2007.
  BibTeX

• Emiliano Lorini, Castelfranchi Cristiano. The cognitive structure of Surprise: looking for basic principles. Dans : Topoi: An International Review of Philosophy, Springer, Vol. 26 N. (1), p. 133-149, 2007.
  BibTeX

• Jason Baldridge, Nicholas Asher, Julie Hunter. Annotation for and Robust Parsing of Discourse Structure on Unrestricted Texts. Dans : Zeitschrift für Sprachwissenschaft, German Linguistic Society, Vol. 26, p. 213-239, 2007.
  BibTeX

• Philippe Besnard. Remedying inconsistent sets of premises. Dans : International Journal of Approximate Reasoning, Elsevier, Vol. 45 N. 2, p. 308-320, 2007.
  BibTeX

• Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch. Verifying Cryptographic Protocols with Subterms Constraints. Dans : Lecture Notes in Computer Science, Springer-Verlag, Numéro spécial Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, Vol. 4790, p. 181-195, octobre 2007.
  Résumé Accès : http://dx.doi.org/10.1007/978-3-540-75560-9_15
  BibTeX

• Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch. Towards an Automatic Analysis of Web Service Security. Dans : Lecture Notes in Artificial Intelligence, Springer-Verlag, Numéro spécial Frontiers of Combining Systems, 6th International Symposium, Vol. 4720, p. 133-147, septembre 2007.
  Résumé Accès : http://dx.doi.org/10.1007/978-3-540-75560-9_15
  BibTeX

• Arnon Avron, Jonathan Ben-Naim, Beata Konikowska. Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Dans : Logica Universalis, Birkhäuser, Vol. 1 N. 1, p. 41-70, 2007.
  BibTeX

• Guillaume Aucher. Interpreting an action from what we perceive and what we expect. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 17, p. 9-38, 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/JANCL.pdf
  BibTeX

• Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. Modal logics for region-based theories of space. Dans : Fundamenta Informaticae, IOS Press, Vol. 81, p. 29-82, 2007.
  BibTeX

• Andreas Herzig, Ivan José Varzinczak. Metatheory of actions: beyond consistency. Dans : Artificial Intelligence, Elsevier, Vol. 171, p. 951-984, 2007.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Aij07.html
  BibTeX

• Guillaume Feuillade, Sophie Pinchinat. Modal Specifications for the Control Theory of Discrete Events Systems. Dans : Discrete Event Dynamic Systems, Springer, Vol. Hors-série, (en ligne), janvier 2007.
  Résumé Accès : http://dx.doi.org/10.1007/s10626-006-0008-6
  BibTeX

• Nicholas Asher. A Large View of Semantic Content. Dans : Pragmatics & Cognition, John Benjamins Publishing Company, Amsterdam, 2007 (à paraître).
  BibTeX

• Nicholas Asher, Eric Mccready. 'Might', 'Would', 'Could' and a Compositional Account of Counterfactuals. Dans : Journal of Semantics, Oxford University Press, Vol. 24, p. 1-37, 2007.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. Arrow logic with arbitrary intersections: applications to Pawlak's information systems. Dans : Fundamenta Informaticae, IOS Press, Vol. 75, p. 1-25, 2007.
  BibTeX

• Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. Dynamic logics of the region-based theory of discrete spaces. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 17, p. 39-61, 2007.
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Line-based affine reasoning in Euclidean plane. Dans : Journal of Applied Logic, Elsevier, Vol. 5, p. 421-434, 2007.
  BibTeX

• Trevor Bench-Capon, Sylvie Doutre, Paul Dunne. Audiences in argumentation frameworks. Dans : Artificial Intelligence, Elsevier, Vol. 171 N. 1, p. 42-71, janvier 2007.
  Résumé
  BibTeX

• Benoit Gaudou, Andreas Herzig, Dominique Longin. A Logical Framework for Grounding-based Dialogue Analysis. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 157 N. 4, p. 117-137, 2006.
  Résumé Accès : http://www.sciencedirect.com/science/journal/15710661
  BibTeX

• Laure Vieu. On the transitivity of functional parthood. Dans : Applied Ontology, IOS Press, Vol. 1 N. 2, p. 147-155, 2006.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/V-Functionalparts-AO06.pdf
  BibTeX

• Nicholas Asher. Aspects of Things. Dans : Philosophical Issues: A Supplement to Nous, Blackwell Publishing, Numéro spécial Philosophy of Language, Vol. 7, p. 1-20, 2006.
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Definability over the class of all partitions. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 16, p. 541-557, 2006.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat. On the consistency problem for the INDU calculus. Dans : Journal of Applied Logic, Elsevier, Vol. 4, p. 119-140, 2006.
  BibTeX

• Jan Broersen, Andreas Herzig, Nicolas Troquard. Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 16 N. 5, p. 559-578, octobre 2006.
  Résumé Accès : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/BrHeTr06atl2stit.pdf
  BibTeX

• Olivier Gasquet. On the influence of confluence in modal logics. Dans : Fundamenta Informaticae, IOS Press, Vol. 70 N. 3, p. 227-250, 2006.
  Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Gasquet/Pub/rapportConfluence.pdf
  BibTeX

• Stergos Afantenos, Vangelis Karkaletsis, Panagiotis Stamatopoulos. Summarization from Medical Documents: A Survey. Dans : Artificial Intelligence in Medicine, Elsevier, Numéro spécial Information Extraction and Summarization from Medical Documents, Vol. 33 N. 2, p. 157-177, février 2005.
  Résumé Accès : http://dx.doi.org/10.1016/j.artmed.2004.07.017
  BibTeX

• Jonathan Ben-Naim. Pivotal and Pivotal-Discriminative Consequence Relations. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 15 N. 5, p. 679-700, 2005.
  BibTeX

• Jonathan Ben-Naim. Preferential and Preferential-Discriminative Consequence Relations. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 15 N. 3, p. 263-294, 2005.
  BibTeX

• Nicholas Asher, Daniel Bonevac. Free Choice Permission is Strong Permission. Dans : Synthese, Springer, Vol. 145, p. 22-43, 2005.
  BibTeX

• Philippe Balbiani. Foreword. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 15, p. 113-114, 2005.
  BibTeX

• Laurent Perrussel, Jean-Marc Thévenin. (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG. Dans : International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, Vol. 13 N. 5, p. 511-538, octobre 2005.
  BibTeX

• Stéphane Vautier, Rolf Steyer, Saïd Jmel, Eric Raufaste. Imperfect or perfect dynamic bipolarity? The case of antonymous affective judgments. Dans : Structural Equation Modeling, Vol. 12, p. 391-410, 2005.
  BibTeX

• Marc Pauly. Programming and Verifying Subgame Perfect Mechanisms. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 15 N. 3, p. 295-316, 2005.
  BibTeX

• Laure Vieu, Myriam Bras, Nicholas Asher, Michel Aurnague. Locating Adverbials in Discourse. Dans : Journal of French Language Studies, Cambridge University Press, Vol. 15 N. 1, p. 173-193, 2005.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/VBAA-JFLS05.pdf
  BibTeX

• Nicholas Asher, Laure Vieu. Subordinating and Coordinating Discourse Relations. Dans : Lingua, Elsevier, Vol. 115 N. 4, p. 591-610, 2005.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/AV-Lingua05.pdf
  BibTeX

• Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. An NP Decision Procedure for Protocol Insecurity with XOR. Dans : Theoretical Computer Science B, Elsevier Science B.V., Elsevier Science B.V. Mathematics & Computer Science P.O. Box 103 1000 AC Amsterdam The Netherlands, Vol. 1060, mars 2005.
  Résumé Accès : http://www.sciencedirect.com
  BibTeX

• Nicholas Asher. Troubles with topics: Comments on Kehler, Oberlander, Stede and Zeevat. Dans : Theoretical Linguistics, de Gruyter, Berlin - Germany, Vol. 30, p. 255-262, 2004.
  BibTeX

• Nicholas Asher. Discourse Topic. Dans : Theoretical Linguistics, de Gruyter, Berlin - Germany, Numéro spécial Special Issue on Discourse Topic, Vol. 30, p. 163-202, 2004.
  BibTeX

• Nicholas Asher, Anthony Gillies. Common Ground, Corrections and Coordination. Dans : Argumentation, Springer, Vol. 17, p. 481-512, 2004.
  BibTeX

• Philippe Balbiani. Reasoning about vague concepts in the theory of property systems. Dans : Logique & Analyse, Centre National de Recherches de Logique, Belgique, Vol. 47, p. 445-460, 2004.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. Dynamic extensions of arrow logic. Dans : Annals of Pure and Applied Logics, Elsevier, Vol. 127, p. 1-15, 2004.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. Construction de réponses coopératives : du corpus à la modélisation informatique. Dans : Revue Québéquoise de Linguistique, Les Éditions David, Ottawa - Canada, Vol. 18 N. 3, p. 34-59, septembre 2004.
  BibTeX

• Philippe Besnard, Gisbert Fanselow, Torsten Schaub. Optimality Theory as a Family of Cumulative Logics. Dans : Journal of Logic, Language, and Information, Kluwer, Vol. 12, p. 153-182, 2003.
  BibTeX

• Philippe Balbiani. Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Dans : Fundamenta Informaticae, IOS Press, Vol. 56, p. 211-242, 2003.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. PDL with intersection of programs: a complete axiomatization. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 13, p. 231-276, 2003.
  BibTeX

• Myriam Bras, Anne Le Draoulec, Laure Vieu. Connecteurs et temps verbaux dans l'interprétation temporelle du discours : le cas de puis en interaction avec l'imparfait et le passé simple. Dans : Cahiers Chronos, Rodopi, Amsterdam, Vol. 11, p. 71-97, 2003.
  BibTeX

• Andreas Herzig. Modal probability, belief, and actions. Dans : Fundamenta Informaticae, IOS Press, Vol. 57 N. 2-4, p. 323-344, 2003.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Fi03.html
  BibTeX

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor. Abstract Representation of Object and Structural Symmetries Detection. Dans : Journal of Universal Computer Science, John Wiley and Sons, Vol. 9 N. 9, p. 1008-1029, septembre 2003.
  Accès : http://www.jucs.org/jucs_9_9/abstract_representation_of_object
  BibTeX

• Robert Demolombe, Andreas Herzig, Ivan José Varzinczak. Regression in Modal Logic. Dans : Journal of Applied Non-Classical Logics, Hermès, Vol. 13 N. 2, p. 165-185, 2003.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl03.html
  BibTeX

• Claudio Masolo, Alessandro Oltramari, Aldo Gangemi, Nicola Guarino, Laure Vieu. La prospettiva dell'ontologia applicata. Dans : Rivista di Estetica, Rosenberg & Sellier, Turin - Italie, Vol. XLIII-22 N. 1, p. 170-183, 2003.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. Knowledge Extraction from the WEB: an Experiment and an Analysis of its Portability. Dans : Vivek, NCST, Juhu, Mumbai, Inde, Vol. 13 N. 2, p. 45-67, juillet 2003.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro. Tractability results in the block algebra. Dans : Journal of Logic and Computation, Vol. 12, p. 885-909, 2002.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta. Spatial reasoning about points in a multidimensional setting. Dans : Applied Intelligence, Vol. 7, p. 221-238, 2002.
  BibTeX

• Philippe Balbiani, Valentin Goranko. Modal logics for parallelism, orthogonality, and affine geometries. Dans : Journal of Applied Non-Classical Logics, Vol. 12, p. 365-397, 2002.
  BibTeX

• Philippe Balbiani. Foreword. Dans : Journal of Applied Non-Classical Logics, Vol. 12, p. 317-318, 2002.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. A modal logic for indiscernibility and complementarity in information systems. Dans : Fundamenta Informaticæ, Vol. 50, p. 1-21, 2002.
  BibTeX

• Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste. Forms of meaning, meaning of forms. Dans : Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 14 N. 2, p. 61-74, 2002.
  BibTeX

• Philippe Muller. Topological Spatio-Temporal Reasoning and Representation. Dans : Computational Intelligence, Vol. 18 N. 3, p. 420-450, 2002.
  Accès : http://www.irit.fr/~Philippe.Muller/Publis/ci02.pdf
  BibTeX

• Laurent Perrussel, Pierre-Jean Charrel. Inconsistent requirements: an argumentation view. Dans : International Journal on Artificial Intelligence Tools, World Scientific Publishing Company, Vol. 11 N. 3, p. 303-325, 2002.
  Résumé
  BibTeX

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor. Qualitative Geometry for Shape Recognition. Dans : Applied Intelligence, Kluwer Academic Publishers, Vol. 17 N. 3, p. 253-263, novembre 2002.
  Résumé
  BibTeX

• Luis Fariñas del Cerro, Olivier Gasquet. General Framework for Pattern-Driven Modal Tableaux. Dans : Logic Journal of the IGPL, Dov M. Gabbay, Vol. 10 N. 1, p. 51-83, 2002.
  BibTeX

• Nicholas Asher, Alex Lascarides. Indirect Speech Acts. Dans : Synthese, Springer, Vol. 128, p. 183-228, 2001.
  BibTeX

• Nicholas Asher, Yi Mao. Negated Defaults in Commonsense Entailment. Dans : Bulletin of the Section of Logic, Department of Logic, University of Lodz, Poland, Vol. 30, p. 41-60, 2001.
  BibTeX

• Nicholas Asher, Daniel Hardt, Joan Busquets. Discourse Parallelism, Scope, and Ellipsis. Dans : Journal of Semantics, Oxford University Press, Vol. 18, p. 1-16, 2001.
  BibTeX

• Paul Wong, Philippe Besnard. Paraconsistent Reasoning as an Analytical Tool. Dans : Logic Journal IGPL, Oxford University Press, Vol. 9 N. 2, 2001.
  BibTeX

• Philippe Balbiani. A new proof of completeness for a relative modal logic with composition and intersection. Dans : Journal of Applied Non-Classical Logics, Vol. 11, p. 269-280, 2001.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. Iteration-free PDL with intersection: a complete axiomatization. Dans : Fundamenta Informaticae, Vol. 45, p. 1-22, 2001.
  BibTeX

• Alain Appriou, Andre Ayoun, Salem Benferhat, Philippe Besnard, Isabelle Bloch, Laurence Cholvy, Roger Cooke, Frédéric Cuppens, Didier Dubois, Hélène Fargier, Michel Grabisch, Anthony Hunter, Rodolf Kruse, Jérôme Lang, Serafin Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai. Fusion: general concepts and characteristics. Dans : International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion (Part I of II), John Wiley&Sons, Inc., Vol. 16 N. 10, p. 1107-1134, octobre 2001.
  BibTeX

• Philippe Besnard, Anthony Hunter. A logic-based theory of deductive arguments. Dans : Artificial Intelligence, Vol. 128, p. 203-235, 2001.
  BibTeX

• Nicholas Asher. Truth Conditional Discourse Semantics for Parentheticals. Dans : , Vol. 17, p. 31-50, 2000.
  BibTeX

• Mario Borillo, Andrée Borillo, Michel Aurnague, Jean-Luc Nespoulous, Kader Boulanouar. Spatial Semantics: The Processing of Internal Localization Nouns. Dans : Current Psychology of Cognition, Vol. 19 N. 1, p. 69-110, 2000.
  BibTeX

• Luis Fariñas del Cerro, Olivier Gasquet. Minimal Structures for Modal Tableaux: Some Examples. Dans : Logic and Logical Philosophy (Parainconsistency. Part II), Andrzej Pietruszczak & Jerzy Perzanowski., Department of Logic Nicholas Copernicus University Asnyka 2a 87-100 Torun, Vol. 8, p. 1-16, 2000.
  Résumé
  BibTeX

• Philippe Besnard, Torsten Schaub. What is a (non-constructive) non-monotone logical system? Dans : Theoretical Computer Science, Vol. 238, p. 489-494, 2000.
  BibTeX

• Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro. A Mixed Decision Method for Duration Calculus. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 6, p. 877-895, décembre 2000.
  BibTeX

• Andreas Herzig, Dominique Longin. Belief dynamics in cooperative dialogues. Dans : Journal of Semantics, Oxford University Press, Vol. 17 N. 2, p. 91-118, mai 2000.
  Résumé
  BibTeX

• Philippe Balbiani. Inequality without irreflexivity. Dans : Journal of Applied Non-Classical Logics, Vol. 9, p. 523-534, 1999.
  BibTeX

• Philippe Balbiani, Ewa Orlowska. A hierarchy of modal logics with relative accessibility relations. Dans : Journal of Applied Non-Classical Logics, Vol. 9, p. 303-328, 1999.
  BibTeX

• Luis Fariñas del Cerro, Olivier Gasquet. Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Dans : Fundamenta Informaticae , Vol. 40 N. 4, p. 317-333, décembre 1999.
  Accès : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/P/fi99.zip
  BibTeX

• Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro. A Decision Method for Duration Calculus. Dans : Journal of Universal Computer Science, Springer-Verlag, Vol. 5 N. 11, p. 743-764, 1999.
  Accès : http://www.jucs.org/jucs_5_11/a_decision_method_for
  BibTeX

• Andreas Herzig, Omar Rifi. Propositional belief base update and minimal change. Dans : Artificial Intelligence Journal, Vol. 115 N. 1, p. 107-138, 1999.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/P/aij99.html
  BibTeX

• Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig. Formalizing action and change in modal logic I: the frame problem. Dans : Journal of Logic and Computation, Vol. 9 N. 5, p. 701-735, 1999.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/P/jlc99.html
  BibTeX

• Nicholas Asher, Alex Lascarides. How Questions in Dialogue. Dans : Linguistics and Philosophy, Springer, Vol. 21, p. 237-309, 1998.
  BibTeX

• Nicholas Asher, Alex Lascarides. Bridging. Dans : Journal of Semantics, Oxford University Press, Vol. 15, p. 83-113, 1998.
  BibTeX

• Nicholas Asher, Alex Lascarides. The Semantics and Pragmatics of Presupposition. Dans : Journal of Semantics, Oxford University Press, Vol. 15, p. 239-299, 1998.
  BibTeX

• Philippe Balbiani, Luis Fariñas del Cerro. Complete axiomatization of a relative modal logic with composition and intersection. Dans : Journal of Applied Non-Classical Logics, Vol. 8, p. 325-335, décembre 1998.
  BibTeX

• Philippe Balbiani. The modal multilogic of geometry. Dans : Journal of Applied Non-Classical Logics, Vol. 8, p. 259-281, 1998.
  BibTeX

• Olivier Gasquet. Predicate multi-modal logics do not mix very well. Dans : Mathematical Logic Quarterly, Vol. 44, p. 45-49, 1998.
  Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Gasquet/P/zei.zip
  BibTeX

• Philippe Besnard, Torsten Schaub. Signed systems for paraconsistent reasoning. Dans : Journal of Automated Reasoning, Vol. 20, p. 191-213, 1998.
  BibTeX

• Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig. Modal Tableaux with Propagation Rules and Structural Rules. Dans : Fundamenta Informaticae, Vol. 32 N. 3/4, p. 281-297, 1997.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Gasquet/P/fi97.html
  BibTeX

• Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov. Modal logics for incidence geometries. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 7, p. 59-78, 1997.
  BibTeX

• Nicholas Asher, Daniel Bonevac. Prima Facie Obligation. Dans : Studia Logica, Springer, Vol. 57, p. 19-45, 1996.
  BibTeX

• Olivier Gasquet. Completeness Results in Neighbourhood Semantics for Muti-Modal Monotonic and Regular Logics. Dans : Journal of the IGPL, Vol. 4 N. 3, p. 419-428, 1996.
  Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Gasquet/P/igpl96.zip
  BibTeX

• Philippe Balbiani, Luis Fariñas del Cerro. A relational model of movement. Dans : Logique et Analyse, Vol. 155-156, p. 369-378, 1996.
  BibTeX

• Nicholas Asher, Alex Lascarides. Lexical Disambiguation in a Discourse Context. Dans : Journal of Semantics, Oxford University Press, Vol. 12, p. 69-108, 1995.
  BibTeX

• Alex Lascarides, Ted Briscoe, Nicholas Asher, Anne Copestake. Persistent Order Independent Typed Default Unification. Dans : Linguistics and Philosophy, Springer, Vol. 19, p. 1-90, 1995.
  BibTeX

• Luis Fariñas del Cerro. Conditionales y non monotonia. Dans : Theoria, Vol. 23, p. 27-37, 1995.
  BibTeX

• Luis Fariñas del Cerro. Razionamiento no monotono: un breve panorama. Dans : Theoria, Vol. 23, p. 7-26, 1995.
  BibTeX

• Olivier Gasquet. A New Incompleteness Result in Kripke Semantics. Dans : Fundamenta Informaticae, A. Skowron, Vol. 24 N. 4, 1995.
  Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Gasquet/P/fi95.zip
  BibTeX

• Philippe Balbiani, Andreas Herzig. A translation from the modal logic of provability into K4. Dans : Journal of Applied Non-Classical Logics, Vol. 4, p. 73-77, 1994.
  BibTeX

• Nicholas Asher, Munindar Singh. Toward a Theory of Intentions. Dans : Journal of Philosophical Logic, Springer-Verlag, Vol. 22, p. 513-544, 1993.
  BibTeX

• Alex Lascarides, Nicholas Asher. Temporal Interpretation, Discourse Relations, and Commonsense Entailment. Dans : Linguistics and Philosophy, Springer, Vol. 16, p. 437-493, 1993.
  BibTeX

• Nicholas Asher. A Truth Conditional, Default Semantics for the Progressive. Dans : Linguistics and Philosophy, Springer, Vol. 15, p. 463-508, 1992.
  BibTeX

• Philippe Balbiani. A modal semantics of negation in logic programming. Dans : Fundamenta Informaticæ, Vol. 16, p. 231-262, 1992.
  BibTeX

• Philippe Balbiani. Corrigendum. Dans : Journal of Logic and Computation, Vol. 1, p. 569-570, 1991.
  BibTeX

• Philippe Balbiani. Modal logic and negation as failure. Dans : Journal of Logic and Computation, Vol. 1, p. 331-356, 1991.
  BibTeX

• Nicholas Asher, Hajime Wada. A Computational Account of Syntactic, Semantic and Discourse Principles for Anaphora Resolution. Dans : Journal of Semantics, Oxford University Press, Vol. 6, p. 309-344, 1989.
  BibTeX

• Nicholas Asher. Belief, Acceptance and Belief Reports. Dans : Canadian Journal of Philosophy, University of CALGARY PRESS, CANADA, Vol. 19, p. 321-361, 1989.
  BibTeX

• Nicholas Asher, Hans Kamp. The Semantics of Proposition-Type Nominals and Proposition-Type Anaphora. Dans : Journal of Symbolic Logic, Project Euclid, Vol. 53, p. 1275-1276, 1988.
  BibTeX

• Nicholas Asher. Semantic Competence, Linguistic Understanding and a Theory of Concepts. Dans : Linguistics and Philosophy, Springer, Vol. 50, p. 1-36, 1988.
  BibTeX

• Nicholas Asher, Daniel Bonevac. Determiners and Resource Situations. Dans : Linguistics and Philosophy, Springer, Vol. 10, p. 567-597, 1987.
  BibTeX

• Nicholas Asher. A Typology for Attitude Verbs and Their Anaphoric Properties. Dans : Linguistics and Philosophy, Springer, Vol. 10, p. 125-198, 1987.
  BibTeX

• Nicholas Asher, Hans Kamp. The Knower's Paradox and Logics of the Attitudes. Dans : Journal of Symbolic Logic, Project Euclid, Vol. 51, p. 833-834, 1986.
  BibTeX

• Nicholas Asher. Belief in Discourse Representation Theory. Dans : Journal of Philosophical Logic, Springer-Verlag, Vol. 15, p. 127-189, 1986.
  BibTeX

• Nicholas Asher. The Trouble with Extensional Semantics. Dans : Philosophical Studies, Springer, Vol. 47, p. 1-14, 1985.
  BibTeX

• Nicholas Asher, Daniel Bonevac. Situations and Events. Dans : Philosophical Studies, Springer, Vol. 47, p. 57-77, 1985.
  BibTeX

• Nicholas Asher. Meanings Don't Grow on Trees. Dans : Journal of Semantics, Oxford University Press, Vol. 3, p. 229-247, 1985.
  BibTeX

• Nicholas Asher, Daniel Bonevac. How Extensional is Extensional Perception. Dans : Linguistics and Philosophy, Springer, Vol. 8, p. 203-228, 1985.
  BibTeX

Articles de revues nationales / National journals articles

• Fabien Poulard. Évaluation de descripteurs statistiques et linguistiques pour la détection de dérivation de texte. Dans : Document numérique, Hermès, Vol. 13, N. 3, p. 69-93, 2011.
  Résumé Accès : http://dn.revuesonline.com/article.jsp?articleId=15721
  BibTeX

• Fabien Poulard, Nicolas Hernandez, Stergos Afantenos, Béatrice Daille. Évaluation de descripteurs statistiques et linguistiques pour la détection de dérivation de texte. Dans : Document numérique, Hermès, Vol. 13, N. 3, p. 69-93, 2010.
  Résumé Accès : http://dn.revuesonline.com/article.jsp?articleId=15721
  BibTeX

• Nicholas Asher, Laurent Prévot, Laure Vieu. Setting the Background in Discourse. Dans : Discours(e), revues.org, Vol. 1, (en ligne), 2007.
  Résumé Accès : http://discours.revues.org/index301.html
  BibTeX

• Carole Adam, Andreas Herzig, Dominique Longin. PLEIAD, un agent émotionnel pour évaluer la typologie OCC. Dans : Revue d'Intelligence Artificielle, Hermès Science Publications, Numéro spécial Modèles multi-agents pour des environnements complexes, Vol. 21, N. 5-6, p. 781-811, 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/2007_Adam_et_al_RIA.pdf
  BibTeX

• Mario Borillo. Les processus créatifs à l'épreuve des sciences et technologies de la création. Dans : Terminal, L'Harmattan, Vol. IV, N. 93 - 94, p. 168-175, janvier 2006.
  Résumé
  BibTeX

• Mario Borillo. Repères pour l'image informatique. Dans : Terminal, L'Harmattan, Vol. IV, N. 93-94, p. 165-168, janvier 2006.
  Résumé
  BibTeX

• Dominique Longin. Des raisons qu'ont certains actes à être indirects. Dans : Psychologie de l'Interaction, Editions L'Harmattan, Paris, France, Numéro spécial Langage et Cognition : contraintes pragmatiques, Vol. 21-22, p. 237-258, 2006.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/2006_Longin_Psycho_Inter_log.pdf
  BibTeX

• Eric Raufaste, Dominique Longin, Jean-François Bonnefon. Utilitarisme pragmatique et reconnaissance d'intention dans les actes de langages indirects. Dans : Psychologie de l'Interaction, Editions L'Harmattan, Paris, France, Numéro spécial Langage et Cognition : contraintes pragmatiques, Vol. 21-22, p. 189-209, 2006.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/2006_Raufaste_et_al_Psycho_Inter_Util.pdf
  BibTeX

• Philippe Balbiani, Mamoun Filali. Sûreté et sécurité des systèmes d'informations et de communications: une obligation majeure. Dans : Magazine UPS, Université Paul Sabatier - Toulouse, Toulouse, Vol. 4, p. 21-21, 2005.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. Dans : Journal électronique d'intelligence artificielle, Vol. 2, p. 1-14, 2004.
  BibTeX

• Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, al Et. ORBAC : un modèle de contrôle d'accès basé sur les organisations. Dans : Cahiers francophones de la recherche en sécurité de l'information, Vol. 2, p. 30-40, 2003.
  BibTeX

• Mario Borillo, Jean-Pierre Goulette. Vers une approche cognitive des processus de composition architecturale? , Septembre 2003, Paris. Dans : Revue d'Architecture, Vol. septembre, p. 2-12, 2003.
  BibTeX

• Philippe Balbiani, Salem Benferhat. Dossier Temps, espace et évolutif. Dans : Bulletin de l'Afia, Vol. 51, p. 30-40, 2002.
  BibTeX

• Philippe Muller, Laurent Prévot. Conversation sous les topiques. Dans : Information, Interaction, Intelligence, Cépaduès., Toulouse, Vol. Hors série, p. 179-196, 2002.
  BibTeX

• Laurent Prévot, Philippe Muller, Pascal Denis, Laure Vieu. Une approche sémantique et rhétorique du dialogue. Un cas d'étude : l'explication d'un itinéraire. Dans : Traitement Automatique des Langues, Association pour le Traitement Automatique des Langues (ATALA), Vol. 43, N. 2, p. 43-70, décembre 2002.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/PMDV-TAL02.pdf
  BibTeX

• Maud Champagne, Andreas Herzig, Dominique Longin, Jean-Luc Nespoulous, Jacques Virbel. Formalisation pluridisciplinaire de l'inférence d'actes de langage non littéraux. Dans : Information - Interaction - Intelligence, Cépaduès Editions, Numéro spécial Modèles Formels de l'Interaction, Vol. Hors-série, p. 197-225, 2002.
  Résumé Accès : http://www.revue-i3.org/
  BibTeX

• Michel Aurnague, Myriam Bras, Laure Vieu, Nicholas Asher. The syntax and semantics of locating adverbials. Dans : Cahiers de Grammaire, Équipe de Recherche en Syntaxe et Sémantique, Toulouse, Vol. 26, p. 11-35, 2001.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/ABVA-CG01.pdf
  BibTeX

• Joan Busquets, Laure Vieu, Nicholas Asher. La SDRT : une approche de la cohérence du discours dans la tradition de la sémantique dynamique. Dans : Verbum, Vol. XXIII, N. 1, p. 73-101, 2001.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/BVA-VERB01.pdf
  BibTeX

• Philippe Muller, Laure Sarda. Représentation de la Sémantique des Verbes de Déplacements Transitifs du Français. Dans : Traitement Automatique des Langues, ATALA, Vol. 39, N. 2, p. 127-147, 1999.
  BibTeX

• Philippe Muller. Raisonnement spatial qualitatif : le cas du mouvement. Dans : Revue d'intelligence artificielle, Hermès, Vol. 13, N. 2, p. 325-353, décembre 1999.
  Accès : http://www.irit.fr/~Philippe.Muller/Publis/ria99.ps.gz
  BibTeX

• Mario Borillo. Risques technologiques ou risques de la raison? (1) Les stratégies de la raison computationnelle (2) Appréhender les technologies cognitives. Dans : ZENON, Milan, Toulouse, Vol. 1, N. 2 et 3, p. 67-84, mai 1998.
  BibTeX

• Mario Borillo. L'espace du dedans. Ce que la langue révèle de l'organisation mentale de l'espace. Dans : ZENON, Milan, Toulouse, Vol. 1, N. 4, p. 59-68, novembre 1998.
  BibTeX

• Nicholas Asher. Évènements, Faits, Propositions et Anaphore. Dans : Verbum, Vol. 19, p. 137-176, 1997.
  BibTeX

• Philippe Balbiani. Mecanisation de la geometrie : incidence et orthogonalite. Dans : Revue d'intelligence artificielle, Vol. 11, p. 179-211, 1997.
  BibTeX

• Nicholas Asher. L'interface pragmatique-semantics and l'interpretation du discours. Dans : Langages, ARMAND COLIN, Paris - FRANCE, Vol. 123, p. 130-150, 1996.
  BibTeX

• Nicholas Asher, Michel Aurnague, Myriam Bras, Laure Vieu. De l'espace-temps dans l'analyse du discours. Dans : Sémiotiques, Didier Erudition , Paris, Vol. 9, p. 11-62, décembre 1995.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/AABSV-SEM95.pdf
  BibTeX

Contributions à des ouvrages de synthèse / Books parts

• Andreas Herzig, Emiliano Lorini, Frédéric Moisan. A simple logic of trust based on propositional assignments. Dans : The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi. Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli (Eds.), College Publications, p. 1-12, juin 2011.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Igpl09.html
  BibTeX

• Hans van Ditmarsch, Tiago de Lima, Emiliano Lorini. Intention change via local assignments. Dans : Postproceedings of the third international workshop on languages, methodologies and development tools for multi-agent systems (LADS 2010). M. Dastani, A. E. F. Seghrouchni, F. Hubner, J. Leite (Eds.), Springer-Verlag, p. 136-151, Vol. 6822, LNCS, 2011.
  Accès : http://www.springerlink.com/content/k365153j84804857/fulltext.pdf
  BibTeX

• Guillaume Aucher, Andreas Herzig. Exploring the power of converse events. Dans : Dynamic Formal Epistemology. Patrick Girard, Olivier Roy, Mathieu Marion (Eds.), Springer, p. 51-74, Vol. 351, Synthese Library, janvier 2011.
  Accès : http://www.irit.fr/PERSONNEL/LILaC/Herzig/P/SyntheseLib11.html
  BibTeX

• Carole Adam, Benoit Gaudou, Dominique Longin, Emiliano Lorini. Logical modeling of emotions for Ambient Intelligence. Dans : Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives. Fulvio Mastrogiovanni, Nak-Young Chong (Eds.), IGI Global, p. 108-127, 2011.
  Résumé Accès : http://www.igi-global.com/book/handbook-research-ambient-intelligence-smart/41775
  BibTeX

• Benoit Gaudou, Andreas Herzig, Dominique Longin. Group belief and grounding in conversation. Dans : Logical Properties of Dialogue. Alain Trognon, Martine Batt, Jean Caelen, Denis Vernant (Eds.), Presses Universitaires de Nancy, p. 59-96, mars 2011.
  BibTeX

• Michael Zock, Stergos Afantenos. Using E-Learning to Achieve Fluency in Foreign Languages. Dans : Affective, Interactive and Cognitive Methods for E-Learning Design: Creating an Optimal Education Experience. Aimilia Tzanavari, Nicolas Tsapatsoulis (Eds.), Information Science Reference, 10, p. 187-205, 2010.
  BibTeX

• Dominique Longin. L'émotion dans la cognition : vers une formalisation logique. Dans : Dans l'atelier de l'art. Mario Borillo (Eds.), Editions Champ Vallon, p. 109-134, Collection milieux, 2010.
  Résumé
  BibTeX

• Maud Champagne, Andreas Herzig, Dominique Longin, Jean-Luc Nespoulous, Jacques Virbel. Indirect Speech Acts: A Multidisciplinary Approach. Dans : Dialogue and Logic. Jean Caelen, Denis Vernant, Daniel Vanderveken (Eds.), Kluwer, juillet 2010 (à paraître).
  BibTeX

• Philippe Muller, Laurent Prévot. Grounding information in route explanation dialogues. Dans : Spatial Language and Dialogue. Kenny Coventry, Thora Tenbrink, John Bateman (Eds.), Oxford University Press, p. 166-176, Series: Explorations in Language and Space number 3, avril 2009.
  Accès : http://www.oup.com/uk/catalogue/?ci=9780199554201
  BibTeX

• Hans van Ditmarsch, Jan Van Eijck, Rineke Verbrugge. Common Knowledge and Common Belief. Dans : Discourses on Games, Action, and Social Software. Jan van Eijck, Rineke Verbrugge (Eds.), Amsterdam University Press, p. 99-122, Vol. 5, Texts in Logic and Games, 2009.
  BibTeX

• Hans van Ditmarsch, Tim French. Simulation and information. Dans : Proceedings of KRAMAS. Jan Broersen, Ch Meyer (Eds.), LNCS, 2009 (à paraître).
  BibTeX

• Luis Macedo, Amilcar Cardoso, Rainer Reisenzein, Emiliano Lorini, Cristiano Castelfranchi. Artificial Surprise. Dans : Handbook of Research on Synthetic Emotions and Sociable Robotics: New Applications in Affective Computing and Artificial Intelligence. J. Vallverdú, D. Casacuberta (Eds.), IGI Global, p. 261-285, 2009.
  BibTeX

• Emiliano Lorini, Cristiano Castelfranchi. Intentional agents in defense. Dans : Safety and Security in Multi-Agent Systems. M. Barley, H. Mouratidis, A. Unruh, D. Spears, F. Martinelli (Eds.), Springer-Verlag, p. 293-307, Vol. 4324, LNCS, 2009.
  BibTeX

• Arnon Avron, Jonathan Ben-Naim, Beata Konikowska. Processing Information from a Set of Sources. Dans : Towards Mathematical Philosophy. David Makinson, Jacek Malinowski, Heinrich Wansing (Eds.), Springer, p. 165-186, Vol. 28, Trends in Logic, 2009.
  BibTeX

• Stefano Borgo, Laure Vieu. Artefacts in Formal Ontology. Dans : Handbook of Philosophy of Technology and Engineering Sciences. Anthonie Meijers (Eds.), Elsevier, p. 273-308, 2009.
  BibTeX

• Emiliano Lorini, Robert Demolombe. From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. Dans : Trust in Agent Societies. S. Barber, J. Sabater-Mir, M. Singh (Eds.), Springer-Verlag, p. 205-225, Vol. 5396, LNAI, 2008.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/Lorini&DemolombeWorkshopTrust.pdf
  BibTeX

• Hans van Ditmarsch, Barteld Kooi. Semantic Results for Ontic and Epistemic Change. Dans : Logic and the Foundations of Game and Decision Theory (LOFT 7). G Bonanno, W van der Hoek, M Wooldridge (Eds.), Amsterdam University Press, p. 87-117, Texts in Logic and Games, 2008.
  BibTeX

• Tim French, Hans van Ditmarsch. Undecidability for Arbitrary Public Announcement Logic. Dans : Proceedings of the seventh conference 'Advances in Modal Logic'. Carlos Areces, Rob Goldblatt (Eds.), College Publications, p. 23-42, Advances in Modal Logic, 7, 2008.
  BibTeX

• Alexandru Baltag, Hans van Ditmarsch, Larry Moss. Epistemic Logic and Information Update. Dans : Handbook on the Philosophy of Information. Pieter Adriaans, Johan van Benthem (Eds.), Elsevier Science, p. 369-463, 2008.
  BibTeX

• Hans van Ditmarsch. Comments on 'The Logic of Conditional Doxastic Actions'. Dans : New perspectives on games and interaction. Krysztof Apt, Robert van Rooij (Eds.), Amsterdam University Press, p. 33-44, Vol. 4, Texts in Logic and Games, décembre 2008.
  BibTeX

• Hans van Ditmarsch. Logical fragments in Ibn Khaldun's Muqaddimah. Dans : The Unity of Science in the Arabic Tradition. Shahid Rahman, Hassan Tahiri, Tony Street (Eds.), Springer-Verlag, p. 281-294, Logic, Epistemology and the Unity of Science, juin 2008.
  BibTeX

• Philippe Muller, Laurent Prévot. The rhetorical attachment of questions and answers. Dans : Meaning, Intentions, and Argumentation. Kepa Korta, Joana Garmendia (Eds.), University of Chicago Press, p. 165-178, Vol. 186, (CSLI-LN) Center for the Study of Language and Information - Lecture Notes, mars 2008.
  Accès : http://www.press.uchicago.edu/cgi-bin/hfs.cgi/00/256506.ctl
  BibTeX

• Emiliano Lorini, Michele Piunti, Cristiano Castelfranchi, Rino Falcone, Maria Miceli. Anticipation and emotions for goal directed agents. Dans : The Challenge of Anticipation. G. Pezzulo, M. Butz, R. Falcone, C. Castelfranchi (Eds.), Springer-Verlag, p. 135-160, Vol. 5225, LNAI, 2008.
  BibTeX

• Cristiano Castelfranchi, Rino Falcone, Emiliano Lorini. A non reductionist approach to trust. Dans : Computing with Social Trust and Reputation. J. Golbeck (Eds.), Springer, p. 45-72, Human-Computer Interaction Series, 2008.
  BibTeX

• Laurent Prévot, Laure Vieu. The moving right frontier. Dans : Constraints in Discourse. Anton Benz, Peter Kühnlein (Eds.), John Benjamins Publishing Company, p. 53-66, 2008.
  BibTeX

• Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard. Coalition games over Kripke semantics. Dans : Dialogues, Logics and Other Strange Things -- Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.), College Publications, p. 11-32, octobre 2008.
  BibTeX

• Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel. Prime Forms and Belief Revision. Dans : Perspectives on Universal Logic. J.-Y. Beziau, A. Costa-Leite (Eds.), Polimetrica, 20, p. 365-377, 2007.
  BibTeX

• Cristiano Castelfranchi, Francesca Giardini, Emiliano Lorini, Luca Tummolini. The prescriptive destiny of predictive attitudes: from expectations to norms via conventions. Dans : Agenti software e commercio elettronico: profili giuridici, tecnologici e psicosociali. G. Sartor, C. Cevenini, G- Quadri di Cardano (Eds.), Gedit edizioni, p. 43-55, 2007.
  BibTeX

• Nicholas Asher. Dynamic Discourse Semantics for Embedded Speech Acts. Dans : John Searle's Philosophy of Language. Savas Tsohatzidis (Eds.), Cambridge University Press, p. 211-244, 2007.
  BibTeX

• Farida Aouladomar, Véronique Moriceau, Farah Benamara, Patrick Saint-Dizier. Systèmes de question réponse en domaines spécialisés. Dans : La recherche d’informations précises : traitement automatique de la langue, apprentissage et connaissances pour les systèmes de question-réponse. Hermès (Eds.), Hermès, 7, p. 185-200, 2007.
  BibTeX

• Philippe Muller, Vincent Dugat. Représentations en logique classique. Dans : Raisonnements sur l'espace et le temps : des modèles aux applications. Le Ber, Gérard Ligozat, Odile Papini (Eds.), Hermès, 2, p. 33-70, 2007.
  BibTeX

• Laure Vieu. On blocking: The rhetorical aspects of content-level discourse relations and their semantics. Dans : Language, Representation and Reasoning. Memorial Volume to Isabel Gómez Txurruka. Michel Aurnague, Kepa Korta, Jesus-Mari Larrazabal (Eds.), University of the Basque Country Press, p. 263-282, novembre 2007.
  BibTeX

• Philippe Balbiani, Valentin Goranko, Ruuan Kellerman, Dimiter Vakarelov. Logical theories for fragments of elementary geometry. Dans : Handbook of Spatial Logics. M. Aiello, I. Pratt-Hartmann, J. van Benthem (Eds.), Springer, p. 343-428, 2007.
  BibTeX

• Philippe Balbiani. Propositional dynamic logic. Dans : Stanford Encyclopedia of Philosophy. E. Zalta (Eds.), Center for the Study of Language and Information, (en ligne), 2007.
  Accès : http://www.science.uva.nl/~seop/entries/logic-dynamic/
  BibTeX

• Laure Vieu, Michel Aurnague. Part-of relations, functionality and dependence. Dans : The Categorization of Spatial Entities in Language and Cognition. Michel Aurnague, Maya Hickmann, Laure Vieu (Eds.), John Benjamins Publishing Company, p. 307-336, 2007.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/VA-parts-CSELC07.pdf
  BibTeX

• Michel Aurnague, Maya Hickmann, Laure Vieu. Introduction: Searching for the categorization of spatial entities. Dans : The Categorization of Spatial Entities in Language and Cognition. Michel Aurnague, Maya Hickmann, Laure Vieu (Eds.), John Benjamins Publishing Company, p. 1-32, 2007.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/AHV-intro-CSELC07.pdf
  BibTeX

• Michel Aurnague, Maud Champagne, Laure Vieu, Andrée Borillo, Philippe Muller. Categorizing Spatial Entities with Frontal Orientation: the Role of Function, Motion and Saliency in the Processing of the French Internal Localization Nouns avant/devant. Dans : Categorization of Spatial Entities in Language and Cognition. Michel Aurnague, Maya Hickmann, Laure Vieu (Eds.), John Benjamins Publishing Company, p. 153-175, 2007.
  BibTeX

• Philippe Muller. The temporal essence of spatial objects. Dans : Categorization of Spatial Entities in Language and Cognition. Michel Aurnague, Maya Hickmann, Laure Vieu (Eds.), John Benjamins Publishing Company, p. 285-306, 2007.
  BibTeX

• Alain Trognon, Christine Sorsana, Martine Batt, Dominique Longin. Comment identifie-t-on un théorème-en-acte en logique interlocutoire ? Dans : Activité humaine et conceptualisation - Questions à Gérard Vergnaud. Maryvonne Merri (Eds.), Presses Universitaires du Mirail, p. 763-782, Questions d’Éducation, 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/2007_TrognonEtAl_PUM.pdf
  BibTeX

• Luis Fariñas del Cerro, Olivier Gasquet. Modal tableaux for reasoning about diagrams. Dans : Essays in Logic and Ontology. J. Malinowski, A. Pietruszczak (Eds.), Rodopi, p. 169-184, Vol. 91, Poznan Studies in the Philosophy of the Sciences and the Humanities, 2007.
  Accès : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/Pub/GasquetFarinas.pdf
  BibTeX

• Farah Benamara, Véronique Moriceau. Prepositions in Cooperative Question-Answering Systems: a Preliminary Analysis. Dans : Syntax and semantics of prepositions. Patrick Saint-Dizier (Eds.), Springer, p. 307-330, Vol. 29, Text, Speech and Language Technology, novembre 2006.
  Accès : http://www.springerlink.com/content/978-1-4020-3873-0
  BibTeX

• Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. Representing Paraconsistent Reasoning via Quantified Propositional Logic. Dans : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.), Springer, p. 84-118, Vol. 3300, LNCS, 2005.
  BibTeX

• Andreas Herzig, Ivan José Varzinczak. On the modularity of theories. Dans : Advances in Modal Logic, Volume 5. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.), King's College Publications, p. 93-109, 2005.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/AiML04.html
  BibTeX

• Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamed Saade. Modal Tableaux: Completeness vs. Termination. Dans : We Will Show Them: Essays in Honour of Dov Gabbay. Artemov, Barringer, Lamb, Woods (Eds.), College Publications (ISBN 1904987117), London, p. 587-614, Vol. 1, 2005.
  BibTeX

• Michel Aurnague, Maya Hickmann, Laure Vieu. Les entités spatiales dans la langue: étude descriptive, formelle et expérimentale de la catégorisation. Dans : Agir dans l'Espace. Catherine Thinus-Blanc, Jean Bullier (Eds.), Maison des Sciences de l'Homme, p. 217-232, 2005.
  BibTeX

• Mario Borillo, Jean-Pierre Goulette. Le langage, l'architecte et l'automate: du Vocabulaire de l'Architecture au calcul des processus créatifs. Dans : Approches cognitives de la création artistique. Mario Borillo (Eds.), Pierre Mardaga Editeur, Liège, p. 169-199, 2005.
  BibTeX

• Henk Verkyul, Co Vet, Andrée Borillo, Myriam Bras, Anne Le Draoulec, Arie Molendijk, Henriëtte De Swart, Carl Vetters, Laure Vieu. Tense and Aspect in Sentences. Dans : Handbook of French Semantics. Henriëtte De Swart, Francis Corblin (Eds.), CSLI, Stanford, p. 233-270, 2004.
  BibTeX

• Arie Molendijk, Henriëtte De Swart, Carl Vetters, Andrée Borillo, Myriam Bras, Anne Le Draoulec, Laure Vieu, Henk Verkyul, Co Vet. Meaning and Use of Past Tenses in Discourse. Dans : Handbook of French Semantics. Henriëtte De Swart, Francis Corblin (Eds.), CSLI, Stanford, p. 271-308, 2004.
  BibTeX

• Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. Quantified Propositional Formulas for Paraconsistency. Dans : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.), Springer, p. 20-42, 2004.
  BibTeX

• Wiebe Van Der Hoek, Marc Pauly, Michael Wooldridge. Teams over Time - A Logical Perspective. Dans : Teamwork: Multi-disciplinary Perspectives. Natalie Gold (Eds.), Palgrave MacMillan, p. 161-180, 2004.
  Résumé
  BibTeX

• Andrée Borillo, Myriam Bras, Anne Le Draoulec, Laure Vieu, Arie Molendijk, Henriëtte De Swart, Henk Verkyul, Co Vet, Carl Vetters. Tense, Connectives and Discourse Structure. Dans : Handbook of French Semantics. Henriëtte De Swart, Francis Corblin (Eds.), CSLI, Stanford, p. 309-348, 2004.
  BibTeX

• Mario Borillo. Les processus créatifs à l'épreuve des Sciences et technologies de la cognition: pour un premier regard sur les relations Art/Cognition. Dans : Art et savoir. Kustosz (Eds.), L'Harmattan, Paris, p. 1-11, mars 2004.
  BibTeX

• Farah Benamara. Generating Intensional Answers in Intelligent Question Answering. Dans : Natural language generation. Belz Anja (Eds.), Springer Verlag, LNAI, p. 1-15, juillet 2004.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. Advanced Relaxation for Cooperative Question Answering. Dans : New Directions in Question Answering. Mark Maybury (Eds.), MIT Press, p. 234-254, août 2004.
  BibTeX

• Mario Borillo. Risques technologiques ou risques de la raison? Pour une réflexion sur les technologies cognitives. Dans : Yearbook of the Artificial, Issue II. Negrotti (Eds.), Peter Lang, p. 1-11, 2003.
  BibTeX

• Pierre Gambarotto, Philippe Muller. Ontological problems for the semantics of spatial expressions in natural language. Dans : Representing direction in language and space. Emile van der Zee , Jon Slack (Eds.), Oxford University Press, p. 144-165, 2003.
  BibTeX

• Mario Borillo, Jean-Pierre Goulette. Langage et cognition spatiale dans le processus de conception architecturale. Dans : Cognition et création. Explorations cognitives des processus de création. Mario Borillo, Jean-Pierre Goulette (Eds.), Pierre Mardaga Editeur, p. 287-310, 2002.
  BibTeX

• Mario Borillo, Jean-Pierre Goulette. La création comme objet de connaissance. Dans : Cognition et création. Explorations cognitives des processus de création. Mario Borillo, Jean-Pierre Goulette (Eds.), Pierre Mardaga Editeur, Liège, p. 7-14, 2002.
  BibTeX

• Mario Borillo. Une rencontre symptomatique de la mutation computationnelle de noyre temps, Art contemporain et Sciences de la cognition. Dans : Cognition et création. Explorations cognitives des processus de création. Mario Borillo, Jean-Pierre Goulette (Eds.), Pierre Mardaga Editeur, Liège, p. 15-34, 2002.
  BibTeX

• Mario Borillo, Jean-Pierre Goulette. Langage et cognition spatiale dans le processus de conception architecturale. Dans : Cognition et création. Explorations cognitives des processus de création. Mario Borillo, Jean-Pierre Goulette (Eds.), Pierre Mardaga, p. 287-310, 2002.
  BibTeX

• Mario Borillo, Jean-Pierre Goulette. Une rencontre symptomatique de la mutation computationnelle de noyre temps, Art contemporain et Sciences de la cognition. Dans : Cognition et création. Explorations cognitives des processus de création. Mario Borillo (Eds.), Pierre Mardaga, p. 15-34, 2002.
  BibTeX

• Gabriella Crocco, Andreas Herzig. Les operations de changement basees sur le test de Ramsey. Dans : Révision des croyances. Pierre Livet (Eds.), Hermès, p. 21-41, juillet 2002.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/BookLivet02.html
  BibTeX

• Myriam Bras, Anne Le Draoulec, Laure Vieu. French Adverbial 'Puis' between Temporal Structure and Discourse Structure. Dans : Semantic and Pragmatic Issues in Discourse and Dialogue. Experimenting with Current Dynamic Theories. Myriam Bras-Grivart, Laure Vieu (Eds.), Elsevier, p. 109-146, CRiSPI, 2001.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/BLDV-crispi-puis01.pdf
  BibTeX

• Mario Borillo. Pensée et machine. Nouvelles hypothèses et nouvelles recherches sur la nature de l'esprit, au carrefour des sciences de la cognition et des sciences de la computation. Dans : La quête du sens. (Eds.), Alain Gérard, Toulouse, p. 45-63, septembre 2000.
  BibTeX

• Dominique Longin, David Sadek. Dialogue et dynamique des croyances. Dans : Le Temps, l'Espace et l'Evolutif en Sciences du Traitement de l'Information. Henri Prade, Jeansoulin, Garbay, , (Eds.), Cépaduès Editions, p. 345-359, Vol. 2, 2000.
  Résumé
  BibTeX

• Philippe Besnard, Jérôme Lang. Graded paraconsistency. Dans : Frontiers in Paraconsistent Logic. Diderik Batens, Chris Mortensen, Graham Priest, Jean-Paul Van Bendegem (Eds.), Research Studies Press, Baldock, Hertfordshire, England, p. 75-94, 2000.
  BibTeX

• Philippe Balbiani, Luis Fariñas del Cerro. Diagrammatic reasoning in projective geometry. Dans : Logic, Language and Reasoning: Essays in Honour of Dov Gabbay. Hans Ohlbach, Uwe Reyle (Eds.), Kluwer, p. 99-114, 1999.
  BibTeX

• Michel Aurnague, Laure Vieu. A modular approach to the semantics of space in language. Dans : Issues in Cognitive Linguistics. Leon de Stadler, Christoph Eyrich (Eds.), Mouton de Gruyter, Berlin, p. 23-34, Cognitive Linguistics Research, 1999.
  BibTeX

• Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade. A roadmap of qualitative independence. Dans : Fuzzy Sets, Logics and Reasoning about Knowledge. D. Dubois, H. Prade, E.P. Klement (Eds.), Kluwer Academic Publishers, Dordrecht, Pays-Bas, p. 325-350, Vol. 15, Applied Logic series, 1999.
  BibTeX

• Philippe Balbiani. Axiomatization of logics based on Kripke models with relative accessibility relations. Dans : Incomplete Information: Rough Set Analysis. Ewa Orlowska (Eds.), Physica-Verlag, p. 553-578, 1998.
  BibTeX

• Andreas Herzig. Logics for belief base updating. Dans : Handbook of defeasible reasoning and uncertainty management. Didier Dubois, Dov Gabbay, Henri Prade, Philippe Smets (Eds.), Kluwer Academic Publishers, p. 189-231, Vol. 3 (Belief Change), 1998.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/P/u.html
  BibTeX

• Luis Fariñas del Cerro, Valérie Lugardon. Quantification and Dependence Logics. Dans : Logic, Language and Information. Seiki Akama (Eds.), Kluwer, Dordrecht, p. 179-191, 1997.
  Accès : http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/book.htm?0-7923-4376-X
  BibTeX

• Laure Vieu. Spatial Representation and Reasoning in Artificial Intelligence. Dans : Spatial and Temporal Reasoning. Oliviero Stock (Eds.), Kluwer, p. 3-41, 1997.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/V-SRR97.pdf
  BibTeX

• Michel Aurnague, Laure Vieu, Andrée Borillo. La représentation formelle des concepts spatiaux dans la langue. Dans : Langage et cognition spatiale. Michel Denis (Eds.), Masson Éditeur, p. 69-102, Collection 'Sciences Cognitives', 1997.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/AVB-LCS97.pdf
  BibTeX

• Mario Borillo. Création et Cognition: l'art par l'ordinateur et au delà. Dans : Les cinq sens de la création. M. Borillo, A. Sauvageot (Eds.), Editions Champ Vallon, Seyssel, p. 13-22, 1996.
  BibTeX

• Olivier Gasquet, Andreas Herzig. From Classical to Normal Logics. Dans : Proof Theory of Modal Logics. Heinrich Wansing (Eds.), Kluwer, p. 293-311, Vol. Num. 2, Applied Logic Series, 1996.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/P/ptml96.html
  BibTeX

• Gabriella Crocco, Luis Fariñas del Cerro. Counterfactuals: Foundations for non monotonic reasoning, sequent Systems. Dans : Logic and Information. A. Fuhrmann, H. Rott (Eds.), DeGruyter Publishers, Berlin, p. 189-207, 1995.
  BibTeX

• Gabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig. Introduction. Dans : Conditionals From Philosophy to Computer Science. G. Crocco, L. Fariñas del Cerro, A. Herzig (Eds.), Oxford University Press, p. 1-13, 1995.
  BibTeX

• Olivier Gasquet, Andreas Herzig. Translation-Based Deduction Methods for Modal Logics. Dans : Advances in Intelligent Computing - IPMU'94, Selected Papers. B. Bouchon-Meunier, R.R. Yager, L. Zadeh (Eds.), Springer, p. 399-408, LNCS 945, 1995.
  BibTeX

• Olivier Gasquet. Optimization of Deduction for Multi-Modal Logics. Dans : Applied Logic: How, What and Why. M. Masuch, L. Polos (Eds.), Kluwer, p. 61-77, 1995.
  Accès : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/P/APLOC.ps.gz
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. Changements minimaux constructifs. Dans : Méthodes logiques pour les sciences cognitives. Jacques Dubucs, François Lepage (Eds.), Hermes, p. 195-204, 1995.
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. Revisions, Updates, and Interference. Dans : Logic and Information. André Fuhrmann, Hans Rott (Eds.), DeGruyter Publishers, Berlin, p. 189-207, 1995.
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. Modal deduction with applications in epistemic and temporal logic. Dans : Handbook of Logic and Artificial Intelligence. Dov Gabbay, J. Chris, A. Robinson (Eds.), Oxford, p. 499-594, Vol. 4, 1995.
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. Possibility theory and independence. Dans : Advances in Intelligent Computing - IPMU'94, Selected Papers. Bernadette Bouchon-Meunier, R. Yager, A. Zadeh (Eds.), Springer, p. 292-301, 1995.
  BibTeX

• Michel Aurnague, Laure Vieu. A three-level approach to the semantics of space. Dans : Semantics of Prepositions: From Mental Processing to Natural Language Processing. Cornelia Zelinski-Wibbelt (Eds.), Mouton de Gruyter, p. 393-439, 1993.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/AV-3LA93.pdf
  BibTeX

• Philippe Balbiani. A promenade from provability to consistency. Dans : Intensional Logics for Programming. Luis Fariñas del Cerro, Martti Penttonen (Eds.), Oxford University Press, p. 195-219, 1992.
  BibTeX

• Philippe Balbiani. Considérations modales sur la négation par échec. Dans : PRC-GDR Intelligence artificielle. Bernadette Bouchon-Meunier (Eds.), Hermès, p. 223-230, 1990.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• Benoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc. How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments (regular paper). Dans : Multi-Agent-Based Simulation, Taipei, Taiwan, 02/05/2011-06/05/2011, Jordi Sabater-Mir, Daniel Villatoro, S. Sichman (Eds.), Springer-Verlag, LNAI 7124, p. 1-12, 2011.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Mabs11.html
  BibTeX

• Anas Abou El Kalam, Philippe Balbiani. A policy language for modelling recommendations (regular paper). Dans : International Information Security Conference (IFIP SEC 2011), Pafos (Chypre), 18/05/2011-20/05/2011, D. Gritzalis, J. Lopez (Eds.), Springer, p. 176-189, 2011.
  BibTeX

• Philippe Balbiani. The word problem in semiconcept algebras (regular paper). Dans : Topology, Algebra, and Categories in Logic (TACL 2011), Marseille (France), 26/07/2011-30/07/2011, L. Santocanale, N. Olivetti, Y. Lafont (Eds.), Université de Marseille, p. 77-80, 2011.
  BibTeX

• Philippe Balbiani. The word problem in semiconcept algebras (regular paper). Dans : Concept Lattices and their Applications (CLA 2011), Nancy (France), 17/10/2011-20/10/2011, A. Napoli, V. Vychodil (Eds.), INRIA Nancy - Grand Est, p. 279-294, 2011.
  Résumé
  BibTeX

• Philippe Balbiani. The word problem in semiconcept algebras (regular paper). Dans : Computability in Europe, Sofia (Bulgarie), 27/06/2011-02/07/2011, H. Ganchev, B. Löwe, D. Normann, I. Soskov, M. Soskova (Eds.), St. Kliment Ohridski University Press, p. 50-59, 2011.
  Résumé
  BibTeX

• Laure Vieu. On the semantics of discourse relations (regular paper). Dans : Constraints in Discourse (CID 2011), Agay, France, 14/09/2011-16/09/2011, N. Asher, L. Danlos (Eds.), INRIA, (support électronique), septembre 2011.
  Accès : http://passage.inria.fr/ProcCID2011.zip
  BibTeX

• Marianne Vergez-Couret, Myriam Bras, Laurent Prévot, Laure Vieu, Caroline Atallah. Discourse contribution of enumerative structures involving `pour deux raisons' (regular paper). Dans : Constraints in Discourse (CID 2011), Agay, France, 14/09/2011-16/09/2011, N. Asher, L. Danlos (Eds.), INRIA, (support électronique), septembre 2011.
  Accès : http://passage.inria.fr/ProcCID2011.zip
  BibTeX

• Jeremy Riviere, Carole Adam, Sylvie Pesty, Catherine Pelachaud, Nadine Guiraud, Dominique Longin, Emiliano Lorini. Expressive Multimodal Conversational Acts for SAIBA Agents (regular paper). Dans : International Conference on Intelligent Virtual Agents (IVA 2011), Reykjavik, 15/09/2011-17/09/2011, Vol. 6895, H. Vilhjálmsson, S. Kopp, Marsella, R. Thórisson (Eds.), Springer-Verlag, LNCS, p. 316-323, 2011.
  BibTeX

• Emiliano Lorini. A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling (regular paper). Dans : LORI-III Workshop on Logic, Rationality and Interaction, Guangzhou, P.R.China, 10/10/2011-13/10/2011, Vol. 6953, H. van Ditmarsch , Lang, S. Ju (Eds.), Springer-Verlag, LNAI, p. 165-178, 2011.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/LORI3CameraReady.pdf
  BibTeX

• Dengji Zhao, Dongmo Zhang, Laurent Perrussel. Mechanism Design for Double Auctions with Temporal Constraints (regular paper). Dans : International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, 19/07/2011-22/07/2011, Toby Walsh (Eds.), AAAI Press, juillet 2011 (à paraître).
  BibTeX

• Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin. A Modal Framework for Relating Belief and Signed Information (regular paper). Dans : Computational Logic in Multi-Agent Systems (CLIMA 2011), Barcelona, 17/07/2011-18/07/2011, Vol. 6814, Springer-Verlag, LNCS, p. 58-73, juillet 2011.
  Accès : http://www.springerlink.com/content/82612u1064005r1n/fulltext.pdf
  BibTeX

• Jerusa Marchi, Laurent Perrussel. Prime Normal Forms in Belief Merging (regular paper). Dans : International Conference on Artificial Intelligence (FLAIRS 2011), Palm Beach, FL, USA, 18/05/2011-20/05/2011, AAAI Press, p. 51-56, mai 2011.
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. The modal logic of equilibrium models (regular paper). Dans : Frontiers of Combining Systems (FroCoS 2011), Saarbrucken, 05/10/2011-07/10/2011, Springer, 2011 (à paraître).
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
  BibTeX

• Andreas Herzig, Emiliano Lorini, Nicolas Troquard. A dynamic logic of institutional actions (regular paper). Dans : Computational Logic in Multi-Agent Systems (CLIMA 2011), Barcelona, 17/07/2011-18/07/2011, Vol. 6814, João Leite, Paolo Torroni (Eds.), Springer, LNCS/LNAI, p. 295-311, juillet 2011.
  Résumé Accès : http://www.springerlink.com/content/kt2wu301vl67m254/fulltext.pdf
  BibTeX

• Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard. A dynamic logic of normative systems (regular paper). Dans : International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, 18/07/2011-22/07/2011, Toby Walsh (Eds.), International Joint Conference on Artificial Intelligence (IJCAI), p. 228-233, juillet 2011.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ijcai11.html
  BibTeX

• Olivier Gasquet, François Schwarzentruber. Concrete epistemic modal logic: Flatland (regular paper). Dans : International Congress on Tools for Teaching Logic, Salamanca (Spain), 01/06/2011-04/06/2011, Springer, (support électronique), 2011.
  BibTeX

• Olivier Gasquet, François Schwarzentruber, Martin Strecker. Panda: a Proof Assistant in Natural Deduction for All. A Gentzen style proof assistant for undergraduate students} (regular paper). Dans : , Salamanca (Spain), 01/06/2011-04/06/2011, Springer, (support électronique), 2011.
  BibTeX

• Olivier Gasquet, François Schwarzentruber, Martin Strecker. Satoulouse: the computational power of propositional logic shown to beginners (regular paper). Dans : International Congress on Tools for Teaching Logic, Salamanca (Spain), 01/06/2011-04/06/2011, Springer, (support électronique), 2011.
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. Contingency-based equilibrium logic (regular paper). Dans : Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, 16/05/2011-19/05/2011, Jim Delgrande, Wolfgang Faber (Eds.), Springer-Verlag, LNCS 6645, p. 223-228, mai 2011.
  Résumé Accès : http://www.irit.fr/PERSONNEL/LILaC/Herzig/P/Commonsense11.html
  BibTeX

• Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini. Agents that speak: modelling communicative plans and information sources in a logic of announcements (short paper). Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 02/05/2011-06/05/2011, ACM Press, p. 1207-1208, 2011.
  Accès : http://www.ifaamas.org/Proceedings/aamas2011/papers/B33.pdf
  BibTeX

• Nadine Guiraud, Dominique Longin, Emiliano Lorini, Sylvie Pesty, Jérémy Rivière. The face of emotions: a logical formalization of expressive speech acts (regular paper). Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 02/05/2011-06/05/2011, ACM Press, p. 1031-1038, mai 2011.
  Accès : http://www.ifaamas.org/Proceedings/aamas2011/papers/D7_G78.pdf
  BibTeX

• Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi. The Counting Problem in the Light of Role Kinds (regular paper). Dans : International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense 2011), Palo Alto, 21/03/2011-23/03/2011, E. Davis, P. Doherty, E. Erdem (Eds.), AAAI Press, p. 76-82, mars 2011.
  BibTeX

• Nervo Verdezoto, Laure Vieu. Towards semi-automatic methods for improving WordNet (regular paper). Dans : International Workshop on Computational Semantics (IWCS 2011), Oxford, UK, 12/01/2011-14/01/2011, J. Bos, S. Pulman (Eds.), Oxford University Press, p. 275-284, janvier 2011.
  BibTeX

• Philippe Balbiani. Axiomatizing the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints (regular paper). Dans : International Symposium on Temporal Representation and Reasoning (TIME 2010), Paris (France), 06/09/2010-08/09/2010, N. Markey, J. Wijsen (Eds.), IEEE, p. 19-26, 2010.
  Résumé
  BibTeX

• Philippe Balbiani. Coherence test on graphs constraints between hyperintervals (regular paper). Dans : International Conference on Tools with Artificial Intelligence (ICTAI 2010), Arras (France), 27/10/2010-29/10/2010, IEEE, p. 223-226, 2010.
  Résumé
  BibTeX

• Philippe Balbiani. Tools and techniques in qualitative reasoning about space (regular paper). Dans : International Symposium on Foundations of Information and Knowledge Systems (FoIKS) (FolKS 2010), Sofia (Bulgarie), 14/02/2010-19/02/2010, Sebastian Link, Henri Prade (Eds.), Springer, LNCS 5956, p. 1-2, 2010.
  BibTeX

• Philippe Balbiani, Yannick Chevalier, Marwa El Houri. An intruder model for trust negotiation (regular paper). Dans : International Conference on Risks and Security of Internet and Systems (CRiSIS 2010), Montréal, 10/10/2010-13/10/2010, Yannick Chevalier, Marwa El Houri (Eds.), IEEE, p. 1-8, 2010.
  Résumé
  BibTeX

• Dengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel. Maximal Matching for Double Auction (student paper). Dans : Advances in Artificial Intelligence (AI 2010), Adelaide, 07/12/2010-10/12/2010, Vol. 6464, Springer-Verlag, LNCS, p. 516-525, décembre 2010.
  BibTeX

• Laurent Perrussel, Jerusa Marchi, Dongmo Zhang. Characterizing Relevant Belief Revision Operators (regular paper). Dans : Advances in Artificial Intelligence (AI 2010), Adelaide, 07/12/2010-10/12/2010, Vol. 6464, Springer-Verlag, LNCS, p. 42-51, décembre 2010.
  BibTeX

• Stergos Afantenos, Nicholas Asher. Testing SDRT's Right Frontier (regular paper). Dans : International Conference on Computational Linguistics (COLING 2010), Beijing, China, 23/08/2010-27/08/2010, Association for Computational Linguistics (ACL), p. 1-9, août 2010.
  Résumé Accès : http://www.aclweb.org/anthology/C/C10/C10-1001.pdf
  BibTeX

• Farah Benamara, Souhila Kaci, Gabriella Pigozzi. Individual opinions-based judgement aggregation procedures (regular paper). Dans : Modeling Decisions for Artificial Intelligence (MDAI 2010), Perpignan, 27/10/2010-29/10/2010, Springer-Verlag, p. 234-240, 2010 (à paraître).
  BibTeX

• Anaïs Cadilhac, Nathalie Aussenac-Gilles, Farah Benamara. Ontolexical resources for feature-based opinion mining: a case-study (regular paper). Dans : ONTOLEX-Workshop at COLING 2010, Pekin, 23/08/2010, Chinese Information Processing Society, p. 77-86, 2010.
  Accès : http://weblab.iit.cnr.it/kyoto/aclweb.org/anthology-new/W/W10/W10-33.pdf
  BibTeX

• Arnon Avron, Jonathan Ben-Naim, Beata Konikowska. Logics of Reasonable Information Sources (regular paper). Dans : International Symposium on Multiple-Valued Logic, Casa Convalescència, Barcelone, Espagne, 26/05/2010-28/05/2010, IEEE Computer Society - Conference Publishing Services, p. 61-66, 2010.
  BibTeX

• Stergos Afantenos, Pascal Denis, Philippe Muller, Laurence Danlos. Learning recursive segments for discourse parsing (regular paper). Dans : Language Resources and Evaluation Conference (LREC 2010), La Valette, Malte, 19/05/2010-21/05/2010, European Language Resources Association (ELRA), (en ligne), 2010.
  Résumé Accès : http://www.lrec-conf.org/proceedings/lrec2010/pdf/582_Paper.pdf
  BibTeX

• Pascal Denis, Philippe Muller. Comparison of different algebras for inducing the temporal structure of texts (regular paper). Dans : International Conference on Computational Linguistics (COLING 2010), Beijing, 23/08/2010-27/08/2010, Huang Chu-Ren, Dan Jurafsky (Eds.), Tsinghua University Press, p. 250-258, 2010.
  Résumé Accès : http://aclweb.org/anthology-new/C/C10/C10-1029.pdf
  BibTeX

• Dongmo Zhang, Laurent Perrussel, Wei Huang. Dynamic Auction: a Tractable Auction Procedure (regular paper). Dans : Conference on Artificial Intelligence (AAAI 2010), Atlanta, 11/07/2010-15/07/2010, AAAI Press, p. 935-940, 2010.
  BibTeX

• Chiaki Sakama, Martin Caminada, Andreas Herzig. A Logical Account of Lying (regular paper). Dans : European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, 13/09/2010-15/09/2010, Tomi Janhunen, Ilkka Niemelä (Eds.), Springer-Verlag, LNCS 6341, p. 286-299, septembre 2010.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jelia10.html
  BibTeX

• Philippe Balbiani, Rachid Echahed, Andreas Herzig. A modal Logic for Termgraph Rewriting (regular paper). Dans : International Conference on Graph Transformation (ICGT 2010), Twente, 27/09/2010-02/10/2010, Ehrig , Rensink , Rozenberg , Schürr (Eds.), Springer-Verlag, LNCS 6372, p. 59-74, septembre 2010.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Icgt10.html
  BibTeX

• Emiliano Lorini, Michele Piunti. Introducing Relevance Awareness in BDI Agents (regular paper). Dans : InternationalWorkshop on Programming Multi-Agent Systems (ProMAS 2009), Budapest, 10/05/2009-11/05/2009, Vol. 5919, Springer-Verlag, LNAI, p. 219-236, 2010.
  BibTeX

• Emiliano Lorini. The hidden path from delegation to obligations: a logical analysis (regular paper). Dans : Artificial Intelligence and Social Behavior Society Convention - Second Symposium on Social Networks and Multiagent Systems (AISB - SNAMAS 2010), Leicester, 29/03/2010-01/04/2010, Giulia Andrighetto, Guido Boella, Ugo Pagallo, Serena Villata (Eds.), The Society for the Study of Artificial Intelligence and Simulation of Behaviour (SSAISB), 2010 (à paraître).
  BibTeX

• Emiliano Lorini. A Logical Analysis of Commitment Dynamics (regular paper). Dans : International Conference on Deontic Logic in Computer Science (DEON 2010), Florence, 07/07/2010-09/07/2010, Vol. 6181, Guido Governatori, Giovanni Sartor (Eds.), Springer-Verlag, LNAI, p. 288-305, juillet 2010.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/DEON_Lorini_CameraReady.pdf
  BibTeX

• Emiliano Lorini, Tiago de Lima, Hans van Ditmarsch. A Logical Model of Intention and Plan Dynamics (short paper). Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/2010-20/08/2010, IOS Press, p. 1075-1076, 2010.
  BibTeX

• Caroline Devred, Sylvie Doutre, Claire Lefèvre, Pascal Nicolas. Dialectical Proofs for Constrained Argumentation (regular paper). Dans : Computational models of argument (COMMA 2010), Italy, 08/09/2010-10/09/2010, Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, R. Simari (Eds.), IOS Press, p. 159-170, septembre 2010.
  Résumé Accès : http://www.booksonline.iospress.nl/Content/View.aspx?piid=18240
  BibTeX

• Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini. Trust in complex actions (poster). Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/2010-20/08/2010, IOS Press, p. 1037-1038, août 2010.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Lis10_trust.html
  BibTeX

• Olivier Gasquet, François Schwarzentruber. Knowledge in Lineland (Extended Abstract) (short paper). Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto (Canada), 10/05/2010-14/05/2010, 2010 (à paraître).
  BibTeX

• Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade. Controller/orchestrator synthesis via filtration (regular paper). Dans : Methods for Modalities (MAM 2009), Copenhague, Danemark, 12/11/2009-14/11/2009, Vol. 262, Electronic Notes in Theoretical Computer Science, p. 33-48, 2010.
  BibTeX

• Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko. Composition of Services with Constraints (regular paper). Dans : Formal Aspects of Component Software (FACS 2009), Eindhoven, Pays-Bas, 02/11/2009-03/11/2009, Vol. 263, Electronic Notes in Theoretical Computer Science, p. 31-46, 2010.
  Résumé
  BibTeX

• Emiliano Lorini, Mario Verdicchio. Towards a Logical Model of Social Agreement for Agent Societies (regular paper). Dans : International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN 2009), Budapest, 12/05/2009-12/05/2009, Springer-Verlag, LNCS 6069, p. 147-162, avril 2010.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/COIN2009LoriniVerdicchio.pdf
  BibTeX

• Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis. Unifying the intentional and institutional semantics of speech acts (regular paper). Dans : International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 10/05/2009-15/05/2009, Vol. Revised & selected papers, Matteo Baldoni, Jamal Bentahar, Birna van Riemsdijk, John Lloyd (Eds.), Springer-Verlag, LNAI 5948, p. 68-84, avril 2010.
  BibTeX

• Mathijs De Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini. Tableaux for Acceptance Logic (regular paper). Dans : International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 11/05/2009-12/05/2009, Baldoni, J. Bentahar, J. Lloyd, B. van Riemsdijk (Eds.), Springer-Verlag, LNAI 5948, p. 85-100, avril 2010.
  BibTeX

• Philippe Balbiani. Axiomatization and completeness of lexicographic products of modal logics (regular paper). Dans : Frontiers of Combining Systems (FroCoS 2009), Trento (Italie), 16/09/2009-18/09/2009, S. Ghilardi, R. Sebastiani (Eds.), Springer-Verlag, LNAI 5749, p. 165-180, 2009.
  Résumé
  BibTeX

• Stergos Afantenos, Nicolas Hernandez. What's in a Message? (regular paper). Dans : Workshop on Cognitive Aspects of Computational Language Acquisition, Athens, Greece, 01/03/2009-03/03/2009, Association for Computational Linguistics (ACL), p. 18-25, 2009.
  Accès : http://www.aclweb.org/anthology/W/W09/W09-0903.pdf
  BibTeX

• Nadine Guiraud, Andreas Herzig, Emiliano Lorini. Speech acts as announcements (regular paper). Dans : Dagstuhl Seminar on Information processing, rational belief change and social interaction, Dagstuhl, Germany, 23/08/2009-27/08/2009, Giacomo Bonanno , Delgrande, Rott (Eds.), Science Publications, Dagstuhl Seminar Proceedings 1862-4405, (en ligne), novembre 2009.
  Accès : http://drops.dagstuhl.de/opus/volltexte/2009/2293/pdf/09351.HerzigAndreas.Paper.2293.pdf
  BibTeX

• Ludovic Tanguy, Fanny Lalleman, Claire François, Philippe Muller, Patrick Séguéla. RHECITAS: Citation analysis of French Humanities articles (regular paper). Dans : Corpus Linguistics conference, Manchester, 20/07/2009-23/07/2009, Michaela Mahlberg, Victorina González-Díaz, Catherine Smith (Eds.), Universal Conference Management Systems & Support (UCMSS), (support électronique), 2009.
  Accès : http://ucrel.lancs.ac.uk/publications/cl2009/205_FullPaper.doc
  BibTeX

• Philippe Balbiani, Yannick Chevalier, Marwa El Houri. A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment (regular paper). Dans : International Conference on Risks and Security of Internet and Systems (CRiSIS 2009), Toulouse - France, 19/10/2009-22/10/2009, Anas Abou El Kalam, Yves Deswarte, Mahmoud Mostafa (Eds.), IEEE, p. 3-11, décembre 2009.
  BibTeX

• Masabumi Furuhata, Laurent Perrussel, Jean-Marc Thévenin, Dongmo Zhang. Experimental Market Mechanism Design for Double Auction (regular paper). Dans : Advances in Artificial Intelligence (AI 2009), Melbourne, 01/12/2009-04/12/2009, Vol. 5866, Springer-Verlag, LNCS, p. 1-10, décembre 2009.
  Résumé
  BibTeX

• Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini. Dynamic Context Logic (regular paper). Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing (China), 08/10/2009-11/10/2009, Springer-Verlag, p. 15-26, 2009.
  BibTeX

• Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Meyer. Intentions and assignments (regular paper). Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, 08/10/2009-11/10/2009, Springer-Verlag, p. 198-211, 2009.
  BibTeX

• Emiliano Lorini, François Schwarzentruber, Andreas Herzig. Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together (regular paper). Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, China, 08/10/2009-11/10/2009, Springer-Verlag, p. 212-226, 2009.
  BibTeX

• Yann Krupa, Laurent Vercouter, Jomi F. Hübner, Andreas Herzig. Trust Based Evaluation of Wikipedia's Contributors (regular paper). Dans : International Workshop on Engineering Societies in the Agents World (ESAW 2009), Utrecht, 18/11/2009-20/11/2009, Springer-Verlag, LNCS 5881, p. 148-161, novembre 2009.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Esaw09.html
  BibTeX

• Carole Adam, Vincent Louis, Robert Demolombe. Formalising the institutional interpretation of actions in an extended BDI logic. Dans : International Workshop on Engineering Societies in the Agents World (ESAW 2008), Saint-Etienne, 24/09/2008-26/09/2008, Springer-Verlag, p. 1-12, septembre 2009.
  BibTeX

• Laszlo Aszalos, Andreas Herzig. A protocol for execution of distributed logic programs (regular paper). Dans : International Symposium on Intelligent Distributed Computing (IDC 2009), Ayia Napa, Cyprus, 12/10/2009-14/10/2009, Papadopoulos, Badica (Eds.), Springer-Verlag, Studies in Computational Intelligence 237, p. 21-30, octobre 2009.
  BibTeX

• Jean-François Bonnefon, Dominique Longin, Manh Hung Nguyen. Relation of Trust and Social Emotions: A Logical Approach (short paper). Dans : IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), Milano, Italy, 15/09/2009-18/09/2009, IEEE, p. 289-292, 2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Conf_internationales/2009_IAT_Bonnefon_et_al.pdf
  BibTeX

• Luis Fariñas del Cerro, Robert Demolombe. Deduction and Abduction of Information about an entity. Dans : Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Brasilia (Brazil), 28/06/2009-03/07/2009 (conférencier invité), 2009 (à paraître).
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Complete axiomatizations of modal logics for region-based theories of space (regular paper). Dans : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/2009-31/12/2009 (conférencier invité), 2009.
  BibTeX

• Philippe Balbiani. Lexicographic products of modal logics with linear frames (regular paper). Dans : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/2009-31/12/2009, Association for Symbolic Logic (ASL), (support électronique), 2009.
  BibTeX

• Emiliano Lorini, Dominique Longin, Benoit Gaudou. Anchoring the institutional dimension of speech acts in agents’ attitudes: a logical approach (regular paper). Dans : IEEE International Conference on Research, Innovation and Vision for the Futur (RIVF 2009), Da Nang City, Viet Nam, 13/07/2009-17/07/2009, Tru Cao, Ralf-Detlef Kutsche, Akim Demaille (Eds.), IEEE, p. 65-72, 2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Conf_internationales/2009_RIVF_Lorini_et_al.pdf
  BibTeX

• Benoit Gaudou, Andreas Herzig, Dominique Longin. Logical formalization of social commitments: Application to Agent Communication Languages (poster). Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, 10/05/2009-15/05/2009, Vol. 2, Keith Decker, Jaime Sichman (Eds.), IFAAMAS, p. 1293-1294, 2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Conf_internationales/2009_AAMAS_Gaudou_et_al.pdf
  BibTeX

• Olivier Gasquet, Bilal Said, François Schwarzentruber. A semantics for an event based generic tableau prover (student paper). Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway, 06/07/2009-10/07/2009, University of Oslo, p. 1-15, juillet 2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Reports/Tableaux2009RT.pdf
  BibTeX

• Emiliano Lorini, François Schwarzentruber. A logic for reasoning about counterfactual emotions. Dans : International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena (USA), 11/07/2009-17/07/2009, C. Boutilier (Eds.), AAAI Press, p. 867-872, 2009.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/IJCAI.pdf
  BibTeX

• Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade. Automata synthesis by asynchronous orchestration with applications to web services composition (regular paper). Dans : Interaction and Concurrency Experience (ICE 2008), Reykjavik - Iselande, 06/07/2008-06/07/2008, Vol. 229, Elsevier Science, p. 3-18, 2009.
  BibTeX

• Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini. Dynamic context logic and its application to norm change. Dans : Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Dagstuhl, Germany, 15/03/2009-20/03/2009 (conférencier invité), Vol. ISSN: 1862-4405, G. Boella, Noriega, G. Pigozzi, Verhagen (Eds.), Dagstuhl Research Online Publication Server, p. 259-271, 2009.
  BibTeX

• Andreas Herzig, Tiago de Lima, Emiliano Lorini. On the Dynamics of Institutional Agreements (regular paper). Dans : International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sydney, 17/09/2008-17/09/2008, John-Jules Meyer, Jan Broersen (Eds.), Springer-Verlag, LNAI 5605, p. 66-80, octobre 2009.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_instAgree.html
  BibTeX

• Emiliano Lorini, Robert Demolombe. From trust in information sources to trust in communication systems: an analysis in modal logic (regular paper). Dans : International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sydney, 17/09/2008-17/09/2008, J. Broersen, J.-J. Meyer (Eds.), Springer-Verlag, LNAI, p. 81-98, 2009.
  Accès : http://www.springerlink.com/content/c16v8215541rw154/fulltext.pdf
  BibTeX

• Laurent Perrussel. Reasoning about Changes of Corpus of Documents: Reasoning on Association Rules. Dans : International Conference on Artificial Intelligence (FLAIRS 2009), Florida, US, 19/05/2009-21/05/2009, AAAI Press, p. 87-92, mai 2009.
  BibTeX

• Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt. Prime Implicants and Belief Update. Dans : International Conference on Artificial Intelligence (FLAIRS 2009), Florida, 19/05/2009-21/05/2009, AAAI Press, p. 577-578, mai 2009.
  BibTeX

• Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi. Trust within the context of organizations. Dans : Workshop on Formal Aspects in Security and Trust (FAST 2008), Malaga, 09/10/2008-10/10/2008, Vol. 5491, P. Degano, J. Guttman, F. Martinelli (Eds.), Springer-Verlag, LNCS, p. 114-128, 2009.
  BibTeX

• Andreas Herzig, Emiliano Lorini, Jomi F. Hübner, Jonathan Ben-Naim, Olivier Boissier, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Perrussel, Laurent Vercouter. Prolegomena for a Logic of Trust and Reputation (regular paper). Dans : International Workshop on Normative Multiagent Systems (NorMAS 2008), Luxembourg, 15/07/2008-16/07/2008, Guido Boella, Gabriella Pigozzi, Munindar Singh, Harko Verhagen (Eds.), University of Luxembourg Press, p. 143-157, 2008.
  BibTeX

• Meghyn Bienvenu, Andreas Herzig, Guilin Qi. Prime implicate-based belief revision operators. Dans : European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21/07/2008-25/07/2008, Malik Ghallab, D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (Eds.), IOS Press, p. 741-742, juillet 2008.
  Accès : http://www.irit.fr/recherches/LILAC/Pers/Bienvenu/papers/BieHerQi_ECAI08.pdf
  BibTeX

• Laurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin. Negotiating offers: how arguing influences the result? Dans : European Workshop on Multi-Agent Systems (EUMAS 2008), Bath, UK, 18/12/2008-19/12/2008, CEUR Workshop Proceedings, (support électronique), décembre 2008.
  Résumé
  BibTeX

• Thomas Agotnes, Hans van Ditmarsch. Coalitions and announcements. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Portugal, 15/04/2009, L Padgham, D Parkes, J Muller, S Parsons (Eds.), IFAAMAS, p. 673-680, 2008.
  BibTeX

• Philippe Balbiani, Yannick Chevalier, Marwa El Houri. A logical approach to dynamic role-based access control in a distributed environment. Dans : International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008), Varna (Bulgarie), 01/01/2008-31/12/2008, Springer-Verlag, p. 194-208, 2008.
  BibTeX

• Philippe Balbiani. Time representation and temporal reasoning from the perspective of non-standard analysis. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney (Australie), 01/01/2008-31/12/2008, Jérôme Lang, Gerhard Brewka (Eds.), AAAI Press, p. 695-704, 2008.
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Boolean logics with relations. Dans : International Seminar on Relational Methods in Computer Science (RelMiCS 2008), Frauenwörth (Allemagne), 01/01/2008-31/12/2008, Springer-Verlag, p. 4-21, 2008.
  BibTeX

• Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis. Introspective forgetting. Dans : Advances in Artificial Intelligence (AI 2008), Auckland, 01/12/2008-05/12/2008, R. Wobcke , Mengjie Zhang (Eds.), Springer, LNAI 5360, p. 18-29, 2008.
  BibTeX

• Laure Vieu, Stefano Borgo, Claudio Masolo. Artefacts and Roles: Modeling Strategies in a Multiplicative Ontology. Dans : International Conference on Formal Ontology in Information Systems (FOIS 2008), Saarbruecken, 31/10/2008-03/11/2008, Carola Eschenbach, Michael Gruninger (Eds.), IOS Press, p. 121-134, octobre 2008.
  BibTeX

• Jonathan Ben-Naim, Henri Prade. Evaluating Trustworthiness from Past Performances: Interval-based Approaches. Dans : International Conference on Scalable Uncertainty Management (SUM 2008), Naples, Italie, 01/10/2008-03/10/2008, Springer-Verlag, p. 33-46, 2008.
  BibTeX

• Meghyn Bienvenu. Complexity of Abduction in the EL Family of Lightweight Description Logics. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, 16/09/2008-19/09/2008, Gerhard Brewka, Jérôme Lang (Eds.), AAAI Press, p. 220-230, 2008.
  BibTeX

• Jorge Baier, Christian Fritz, Meghyn Bienvenu, Sheila Mcilraith. Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. Dans : Conference on Artificial Intelligence (AAAI 2008), Chicago, 13/07/2008-17/07/2008, Dieter Fox, Carla Gomes (Eds.), AAAI Press, p. 1509-1512, 2008.
  BibTeX

• Meghyn Bienvenu. Prime Implicate Normal Form for ALC Concepts. Dans : Conference on Artificial Intelligence (AAAI 2008), Chicago, 13/07/2008-17/07/2008, Dieter Fox, Carla Gomes (Eds.), AAAI Press, p. 412-417, 2008.
  BibTeX

• Philippe Besnard, Marie-Odile Cordier, Yves Moinard. Deriving Explanations from Causal Information. Dans : European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21/07/2008-25/07/2008, M. Ghallab, D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), IOS Press, p. 44-45, juillet 2008.
  BibTeX

• Farah Benamara, Souhila Kaci, Gabriella Pigozzi. Judgment Aggregation with Rule Confidence Scores. Dans : International Workshop on Non-Monotonic Reasoning (NMR 2008), Sydney, 13/09/2008-15/09/2008, University of New South Wales, p. 2-9, 2008.
  BibTeX

• Nicholas Asher, Farah Benamara, Yannick Mathieu. Distilling Opinion in Discourse: A Preliminary Study. Dans : International Conference on Computational Linguistics (COLING 2008), Manchester, 18/08/2008-22/08/2008, Association for Computational Linguistics (ACL), p. 7-10, 2008.
  BibTeX

• Nicholas Asher, Farah Benamara, Yannick Mathieu. Categorizing Opinion in Discourse. Dans : European Conference on Artificial Intelligence (ECAI 2008), Patras, 21/07/2008-25/07/2008, IOS Press, p. 835-836, 2008.
  BibTeX

• Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel. Online Market Coordination. Dans : Pacific Rim international Conference on Multi-Agents (PRIMA 2008), Hanoi, 15/12/2008-16/12/2008, Vol. 5357, Springer-Verlag, LNAI, (en ligne), décembre 2008.
  Résumé Accès : http://www.springer.com/computer/artificial/book/978-3-540-89673-9
  BibTeX

• Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt. Quantum-Based Belief Merging. Dans : Ibero-American Conference on Artificial Intelligence (IBERAMIA 2008), Lisbon, 15/10/2008-17/10/2008, Vol. 5290, Springer-Verlag, LNAI, p. 21-30, octobre 2008.
  Résumé
  BibTeX

• Masabumi Furuhata, Laurent Perrussel, Dongmo Zhang. Mechanism Design for Capacity Allocation with Price Competition. Dans : International Conference on Electronic Commerce (ICEC 2008), Innsbruck, 19/08/2008-22/08/2008, ACM, (en ligne), août 2008.
  Résumé Accès : http://doi.acm.org/10.1145/1409540.1409598
  BibTeX

• Xavier Tannier, Philippe Muller. Evaluation Metrics for Automatic Temporal Annotation of Texts. Dans : Language Resources and Evaluation Conference (LREC 2008), Marrakech, 28/05/2008-30/05/2008, European Language Resources Association (ELRA), (en ligne), mai 2008.
  Accès : http://www.lrec-conf.org/proceedings/lrec2008/
  BibTeX

• Guillaume Aucher. Consistency preservation and crazy formulas in BMS. Dans : European Conference on Logics in Artificial Intelligence (JELIA 2008), Dresden, 28/09/2008-01/10/2008, Springer-Verlag, p. 21-30, 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Conf_internationales/jelia08.pdf
  BibTeX

• Andreas Herzig, François Schwarzentruber. Properties of logics of individual and group agency (regular paper). Dans : Advances in Modal Logic (AiML 2008), Nancy, 09/09/2008-12/09/2008, Carlos Areces, Robert Goldblatt (Eds.), College Publications, p. 133-149, septembre 2008.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Aiml08.html
  BibTeX

• Emiliano Lorini, Dominique Longin. A logical account of institutions: from acceptances to norms via legislators. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sidney, Australia, 16/09/2008-19/09/2008, G. Brewka, J. Lang (Eds.), AAAI Press, p. 38-48, 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/loriniKR2008.pdf
  BibTeX

• Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade. Composition of Interactive Web Services Based on Controller Synthesis.. Dans : International Workshop on Web Service Composition and Adaptation, Honolulu, USA, 08/07/2008-11/07/2008, IEEE, p. 521-528, 2008.
  BibTeX

• Bilel Elayeb, Fabrice Evrard, Montaceur Zaghdoud, Mohamed Ben Ahmed. A qualitative approach for an intelligent possibilistic web information retrieval using multiagent system. Dans : International Conference on Human System Learning, Common Innovation in e-learning, Machine Learning and Humanoid, Manufacture des Tabacs, Toulouse 1 University, 14/05/2008-16/05/2008, Said Tazi, Khaldoun Zreik (Eds.), Université Toulouse 1 , p. 2-13, mai 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/IEEE-ICHSL6.pdf
  BibTeX

• Emiliano Lorini, Robert Demolombe. Trust and norms in the context of computer security: toward a logical formalization. Dans : International Workshop on Deontic Logic in Computer Science (DEON 2008), Luxembourg, 15/07/2008-18/07/2008, Vol. 5076, R. Van der Meyden, L. Van der Torre (Eds.), Springer-Verlag, LNCS, p. 50-64, 2008.
  BibTeX

• Guillaume Aucher. Internal models and private multi-agent belief revision. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, 12/05/2008-16/05/2008, IFAAMAS, p. 721-727, 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/camera-ready_AAMAS08.pdf
  BibTeX

• Trevor Bench-Capon, Sylvie Doutre, Paul Dunne. Asking the right question: forcing commitment in examination dialogues. Dans : Computational models of argument (COMMA 2008), Toulouse, France, 28/05/2008-30/05/2008, Vol. 172, Ph. Besnard, S. Doutre, A. Hunter (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, p. 49-60, mai 2008.
  Résumé
  BibTeX

• Benoit Gaudou, Dominique Longin, Emiliano Lorini, Luca Tummolini. Anchoring Institutions in Agents' Attitudes: Towards a Logical Framework for Autonomous MAS. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, 12/05/2008-16/05/2008, ACM Press, p. 728-735, 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Conf_internationales/2008_Gaudou_et_al_AAMAS.pdf
  BibTeX

• Philippe Balbiani, Olivier Gasquet. Fondements logiques du droit de savoir. Dans : Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), Amiens (France), 22/01/2008-25/01/2008, I. Bloch, P. Marquis (Eds.), AFRIF-AFIA, (support électronique), janvier 2008.
  BibTeX

• Bilel Elayeb, Fabrice Evrard, Montaceur Zaghdoud, Mohamed Ben Ahmed. SARIPOD: A POSSIBILISTIC SYSTEM FOR WEB INFORMATION RETRIEVAL. Dans : International conference on Internet Technologies and Applications (ITA 2007), Wrexham, North East Wales, UK, 04/09/2007-07/09/2007, V. Grout, D. Oram, R. Picking (Eds.), North East Wales Institute of Higher Education (NEWI), p. 82-91, septembre 2007.
  Résumé Accès : http://www.lulu.com/content/985841 - ftp://ftp.irit.fr/IRIT/LILAC/ITA_2007.pdf
  BibTeX

• Bilel Elayeb, Fabrice Evrard, Montaceur Zaghdoud, Mohamed Ben Ahmed. SARIPOD: A Multiagent Possibilistic System For Web Information Retrieval. Dans : International Conference on Information & Knowledge Engineering (IKE 2007), Las Vegas, Nevada, USA, 25/06/2007-28/06/2007, R. Arabnia, R.. Hashemi (Eds.), Universal Conference Management Systems & Support (UCMSS), p. 72-78, juin 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/IKE_2007.pdf
  BibTeX

• Bilel Elayeb, Fabrice Evrard, Montaceur Zaghdoud, Mohamed Ben Ahmed. SARIPOD : TOWARDS A MULTIAGENT POSSIBILISTIC SYSTEM FOR WEB INFORMATION RETRIEVAL. Dans : International Conference on Software and Data Technologies (ICSOFT 2007), Barcelona, Spain, 22/07/2007-25/07/2007, INSTICC Press, (en ligne), juillet 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/ICSOFT_2007.pdf
  BibTeX

• Yannick Chevalier, Mounira Kourjieh. Key Substitution in the Symbolic Analysis of Cryptographic Protocols. Dans : Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007), India, New Delhi, 12/12/2007-14/12/2007, Vol. 4855/2007, Springer, LNCS 978-3-540-77049-7, p. 121-132, novembre 2007.
  Résumé
  BibTeX

• Emiliano Lorini, Andreas Herzig, Jan Broersen, Nicolas Troquard. Grounding power on actions and mental attitudes. Dans : Workshop on Formal Approaches to Multi-Agent Systems Formal Approaches to Multi-Agent Systems (FAMAS 2007), Durham (UK), 06/09/2007-07/09/2007, Durham University Press, p. 371-390, 2007.
  BibTeX

• Emiliano Lorini, Michele Piunti. The benefits of surprise in dynamic environments: from theory to practice. Dans : International Conference on Affective Computing and Intelligent Interaction (ACII 2007), Lisbon (Portugal), 12/09/2007-14/09/2007, Springer, LNCS 4738, p. 362-373, 2007.
  BibTeX

• Myriam Bras, Anne Le Draoulec, Nicholas Asher. Evidence for a Scalar Analysis of Result in SDRT from a Study of the French Temporal Connective alors. Dans : SPRIK Conference : Explicit and implicit information in text. Information structure across languages., Oslo, Norway, 08/06/2006-10/06/2006, University of Oslo, p. 75-79, 2007.
  BibTeX

• Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. Modal logics for region-based theories of space. Dans : Algebraic and Topological Methods in Non-Classical Logics, Oxford, UK, 01/01/2007-31/12/2007, Guram Bezhanishvili (Eds.), Oxford University, Department of Mathematics, p. 4-5, 2007.
  BibTeX

• Philippe Besnard, Marie-Odile Cordier, Yves Moinard. Ontology-Based Inference for Causal Explanation. Dans : International Conference on Knowledge Science, Engineering and Management (KSEM 2007), Melbourne, 26/11/2007-30/11/2007, Springer-Verlag, p. 153-164, novembre 2007.
  BibTeX

• Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig. Global and local graph modifiers. Dans : Methods for Modalities (MAM 2007), Cachan, France, 29/11/2007-30/11/2007, Elsevier, ENTCS , (en ligne), 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/M4M.pdf
  BibTeX

• Guillaume Aucher, Andreas Herzig. From DEL to EDL: exploring the power of converse events. Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Hammamet, 31/10/2007-02/11/2007, Vol. 4724, Springer, LNCS, p. 199-209, 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/Ecsqaru_2007.pdf
  BibTeX

• Robert Trypuz, Emiliano Lorini, Laure Vieu. Solving Bratman's video game puzzle in two formalisms. Dans : ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA 2007), Donostia (San Sebastian), 28/11/2007-30/11/2007, Xabier Arrazola, Mari Larrazabal (Eds.), University of the Basque Country Press, p. 411-426, novembre 2007.
  BibTeX

• Robert Trypuz, Laure Vieu. An Ontology of the Aspectual Classes of Actions. Dans : ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA 2007), Donostia (San Sebastian), 28/11/2007-30/11/2007, Xabier Arrazola, Mari Larrazabal (Eds.), University of the Basque Country Press, p. 393-409, novembre 2007.
  BibTeX

• Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima. What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability. Dans : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/2007-27/06/2007, Dov Samet (Eds.), Presses universitaires de Louvain, p. 42-51, juin 2007.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
  BibTeX

• Carole Adam, Dominique Longin. Endowing emotional agents with coping strategies: from emotions to emotional behaviour (poster) (poster). Dans : Intelligent Virtual Agents (IVA 2007), Paris, 13/09/2007-15/09/2007, Vol. 4722, Catherine Pelachaud, Jean-Claude Martin, Elisabeth Andre, Gérard Chollet, Kostas Karpouzis (Eds.), Springer, LNCS, p. 348-349, septembre 2007.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/iva-poster-adam-longin.pdf
  BibTeX

• Caroline Devred, Sylvie Doutre. Dialectical Proof Theories for the Credulous Prudent Preferred Semantics of Argumentation. Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Hammamet, Tunisia, 31/10/2007-02/11/2007, K. Mellouli (Eds.), Springer-Verlag, LNAI 4724, p. 271-282, 2007.
  Résumé
  BibTeX

• Farah Benamara, Carmine Cesarano, Antonio Picariello, Diego Reforgiato , Venkatramanan Siva Subrahmanian. Sentiment Analysis: Adjectives and Adverbs are better than Adjectives Alone. Dans : International Conference on Weblogs and Social Media (ICWSM 2007), Boulder, Colorado, U.S.A, 26/03/2007-28/03/2007, AAAI Press, p. 203-206, 2007.
  BibTeX

• Jan Broersen, Andreas Herzig, Nicolas Troquard. Normal Coalition Logic and its conformant extension. Dans : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Brussels, 25/06/2007-27/06/2007, Dov Samet (Eds.), Presses universitaires de Louvain, p. 91-101, 2007.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
  BibTeX

• Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima. A tableau method for public announcement logics. Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/2007-06/07/2007, Vol. 4548, Nicola Olivetti (Eds.), Springer-Verlag, LNAI, p. 43-59, 2007.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tableaux07.html
  BibTeX

• Meghyn Bienvenu. Prime Implicates and Prime Implicants in Modal Logic. Dans : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/2007-26/07/2007, C. Holte, Adele Howe (Eds.), AAAI Press, p. 379-384, 2007.
  Résumé Accès : http://www.irit.fr/~Meghyn.Bienvenu/publications_english.html
  BibTeX

• Hans van Ditmarsch, Andreas Herzig, Tiago de Lima. Optimal Regression for Reasoning about Knowledge and Actions. Dans : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/2007-26/07/2007, Holte, Howe (Eds.), AAAI Press, p. 1-6, 2007.
  Résumé
  BibTeX

• Olivier Gasquet, Bilal Said. Tableaux with Dynamic Filtration for Layered Modal Logics. Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/2007-06/07/2007, Olivetti (Eds.), Springer-Verlag, LNAI 4548, p. 107-118, 2007.
  Résumé
  BibTeX

• Laurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin, Peter McBurney. A Persuasion Dialog for Gaining Access to Information. Dans : International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2007), Honolulu, Hawaii, USA, 15/05/2007, Springer-Verlag, Lecture Notes in Computer Science 4946/2008, p. 63-79, 2007.
  Résumé Accès : http://dx.doi.org/10.1007/978-3-540-78915-4_5
  BibTeX

• Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi. Delegation and mental states. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, 14/05/2007-18/05/2007, Durfee, Yokoo (Eds.), ACM Press, p. 610-612, mai 2007.
  Résumé Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/LoTrHeCa07delegation.pdf
  BibTeX

• Sylvie Doutre, Peter McBurney, Laurent Perrussel, Jean-Marc Thévenin. Arguing for Gaining Access to Information. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawai'i, 14/05/2007-18/05/2007, Sheory, Michael Huhns (Eds.), The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 85-87, mai 2007.
  Résumé
  BibTeX

• Nicholas Asher. Troubles on the Right Frontier. Dans : Constraints in Discourse (CID 2005), Dortmund, 03/06/2005-06/06/2005, Peter Kühnlein, Anton Benz (Eds.), John Benjamins Publishing Company, 2007 (à paraître).
  BibTeX

• Nicholas Asher, Brian Reese. The Nuclear Option: The Interpretation of Tag Questions. Dans : Sinn und Bedeutung (SuB 2006), Barcelone, 22/09/2006-25/09/2006, E. Puig-Waldmüller (Eds.), Universitat Pompeu Fabra, 2007 (à paraître).
  BibTeX

• Yannick Chevalier, Mounira Kourjieh. A Symbolic Intruder Model for Hash-Collision Attacks. Dans : Annual Asian Computing Science Conference (ASIAN 2006), Tokyo, 06/12/2006-08/12/2006, Vol. 4435, Okada, Ichiro Satoh (Eds.), Springer, Lecture Notes in Computer Science 4435, p. 13-27, janvier 2007.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/main.pdf
  BibTeX

• Bilel Elayeb, Mohamed Ben Ahmed. KASS: The KQML Agent Security System. Dans : Maghrebian Conference on Information Technologies (MCSEAI 2006), Agadir, Morocco, 07/12/2006-09/12/2006, E. Bouyakhf, D. Mammass, M. Sellami (Eds.), Maghrebian Information Processing Society, p. 101-106, décembre 2006.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/MCSEAI_06.pdf
  BibTeX

• Fahima Cheikh Alili, Giuseppe De Giacomo, Massimo Mecella. Automatic Web Services Composition in Trust-aware Communities. Dans : ACM Workshop on Secure Web Services (SWS 2006), Alexandria, Virginia, USA, 03/11/2006-03/11/2006, ACM, (support électronique), 2006.
  BibTeX

• Jonathan Ben-Naim. Lack of Finite Characterizations for the Distance-based Revision. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the UK, 02/06/2006-05/06/2006, AAAI Press, p. 239-248, 2006.
  BibTeX

• Nicholas Asher, Pascal Denis, Brian Reese. Names, Pops and Discourse Structure. Dans : Constraints in Discourse (CID 2006), Maynooth, Ireland, 07/07/2006-09/07/2006, Candy Sidner, John Harpur, Anton Benz, Peter Kühnlein (Eds.), National University of Ireland, p. 11-19, 2006.
  BibTeX

• Julie Hunter, Nicholas Asher, Brian Reese. Evidentiality and Intensionality: Two Uses of Reportative Constructions in Discourse. Dans : Constraints in Discourse (CID 2006), Maynooth, Ireland, 07/07/2006-09/07/2006, Candy Sidner, John Harpur, Anton Benz, Peter Kühnlein (Eds.), National University of Ireland, p. 99-107, 2006.
  BibTeX

• Farah Benamara, Souhila Kaci. Preference Reasoning in Advanced Question Answering Systems. Dans : Australian Conference on Artificial Intelligence 2006 (AI 2006), Hobart, Australia, 04/12/2006-08/12/2006, Springer, LNCS 4304, p. 1116-1121, novembre 2006.
  Accès : http://www.springerlink.com/content/978-3-540-49787-5
  BibTeX

• Philippe Besnard, Marie-Odile Cordier, Yves Moinard. Configurations for Inference Between Causal Statements. Dans : International Conference on Knowledge Science, Engineering and Management (KSEM 2006), Guilin, China, 05/08/2006-08/08/2006, Vol. 4092, Jérôme Lang, Fangzhen Lin, Ju Wang (Eds.), Springer, LNCS, p. 292-304, 2006.
  BibTeX

• Philippe Besnard, Anthony Hunter. Compilation for Efficient Logical Argumentation. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, United Kingdom, 02/06/2006-05/06/2006, Patrick Doherty, John Mylopoulos, Christopher Welty (Eds.), AAAI Press, p. 123-133, 2006.
  BibTeX

• Yannick Chevalier, Michaël Rusinowitch. Hierarchical Combination of Intruder Theories. Dans : Rewriting Techniques and Applications (RTA 2006), Seattle, 12/08/2006-14/08/2006, Mark Pfenning (Eds.), Springer-Verlag, Lecture Notes in Computer Science 4098, p. 108-122, août 2006.
  Résumé
  BibTeX

• Vincent Dugat. Conceptual Spaces of Polygonal Shapes. Dans : International Conference on Spatial Analysis and Geomatic (SAGEO 2006), Strasbourg, 11/09/2006-13/09/2006, Pierre Gançarski, Christiane Weber (Eds.), Sageo, (support électronique), septembre 2006.
  BibTeX

• Philippe Muller, Nabil Hathout, Bruno Gaume. Synonym extraction using a semantic distance on a dictionary. Dans : Workshop on Graph Based Methods for Natural Language Processing (TextGraphs 2006), New York, E.-U., 09/06/2006-09/06/2006, Dragomir Boguraev, Rada Mihalcea (Eds.), Association for Computational Linguistics (ACL), p. 65-72, 2006.
  Accès : http://www.aclweb.org/anthology/W/W06/W06-3811
  BibTeX

• Philippe Balbiani, Ilya Shapirovsky, Valentin Shehtman. Every world can see a Sahlqvist world. Dans : Advances in Modal Logic (AiML 2006), Noosavile (Australia), 01/09/2006-30/09/2006, G. Governatori, I. Hodkinson, Y. Venema (Eds.), College Publications, p. 69-85, 2006.
  BibTeX

• Philippe Balbiani. An expressive two-sorted spatial logic for plane projective geometry. Dans : Advances in Modal Logic (AiML 2006), Noosaville (Australia), 01/09/2006-30/09/2006, G. Governatori, I. Hodkinson, Y. Venema (Eds.), College Publications, p. 49-68, 2006.
  BibTeX

• Philippe Balbiani, Fahima Cheikh Alili. Security analysis in access control based on roles and views. Dans : Joint Conference on Security in Network Architectures and Security of Information Systems (SAR/SSI 2006), Seignosse (France), 01/06/2006-30/06/2006, D. Boulanger, F. Cuppens, H. Debar, A. Gabillon (Eds.), Ecole Supérieure et d'Applications des Transmissions - ESAT, p. 51-65, 2006.
  BibTeX

• Philippe Balbiani, Ali Kaafarani, Fatme Harb. Access control with prohibitions and obligations. Dans : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2006), Dubai (United Arab Emirates), 01/03/2006-31/03/2006, M. Langston (Eds.), IEEE, (support électronique), 2006.
  BibTeX

• Philippe Balbiani. A formal examination of roles and permissions in access control. Dans : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2005), Cairo (Egypt), 01/01/2005-31/01/2005, IEEE, (support électronique), 2006.
  BibTeX

• Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer. Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach.. Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/2006-01/09/2006, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, p. 731-732, août 2006.
  BibTeX

• Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer. Mutual enrichment through nested belief change. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, 08/05/2006-12/05/2006, Hideyuki Nakashima, P. Wellman, Gerhard Weiss, Peter Stone (Eds.), ACM, p. 226-228, mai 2006.
  BibTeX

• Bilel Elayeb, Fabrice Evrard, Montaceur Zaghdoud, Mohamed Ben Ahmed. SARIPOD : a system based on hierarchical small worlds and possibilistic networks for internet information retrieval.. Dans : IADIS International Conference WWW/Internet (ICWI 2006), Murcia, Spain, 05/10/2006-08/10/2006, Katia Sycara, Giunchiglia (Eds.), IADIS Digital Library, p. 227-232, 2006.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/IADIS_2006.pdf
  BibTeX

• Olivier Gasquet, Andreas Herzig, Mohamed Saade. Terminating modal tableaux with simple completenness proof. Dans : Advances in Modal Logic (AiML 2006), Noosa, Sunshine Coast, Queensland, Australia, 25/09/2006-28/09/2006, Vol. 6, Schmidt, Pratt-Hartmann, Reynolds, Wansing (Eds.), College Publications, p. 167-186, septembre 2006.
  Résumé Accès : http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps
  BibTeX

• Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamed Saade. LoTREC: An environment for experiencing Kripke Semantics. Dans : International Congress on Tools for Teaching Logic (ICTTL 2006), Salamanca, Spain, 26/09/2006-30/09/2006, Maria Manzano, Pérez Lancho, Ana Gil (Eds.), University of Salamanca, p. 41-44, septembre 2006.
  BibTeX

• Philippe Besnard, Jérôme Lang, Pierre Marquis. Variable Forgetting in Preference Relations over Propositional Domains. Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/2006-01/09/2006, G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), IOS Press, p. 763-764, 2006.
  Résumé
  BibTeX

• Nicolas Troquard, Robert Trypuz, Laure Vieu. Towards an ontology of agency and action : From STIT to OntoSTIT+. Dans : International Conference on Formal Ontology in Information Systems (FOIS 2006), Baltimore, Maryland, USA, 09/11/2006-11/11/2006, Vol. 150, Brandon Bennett, Christiane Fellbaum (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, p. 179-190, novembre 2006 (Best paper award).
  Résumé Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/TrTrVi06ontostit.pdf
  BibTeX

• Jan Broersen, Andreas Herzig, Nicolas Troquard. A STIT-extension of ATL. Dans : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, England, UK, 13/09/2006-15/09/2006, Vol. 4160, Springer, Lecture Notes in Artificial Intelligence, p. 69-81, septembre 2006.
  Résumé Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/BrHeTr06jelia.pdf
  BibTeX

• Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi. Introducing attempt in a modal logic of intentional action. Dans : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool (UK), 13/09/2006-15/09/2006, Michael Fisher, Wiebe van der Hoek (Eds.), Springer-Verlag, LNAI 4160, p. 280-292, septembre 2006.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jelia06_Emiliano.pdf
  BibTeX

• Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin. OCC's emotions: a formalization in a BDI logic. Dans : International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Varna, Bulgaria, 13/09/2006-15/09/2006, Jérôme Euzenat, John Domingue (Eds.), Springer, LNAI 4183, p. 24-32, 2006.
  Résumé Accès : http://www.springer.com/west/home/computer/lncs?SGWID=4-164-12-72397-0
  BibTeX

• Meghyn Bienvenu, Christian Fritz, Sheila Mcilraith. Planning with Qualitative Temporal Preferences. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Windermere, UK, 02/06/2006-05/06/2006, Patrick Doherty, John Mylopoulos, A. Welty (Eds.), AAAI Press, p. 134-144, juin 2006.
  BibTeX

• Jan Broersen, Andreas Herzig, Nicolas Troquard. From Coalition Logic to STIT. Dans : International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Edinburgh, Scotland, UK, 01/08/2005-01/08/2005, Vol. 157, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (Eds.), Elsevier, Electronic Notes in Theoretical Computer Science 4, p. 23-35, mai 2006.
  Résumé Accès : http://dx.doi.org/10.1016/j.entcs.2006.02.011
  BibTeX

• Andreas Herzig, Tiago de Lima. Epistemic Actions and Ontic Actions: a Unified Logical Framework. Dans : International Joint Conference: IBERAMIA-SBIA (IBERAMIA/SBIA 2006), Ribeirão Preto, Brazil, 23/10/2006-27/10/2006, Simão Sichman, Helder Coelho, Oliveira Rezende (Eds.), Springer-Verlag, Lecture Notes in Artificial Intelligence 4140, p. 409-418, octobre 2006.
  Résumé
  BibTeX

• Andreas Herzig, Ivan José Varzinczak. A modularity approach for a fragment of ALC. Dans : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, 13/09/2006-15/09/2006, Springer-Verlag, LNCS/LNAI 4160, p. 216-228, septembre 2006.
  BibTeX

• Nicolas Troquard, Laure Vieu. Towards a logic of agency and actions with duration. Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 26/08/2006-01/09/2006, IOS Press, p. 775-776, août 2006.
  Résumé Accès : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/TrVi06duration.pdf
  BibTeX

• Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak. Elaborating domain descriptions. Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, 26/08/2006-01/09/2006, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, p. 397-401, août 2006.
  BibTeX

• Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles. A New Semantics for the FIPA Agent Communication Language based on Social Attitudes. Dans : European Conference on Artificial Intelligence (ECAI 2006), Trento, Italy, 29/08/2006-01/09/2006, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, p. 245-249, 2006.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/2006_ECAI_gaudou_et_al.pdf
  BibTeX

• Benoit Gaudou, Andreas Herzig, Dominique Longin. Grounding and the expression of belief. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Windermere, UK, 02/06/2006-05/06/2006, Patrick Doherty, John Mylopoulos, A. Welty (Eds.), AAAI Press, p. 211-229, 2006.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/2006_KR.pdf
  BibTeX

• Andreas Herzig, Nicolas Troquard. Knowing How to Play: Uniform Choices in Logics of Agency. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, 08/05/2006-12/05/2006, Weiss , Stone (Eds.), ACM Press, p. 209-216, mai 2006.
  Résumé Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/HeTr06uniform.pdf
  BibTeX

• Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel. A Syntactical Approach to Belief Update. Dans : Mexican International Conference on Artificial Intelligence (MICAI 2005), Monterrey, 14/11/2005-18/11/2005, Vol. 3789, Alexander Gelbukh, Alvaro de Albornoz, Hugo Terashima-Marin (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 142-151, novembre 2005.
  Accès : http://dx.doi.org/10.1007/11579427_15
  BibTeX

• Farah Benamara. Reasoning with prepositions within a cooperative question-answering framework.. Dans : Second ACL-SIGSEM Workshop on the Linguistic Dimensions of Prepositions and their Use in Computational Linguistics Formalisms and Applications, Colchester, 19/04/2005-21/04/2005, South-East European Research Center (SEERC), p. 145-152, 2005.
  BibTeX

• Thomas Meyer, Pilar Pozos Parra, Laurent Perrussel. Mediation Using m-States. Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005), Barcelona, 06/07/2005-08/07/2005, Vol. 3571, Lluis Godo (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 489-500, août 2005.
  BibTeX

• Emiliano Lorini, Francesca Marzo, Cristiano Castelfranchi. A cognitive model of the altruistic mind. Dans : International Conference on Cognitive Economics, Sofia, 05/08/2005-08/08/2005, B. Kokinov (Eds.), NBU Press, p. 282-294, 2005.
  BibTeX

• Emiliano Lorini, Rino Falcone. Modeling Expectations in Cognitive Agents. Dans : AAAI Fall Symposium-From Reactive to Anticipatory Cognitive Embodied Systems, Washinton, 03/11/2005-06/11/2005, C. Castelfranchi, C. Balkenius, M. Butz, A. Ortony (Eds.), AAAI Press, p. 114-121, 2005.
  BibTeX

• Emiliano Lorini, Luca Tummolini, Andreas Herzig. Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public Events. Dans : Annual Conference of the Cognitive Science Society (CogSci 2005), Stresa (Italy), 21/07/2005-23/07/2005, Lawrence Erlbaum Associates, p. 1325-1330, 2005.
  BibTeX

• Claudio Masolo, Giancarlo Guizzardi, Laure Vieu, Emanuele Bottazzi, Roberta Ferrario. Relational Roles and Qua-individuals. Dans : AAAI Fall Symposium on, Arlington, 04/11/2005-06/11/2005, AAAI Press, p. 103-112, 2005.
  BibTeX

• Salem Benferhat, Jonathan Ben-Naim, Robert Jeansoulin, Mahat Khelfallah, Sylvain Lagrue, Odile Papini, Nic Wilson, Eric Würbel. Belief Revision of GIS Systems: The Results of REV!GIS (regular paper). Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005), Barcelona - Spain, 06/06/2005-08/06/2005, Springer, p. 452-464, juin 2005.
  BibTeX

• Julie Hunter, Nicholas Asher. A Presuppositional Account of Indexicals. Dans : Amsterdam Colloquium on Formal Semantics, Amsterdam, 19/12/2005-22/12/2005, Paul Dekker, Michael Franke (Eds.), ILLC Publications, p. 119-125, 2005.
  Accès : http://www.illc.uva.nl/AC05
  BibTeX

• Nicholas Asher, Brian Reese. Negative bias in polar questions. Dans : Sinn und Bedeutung (SuB 2004), Nijmegen, 01/11/2004-03/11/2004, Emar Maier, Coreen Bary, Jannke Huitink (Eds.), University of Nijmegen, p. 30-43, 2005.
  Accès : http://www.ru.nl/ncs/sub9
  BibTeX

• Guillaume Aucher. How our beliefs contribute to interpret actions. Dans : Multi-Agent Systems and Applications - International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2005), Budapest, 15/09/2005-17/09/2005, Vol. 3690, Michal Pechoucek, Paolo Petta, Zsolt Varga (Eds.), Springer, LNCS, p. 276-285, 2005.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/extended version CEEMAS05.pdf
  BibTeX

• Philippe Besnard, Marie-Odile Cordier, Yves Moinard. Configurations for Inference from Causal Statements: Preliminary Report. Dans : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, 21/01/2005-23/09/2005, Vol. 3673, Stefania Bandini, Sara Manzoni (Eds.), Springer, LNCS, p. 282-285, 2005.
  BibTeX

• Philippe Besnard. Remedying Inconsistent Sets of Premises. Dans : 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Barcelona, Spain, 06/07/2005-08/07/2005, Vol. 3571, Lluis Godo (Eds.), Springer, LNCS, p. 427-439, 2005.
  BibTeX

• Philippe Besnard, Anthony Hunter. Practical First-Order Argumentation. Dans : 20th National Conference on Artificial Intelligence, Pittsburgh (PA), USA, 09/07/2005-13/07/2005, Manuela Veloso, Subbarao Kambhampati (Eds.), AAAI Press, p. 590-595, 2005.
  BibTeX

• Yannick Chevalier, Michaël Rusinowitch. Combining Intruder Theories. Dans : International Colloqium on Automata, Languages and Programming, Lisbonne, 11/07/2005-15/07/2005, Vol. 1, Italiano, Palamidessi, Yung (Eds.), Springer, Lecture Notes in Computer Science 3580, p. 639-651, juillet 2005.
  Résumé
  BibTeX

• Philippe Balbiani, Fahima Cheikh Alili. Safety problems in access control with temporal constraints. Dans : Computer Network Security, St. Petersburg (Russia), 01/09/2005-30/09/2005, V. Gorodetsky, I. Kotenko, V. Skormin (Eds.), Springer-Verlag, Lecture Notes in Computer Science 3685, p. 165-178, 2005.
  BibTeX

• Philippe Balbiani. Access control with uncertain surveillance. Dans : Web Intelligence, Compiègne (France), 01/09/2005-30/09/2005, IEEE, p. 778-781, 2005.
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Euclidean geometry with lines alone. Dans : Logic Colloquium 2005, Athens (Greece), 01/07/2005-31/08/2005, S. Wainer (Eds.), University of Athens, p. 47-47, 2005.
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Decidability and complexity of definability within the class of all partitions. Dans : Proceedings of the 5th Panhellenic Logic Symposium, Athens (Greece), 01/07/2005-31/08/2005, C. Dimitracopoulos (Eds.), University of Athens, p. 26-33, 2005.
  BibTeX

• Philippe Balbiani. A uniform approach to modelling timed protection. Dans : Artificial Intelligence and Applications, Innsbruck (Austria), 01/02/2005-28/02/2005, IASTED, p. 219-224, 2005.
  BibTeX

• Noel Laverny, Jérôme Lang. From knowledge-based programs to graded belief-based programs, Part II: off-line reasoning. Dans : Proc. of the 9th International Joint Conference on Artificiel Intelligence (IJCAI'05), Edinburgh, Scotland, 31/07/2005-05/08/2005, Gallus, p. 497-502, juillet 2005.
  BibTeX

• Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. Van Der Torre. Inferring trust (regular paper). Dans : Computational Logic in Multi-Agent Systems (CLIMA 2005), Lisbon, Portugal, 29/09/2005-30/09/2005, João Leite, Paolo Torroni (Eds.), Springer-Verlag, p. 144-160, septembre 2005.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Clima05.html
  BibTeX

• Sylvie Doutre, Peter McBurney, Michael Wooldridge. Law-Governed Linda as a semantics for agent dialogue protocols. Dans : Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2005), Utrecht University, The Netherlands, 25/07/2005-29/07/2005, -, p. 1257-1258, juillet 2005.
  BibTeX

• Paul Dunne, Sylvie Doutre, Trevor Bench-Capon. Discovering Inconsistency through Examination Dialogues. Dans : International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, 30/07/2005-05/08/2005, International Joint Conference on Artificial Intelligence (IJCAI), p. 1680-1681, septembre 2005.
  Résumé Accès : http://www.ijcai.org/papers/post-0345.pdf
  BibTeX

• Sylvie Doutre, Trevor Bench-Capon, Paul Dunne. Explaining preferences with argument positions. Dans : Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, 30/07/2005-05/08/2005, International Joint Conferences on Artificial Intelligence, p. 1560-1561, juillet 2005.
  Résumé Accès : http://www.ijcai.org/papers/post-0067.pdf
  BibTeX

• Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamed Saade. LoTREC: Logical Tableaux Research Engineering Companion. Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, 14/09/2005-17/09/2005, Bernhard Beckert (Eds.), Springer Verlag, LNCS 3702, p. 318-322, septembre 2005.
  Accès : http://www.irit.fr/recherches/LILAC/Lotrec
  BibTeX

• Philippe Muller, Axel Reymonet. Using Inference for Evaluating Models of Temporal Discourse. Dans : 12th International Symposium on Temporal Representation and Reasoning (TIME05), Burlington, VT, E.-U., 23/06/2005-25/06/2005, IEEE Computer Society Press, p. 11-19, juin 2005.
  Accès : http://www.irit.fr/~Philippe.Muller/Publis/muller_reymonet05time.pdf
  BibTeX

• Laurent Prévot, Laure Vieu. The Moving Right Frontier. Dans : Constraints in Discourse, Dortmund, 03/06/2005-05/06/2005, Claudia Sassen, Anton Benz, Peter Kühnlein (Eds.), Universität Dortmund, p. 136-142, juin 2005.
  BibTeX

• Emanuele Bottazzi, Giancarlo Guizzardi. Relational Roles and Qua-individuals. Dans : AAAI 2005 Fall Symposium on Roles, an interdisciplinary perspective, Arlington, VA, 03/11/2005-06/11/2005, Guido Boella, James Odell, Leendert van der Torre, Harko Verhagen (Eds.), AAAI, novembre 2005.
  BibTeX

• Alessandro Armando, David Basin , Yohann Boichut, Yannick Chevalier, al Et. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. Dans : Computer-Aided Verification, Edinburgh, Scotland, UK, 06/07/2005-10/07/2005, Etessami Kousha, Rajamani Sriram (Eds.), Springer-Verlag, p. 1-5, juillet 2005.
  Résumé
  BibTeX

• Giovanni Pezzulo, Emiliano Lorini, Gianguglielmo Calvi. How do I know how much I don’t know? A cognitive approach about Uncertainty and Ignorance. Dans : Annual Conference of the Cognitive Science Society (CogSci 2004), Chicago, 05/08/2004-07/08/2004, D. Forbus, D. Gentner, T. Regier (Eds.), Lawrence Erlbaum Associates, p. 1095-1100, 2004.
  BibTeX

• Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel. An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS (regular paper). Dans : European Conference on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, 27/09/2004-30/09/2004, Springer, p. 604-616, 2004.
  BibTeX

• Guillaume Aucher. A combined system for update logic and belief revision. Dans : Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004), Auckland, 08/08/2004-13/08/2004, Vol. 3371, Mike Barley, Nikola Kasabov (Eds.), Springer, LNCS, p. 1-17, 2004.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/PRIMA 2004.pdf
  BibTeX

• Andreas Herzig, Ivan José Varzinczak. Domain descriptions should be modular. Dans : Sixteenth European Conference on Artificial Intelligence (ECAI¿2004), Valencia, Ramón López de Mántara, Lorenza Saitta (Eds.), IOS Press, p. 348-352, août 2004.
  BibTeX

• Laurent Perrussel, Jean-Marc Thévenin. (Dis)Belief Change and Feed-Back Loop. Dans : Proceedings of the 17th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS'2004, Miami Beach, FL, USA, 17/05/2004-19/05/2004, Valerie Barr, Zdravko Markov (Eds.), AAAI Press, p. 856-861, mai 2004.
  BibTeX

• Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi. A Syntactical Approach to Revision. Dans : Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, Valencia, Spain, 22/08/2004-27/08/2004, Ramon Lopez de Mantaras, Lorenza Saitta (Eds.), IOS Press, p. 788-792, août 2004.
  BibTeX

• Laurent Perrussel, Jean-Marc Thévenin. (Dis)Belief Change Based on Messages Processing. Dans : Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, 06/01/2004-07/01/2004, Dix, Alexandre Leite (Eds.), Springer-Verlag. Lecture Notes in Computer Science 3259, p. 201-217, janvier 2004.
  BibTeX

• Laurent Perrussel, Jean-Marc Thévenin. A Logical Approach for Describing (Dis)Belief Change and Message Processing. Dans : Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, New York, 19/07/2004-23/07/2004, IEEE Computer Society, p. 614-621, juillet 2004.
  BibTeX

• Philippe Besnard. Accounts of Absurdity in Paraconsistent Logics. Dans : Advances in Intelligent Systems: Theory and Applications, Luxembourg, 15/11/2004-18/11/2004, IEEE, novembre 2004.
  BibTeX

• Philippe Balbiani, Tinko Tinchev. Line-based affine reasoning in Euclidean plane. Dans : Logics in Artificial Intelligence (Jelia 2004), Portugal, 01/09/2004-30/09/2004, J. Alfares, J. Leite (Eds.), Springer-Verlag, p. 474-486, septembre 2004.
  BibTeX

• Philippe Balbiani, Khalil Challita. Constraint networks of lines in the Euclidean plane and space. Dans : Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2004), Bulgarie, 01/09/2004-30/09/2004, C. Bussler, D. Fensel (Eds.), Springer-Verlag, p. 148-157, septembre 2004.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. Preference structures: first-order characterization and modal logic. Dans : IPMU 2004, Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), Italie, 01/07/2004-31/07/2004, B. Bouchon-Meunier, G. Coletti, R. Yager (Eds.), Universdita degli studi di Perugia, p. 943-950, juillet 2004.
  BibTeX

• Philippe Balbiani. Variants of PDL with intersection of programs. Dans : AiML-2004: Advances in Modal Logic, Manchester, 01/09/2004-30/09/2004, Ian Pratt-Hartmann, Mark Reynolds, Renate Schmidt, Heinrich Wansing (Eds.), The University of Manchester, p. 2-4, septembre 2004.
  BibTeX

• Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino. Social Roles and their Descriptions. Dans : , Whistler, Canada, 02/06/2004-05/06/2004, Dubois, Welty (Eds.), AAAI Press, p. 267-277, juin 2004.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/LILAC/MVBCFGG-KR04.pdf
  BibTeX

• Pascal Denis, Philippe Muller. A semantics for temporally dependent referring expressions. Dans : Empirical Issues in Syntax and Semantics 5, Papers from Cssp 2003, Paris, O. Bonami, P. Cabredo Hofherr (Eds.), CNRS, p. 45-62, octobre 2004.
  Accès : http://www.cssp.cnrs.fr/eiss5/
  BibTeX

• Bruno Gaume, Nabil Hathout, Philippe Muller. Word sense disambiguation using a dictionary for sense similarity measure. Dans : Coling 2004, Genève, Association for Computational Linguistics, p. 1194-1200, août 2004.
  Accès : file:///usr/local/WWW/ACTIVITES/LILaC/Pers/Philippe.Muller/Publis/gaume_hathout_muller_coling04.pdf
  BibTeX

• Philippe Muller, Xavier Tannier. Annotating and measuring temporal relations in texts. Dans : Coling 2004, Genève, Association for Computational Linguistics, p. 50-56, août 2004.
  Accès : file:///usr/local/WWW/ACTIVITES/LILaC/Pers/Philippe.Muller/Publis/muller_tannier_coling04.pdf
  BibTeX

• Vincent Dugat, Yannick Larvor. Describing trajectories properties of rigid body motion using a qualitative space-time framework. Dans : ECAI, Worshop on Spatial and Temporal Reasoning, Valence, Espagne, 22/08/2004-27/08/2004, Hans Guesgen, Gérard Ligozat (Eds.), Morgan Kaufmann, p. 10-15, août 2004.
  BibTeX

• Robert Demolombe, Andreas Herzig. Obligation change in dependence logic and situation calculus (regular paper). Dans : International Workshop on Deontic Logic in Computer Science (DEON 2004), Madeira, Portugal, 26/05/2004-28/05/2004, Alessio Lomuscio, Donald Nute (Eds.), Springer-Verlag, p. 57-73, mai 2004.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Deon04.html
  BibTeX

• Philippe Besnard, Sylvie Doutre. Characterization of semantics for argument systems. Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, 02/06/2004-05/06/2004, Dubois, Chris Welty, Mary-Anne Williams (Eds.), AAAI Press, p. 183-193, juin 2004.
  Résumé
  BibTeX

• Andreas Herzig, Dominique Longin. C&L intention revisited (regular paper). Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, 02/06/2004-05/06/2004, Dubois, Welty, Williams (Eds.), AAAI Press, p. 527-535, juin 2004.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/Kr04.html
  BibTeX

• Farida Aouladomar, Farah Benamara. An approach for evaluating question-answering systems. Dans : INLG04, Brokenhurst, 14/07/2004-16/07/2004, Univ. de Brighton, p. 5-9, juillet 2004.
  BibTeX

• Farah Benamara. A Model for Graded Levels of Generalizations in Intensional Query Answering. Dans : AAAI-ATEM, San José, 20/07/2004-23/07/2004, AAAI, p. 45-52, juillet 2004.
  BibTeX

• Farah Benamara. Cooperative Question Answering in Restricted Domain : the WEBCOOP Experiment. Dans : ACL- Portability of systems, Barcelona, 22/07/2004-26/07/2004, MIT Press, p. 98-110, juillet 2004.
  BibTeX

• Farah Benamara, Véronique Moriceau, Patrick Saint-Dizier. COOPML: a Language for Annotating Cooperative Discourse. Dans : ACL- Discourse annotation, Barcelona, 22/07/2004-26/07/2004, Association for Computational Linguistics (ACL), p. 9-16, juillet 2004.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. Lexicalisation Strategies in Cooperative Question- Answering Systems. Dans : COLING 04, Genève, 22/08/2004-26/08/2004, MIT Press, p. 345-352, août 2004.
  BibTeX

• Laure Vieu, Laurent Prévot. Background in SDRT. Dans : Workshop SDRT, Traitement Automatique du Langage Naturel, Fez, 22/04/2004-22/04/2004, Association pour le Traitement Automatique des Langues (ATALA), p. 485-494, avril 2004.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/PV-TALN04.pdf
  BibTeX

• Cristiano Castelfranchi, Francesca Giardini, Emiliano Lorini, Luca Tummolini. The prescriptive destiny of predictive attitudes: From Expectations to Norms via Conventions. Dans : Annual Conference of the Cognitive Science Society (CogSci 2003), Boston, 31/07/2003-02/08/2003, R. Alterman, D. Kirsh (Eds.), Lawrence Erlbaum Associates, p. 222-227, 2003.
  BibTeX

• Cristiano Castelfranchi, Emiliano Lorini. Cognitive Anatomy and Functions of Expectations. Dans : European Cognitive Science Conference (EuroCogSci 2003), Osnabrück, 10/09/2003-13/09/2003, F. Schmalhofer, M. Young, G. Katz (Eds.), Lawrence Erlbaum Associates, p. 377-379, 2003.
  BibTeX

• Laurent Perrussel. Handling Sequences of Belief Change in a Multi-agent Context. Dans : Multiagent System Technologies, First German Conference, MATES 2003, Erfurt, Germany, 22/09/2003-25/09/2003, Michael Schillo, Matthias Klusch, Jorg Müller, Huaglory Tianfield (Eds.), Springer-Verlag. Lecture Notes in Computer Science 2831, p. 119-130, septembre 2003.
  BibTeX

• Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. Paraconsistent Logics for Reasoning via Quantified Booelan Formulas II: Circumscribing Inconsistent Theories. Dans : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/2003-05/07/2003, Thomas Nielsen, Nevin Zhang (Eds.), Springer, p. 528-539, juillet 2003.
  BibTeX

• Philippe Besnard, Paul Wong. Modal (Logic) Paraconsistency. Dans : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/2003-05/07/2003, Thomas Nielsen, Nevin Zhang (Eds.), Springer, p. 540-551, juillet 2003.
  BibTeX

• Philippe Besnard, Robert Mercer, Torsten Schaub. Optimality Theory through Default Logic. Dans : 26th German Conference on Artificial Intelligence, Hamburg, 15/09/2003-18/09/2003, Andreas Gunter, Rudolf Kruse, Bernd Neumann (Eds.), Springer, p. 93-104, septembre 2003.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat. Reasoning about cyclic space: axiomatic and computational aspects. Dans : Spatial Cognition III (SC 2002), Allemagne, 01/01/2003-31/12/2003, C. Freksa, W. Brauer, C. Habel (Eds.), Springer-Verlag, p. 348-371, janvier 2003.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat. On the consistency problem for the INDU calculus. Dans : 10th International Symposium on Temporal Representation and Reasoning - 4th International Conference on Temporal Logic (TIME 2003 - ICTL 2003), Australie, 01/07/2003-31/07/2003, M. Reynolds, A. Sattar (Eds.), Institute of Electrical and Electronics Engineers, p. 203-211, juillet 2003.
  BibTeX

• Laszlo Aszalos, Philippe Balbiani. Logical aspects of user authentication protocols. Dans : 7th Seminar Relmics - 2nd Workshop Kleene Algebra, Malente, 01/05/2003-31/05/2003, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 277-287, mai 2003.
  BibTeX

• Philippe Balbiani, Khalil Challita, Jean-Francois Condotta. Spatial regions changing over time. Dans : 7th Seminar RelMiCS - 2nd Workshop Kleene Algebra (RelMiCS 2003 - Kleene 2003), Malente, 01/05/2003-31/05/2003, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 74-81, mai 2003.
  BibTeX

• Philippe Balbiani. Reasoning about vague concepts in the theory of property systems. Dans : 7th Seminar RelMiCS - 2nd Workshop Kleene Algebra (RelMiCS 2003 - Kleene 2003), Malente, 01/05/2003-31/05/2003, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 56-68, mai 2003.
  BibTeX

• Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, al Et. Organization based access control. Dans : Policies for Distributed Systems and Networks (POLICY 2003), Como, 01/01/2003-31/12/2003, H. Lutfiyya, J. Moffett, F. Garcia (Eds.), Institute of Electrical and Electronics Engineers, p. 120-131, janvier 2003.
  BibTeX

• Laurent Perrussel. Revising Contextual Theories. Dans : Proc. FLAIRS'04, St Augustine, USA, 12/05/2003-14/05/2003, Ingrid Russel, Susan Haller (Eds.), AAAI Press, p. 511-515, mai 2003.
  BibTeX

• Vincent Dugat. Object identification and 3d shapes knowledge base. Dans : IJCAI, workshop on spatial and temporal reasonning, Acapulco, Mexique, 09/08/2003-15/08/2003, Hans Guesgen, Gérard Ligozat (Eds.), Morgan Kaufmann, p. 10-15, août 2003.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. Grammaires d¿extraction de connaissances dans des textes guidées par une ontologie : principes et implémentation. Dans : ACFAS, Montréal, 05/05/2003-08/05/2003, Univ. Montréal, p. 154-160, mai 2003.
  BibTeX

• Andreas Herzig, Sébastien Konieczny, Laurent Perrussel. On iterated revision in the AGM framework. Dans : Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/2003-05/05/2003, Springer Verlag, LNAI 2711, p. 477-488, juillet 2003.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecsqaru03Rev.html
  BibTeX

• Andreas Herzig, Jérôme Lang, Pierre Marquis. Action representation and partially observable planning using epistemic logic. Dans : Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI-03), Acapulco, 12/08/2003-15/08/2003, Morgan Kaufman, p. 1067-1072, août 2003.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/ijcai03.html
  BibTeX

• Andreas Herzig, Dominique Longin. On modal probability and belief (regular paper). Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Aalborg, Denmark, 02/07/2003-05/07/2003, Springer, LNAI 2711, p. 62-73, juillet 2003.
  Résumé
  BibTeX

• Farah Benamara, Claire Gardent, Patrick Saint-Dizier. Quelques principes pour une modélisation sémantique d'un système de réponses coopératives sur le Web. Dans : JSM03, Paris, ENST, p. 54-65, mars 2003.
  BibTeX

• Farah Benamara. Towards a Formal Pragmatics for Cooperative Responses. Dans : IWCS05, Tilburg, Université de Tilburg, Pays bas, p. 154-165, janvier 2003.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. WEBCOOP: A Cooperative Question-Answering system on the Web. Dans : EACL03, Budapest, ACL, p. 123-132, avril 2003.
  BibTeX

• Farah Benamara, Patrick Saint-Dizier. Dynamic Generation of Cooperative Natural Language Responses. Dans : EWNLG03-ACL, Budapest, ACL, p. 56-67, avril 2003.
  BibTeX

• Laurent Perrussel. First-Order Contextual Reasoning. Dans : Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, 11/11/2002-14/11/2002, Guilherme Bittencourt, Geber Ramalho (Eds.), Springer-Verlag. Lecture Notes in Computer Science 2507, p. 11-20, novembre 2002.
  BibTeX

• Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems. Dans : 8th European Conference on Logics in Artificial Intelligence (JELIA-2002), Cosenza, Italy, 23/09/2002-26/09/2002, Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.), Springer, p. 320-331, septembre 2002.
  BibTeX

• Philippe Balbiani. Inclusion relations and orthogonality relations over property systems: first-order characterization and modal analysis. Dans : IPMU 2002, Ninth International Conference on Information Processing and Management of Uncertainty (IPMU 2002), Annecy, 01/01/2002-31/12/2002, B. Bouchon-Meunier, L. Foulloy, R. Yager (Eds.), Esia - Université de Savoie, p. 177-184, janvier 2002.
  BibTeX

• Ana Fernandez, Patrick Saint-Dizier, Gloria Vazquez, Mouna Kamel, Farah Benamara. The Volem Project : a Framework for the Construction of Advanced Multilingual Lexicons. Dans : Language Technology 2002, Hyderabad, Springer Verlag, Lecture Notes, p. 123-142, décembre 2002.
  BibTeX

• Farah Benamara. A Semantic Representation Formalism for Cooperative Question Ansewring Systems. Dans : KBCS02, Mumbai, Narosa, Delhi, Inde, p. 221-229, décembre 2002.
  BibTeX

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor. Shape representation: from Computational Geometry to Mereogeometry. Dans : European Conference on Artificial Intelligence, Lyon, 21/07/2002-26/07/2002, IOS Press, p. 25-29, juillet 2002.
  Résumé
  BibTeX

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor. Abstract representation of object and structural symmetries detection. Dans : European Conference on Artificial Intelligence, Lyon, 21/07/2002-26/07/2002, IOS Press, p. 41-47, juillet 2002.
  Résumé
  BibTeX

• Andreas Herzig, Dominique Longin. A logic of intention with cooperation principles and with assertive speech acts as communication primitives (regular paper). Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, 15/07/2002-19/07/2002, Cristiano Castelfranchi, Lewis Johnson (Eds.), ACM Press, p. 920-927, 2002.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/aamas02.html
  BibTeX

• Andreas Herzig, Dominique Longin. Sensing and revision in a modal logic of belief and action (regular paper). Dans : European Conference on Artificial Intelligence (ECAI 2002), Lyon, 23/07/2002-26/07/2002, Frank van Harmelen (Eds.), IOS Press, p. 307-311, juillet 2002.
  Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/ecai02.html
  BibTeX

• Leila Amgoud, Nicolas Maudet, Simon Parsons. An argumentation-based semantics for agent communication languages. Dans : 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, 21/07/2002-26/07/2002, Frank van Harmelen (Eds.), IOS Press, p. 38-42, juillet 2002.
  Résumé
  BibTeX

• Nathalie Chetcuti-Sperandio. Tableau-based Automated Deduction for Duration Calculus. Dans : TABLEAUX 2002 (Automated Reasoning with Analytic Tableaux and Related Methods), Copenhague, Danemark, 30/07/2002-01/08/2002, LNAI, Springer, p. 53-69, juillet 2002.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta. Computational complexity of a propositional linear temporal logic based on qualitative spatial or temporal reasoning. Dans : 4th International Workshop on Frontiers of Combining Systems, Italie, 01/01/2002-31/12/2002, Springer-Verlag, p. 1-999, janvier 2002.
  BibTeX

• Philippe Balbiani. Emptiness relations in property systems. Dans : Theory and Applications of Relational Systems as Knowledge Instruments (TARSKI 2001), Pays-Bas, 01/01/2001-31/12/2001, H. de Swart (Eds.), Springer, LNCS 2561, p. 15-34, janvier 2002.
  BibTeX

• Nicholas Asher, Itai Sher, Madison Williams. Game Theoretical Foundations for Gricean Constraints. Dans : Amsterdam Colloquium on Formal Semantics, Amsterdam, 19/12/2001-22/12/2001, Robert Van Rooij, Martin Stokhof (Eds.), ILLC Publications, p. 31-37, 2001.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. First-order characterization and modal analysis of indiscernibility and complementarity in information systems. Dans : Symbolic and Quantitative Approaches to Reasoning with Uncertainty, France, 01/01/2001-31/12/2001, Springer-Verlag, p. 772-781, janvier 2001.
  BibTeX

• Laszlo Aszalos, Andreas Herzig. Reasoning about Failure (regular paper). Dans : Engineering Societies in the Agents' World (ESAW 2001), Prague, 07/07/2001, Springer-Verlag, p. 74-86, juillet 2001.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/esaw01.html
  BibTeX

• Laurent Perrussel. a modal-logic framework for describing belief revision. Dans : Non-monotonic Reasoning action and change workshop (IJCAI workshop) NRAC'01, Seattle, USA, 05/08/2001-06/08/2001, ., p. 58-63, août 2001.
  BibTeX

• Laurent Perrussel, Pierre-Jean Charrel. Inconsistent Requirements: an Argumentation View. Dans : 13th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Dallas, 07/11/2001-09/11/2001, IEEE Computer Society, IEEE Computer Society Customer Service Center 10662 Los Vaqueros Circle P.O. Box 3014 Los Alamitos, CA 90720-USA, p. 79-86, novembre 2001.
  BibTeX

• Myriam Bras, Anne Le Draoulec, Laure Vieu. Temporal Information and Discourse Relations in Narratives: the role of French connectives 'puis' and 'un peu plus tard'. Dans : ACL'2001 Workshop on Temporal and Spatial Information Processing, Toulouse, 07/07/2001-07/07/2001, Association for Computational Linguistics (ACL), p. 49-56, juillet 2001.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/BLDV-ACL01.pdf
  BibTeX

• Fabrice Evrard, Saïd Tazi. Structures intentionnelles de la communication écrite pour la création interactive de documents.. Dans : Premières Journées Francophones des Modèles Formels de l'Interaction (MFI'01)., Toulouse, 21/05/2001-23/05/2001, B.Chaib-draa & P.Enjalbert, Manufacture des Tabacs, Université des Sciences Sociales de Toulouse, p. 151-164, mai 2001.
  Accès : http://damas.ift.ulaval.ca/conferences/mfi01/
  BibTeX

• Leila Amgoud, Simon Parsons, Nicolas Maudet. Arguments, dialogue, and negotiation. Dans : 14th European Conference on Artificial Intelligence, Berlin, Germany, 20/08/2001-25/08/2001, IOS Press, p. 338-342, août 2001.
  BibTeX

• Jérôme Lang, Philippe Muller. Plausible reasoning from spatial observations. Dans : Proc.of the 17th Conference Uncertainty in Artificial Intelligence (UAI01), Seattle-USA, 02/08/2001-05/08/2001, Morgan Kaufmann Publishers, p. 285-292, août 2001.
  BibTeX

• Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek. Updates, actions, and planning (regular paper). Dans : International Joint Conference on Artificial Intelligence (IJCAI ), Seattle, Morgan Kaufmann Publishers, p. 119-124, août 2001.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/ijcai01.html
  BibTeX

• Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci. Lotrec: a generic tableau prover for modal and description logics (regular paper). Dans : International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, 18/06/2001-23/06/2001, Vol. 2083, R. Goré, A. Leitsch, T. Nipkow (Eds.), Springer-Verlag, LNCS, p. 453-458, 2001.
  Accès : http://www.irit.fr/~Andreas.Herzig/P/ijcar01.html
  BibTeX

• Leila Amgoud, Nicolas Maudet. On the cooperative behavior of an argumentation based dialogue system. Dans : Workshop "Cooperative Models Based on Argumentation in Problem Solving" of the 4th International Conference on the Design of Cooperative Systems (COOP'2000), Nice, ., janvier 2000.
  BibTeX

• Philippe Balbiani, Aomar Osmani. A model for reasoning about topological relations between cyclic intervals. Dans : Seventh International Conference on Principles of Knowledge Representation and Reasoning, Etats-Unis, 01/01/2000-31/12/2000, Morgan Kaufmann, p. 378-385, janvier 2000.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat. Reasoning about generalized intervals: Horn representability and tractability. Dans : Seventh International Workshop on Temporal Representation and Reasoning, Canada, 01/01/2000-31/12/2000, Institute of Electrical and Electronics Engineers, p. 23-39, janvier 2000.
  BibTeX

• Mario Borillo. Une rencontre symptomatique de la mutation computationnelle de notre temps : Art contemporain et Sciences de la cognition. Dans : L'Espace public mondial et la Société de l'information, Santiago de Compostela, Espagne, 16/11/2000-18/11/2000, Taurus, Madrid, p. 353-369, novembre 2000.
  BibTeX

• Leila Amgoud, Laurent Perrussel. Arguments and Contextual Preferences. Dans : Computational Dialectics-Ecai workshop (CD2000), Berlin, 22/08/2000-22/08/2000, ., août 2000.
  BibTeX

• Leila Amgoud, Simon Parsons, Laurent Perrussel. An Argumentation Framework based on contextual Preferences. Dans : International Conference on Formal and Applied and Practical Reasoning (FAPR'00), London, ., p. 59-67, janvier 2000.
  BibTeX

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor. Functional Granularity. Dans : ECAI Workshop on Current Issues in Spatio-Temporal Reasoning, Berlin, 20/08/2000-25/08/2000, Werner Horn, p. 37-43, août 2000.
  BibTeX

• Vincent Dugat, Yannick Larvor. Vers une analyse qualitative du mouvement. Dans : Reconnaissance des formes et intelligence artificielle, Paris, 01/02/2000-03/02/2000, AFRIF-AFIA, p. 203-212, février 2000.
  BibTeX

• Leila Amgoud, Nicolas Maudet, Simon Parsons. Modelling dialogues using argumentation. Dans : 4th International Conference on MultiAgent Systems, Boston, USA, 07/07/2000-12/07/2000, IEEE Press, juillet 2000.
  BibTeX

• Philippe Besnard, Torsten Schaub. Significant inferences: Preliminary report. Dans : 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2000), Breckenridge, CO, USA, Morgan Kaufmann, p. 401-410, avril 2000.
  BibTeX

• Andreas Herzig, Jérôme Lang, Thomas Polacsek. A modal logic for epistemic tests. Dans : Proceedings of the 14th European Conference on Artificial Intelligence ECAI 2000, Berlin, Germany, 20/08/2000-25/08/2000, Werner Horn, p. 553-557, août 2000.
  BibTeX

• Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek. A logic for planning under partial observability. Dans : Proceedings of the Seventeenth National Conference AAAI-2000, Austin, Texas (USA), 30/07/2000-03/08/2000, AAAI Press, p. 768-773, 2000.
  Résumé
  BibTeX

• Philippe Besnard, Marie-Odile Cordier. Inferring causal explanations. Dans : 5th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU 1999), London, U.K., LNAI 1638, Springer, p. 55-67, juillet 1999.
  BibTeX

• Claudio Masolo, Laure Vieu. Atomicity vs Divisibility of Space. Dans : Spatial information theory - Cognitive and computational foundations of geographic information science (COSIT 1999), Stade, Germany, 25/08/1999-29/08/1999, C. Freska, M. Mark (Eds.), Springer-Verlag, LNCS 1661, p. 235-250, août 1999.
  BibTeX

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor. Qualitative Theory of Shape and Structure. Dans : EPIA'99, EVORA (Portugal), 21/09/1999-24/09/1999, Pedro Barahona & José J. Alferes, Universidade Nova de Lisboa, Departamento de Informatica, Quinta da Torre, P-2825-114 Caparica, Portugal, p. 148-162, septembre 1999.
  BibTeX

• Vincent Dugat, Pierre Gambarotto, Yannick Larvor. Qualitative Theory of Shape and Orientation. Dans : IJCAI'99 , Workshop Hot Topics in Spatial and Temporal Reasonning,, Stockholm, 31/07/1999-06/08/1999, Rita Rodriguez (Eds.), Morgan Kaufmann, p. 45-53, juillet 1999.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro. A tractable subclass of the block algebra: constraint propagation and preconvex relations. Dans : Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA'99), Evora, ., janvier 1999.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro. A new tractable subclass of the rectangle algebra. Dans : Sixteenth International Joint Conference on Artificial Intelligence, Suede, 01/01/1999-31/12/1999, International Joint Conferences on Artificial Intelligence, p. 442-447, janvier 1999.
  BibTeX

• Philippe Balbiani, Dimiter Vakarelov. Extending arrow logic. Dans : International Seminar on Relational Methods in Computer Science (RelMiCS 1998), Pologne, 01/01/1998-31/12/1998, Stefan Banach International Center, p. 13-17, 1998.
  BibTeX

• Philippe Balbiani, Amal Elfallah-Seghrouchni. A modal logic for reasoning about beliefs, desires and intentions of complex agents in a distributed environment. Dans : Third International Conference on Multi Agent Systems (ICMAS 1998), Paris, 01/01/1998-31/12/1998, Yves Demazeau (Eds.), Institute of Electrical and Electronics Engineers, p. 387-388, janvier 1998.
  BibTeX

• Philippe Balbiani. Terminological modal logic. Dans : Advances in Modal Logic, volume 1 (AiML 1996), Berlin, 01/01/1998-31/12/1998, Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev (Eds.), CSLI Publications, p. 23-39, janvier 1998.
  BibTeX

• Laurent Perrussel. Une logique des contextes de type modal. Dans : Quatrièmes rencontres des jeunes chercheurs en Intelligence Artificielle (RJCIA'98), Toulouse, 01/09/1998-04/09/1998, AFIA, p. 209-215, septembre 1998.
  BibTeX

• Laurent Perrussel, Bernard Rothenburger. A formalism for Convergence Measurement in a Multi-viewpoint Requirement Process. Dans : Information Modelling and Knowledge Bases X, Tampere (Finlande), 20/05/1998-22/05/1998, IOS Press, Amsterdam - Hollande, p. 191-199, mai 1998.
  BibTeX

• Laurent Perrussel. Contextual Reasoning. Dans : 13th European Conference on Artificial Intelligence (ECAI'98), Brighton (UK), 23/08/1998-28/08/1998, J. Wiley, Chichester, England, p. 366-367, août 1998.
  BibTeX

• Nicolas Maudet, Fabrice Evrard. Using implicature to avoid conflict in dialogue.. Dans : 13th biennial European Conference on Artificial Intelligence (ECAI-98) Workshop W16 Conflicts among agents: avoid or use them?, Brighton, UK, 23/08/1998-28/08/1998, ECAI-98, p. 15, août 1998.
  Accès : http://www.enseeiht.fr/fr/recherche/info/Intellig/PUBLICATIONS/conflicts.ps.gz
  BibTeX

• Nicolas Maudet, Fabrice Evrard. A generic framework for dialogue game implementation. Dans : 2nd Workshop on Formal Semantics and Pragmatics of Dialogue, University of Twente, Enschede, The Netherlands, 13/05/1998-15/05/1998, Hulstijn J. and Nijholt A., p. 185-197, mai 1998.
  Accès : http://www.enseeiht.fr/fr/recherche/info/Intellig/PUBLICATIONS/twendial98.ps.gz
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi. Belief Reconstruction in Cooperative Dialogues (regular paper). Dans : Int. Conf. on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 1998), Sozopol, Bulgaria, 21/09/1998-23/09/1998, Fausto Giunchiglia (Eds.), Springer-Verlag, LNAI 1480, p. 254-266, septembre 1998.
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro, Aomar Osmani. Reasoning about generalized intervals. Dans : Artificial Intelligence: Methodology, Systems and Applications, Bulgarie, 01/01/1998-31/12/1998, Springer-Verlag, p. 50-61, janvier 1998.
  BibTeX

• Andreas Herzig, Omar Rifi. Update operations: a review. Dans : Proc. Eur. Conf. on Artificial Intelligence (ECAI'98), Brighton, Wiley, p. 13-17, août 1998.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/P/ecai98.html
  BibTeX

• Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro. A model for reasoning about bidimensional temporal relations. Dans : Sixth International Conference on Principles of Knowledge Representation and Reasoning, Italie, Morgan Kaufmann, p. 124-130, janvier 1998.
  BibTeX

• Philippe Muller. Space-Time as a Primitive for Space and Motion. Dans : Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS'98), Trento, IOS Press, Amsterdam, p. 63-76, juin 1998.
  Accès : http://www.irit.fr/~Philippe.Muller
  BibTeX

• Philippe Muller. A Qualitative Theory of Motion Based on Spatio-temporal Primitives. Dans : Proc. 6th Int. Conf. on Principles of Knowledge Representation and Reasoning(KR'98) Knowledge Representation (KR'98), Trento, Italy, Morgan Kaufmann, San Fransisco, CA, p. 131-141, juin 1998.
  Résumé Accès : http://www.irit.fr/~Philippe.Muller
  BibTeX

• Philippe Balbiani, Stéphane Demri. Prefixed tableau systems for modal logics with enriched languages. Dans : Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Japon, 01/01/1997-31/12/1997, M. Pollack (Eds.), International Joint Conferences on Artificial Intelligence, p. 190-195, janvier 1997.
  BibTeX

• Philippe Besnard, Torsten Schaub. Circumscribing Inconsistency. Dans : 15th Int. Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, Morgan Kaufmann, p. 150-155, août 1997.
  BibTeX

• Andreas Herzig. How to change factual beliefs using laws and independence information. Dans : Qualitative and Quantitative Practical Reasoning - First Int. Joint Conf. on Qual. and Quant. Practical Reasoning; ECSQARU-FAPR'97 (Gabbay, Dov M. and Kruse, Rudolf and Nonnengart, Andreas and Ohlbach, Hans Juergen eds.), -, Springer LNCS 1244, p. 311-321, juin 1997.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/ecsqaru97.html
  BibTeX

• Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade. Qualitative relevance and independence: a roadmap. Dans : IJCAI97, Nagoya, Japon, Morgan Kaufmann, p. 62-67, janvier 1997.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/ijcai97.html
  BibTeX

• Gabriella Crocco, Andreas Herzig. The Ramsey Test as an inference rule. Dans : The role of pragmatics in contemporary philosophy: Contributions of the Austrian Ludwig Wittgenstein Society, Kirchberg, Austrian Ludwig Wittgenstein Society, janvier 1997.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/witt97.html
  BibTeX

• Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig. Modal tableaux for reasoning about actions and plans. Dans : European Conference on Planning (ECP'97)(Sam Steel and Rachid Alami eds.), -, Springer LNAI 1348, p. 104-116, janvier 1997.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/P/ecp97.html
  BibTeX

• Philippe Balbiani. A modal logic for data analysis. Dans : Mathematical Foundations of Computer Science 1996 (MFCS 1996), Cracovie, 01/09/1996-30/09/1996, W. Penczek, A. Szalas (Eds.), Springer-Verlag, p. 167-179, septembre 1996.
  BibTeX

• Philippe Balbiani. Modal logics with relative accessibility relations. Dans : Practical Reasoning (FAPR 1996), Bonn, 01/01/1996-31/12/1996, Dov Gabbay, Hans Ohlbach (Eds.), Springer-Verlag, p. 29-42, janvier 1996.
  BibTeX

• Andreas Herzig. The PMA revisited. Dans : Proc. Int. Conf. on Knowledge Representation and Reasoning (KR'96) (Aiello, Luigia Carlucci and Shapiro, Stuart eds.), -, Morgan Kaufmann Publishers, p. 40-50, novembre 1996.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/kr96.html
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional. Dans : Frontiers in Combining Systems (Proc. Int. Workshop FroCoS'96) (Baader, Franz and Schulz, Klaus U. eds.), -, Kluwer (Applied Logic Series 3), p. 93-102, janvier 1996.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/frocos96.html
  BibTeX

• Luis Fariñas del Cerro, Andreas Herzig. Belief change and dependence. Dans : Proc. 6th Conf. on Theoretical Aspects of Rationality and Knowledge (TARK'96) (Eds.Shoham, Yoav), -, Morgan Kaufmann Publishers, San Francisco, p. 147-162, janvier 1996.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Papers/tark96.ps.Z
  BibTeX

• Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig. Talkin'bout consistency, or: when logically possible becomes possible. Dans : Practical Reasoning - Proc. Int. Conf. on Formal and Applied Practical Reasoning (FAPR'96)(Eds. Gabbay, Dov M. and Ohlbach, Hans Jurgen) (LNAI 1085), -, Springer-Verlag, p. 141-150, juin 1996.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Herzig/fapr96.ps.Z
  BibTeX

• Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov. Geometrical structures and modal logic. Dans : Practical Reasoning - Proc. Int. Conf. on Formal and Applied Practical Reasoning (FAPR'96) (eds. Gabbay, Dov M. and Ohlbach, Hans Jurgen) (LNAI 1085), -, Springer-Verlag, juin 1996.
  Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Papers/fapr57.ps.Z
  BibTeX

• Laurent Perrussel, Pierre-Jean Charrel, Bernard Rothenburger. A Formalism for Inter-Perspective Relationships Checking. Dans : Information Modelling and Knowledge Bases VIII : Principles and formal techniques, Copenhague, Danemark, _, mai 1996.
  BibTeX

• Philippe Balbiani. Equational solving in geometrical theories. Dans : Conditional and Typed Rewriting Systems (CTRS 1994), Jérusalem, 01/07/1995-31/07/1995, Nachum Dershowitz, Naomi Lindenstrauss (Eds.), Springer-Verlag, p. 31-50, juillet 1995.
  BibTeX

• Philippe Balbiani, Luis Fariñas del Cerro. Affine geometry of collinearity and conditional term rewriting. Dans : Term Rewriting, Font Romeux, 01/05/1995-31/05/1995, Hubert Comon, Jean-Pierre Jouannaud (Eds.), Springer-Verlag, p. 196-213, mai 1995.
  BibTeX

• E. Agirre, X. Arregi, X. Artola, A. Diaz de Ilarraza, Fabrice Evrard. IDHS, MLDSA: Towards Dictionary Help Systems for Human Users. Dans : -, -, K. Korta and J.M. Larrazabal, Institute for Logic, Cognition, Language and Information(ILCLI), janvier 1995.
  BibTeX

• Mario Borillo. Du langage au raisonnement: le rôle de la logique. Dans : Actes de 2ème Congrès AFCET: Le rôle des Technologiesde l'information et de la connaissance dans la mutation des sociétés industrielles, -, AFCET, Toulouse, p. 1-10, janvier 1995.
  BibTeX

• Mario Borillo, Hervé Pensec. From Numerical Observations to Propositional Representations: A Cognitive Methodology to Structure Hybrid Spatial Knowledge. Dans : Proceedings of AISB 95 Conference, -, IOS Press, p. 13-25, janvier 1995.
  BibTeX

• Nicholas Asher, Laure Vieu. Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. Dans : International Joint Conference on Artificial Intelligence (IJCAI ), Montréal, Canada, Morgan Kaufmann Publishers, p. 846-852, août 1995.
  Accès : ftp://ftp.irit.fr/IRIT/LILAC/AV-ijcai95.pdf
  BibTeX

• Laurent Perrussel, Pierre-Jean Charrel, Bernard Rothenburger. A Multi-Agent Approach for Expressing Inter-Viewpoint Relationships. Dans : Proc. of the first International Workshop on Decentralized Multi-Agent Systems, Krakow, Poland, 22/11/1995-24/11/1995, -, p. 363-370, novembre 1995.
  BibTeX

• Robert Koons, Nicholas Asher. Belief Revision in a Changing World. Dans : Theoretical Aspects of Rationality and Knowledge (TARK ), Monterey, California, Morgan Kaufmann Publishers, p. 321-340, 1994.
  BibTeX

• Philippe Balbiani. Equation solving in projective planes and planar ternary rings. Dans : Algebraic and Logic Programming (ALP 1994), Madrid, 01/09/1994-30/09/1994, Giorgio Levi, Mario Rodriguez-Artalejo (Eds.), Springer-Verlag, p. 95-113, septembre 1994.
  BibTeX

• Philippe Balbiani. The finiteness of logic programming derivations. Dans : Algebraic and Logic Programming (ALP 1992), Volterra, 01/09/1992-30/09/1992, Hélène Kirchner, Giorgio Levi (Eds.), Springer-Verlag, p. 403-419, septembre 1992.
  BibTeX

• Nicholas Asher, Michael Morreau. Commonsense Entailment: A Modal, Nonmonotonic Theory of Reasoning. Dans : International Joint Conference on Artificial Intelligence (IJCAI ), , Morgan Kaufmann Publishers, p. 387-392, 1991.
  BibTeX

• Philippe Balbiani, Andreas Herzig, Mamede Lima Marques . TIM: the Toulouse inference machine for non-classical logic programming. Dans : Processing Declarative Knowledge (PDK 1991), Kaiserslautern, H. Boley, M. Richter (Eds.), Springer-Verlag, p. 366-382, janvier 1991.
  BibTeX

• Philippe Balbiani. Nonmonotonic reasoning and modal logic, from negation as failure to default logic. Dans : Uncertainty in Knowledge Bases (IPMU 1990), Paris, 01/01/1991-31/12/1991, Bernadette Bouchon-Meunier, Ronald Yager, Lofti Zadeh (Eds.), Springer-Verlag, p. 223-231, janvier 1991.
  BibTeX

• Philippe Balbiani. A modal semantics for the negation as failure and the closed world assumption rules. Dans : STACS 91 (STACS 1991), Hambourg, 01/02/1991-28/02/1991, C. Choffrut, M. Jantzen (Eds.), Springer-Verlag, p. 523-534, février 1991.
  BibTeX

• Nicholas Asher. Intentional Paradoxes and an Inductive Theory of Propositional Quantification. Dans : Theoretical Aspects of Rationality and Knowledge (TARK ), Monterey, California, Rohit Parikh (Eds.), Morgan Kaufmann Publishers, p. 1-17, 1990.
  BibTeX

• Nicholas Asher. Reasoning about Belief and Knowledge with Self-Reference and Time. Dans : Theoretical Aspects of Rationality and Knowledge (TARK ), Monterey, California, Moshe Vardi (Eds.), Morgan Kaufmann Publishers, p. 61-82, 1988.
  BibTeX

• Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig. Declarative semantics for modal logic programs. Dans : Proceedings of the International Conference on Fifth Generation Computer Systems 1988 (FGCS 1988), Japon, 01/01/1988-31/12/1988, Institute for New Generation Computer Technology, p. 507-514, janvier 1988.
  BibTeX

• Nicholas Asher, Hans Kamp. The Knower's Paradox and Representational Theories of Attitudes. Dans : Theoretical Aspects of Rationality and Knowledge (TARK 1986), Monterey, California, 19/03/1986-22/03/1986, Joe Halpern (Eds.), Morgan Kaufmann Publishers, p. 131-148, 1986.
  BibTeX