Robert Demolombe

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 10

Top Topics

Open Multiagent Systems

Top Venues

J. Appl. Non Class. Logics

Rev. d'Intelligence Artif.

Publications

Robert Demolombe
Confiance dans l'information transmise par une séquence d'agents. Rev. Ouverte Intell. Artif. 5 (1) (2024)
Robert Demolombe
Causality and Responsibility in the Context of Multiple Agents. FLAP 9 (1) (2022)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A Framework for Modelling Molecular Interaction Maps. FLAP 8 (7) (2021)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A framework for modelling Molecular Interaction Maps. CoRR (2020)
Robert Demolombe
About Relationships Between two Individuals. FLAP 5 (1) (2018)
Robert Demolombe
Modéliser les interactions entre agents : un prérequis pour analyser l'éthique des systèmes complexes. Rev. d'Intelligence Artif. 32 (5-6) (2018)
Robert Demolombe
Trust and agency in the context of communication. J. Appl. Non Class. Logics 27 (1-2) (2017)
Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe
Temporal abductive reasoning about biochemical reactions. J. Appl. Non Class. Logics 27 (3-4) (2017)
Robert Demolombe
Reasoning about trust and aboutness in the context of communication. J. Appl. Non Class. Logics 27 (3-4) (2017)
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Translation of first order formulas into ground formulas via a completion theory. J. Appl. Log. 15 (2016)
Robert Demolombe
Obligations with deadlines: a formalization in Dynamic Deontic Logic. J. Log. Comput. 24 (1) (2014)
Leila Amgoud, Robert Demolombe
An argumentation-based approach for reasoning about trust in information sources. Argument Comput. 5 (2-3) (2014)
Robert Demolombe
Trust and Agency in the Context of Communication. ECSI (2014)
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Automated Reasoning in Metabolic Networks with Inhibition. AI*IA (2013)
Robert Demolombe
Causality in the Context of Multiple Agents. DEON (2012)
Robert Demolombe
Relationships between obligations and actions in the context of institutional agents, human agents or software agents. Artif. Intell. Law 19 (2-3) (2011)
Robert Demolombe
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. CLIMA (2011)
Robert Demolombe
Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. DEON (2010)
Robert Demolombe, Luis Fariñas del Cerro
Information About a Given Entity: From Semantics Towards Automated Deduction. J. Log. Comput. 20 (6) (2010)
Robert Demolombe, Pilar Pozos Parra
Integrating State Constraints and Obligations in Situation Calculus. Inteligencia Artif. 13 (41) (2009)
Robert Demolombe, Luis Fariñas del Cerro
How to Produce Information About a Given Entity Using Automated Deduction Methods. LSFA (2009)
Emiliano Lorini, Robert Demolombe
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. AAMAS-TRUST (2008)
Emiliano Lorini, Robert Demolombe
Trust and Norms in the Context of Computer Security: A Logical Formalization. DEON (2008)
Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Jonathan Ben-Naim, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Vercouter
Prolegomena for a Logic of Trust and Reputation. NORMAS (2008)
Emiliano Lorini, Robert Demolombe
From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic. KRAMAS (2008)
Robert Demolombe, Vincent Louis
Norms, Institutional Power and Roles: Towards a Logical Framework. ISMIS (2006)
Robert Demolombe, Pilar Pozos Parra
Integrating State Constraints and Obligations in Situation Calculus. LA-NMR (2006)
Robert Demolombe, Vincent Louis
Speech Acts with Institutional Effects in Agent Societies. DEON (2006)
Robert Demolombe, Maria del Pilar Pozos Parra
Belief Revision in the Situation Calculus Without Plausibility Levels. ISMIS (2006)
Robert Demolombe, Philippe Bretier, Vincent Louis
Norms with Deadlines in Dynamic Deontic Logic. ECAI (2006)
Robert Demolombe, Maria del Pilar Pozos Parra
The Chisholm Paradox and the Situation Calculus. ISMIS (2005)
Robert Demolombe, Vincent Louis
Normes, Pouvoirs et Rôles: vers une formalisation en logique. JFSMA (2005)
Robert Demolombe, Ana María Otermin Fernandez
Recognition of the intention to perform a procedure: a method based on probabilities. AAMAS (2005)
Robert Demolombe, Ana María Otermin Fernandez
Intention Recognition in the Situation Calculus and Probability Theory Frameworks. CLIMA (2005)
Robert Demolombe
From Belief Change to Obligation Change in the Situation Calculus. ECAI (2004)
Robert Demolombe, Andreas Herzig
Obligation Change in Dependence Logic and Situation Calculus. DEON (2004)
Robert Demolombe
Reasoning About Trust: A Formal Logical Framework. iTrust (2004)
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe
Theories of Intentions in the Framework of Situation Calculus. DALT (2004)
Robert Demolombe
Belief Change: from Situation Calculus to Modal Logic. J. Appl. Non Class. Logics 13 (2) (2003)
Robert Demolombe
An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries. Fundam. Informaticae 57 (1) (2003)
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in Modal Logic. J. Appl. Non Class. Logics 13 (2) (2003)
Robert Demolombe, Erwan Hamon
What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. AAMAS (2002)
José Carmo, Robert Demolombe, Andrew J. I. Jones
An Application of Deontic Logic to Information System Constraints. Fundam. Informaticae 48 (2-3) (2001)
Robert Demolombe, Maria del Pilar Pozos Parra
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. ISMIS (2000)
Robert Demolombe, Luis Fariñas del Cerro
". Intellectics and Computational Logic (2000)
Robert Demolombe
Abstract Objects to Represent Large Answers to Queries in a Concise Form. FQAS (2000)
Robert Demolombe
Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic. KRDB (1999)
Robert Demolombe
Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique. FQAS (1998)
Robert Demolombe, Andrew J. I. Jones, José Carmo
Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. ECSQARU-FAPR (1997)
Frédéric Cuppens, Robert Demolombe
A Modal Logical Framework for Security Policies. ISMIS (1997)
Robert Demolombe, Andrew J. I. Jones, José Carmo
Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. FMLDO (1996)
Robert Demolombe
Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra. FQAS (1996)
Robert Demolombe
Validity Queries and Completeness Queries. ISMIS (1996)
Robert Demolombe, Andrew J. I. Jones
Integrity Constraints Revisited. Log. J. IGPL 4 (3) (1996)
Frédéric Cuppens, Robert Demolombe
A Deontic Logic for Reasoning about Confidentiality. DEON (1996)
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. ISMIS (1994)
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones
Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD (1994)
Robert Demolombe
A Uniform Framework for Deductive Database Derivation Strategies. EPIA (1993)
Robert Demolombe, Andrew J. I. Jones
Integrity Constraints Revisited (Preliminary version). DAISD (1993)
Sylvie Cazalens, Robert Demolombe
Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval. BDA (1993)
Sylvie Cazalens, Robert Demolombe
Intelligent Access to Data and Knowledge Bases via User's Topics of Interest. IFIP Congress (3) (1992)
Robert Demolombe
A Strategy for the Computation of Conditional Answers. ECAI (1992)
Robert Demolombe
A strategy for the computation of conditional answers. CNKBS (1992)
Robert Demolombe
Syntactical Characterization of a Subset of Domain-Independent Formulas. J. ACM 39 (1) (1992)
Robert Demolombe, Luis Fariñas del Cerro
An Inference Rule for Hypothesis Generation. IJCAI (1991)
Robert Demolombe
An Efficient Strategy for Non-Horn Deductive Databases. Theor. Comput. Sci. 78 (1) (1991)
Robert Demolombe
Cooperative Access to Data and Knowledge Baes (Abstract). VLDB (1991)
Frédéric Cuppens, Robert Demolombe
Extending answers to neighbour entities in a cooperative answering context. Decis. Support Syst. 7 (1) (1991)
Robert Demolombe
Strategies for the Computation of Conditional Answers. DAISD (1990)
Robert Demolombe
An Efficient Strategy for Non-Horn Deductive Data Bases. IFIP Congress (1989)
Robert Demolombe, Arantza Illarramendi
Heuristics for Syntactial Optimization of Relational Queries. Inf. Process. Lett. 32 (6) (1989)
Frédéric Cuppens, Robert Demolombe
How to recognize interesting topics to provide cooperative answering. Inf. Syst. 14 (2) (1989)
Frédéric Cuppens, Robert Demolombe
A Prolog-Relational DBMS Interface Using Delayed Evaluation. JCDKB (1988)
Frédéric Cuppens, Robert Demolombe
Cooperative Answering: A Methodology to Provide Intelligent Access to databases. Expert Database Conf. (1988)
Frédéric Cuppens, Robert Demolombe
Comment reconnaître les centres d'intérêt pour fournir des réponses coopératives. BDA (1988)
Robert Demolombe, Arantza Illarramendi, José Miguel Blanco
Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. DS-3 (1988)
Robert Demolombe, Luis Fariñas del Cerro
An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. J. Log. Program. 5 (3) (1988)
Robert Demolombe, Arantza Illarramendi, José Miguel Blanco
Optimisation sémantique utilisant des techniques d'Intelligence Artificielle. BDA (1987)
Robert Demolombe
STREL: An Extended Relational Model for Structured Objects. IFIP Congress (1986)
Laurence Cholvy, Robert Demolombe
Querying a Rule Base. Expert Database Conf. (1986)
Robert Demolombe, Kioumars Yazdanian
Modèle complet, modèle irredondant pour un schema de Base de Données Relationelle. BDA (1985)
Robert Demolombe, Luis Fariñas del Cerro
Efficient Representation of Incomplete Information About Structured Objects. Foundations of Knowledge Base Management (Xania) (1985)
Robert Demolombe
STREL: Une extension du modèle relationnel pour représenter et manipuler des objets structurés. BDA (1985)
Robert Demolombe
How to Improve Performance of Relational DBMS. IFIP Congress (1983)
Robert Demolombe
Interface entre PROLOG et un SGBD. SPLT (1983)
Robert Demolombe
Generalized Division for Relational Algebraic Language. Inf. Process. Lett. 14 (4) (1982)
Robert Demolombe
Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. VLDB (1980)
Robert Demolombe
Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. Advances in Data Base Theory (1979)
Robert Demolombe
Semantic Checking of Questions Expressed in Predicate Calculus Language. VLDB (1979)
Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas
The Language of SYNTEX-2, an Implemented Relational-like DBMS. Jerusalem Conference on Information Technology (1978)
Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan
Issues in Distributed Data Base Management Systems: A Technical Overview. VLDB (1978)
Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan
Issues in Distributed Data Base Management Systems: A Technical Overview. VLDB Surveys (1978)