|
Publications - 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 (monographies)
-
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, Tinko Tinchev. Special Issue. Dans : Journal of Applied Non-Classical Logics, Hermès, 2008 (à paraître).
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/ACTIVITES/LILaC/Pers/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 : J. of Applied Non-Classical Logics, Hermes-Lavoisier, Vol. 15:1, 2005.
Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/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 : J. of Applied Non-Classical Logics, Hermes, Vol. 11, 2/3, 2001.
Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/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
-
Philippe Besnard, Sylvie Doutre, Anthony Hunter. Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, 28/05/08 - 30/05/08, 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/07 - 08/06/07, 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/07 - 01/06/07, 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/07 - 24/08/07, Springer-Verlag, LNAI 4635, août 2007.
BibTeX
-
Eric Raufaste, André Tricot. Actes des 3èmes journées de Psychologie Ergonomique, Toulouse, France, 26/09/05 - 28/09/05, 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/05 - 27/05/05, Cépaduès-Editions, Toulouse, mai 2005.
Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Herzig/P/mfi05Preface.html
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/99 - 17/07/99, 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/95 - 22/09/95, 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
-
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, 2008 (à paraître).
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/ACTIVITES/LILaC/Pers/Herzig/P/Synthese08.html
BibTeX
-
Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi. AUTOMATIC SERVICE COMPOSITION VIA SIMULATION. Dans : International Journal of Foundations of Computer Science, World Scientific Publishing, 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, 2008 (à paraître).
Résumé
Accès : ftp://ftp.irit.fr/IRIT/LILAC/2008_TrognonEtAl_EJDP.pdf
BibTeX
-
Philippe Balbiani, Tinko Tinchev. Foreword. Dans : Journal of Applied Non-Classical Logics, Hermès, Numéro spécial Special Issue, 2008 (à paraître).
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, 2008 (à paraître).
BibTeX
-
Emiliano Lorini, Castelfranchi Cristiano. The unexpected aspects of Surprise. Dans : International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing, 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
-
Nicholas Asher. A Type Driven Theory of Predication with Complex Types. Dans : Fundamenta Informaticae, IOS Press, 2007 (à paraître).
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, 2007 (à paraître).
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-69, 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. 1-54, 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
-
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
-
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
-
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, Vol. 57 N. 2-4, p. 323-344, 2003.
Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/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
-
R. Demolombe, Andreas Herzig, Ivan José Varzinczak. Regression in Modal Logic. Dans : Journal of Applied Non-Classical Logics, Hermès, Paris, Vol. 13 N. 2, p. 165-185, 2003.
Résumé
Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/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
-
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é
Accès : http://www.irit.fr/ACTIVITES/LILaC/Pers/Longin/Papers/2000_Journal_of_Semantics.ps
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
-
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
-
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, 2008 (à paraître).
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, Vol. 5225, LNAI, 2008 (à paraître).
BibTeX
-
Cristiano Castelfranchi, Rino Falcone, Emiliano Lorini. A non reductionist approach to trust. Dans : Computing with Social Trust and Reputation. J. Golbeck (Eds.), Springer, 2008 (à paraître).
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 (Eds.), Springer-Verlag, Vol. 4324, LNCS, 2008 (à paraître).
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, Vol. 28, Trends in Logic, 2008 (à paraître).
BibTeX
-
|