Robert Demolombe

(last update July 2016)


Institut de Recherche en Informatique de Toulouse (IRIT).
Groupe LILac.

email : robert.demolombe AT orange.fr

Research Activities

Modal Logic, Situation Calculus and Artificial Intelligence

  • Multi Agent Systems
  • Trust
  • Norms
  • Belief change
  • Obligation change
  • Intention change and Intention recognition
  • Argumentation

Classical Logic and Databases

  • Semantics of query languages
  • Topics of interest
  • Cooperative answering
  • Integrity constraints
  • Query optimization
  • Deductive databases
  • Automated theorem proving

Short CV

Selected Publications

2016

J-M. Alliot, R. Demolombe, L. Fariñas del Cerro, M. Diéguez, N. Obeid
Temporal Modeling of Biological Systems
In Towards Paraconsistent Engineering: From Pure Logic to Applied Logic, Springer (to appear) Eds. S. Akama.

R. Demolombe, L. Fariñas del Cerro, N. Obeid
Translation of First Order Formulas into Ground Formulas via a Completion Theory
In Journal of Applied Logic 15 130-149 2016

2015

R. Demolombe,
Analytical Decomposition of Trust in Terms of Mental and Social Attitudes
In The Cognitive Foundations of Group Attitudes and Social Interaction, Studies in the Philosophy of Sociality Springer,2015 Eds. A. Herzig, E. Lorini

2014

L. Amgoud, R. Demolombe,
An Argumentation-based Approach for Reasoning about Trust in Information Sources
In Journal of Argumentation and Computation, 2014

2013

R. Demolombe, L. Fariñas del Cerro, N. Obeid
A Logical Model for Metabolic Networks with Inhibition
In Proceedings of BioComp Conference 2013

R. Demolombe, L. Fariñas del Cerro, N. Obeid
Automated Reasoning in Metabolic Networks with Inhibition
In AI*IA: Advances in Artificial Intelligence, LNCS 8249, Springer Verlag, 2013. Eds. M. Baldoni, C.Baroglio, G. Boella, R. Micalizio.

R. Demolombe, L. Fariñas del Cerro, N. Obeid
Molecular Interaction Automated Maps
In Proceedings of Learning and Non Monotonic Reasoning Conference 2013. Eds. K. Inoue, C. Sakama.

2012

R. Demolombe,
Causality in the context of multiple agents
In Deontic Logic in Computer Science Eds. T. Agotnes, J. Broersen, D. Elgesem, LNAI 7393, Springer Verlag 2012.

2011

R. Demolombe,
Transitivity and propagation of trust in information sources. An Analysis in Modal Logic
In Computational Logic in Multi-Agent Systems Eds. J. Leite, P. Torroni, T. Agotnes, L. van der Torre, LNAI 6814, Springer Verlag 2011.

R. Demolombe
Relationships between obligations and actions in the context of institutional agents, human agents or software agents
In Journal of Artificial Intelligence and Law Vol. 19 Numbers 2-3. 2011.

2010

R. Demolombe,
Obligations with deadlines: a formalization in Dynamic Deontic Logic
In Proc. of the European Summer School of Logic Language and Information, Workshop on Logic in Security Eds. D. Gabbay, L. van der Torre, 2010.

R. Demolombe,
Relationships between actions performed by institutional agents, human agents and software agents
In Deontic Logic in Computer Science Eds. G. Governatori, G. Sartor, LNAI 6181, Springer Verlag 2010.

R. Demolombe, L. Fariñas del Cerro
Information about a given entity: from semantics towards automated deduction
In Journal of Logic and Computation Vol. 20 Issue 6. 2010.

2009

R. Demolombe
Graded trust
In Proc. Workshop on Trust in Agent Societies, Budapest, 2009.

R. Demolombe
La confiance dans les relations entre agents : essai de modélisation en Logique Modale
In Proc. Journées Francophones sur la Modélisation Formelle de l’Interaction , Lannion, 2009.

2008

R. Demolombe, E. Lorini
A logical account of trust in information sources
In Proc. Workshop on Trust in Agent Societies, Estoril, 2008.

