Publications de
Obligations with deadlines: a formalization in Dynamic Deontic Logic
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 24 N. 1, p. 1-17, 2012.
Robert Demolombe, Luis Fariñas del Cerro
How to Produce Information About a Given Entity Using Automated Deduction Methods
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 256, p. 19-31, 2009.
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.
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in Modal Logic
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13 N. 2, p. 165-185, 2003.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl03.html
BibTeX
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
A Logical Model for Metabolic Networks with Inhibition (regular paper)
Dans : International Conference on Bioinformatics and Computational Biology (BIOCOMP 2013), Las Vegas, USA, 22/07/13-25/07/13, Computing Research Repository, p. 122-128, juillet 2013.
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Molecular Interaction Automated Maps (regular paper)
Dans : International Workshop on Learning and Non Monotonic Reasoning (LNMR 2013), A Corunna, Spain, 15/09/13, Vol. abs/1311.4639, Computing Research Repository, p. 31-42, septembre 2013.
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Automated Reasoning in Metabolic Networks with Inhibition (regular paper)
Dans : International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, 04/12/13-06/12/13, Vol. 8249, Springer, Lecture Notes in Computer Science, p. 37-47, décembre 2013.
La confiance dans les relations entre agents : essai de modélisation en Logique Modale
Dans : Cinquièmes Journées Francophones MODÈLES FORMELS de lINTERACTION, Lannion, 03/06/09-05/06/09.
Modeling actions and causality
Dans : 3rd. Latin American Workshop on Non-Monotoonic Reasoning, Puebla, Mexico, 01/09/09-03/09/09 (conférencier invité).
Graded trust
Dans : Proc. 12th. Workshop on Trust in Agent Societies (workshop AAMAS), Budapest, 12/05/09.
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/08-26/09/08, Springer-Verlag, p. 1-12, septembre 2009.
Luis Fariñas del Cerro, Robert Demolombe
Deduction and Abduction of Information about an entity (regular paper)
Dans : Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Brasilia (Brazil), 28/06/09-03/07/09 (conférencier invité), 2009.
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/08-17/09/08, J. Broersen, J.-J. Meyer (Eds.), Springer-Verlag, LNAI, p. 81-98, 2009.
Accès : http://www.springerlink.com/content/c16v8215541rw154/fulltext.pdf
BibTeXAndreas 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/08-16/07/08, Guido Boella, Gabriella Pigozzi, Munindar Singh, Harko Verhagen (Eds.), University of Luxembourg Press, p. 143-157, 2008.
Accès : http://www.irit.fr/publis/LILAC/Conf_internationales/2008_Herzig_et_al_NORMAS.pdf
BibTeXRobert Demolombe, Emiliano Lorini
A logical account of trust in information sources
Dans : Proceedings of the Eleventh International Workshop on Trust in Agent Societies, Estoril (Portugal), 12/05/08-13/05/08.
Emiliano Lorini, Robert Demolombe
From trust in information sources to trust in communication systems: an analysis in modal logic
Dans : Pproceedings of the International workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sydney, 17/09/08-17/09/08, J.J. Meyer, J. Broersen (Eds.).
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/08-18/07/08, Vol. 5076, R. Van der Meyden, L. Van der Torre (Eds.), Springer-Verlag, LNCS, p. 50-64, 2008.
Modélisation en logique de l’action et de la causalité
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 29/05/07-02/06/07 (conférencier invité), Annales du LAMSADE, p. 1-1, mai 2007.
Robert Demolombe, Vincent Louis
Actes communicatifs à effets institutionels
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, p. 1-15, mai 2007.
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/04-28/05/04, Alessio Lomuscio, Donald Nute (Eds.), Springer-Verlag, p. 57-73, mai 2004.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Deon04.html
BibTeXRobert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in modal logic
Dans : Methods for Modalities (M4M-3), Nancy, 22/09/03-23/09/03.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl03.html
BibTeXSalem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 145-160, mars 1997.
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 : http://www.irit.fr/publis/LILAC/Lorini&DemolombeWorkshopTrust.pdf
BibTeX
Causality in the context of multiple agents, Springer-Verlag, Deontic Logic in Computer Science, LNAI 7393, 2012.
Transitivity and propagation of trust in information sources. An Analysis in Modal Logic, Springer-Verlag, Computational Logic in Multi-Agent Systems, LNAI 6814, 2011.
Relationships between obligations and actions in the context of institutional agents, human agents or software agents, Springer, Vol. 19, Journal of Artificial Intelligence and Law, 2011.
Robert Demolombe, Luis Fariñas del Cerro
Information about a given entity: from semantics towards automated deduction, Oxford University Press, Vol. 20, Journal of Logic and Computation, 6, 2010.
Relationships between actions performed by institutional agents, human agents or software agents, Springer-Verlag, Proceedings of the 10th International Conference on Deontic Logic in Computer Science, LNAI 6181, 2010.