The Language of SYNTEX-2, an Implemented Relational-like DBMS. - Robert Demolombe; Michel Lemaître; Jean-Marie Nicolas 001 (Jerusalem Conference on Information Technology, 1978)

Issues in Distributed Data Base Management Systems: A Technical Overview. - Michel E. Adiba; Jean-Claude Chupin; Robert Demolombe; Georges Gardarin; Jean Le Bihan (VLDB Surveys, 1978)

Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. - Robert Demolombe (Advances in Data Base Theory, 1979)

Semantic Checking of Questions Expressed in Predicate Calculus Language. - Robert Demolombe (VLDB, 1979)

Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. - Robert Demolombe (VLDB, 1980)

Generalized Division for Relational Algebraic Language. - Robert Demolombe (Inf. Process. Lett., 1982)

How to Improve Performance of Relational DBMS. - Robert Demolombe (IFIP Congress, 1983)

Interface entre PROLOG et un SGBD. - Robert Demolombe (SPLT, 1983)

STREL: Une extension du modèle relationnel pour représenter et manipuler des objets structurés. - Robert Demolombe (BDA, 1985)

Modèle complet, modèle irredondant pour un schema de Base de Données Relationelle. - Robert Demolombe; Kioumars Yazdanian (BDA, 1985)

Efficient Representation of Incomplete Information About Structured Objects. - Robert Demolombe; Luis Fariñas del Cerro (Foundations of Knowledge Base Management (Xania), 1985)

Querying a Rule Base. - Laurence Cholvy; Robert Demolombe (Expert Database Conf., 1986)

STREL: An Extended Relational Model for Structured Objects. - Robert Demolombe (IFIP Congress, 1986)

Optimisation sémantique utilisant des techniques d'Intelligence Artificielle. - Robert Demolombe; Arantza Illarramendi; José Miguel Blanco 001 (BDA, 1987)

Comment reconnaître les centres d'intérêt pour fournir des réponses coopératives. - Frédéric Cuppens; Robert Demolombe (BDA, 1988)

Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. - Robert Demolombe; Arantza Illarramendi; José Miguel Blanco 001 (DS-3, 1988)

Cooperative Answering: A Methodology to Provide Intelligent Access to databases. - Frédéric Cuppens; Robert Demolombe (Expert Database Conf., 1988)

A Prolog-Relational DBMS Interface Using Delayed Evaluation. - Frédéric Cuppens; Robert Demolombe (JCDKB, 1988)

An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. - Robert Demolombe; Luis Fariñas del Cerro (J. Log. Program., 1988)

An Efficient Strategy for Non-Horn Deductive Data Bases. - Robert Demolombe (IFIP Congress, 1989)

Heuristics for Syntactial Optimization of Relational Queries. - Robert Demolombe; Arantza Illarramendi (Inf. Process. Lett., 1989)

How to recognize interesting topics to provide cooperative answering. - Frédéric Cuppens; Robert Demolombe (Inf. Syst., 1989)

Strategies for the Computation of Conditional Answers. - Robert Demolombe (DAISD, 1990)

An Inference Rule for Hypothesis Generation. - Robert Demolombe; Luis Fariñas del Cerro (IJCAI, 1991)

Cooperative Access to Data and Knowledge Baes (Abstract). - Robert Demolombe (VLDB, 1991)

Extending answers to neighbour entities in a cooperative answering context. - Frédéric Cuppens; Robert Demolombe (Decis. Support Syst., 1991)

An Efficient Strategy for Non-Horn Deductive Databases. - Robert Demolombe (Theor. Comput. Sci., 1991)

A strategy for the computation of conditional answers. - Robert Demolombe (CNKBS, 1992)

Intelligent Access to Data and Knowledge Bases via User's Topics of Interest. - Sylvie Cazalens; Robert Demolombe (IFIP Congress (3), 1992)

Syntactical Characterization of a Subset of Domain-Independent Formulas. - Robert Demolombe (J. ACM, 1992)

Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval. - Sylvie Cazalens; Robert Demolombe (BDA, 1993)

Integrity Constraints Revisited (Preliminary version). - Robert Demolombe; Andrew J. I. Jones (DAISD, 1993)

A Uniform Framework for Deductive Database Derivation Strategies. - Robert Demolombe (EPIA, 1993)

Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. - Laurence Cholvy; Robert Demolombe; Andrew J. I. Jones (ISMIS, 1994)

Uncertainty in Intelligent Databases. - Robert Demolombe (Uncertainty Management in Information Systems, 1996)

A Deontic Logic for Reasoning about Confidentiality. - Frédéric Cuppens; Robert Demolombe (DEON, 1996)

Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. - Robert Demolombe; Andrew J. I. Jones; José Carmo (FMLDO, 1996)

Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra. - Robert Demolombe (FQAS, 1996)

Validity Queries and Completeness Queries. - Robert Demolombe (ISMIS, 1996)

Integrity Constraints Revisited. - Robert Demolombe; Andrew J. I. Jones (Log. J. IGPL, 1996)

Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. - Robert Demolombe; Andrew J. I. Jones; José Carmo (ECSQARU-FAPR, 1997)

A Modal Logical Framework for Security Policies. - Frédéric Cuppens; Robert Demolombe (ISMIS, 1997)

Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique. - Robert Demolombe (FQAS, 1998)

Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic. - Robert Demolombe (KRDB, 1999)

Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". - Robert Demolombe; Luis Fariñas del Cerro (Intellectics and Computational Logic, 2000)

Abstract Objects to Represent Large Answers to Queries in a Concise Form. - Robert Demolombe (FQAS, 2000)

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. - Robert Demolombe; Maria del Pilar Pozos Parra (ISMIS, 2000)