E. Lorini, R. Demolombe,
Trust and norms in the context of computer security: a logical formalization
In Deontic Logic in Computer Science Eds. R. van der Meyden, L. van der Torre, LNAI 5076, Springer Verlag 2008.

E. Lorini, R. Demolombe,
From trust in information sources to trust in communication systems: an analysis in modal logic
In Pre-proc. of the KR 2008-workshop on Knowledge Representation for Agents and Multi-Agents Systems Eds. J-J. Ch. Meyer, J. Broersen, Sydney, 2008.

C. Adam, V. Louis, R. Demolombe
Formalising the institutional interpretation of actions in an extended BDI logics
In Proc. of Ninth Workshop Engineering Societies in the Agents Worlds , Saint-Etienne, 2008.

2007

R. Demolombe, V. Louis
Actes communicatifs à effets institutionels
In Proc. Journées Francophones sur la Modélisation Formelle de l’Interaction , Paris, 2007.

2006

R. Demolombe, P. Pozos Parra
Belief revision in the Situation Calculus without plausibility levels
In Foundations of Intelligent Systems Eds. F. Esposito, Z. W. Ras, D. Malerba, G. Semeraro, LNAI 4203, Springer Verlag 2006.

R. Demolombe, V. Louis
Norms, institutional power and roles: toward a logical framework
In Foundations of Intelligent Systems Eds. F. Esposito, Z. W. Ras, D. Malerba, G. Semeraro, LNAI 4203, Springer Verlag 2006.

R. Demolombe, V. Louis
Speech acts with institutional effects in agent societies
In Deontic logic and artificial intelligent systems Eds. L. Goble, J-J. Ch. Meyer, LNAI 4048, Springer Verlag 2006.

2005

P. Pozos Parra, A. Nayak, R. Demolombe
Theories of intentions in the framework of situation calculus
In Declarative Agent Languages and technologies Eds. J. Leite, A. Omicini, P. Torroni, P. Yolum, LNAI 3476, Springer Verlag 2005.

R. Demolombe, P. Pozos Parra
The Chisholm paradox and the Situation Calculus
In Foundations of Intelligent Systems Eds. M-H. Hacid, N. V. Murray, Z. W. Ras, S. Tsumoto. LNAI 3488, Springer Verlag, 2005.

R. Demolombe, A. M. Otermin Fernandez
Recognition of the intention to perform a procedure: a method based on probabilities
In Proc. 4th International Conference on Autonomous Agents and Multi Agent Systems (short paper), Utrecht, 2005.

R. Demolombe, A. M. Otermin Fernandez
Intention recognition in the Situation Calculus and Probability Theory frameworks
In Proc. Computational Logic in Multi Agent Systems , London, 2005.

R. Demolombe, P. Pozos Parra
Belief change in the Situation Calculus: a new proposal without plausibility levels
In Proc.Workshop of the 17th European Summer School in Logic Language and Information about Belief Revision and Dynamic Logic , Edinburg, 2005.

R. Demolombe, P. Bretier, V. Louis
Formalisation de l’obligation de faire avec délais
In Proc. Journées Francophones sur la Modélisation Formelle de l’Interaction , Caen, 2005.

R. Demolombe, V. Louis
Normes, Pouvoirs et Rôles : vers une formalisation en logique
In Journées Francophones sur les Systèmes Multi Agents, Calais, 2005.

2004

R. Demolombe
Reasonig about trust: a formal logical framework
In Proc. 2d International Conference iTrust. Oxford, 2004.

R. Demolombe, A. Herzig
Obligation change in dependence logic and situation calculus
In Proc. 7th International Workshop on Deontic Logic in Computer Science. Madeira, 2004.

2003

R. Demolombe
De l’évolution des croyances à l’évolution des obligations dans le calcul des situations
In Proc. 2èmes Journées Francophones des Modèles Formels de l’Interaction. Lille, 2003.

