| 2006 | ECAI | Norms with Deadlines in Dynamic Deontic Logic. | Robert Demolombe, Philippe Bretier, Vincent Louis |
| 2006 | ISMIS | Norms, Institutional Power and Roles: Towards a Logical Framework. | Robert Demolombe, Vincent Louis |
| 2006 | ISMIS | Belief Revision in the Situation Calculus Without Plausibility Levels. | Robert Demolombe, Maria del Pilar Pozos Parra |
| 2005 | ISMIS | The Chisholm Paradox and the Situation Calculus. | Robert Demolombe, Maria del Pilar Pozos Parra |
| 2004 | ECAI | From Belief Change to Obligation Change in the Situation Calculus. | Robert Demolombe |
| 2000 | FQAS | Abstract Objects to Represent Large Answers to Queries in a Concise Form. | Robert Demolombe |
| 2000 | ISMIS | A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. | Robert Demolombe, Maria del Pilar Pozos Parra |
| 1998 | FQAS | Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique. | Robert Demolombe |
| 1997 | ECSQARU | Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. | Robert Demolombe, Andrew J. I. Jones, Jos Carmo |
| 1997 | ISMIS | A Modal Logical Framework for Security Policies. | Frdric Cuppens, Robert Demolombe |
| 1996 | FQAS | Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra. | Robert Demolombe |
| 1996 | ISMIS | Validity Queries and Completeness Queries. | Robert Demolombe |
| 1994 | ISMIS | Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. | Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones |
| 1993 | EPIA | A Uniform Framework for Deductive Database Derivation Strategies. | Robert Demolombe |
| 1992 | ECAI | A Strategy for the Computation of Conditional Answers. | Robert Demolombe |
| 1991 | IJCAI | An Inference Rule for Hypothesis Generation. | Robert Demolombe, Luis Farias del Cerro |
| 1991 | VLDB | Cooperative Access to Data and Knowledge Baes (Abstract). | Robert Demolombe |
| 1988 | DS | Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. | Robert Demolombe, Arantza Illarramendi, Jos Miguel Blanco |
| 1980 | VLDB | Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. | Robert Demolombe |
| 1979 | VLDB | Semantic Checking of Questions Expressed in Predicate Calculus Language. | Robert Demolombe |
| 1978 | VLDB | Issues in Distributed Data Base Management Systems: A Technical Overview. | Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan |
| 1978 | VLDB | Issues in Distributed Data Base Management Systems: A Technical Overview. | Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan |