Publications of
Obligations with deadlines: a formalization in Dynamic Deontic Logic
In : Journal of Logic and Computation, Oxford University Press, Vol. 24 N. 1, pp. 1-17, 2012.
Robert Demolombe, Luis Fariñas del Cerro
How to Produce Information About a Given Entity Using Automated Deduction Methods
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 256, pp. 19-31, 2009.
Robert Demolombe, Pilar Pozos Parra
Integrating state constraints and obligations in Situation Calculus
In : Inteligencia Artificial (Ibero-American Journal of Artificial Intelligence), Asociación Española de Inteligencia Artificial (AEPIA), Spain, Special issue Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, Vol. 41, pp. 55-64, January 2009.
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in Modal Logic
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13 N. 2, pp. 165-185, 2003.
Abstract URL : 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)
In : International Conference on Bioinformatics and Computational Biology (BIOCOMP 2013), Las Vegas, USA, 22/07/13-25/07/13, Computing Research Repository, pp. 122-128, July 2013.
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Molecular Interaction Automated Maps (regular paper)
In : International Workshop on Learning and Non Monotonic Reasoning (LNMR 2013), A Corunna, Spain, 15/09/13, Vol. abs/1311.4639, Computing Research Repository, pp. 31-42, September 2013.
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Automated Reasoning in Metabolic Networks with Inhibition (regular paper)
In : 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, pp. 37-47, December 2013.
La confiance dans les relations entre agents : essai de modélisation en Logique Modale
In : Cinquièmes Journées Francophones MODÈLES FORMELS de lINTERACTION, Lannion, 03/06/09-05/06/09.
Modeling actions and causality
In : 3rd. Latin American Workshop on Non-Monotoonic Reasoning, Puebla, Mexico, 01/09/09-03/09/09 (invited speaker).
Graded trust
In : 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
In : International Workshop on Engineering Societies in the Agents World (ESAW 2008), Saint-Etienne, 24/09/08-26/09/08, Springer-Verlag, pp. 1-12, September 2009.
Luis Fariñas del Cerro, Robert Demolombe
Deduction and Abduction of Information about an entity (regular paper)
In : Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Brasilia (Brazil), 28/06/09-03/07/09 (invited speaker), 2009.
Emiliano Lorini, Robert Demolombe
From trust in information sources to trust in communication systems: an analysis in modal logic (regular paper)
In : 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, pp. 81-98, 2009.
URL : 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)
In : 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, pp. 143-157, 2008.
URL : 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
In : 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
In : 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
In : 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, pp. 50-64, 2008.
Modélisation en logique de l’action et de la causalité
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 29/05/07-02/06/07 (invited speaker), Annales du LAMSADE, pp. 1-1, May 2007.
Robert Demolombe, Vincent Louis
Actes communicatifs à effets institutionels
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, pp. 1-15, May 2007.
Robert Demolombe, Andreas Herzig
Obligation change in dependence logic and situation calculus (regular paper)
In : 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, pp. 57-73, May 2004.
URL : http://www.irit.fr/~Andreas.Herzig/P/Deon04.html
BibTeXRobert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in modal logic
In : Methods for Modalities (M4M-3), Nancy, 22/09/03-23/09/03.
Abstract URL : 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
In : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, pp. 145-160, March 1997.
Emiliano Lorini, Robert Demolombe
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
In : Trust in Agent Societies. S. Barber, J. Sabater-Mir, M. Singh (Eds.) , Springer-Verlag, pp. 205-225, Vol. 5396, LNAI, 2008.
URL : 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.