R. Demolombe, P. Pozos Parra
BDI architecture in the framework of situation calculus
In Proc. IJCAI workshop on Cognitive Modeling of Agents and Multi-Agents Interactions. Acapulco, 2003.

R. Demolombe
An extended relational algebra on abstract objects for summarizing answers to queries
In Fundamenta Informaticae 57(1) pp 1-15. 2003.

R. Demolombe, A. Herzig, I.J. Varzinczak
Regression in modal logic
In Journal of Applied Non Classical Logic 13(2) pp 165-185. 2003.

R. Demolombe
Belief change: from situation calculus to modal logic
In Journal of Applied Non Classical Logic 13(2) pp 187-198.
Also in Proc. IJCAI workshop on Nonmonotonic Reasoning, Action, and Change. Acapulco. 2003.

R. Demolombe, P. Pozos Parra
Implementacion de la arquitectura BDI basada en el calculo de situaciones
In Proc. 2ndo Congreso Internacional de Informatica y Computacion de la ANIEI. Zacatecas, 2003.

2002

R. Demolombe, A.J.I. Jones
Actions and normative positions
Chapter in, D. Jacquette, editor. A companion to philosophical logic. Blackwell Publishing. 2002.

R. Demolombe, P. Pozos Parra
Formalisation de l’évolution des croyances dans le calcul des situations
In B. Chaib-draa, R. Demolombe, editors. Revue Information, Interaction, Intelligence. Special issue : Modèles Formels de l’Interaction. Cépadues-Editions. 2002.

R. Demolombe, E. Hamon
What does it mean that an agent is performing a typical procedure? A formal definition in the situation calculus
In Proc. 1st International Joint Conference on Autonomous Agents and Multiagent Systems. Bologne, 2002.

2001

J. Carmo, R. Demolombe, A.J.I. Jones
An application of deontic logic to information systems constraints
In Fundamenta Informaticae 48(2-3). 2001.

R. Demolombe, C. Liau
A logic of graded trust and belief fusion
In Proc. 4th Workshop on Deception, Fraud and Trust in Agent Societies. Montréal, 2001.

R. Demolombe
To trust information sources: a proposal for a modal logical framework
Chapter in, C. Castelfranchi, Y-H. Tan, editors Trust and Deception in Virtual Societies. Kluwer, 2001.

R. Demolombe, P. Pozos Parra
Relacion de accesibilidad u operador modal : un dilemna para formalizar la evolucion de las crencias en el calculo de situaciones
In Proc. Encuentro Internacional de Computacion. Aguascalientes, 2001.

R. Demolombe, P. Pozos Parra
An extension of SOL-resolution to theories with equality
In Proc. International Joint Conference on Automated Reasoning (short paper). Sienne, 2001.

2000

R. Demolombe
Abstract answers to represent large answers to queries in a concise form
Chapter in H.L. Larsen, J. Kacprzyk, S. Zadrozny, T. Andreasen, H. Christiansen. editors Flexible Query Answering Systems. Recent Advances. Springer Verlag. 2000.

R. Demolombe
Action et causalité : essais de formalisation en logique
Chapter in H. Prade, R. Jeansoulin, C. Garbay. editors Le Temps, l’Espace et l’Evolutif en Sciences du Traitement de l’Information. Cépadues Editions. 2000.

R. Demolombe, L. Fariñas del Cerro
La modélisation logique dans les nouveaux systèmes d’information et de communication.
In Journal Techniques et Sciences Informatiques (1). 2000.

R. Demolombe, P. Pozos Parra
A simple and tractable extension of situation calculus to epistemic logic
Chapter in Z.W. Ras, S. Ohsuga. editors Foundations of Intelligent Systems, ISMIS 2000. Lecture Notes in Artificial Intelligence, Num. 1932. Springer Verlag. 2000.

1999

R. Demolombe
Database validity and completeness: another approach and its formalisation in modal logic
In Proc. IJCAI workshop on Knowledge Representation meets Databases. Linkoping, 1999.

R. Demolombe
Multivalued logics and topics
In Proc. IJCAI workshop on Practical Reasoning and Rationality. Stockolm, 1999.