An Application of Deontic Logic to Information System Constraints. - José Carmo; Robert Demolombe; Andrew J. I. Jones (Fundam. Informaticae, 2001)

What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. - Robert Demolombe; Erwan Hamon (AAMAS, 2002)

An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries. - Robert Demolombe (Fundam. Informaticae, 2003)

Belief Change: from Situation Calculus to Modal Logic. - Robert Demolombe (J. Appl. Non Class. Logics, 2003)

Regression in Modal Logic. - Robert Demolombe; Andreas Herzig; Ivan Varzinczak (J. Appl. Non Class. Logics, 2003)

Theories of Intentions in the Framework of Situation Calculus. - Maria del Pilar Pozos Parra; Abhaya C. Nayak; Robert Demolombe (DALT, 2004)

Obligation Change in Dependence Logic and Situation Calculus. - Robert Demolombe; Andreas Herzig (DEON, 2004)

From Belief Change to Obligation Change in the Situation Calculus. - Robert Demolombe (ECAI, 2004)

Reasoning About Trust: A Formal Logical Framework. - Robert Demolombe (iTrust, 2004)

Recognition of the intention to perform a procedure: a method based on probabilities. - Robert Demolombe; Ana María Otermin Fernandez (AAMAS, 2005)

Intention Recognition in the Situation Calculus and Probability Theory Frameworks. - Robert Demolombe; Ana María Otermin Fernandez (CLIMA, 2005)

The Chisholm Paradox and the Situation Calculus. - Robert Demolombe; Maria del Pilar Pozos Parra (ISMIS, 2005)

Normes, Pouvoirs et Rôles: vers une formalisation en logique. - Robert Demolombe; Vincent Louis (JFSMA, 2005)

Speech Acts with Institutional Effects in Agent Societies. - Robert Demolombe; Vincent Louis (DEON, 2006)

Norms with Deadlines in Dynamic Deontic Logic. - Robert Demolombe; Philippe Bretier; Vincent Louis (ECAI, 2006)

Norms, Institutional Power and Roles: Towards a Logical Framework. - Robert Demolombe; Vincent Louis (ISMIS, 2006)

Belief Revision in the Situation Calculus Without Plausibility Levels. - Robert Demolombe; Maria del Pilar Pozos Parra (ISMIS, 2006)

From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. - Emiliano Lorini; Robert Demolombe (AAMAS-TRUST, 2008)

Trust and Norms in the Context of Computer Security: A Logical Formalization. - Emiliano Lorini; Robert Demolombe (DEON, 2008)

From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic. - Emiliano Lorini; Robert Demolombe (KRAMAS, 2008)

Prolegomena for a Logic of Trust and Reputation. - Andreas Herzig; Emiliano Lorini; Jomi Fred Hübner; Jonathan Ben-Naim; Cristiano Castelfranchi; Robert Demolombe; Dominique Longin; Laurent Vercouter (NORMAS, 2008)

Integrating State Constraints and Obligations in Situation Calculus. - Robert Demolombe; Pilar Pozos Parra (Inteligencia Artif., 2009)

How to Produce Information About a Given Entity Using Automated Deduction Methods. - Robert Demolombe; Luis Fariñas del Cerro (LSFA, 2009)

Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. - Robert Demolombe (DEON, 2010)

Information About a Given Entity: From Semantics Towards Automated Deduction. - Robert Demolombe; Luis Fariñas del Cerro (J. Log. Comput., 2010)

Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. - Robert Demolombe (CLIMA, 2011)

Relationships between obligations and actions in the context of institutional agents, human agents or software agents. - Robert Demolombe (Artif. Intell. Law, 2011)

Causality in the Context of Multiple Agents. - Robert Demolombe (DEON, 2012)

Automated Reasoning in Metabolic Networks with Inhibition. - Robert Demolombe; Luis Fariñas del Cerro; Naji Obeid (AI*IA, 2013)

An argumentation-based approach for reasoning about trust in information sources. - Leila Amgoud; Robert Demolombe (Argument Comput., 2014)

Obligations with deadlines: a formalization in Dynamic Deontic Logic. - Robert Demolombe (J. Log. Comput., 2014)

Translation of first order formulas into ground formulas via a completion theory. - Robert Demolombe; Luis Fariñas del Cerro; Naji Obeid (J. Appl. Log., 2016)

Temporal Logic Modeling of Biological Systems. - Jean-Marc Alliot; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro; Gilles Favre; Jean-Charles Faye; Naji Obeid; Olivier Sordet (Towards Paraconsistent Engineering, 2016)

Temporal abductive reasoning about biochemical reactions. - Serenella Cerrito; Marta Cialdea Mayer; Robert Demolombe (J. Appl. Non Class. Logics, 2017)

Trust and agency in the context of communication. - Robert Demolombe (J. Appl. Non Class. Logics, 2017)

Reasoning about trust and aboutness in the context of communication. - Robert Demolombe (J. Appl. Non Class. Logics, 2017)

About Relationships Between two Individuals. - Robert Demolombe (FLAP, 2018)

Modéliser les interactions entre agents : un prérequis pour analyser l'éthique des systèmes complexes. - Robert Demolombe (Rev. d'Intelligence Artif., 2018)

A Framework for Modelling Molecular Interaction Maps. - Jean-Marc Alliot; Marta Cialdea Mayer; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro (FLAP, 2021)

Causality and Responsibility in the Context of Multiple Agents. - Robert Demolombe (FLAP, 2022)

Confiance dans l'information transmise par une séquence d'agents. - Robert Demolombe (Rev. Ouverte Intell. Artif., 2024)