R. Demolombe, L. Fariñas del Cerro
Toward a logical characterisation of sentences of the kind “sentence p is about object c”
Chapter in, S. Holldobler, editor. Intellectics and Computational Logic. Papers in honor of Wolfang Bibel. Kluwer. 1999.

1998

L. Cholvy, F. Cuppens, R. Demolombe
Logiques Modales et Bases de Données.
In Journal Techniques et Sciences Informatiques 17(3). 1998.

R. Demolombe
Answers about validity and completeness of data: formal definitions, usefulness and computation techniques
In Proc. Workshop on Flexible Query-Answering Systems. Roskilde, 1998.

1997

F. Cuppens, R. Demolombe
A modal logical framework for security poplicies
Chapter in, Z.W. Ras, A. Skowron, editors. Foundations of Intelligent Agents, ISMIS 1997. Lecture Notes in Artificial Intelligence, Num. 1325. Springer Verlag. 1997.

R. Demolombe
Uncertainty in intelligent databases
Chapter in, A. Motro, C. Thanos, editors. Uncertainty Management in Information Systems Kluwer. 1997.

R. Demolombe
Formalizing the reliability of agent’s information
In Proc. 4th Modelage Workshop on Formal Models of Agents (invited paper). Certosa di Pontignano, 1997.

R. Demolombe, A.J.I. Jones, J. Carmo
Toward a uniform logical representation of different kinds of integrity constraints
In Proc. 1st International Conference on Qualitative and Quantitative Practical Reasoning. Bad Honnef, 1997.

1996

F. Cuppens, R. Demolombe
A deontic logic for reasoning about confidentiality
In Proc. 3rd International Workshop on Deontic Logic in Computer Science Sesimbra, 1996.

R. Demolombe
Validity queries and completeness queries
Chapter in, Z.W. Ras, M. Michalewicz, editors. Foundations of Intelligent Systems, ISMIS 1996. Lecture Notes in Artificial Intelligence, Num. 1079. Springer Verlag. 1996.

R. Demolombe
Answering queries about validity and completeness of data: from modal logic to relational algebra
In Proc. Workshop on Flexible Query-Answering Systems (invited paper). Roskilde. 1996.

R. Demolombe, A.J.I. Jones
On sentences of the kind sentence “p” is about topic “t”
Chapter in, H-J. Ohlbach, U. Reyle, editors. Logic, Language and Reasoning. Essays in honor of Dov Gabbay. Kluwer. 1996.

1995

R. Demolombe, A.J.I. Jones
A common logical framework to retrieve information and meta information
In Proc. Workshop on Information Gathering from heterogeneous, Distributed Environments, American Association for Artificial Intelligence Spring Symposium. Stanford, 1995.

R. Demolombe, A.J.I. Jones
Reasoning about topics: towards a formal theory
In Proc. Workshop on Formalizing Contexts, American Association for Artificial Intelligence Fall Symposium. Boston, 1995.

1994

L. Cholvy, R. Demolombe, A.J.I. Jones
Reasoning about the safety of information: from logical formalisation to operational definition
Chapter in, Z.W. Ras, M. Zemankova, editors. Methodologies for Intelligent Systems, ISMIS 1994. Lecture Notes in Artificial Intelligence, Num. 869. Springer Verlag. 1994.

L. Cholvy, R. Demolombe
Reasoning with information sources ordered by topics
In Proc. Artificial Intelligence: Methods, Systems and Applications. Sofia, 1994.

R. Demolombe
Normative conflicts in a confidentiality policy
In Proc. European Conference on Artificial Intelligence. Amsterdam, 1994.

R. Demolombe, A.J.I. Jones
Integrity constraints revisited
In Proc. 4th Workshop on Deductive Approach of Information Systems and Databases. Lloret de Mar, 1994.

R. Demolombe, T. Imielinski
Nonstandard Queries and Nonstandard Answers
Studies in Logic and Computation Series. Oxford University Press, 1994.

1993

R. Demolombe
A uniform framework for deductive database derivation strategies
In Proc. 6th Portugese Conference on Artificial Intelligence. Porto, 1993.

S. Cazalens, R. Demolombe
Constrained consequence generation
In Proc. 3rd Bar’Ilan Symposium on the Foundations of Artificial Intelligence. Tel Aviv, 1993.

1992

R. Demolombe
Syntactical characterisation of a subset of domain independent formulas
In Journal of the Association of Computing Machinery, 39(1). 1992.

R. Demolombe
A strategy for the computation of conditional answers
In Proc. 10th European Conference on Artificial Intelligence. Vienne, 1992.

S. Cazalens, R. Demolombe
Intelligent access to data and knowledge bases via user’s topics of interest
In Proc. International Federation of Information Processing Congress. Madrid, 1992.

1991

R. Demolombe, L. Fariñas del Cerro
An inference rule for hypothesis generation
In Proc. International Joint Conference on Artificial Intelligence. Sydney, 1991.

R. Demolombe
An efficient strategy for non-Horn deductive databases
In Journal of Theoretical Computer Science Num. 78. 1991.

1990

F. Cuppens, R. Demolombe
Extending answers to neighbour entities in a cooperative answering context
In Journal of Decision Support Systems 6(1). 1990.

R. Demolombe, L. Fariñas del Cerro
Efficient representation of incomplete information about structured objects
Chapter in, J. Schmidt, C. Thanos, editors. Foundations of Knowledge Bases Management. Springer Verlag, 1990.

R. Demolombe
Deduction strategies for abductive reasoning
In Proc. ECAI Workshop on Intelligent Reasoning. Stockolm, 1990.

1989

F. Cuppens, R. Demolombe
How to recognise interesting topics to provide cooperative answering
In Information Systems Journal 14(2). 1989.

R. Demolombe
An efficient evaluation strategy for non-Horn deductive databases
In Proc. International Federation of Information Processing Congress. 1989.

1988

R. Demolombe, L. Fariñas del Cerro
An algebraic evaluation method for deduction in incomplete databases
In The Journal of Logic Programming Num. 5, pp 183-205. 1988.

F. Cuppens, R. Demolombe
Cooperative answering: a method to provide intelligent access to databases
In Proc. 2nd Conference on Expert Database Systems. Washington, 1988.

R. Demolombe, A. Illaramendi, J.M. Blanco
Semantic optimization in data bases using artificial intelligence techniques
In Proc. IFIP Conference on The Role of Artificial Intelligence in Databases and Information Systems. Canton, 1988.

F. Cuppens, R. Demolombe
A PROLOG-Relational DBMS interface using delayed evaluation
In Proc. 3rd International Conference on Data and Knowledge Bases. Jerusalem, 1988.

1986

R. Demolombe
STREL: an extended relational model for structured objects
In Proc. International Federation of Information Processing Congress. 1986.

L. Cholvy, R. Demolombe
Querying a rule base
In Proc. 1st International Conference on Expert Database Systems. 1986.

1983

R. Demolombe
How to improve performances of relational DBMS
In Proc. International Federation of Information Processing Congress. 1983.

1982

R. Demolombe
Generalized division for relational algebraic language (first page)
In Information Processing Letters, 14(4). 1982.

1981

R. Demolombe
Assigning meaning to ill-defined queries expressed in predicate calculus language
Chapter in H. Gallaire, J. Minker, J-M. Nicolas, editors. Advances in Database Theory, Vol 1. Plenum Press, 1981.

1980

R. Demolombe
Estimation of the number of tuples satisfying a query expressed in predicate calculus language
In Proc. 6th International Conference on Very Large Data Bases. Montréal, 1980.

1979

R. Demolombe
Semantic checking of questions expressed in predicate calculus language
In Proc. 5th International Conference on Very Large Data Bases. Rio de Janeiro, 1979.

1978

R. Demolombe, M. Lemaitre, J-M. Nicolas
The language of SYNTEX-2, an experimental relational like DBMS
In Proc. Jerusalem Conference on Information Technology. Jerusalem, 1978.