default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert Demolombe
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j26]Robert Demolombe:
Confiance dans l'information transmise par une séquence d'agents. Rev. Ouverte Intell. Artif. 5(1): 131-151 (2024)- 2022
- [j25]Robert Demolombe:
Causality and Responsibility in the Context of Multiple Agents. FLAP 9(1): 583-606 (2022) - 2021
- [j24]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): 1917-1952 (2021) - 2020
- [i1]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 abs/2008.09546 (2020)
2010 – 2019
- 2018
- [j23]Robert Demolombe:
About Relationships Between two Individuals. FLAP 5(1): 421-436 (2018) - [j22]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): 683-703 (2018) - 2017
- [j21]Robert Demolombe:
Trust and agency in the context of communication. J. Appl. Non Class. Logics 27(1-2): 140-151 (2017) - [j20]Serenella Cerrito, Marta Cialdea Mayer
, Robert Demolombe:
Temporal abductive reasoning about biochemical reactions. J. Appl. Non Class. Logics 27(3-4): 269-291 (2017) - [j19]Robert Demolombe:
Reasoning about trust and aboutness in the context of communication. J. Appl. Non Class. Logics 27(3-4): 292-303 (2017) - 2016
- [j18]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: 130-149 (2016) - [p2]Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet:
Temporal Logic Modeling of Biological Systems. Towards Paraconsistent Engineering 2016: 205-226 - 2014
- [j17]Leila Amgoud, Robert Demolombe:
An argumentation-based approach for reasoning about trust in information sources. Argument Comput. 5(2-3): 191-215 (2014) - [j16]Robert Demolombe:
Obligations with deadlines: a formalization in Dynamic Deontic Logic. J. Log. Comput. 24(1): 1-17 (2014) - [c65]Robert Demolombe:
Trust and Agency in the Context of Communication. ECSI 2014: 3-15 - 2013
- [c64]Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid:
Automated Reasoning in Metabolic Networks with Inhibition. AI*IA 2013: 37-47 - 2012
- [c63]Robert Demolombe:
Causality in the Context of Multiple Agents. DEON 2012: 1-15 - 2011
- [j15]Robert Demolombe:
Relationships between obligations and actions in the context of institutional agents, human agents or software agents. Artif. Intell. Law 19(2-3): 99-115 (2011) - [c62]Robert Demolombe:
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. CLIMA 2011: 13-28 - 2010
- [j14]Robert Demolombe, Luis Fariñas del Cerro:
Information About a Given Entity: From Semantics Towards Automated Deduction. J. Log. Comput. 20(6): 1231-1250 (2010) - [c61]Robert Demolombe:
Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. DEON 2010: 259-273
2000 – 2009
- 2009
- [j13]Robert Demolombe, Pilar Pozos Parra:
Integrating State Constraints and Obligations in Situation Calculus. Inteligencia Artif. 13(41): 54-63 (2009) - [c60]Robert Demolombe, Luis Fariñas del Cerro:
How to Produce Information About a Given Entity Using Automated Deduction Methods. LSFA 2009: 19-31 - 2008
- [c59]Emiliano Lorini, Robert Demolombe:
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. AAMAS-TRUST 2008: 205-225 - [c58]Emiliano Lorini, Robert Demolombe:
Trust and Norms in the Context of Computer Security: A Logical Formalization. DEON 2008: 50-64 - [c57]Emiliano Lorini, Robert Demolombe:
From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic. KRAMAS 2008: 81-98 - [c56]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: 143-157 - 2006
- [c55]Robert Demolombe, Vincent Louis:
Speech Acts with Institutional Effects in Agent Societies. DEON 2006: 101-114 - [c54]Robert Demolombe, Philippe Bretier, Vincent Louis:
Norms with Deadlines in Dynamic Deontic Logic. ECAI 2006: 751-752 - [c53]Robert Demolombe, Maria del Pilar Pozos Parra:
Belief Revision in the Situation Calculus Without Plausibility Levels. ISMIS 2006: 504-513 - [c52]Robert Demolombe, Vincent Louis:
Norms, Institutional Power and Roles: Towards a Logical Framework. ISMIS 2006: 514-523 - [c51]Robert Demolombe, Pilar Pozos Parra:
Integrating State Constraints and Obligations in Situation Calculus. LA-NMR 2006 - 2005
- [c50]Robert Demolombe, Ana María Otermin Fernandez:
Recognition of the intention to perform a procedure: a method based on probabilities. AAMAS 2005: 1133-1134 - [c49]Robert Demolombe, Ana María Otermin Fernandez:
Intention Recognition in the Situation Calculus and Probability Theory Frameworks. CLIMA 2005: 358-372 - [c48]Robert Demolombe, Maria del Pilar Pozos Parra:
The Chisholm Paradox and the Situation Calculus. ISMIS 2005: 425-434 - [c47]Robert Demolombe, Vincent Louis:
Normes, Pouvoirs et Rôles: vers une formalisation en logique. JFSMA 2005: 51-63 - 2004
- [c46]Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe:
Theories of Intentions in the Framework of Situation Calculus. DALT 2004: 19-34 - [c45]Robert Demolombe, Andreas Herzig:
Obligation Change in Dependence Logic and Situation Calculus. DEON 2004: 57-73 - [c44]Robert Demolombe:
From Belief Change to Obligation Change in the Situation Calculus. ECAI 2004: 991-992 - [c43]Robert Demolombe:
Reasoning About Trust: A Formal Logical Framework. iTrust 2004: 291-303 - 2003
- [j12]Robert Demolombe:
An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries. Fundam. Informaticae 57(1): 1-15 (2003) - [j11]Robert Demolombe, Andreas Herzig, Ivan Varzinczak:
Regression in Modal Logic. J. Appl. Non Class. Logics 13(2): 165-185 (2003) - [j10]Robert Demolombe:
Belief Change: from Situation Calculus to Modal Logic. J. Appl. Non Class. Logics 13(2): 187-198 (2003) - 2002
- [c42]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: 905-911 - 2001
- [j9]José Carmo, Robert Demolombe, Andrew J. I. Jones:
An Application of Deontic Logic to Information System Constraints. Fundam. Informaticae 48(2-3): 165-181 (2001) - 2000
- [c41]Robert Demolombe, Luis Fariñas del Cerro:
Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". Intellectics and Computational Logic 2000: 85-99 - [c40]Robert Demolombe:
Abstract Objects to Represent Large Answers to Queries in a Concise Form. FQAS 2000: 171-181 - [c39]Robert Demolombe, Maria del Pilar Pozos Parra:
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. ISMIS 2000: 515-524
1990 – 1999
- 1999
- [c38]Robert Demolombe:
Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic. KRDB 1999: 11-13 - 1998
- [c37]Robert Demolombe:
Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique. FQAS 1998: 138-147 - 1997
- [c36]Robert Demolombe, Andrew J. I. Jones, José Carmo:
Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. ECSQARU-FAPR 1997: 614-620 - [c35]Frédéric Cuppens, Robert Demolombe:
A Modal Logical Framework for Security Policies. ISMIS 1997: 579-589 - 1996
- [j8]Robert Demolombe, Andrew J. I. Jones:
Integrity Constraints Revisited. Log. J. IGPL 4(3): 369-383 (1996) - [c34]Frédéric Cuppens, Robert Demolombe:
A Deontic Logic for Reasoning about Confidentiality. DEON 1996: 66-79 - [c33]Robert Demolombe, Andrew J. I. Jones, José Carmo:
Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. FMLDO 1996: 157-164 - [c32]Robert Demolombe:
Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra. FQAS 1996: 265-276 - [c31]Robert Demolombe:
Validity Queries and Completeness Queries. ISMIS 1996: 253-263 - [p1]Robert Demolombe:
Uncertainty in Intelligent Databases. Uncertainty Management in Information Systems 1996: 89-154 - 1994
- [c30]Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones:
Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD 1994: 345-373 - [c29]Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones:
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. ISMIS 1994: 488-499 - 1993
- [c28]Sylvie Cazalens, Robert Demolombe:
Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval. BDA 1993: 143-154 - [c27]Robert Demolombe, Andrew J. I. Jones:
Integrity Constraints Revisited (Preliminary version). DAISD 1993: 309-333 - [c26]Robert Demolombe:
A Uniform Framework for Deductive Database Derivation Strategies. EPIA 1993: 357 - 1992
- [j7]Robert Demolombe:
Syntactical Characterization of a Subset of Domain-Independent Formulas. J. ACM 39(1): 71-94 (1992) - [c25]Robert Demolombe:
A strategy for the computation of conditional answers. CNKBS 1992: 16-17 - [c24]Robert Demolombe:
A Strategy for the Computation of Conditional Answers. ECAI 1992: 134-138 - [c23]Sylvie Cazalens, Robert Demolombe:
Intelligent Access to Data and Knowledge Bases via User's Topics of Interest. IFIP Congress (3) 1992: 245-251 - 1991
- [j6]Frédéric Cuppens, Robert Demolombe:
Extending answers to neighbour entities in a cooperative answering context. Decis. Support Syst. 7(1): 1-11 (1991) - [j5]Robert Demolombe:
An Efficient Strategy for Non-Horn Deductive Databases. Theor. Comput. Sci. 78(1): 245-259 (1991) - [c22]Robert Demolombe, Luis Fariñas del Cerro:
An Inference Rule for Hypothesis Generation. IJCAI 1991: 152-157 - [c21]Robert Demolombe:
Cooperative Access to Data and Knowledge Baes (Abstract). VLDB 1991: 387 - 1990
- [c20]Robert Demolombe:
Strategies for the Computation of Conditional Answers. DAISD 1990: 49-71
1980 – 1989
- 1989
- [j4]Robert Demolombe, Arantza Illarramendi:
Heuristics for Syntactial Optimization of Relational Queries. Inf. Process. Lett. 32(6): 313-316 (1989) - [j3]Frédéric Cuppens, Robert Demolombe:
How to recognize interesting topics to provide cooperative answering. Inf. Syst. 14(2): 163-173 (1989) - [c19]Robert Demolombe:
An Efficient Strategy for Non-Horn Deductive Data Bases. IFIP Congress 1989: 325-330 - 1988
- [j2]Robert Demolombe, Luis Fariñas del Cerro:
An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. J. Log. Program. 5(3): 183-206 (1988) - [c18]Frédéric Cuppens, Robert Demolombe:
Comment reconnaître les centres d'intérêt pour fournir des réponses coopératives. BDA 1988: 257-268 - [c17]Robert Demolombe, Arantza Illarramendi, José Miguel Blanco:
Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. DS-3 1988: 519-528 - [c16]Frédéric Cuppens, Robert Demolombe:
Cooperative Answering: A Methodology to Provide Intelligent Access to databases. Expert Database Conf. 1988: 621-643 - [c15]Frédéric Cuppens, Robert Demolombe:
A Prolog-Relational DBMS Interface Using Delayed Evaluation. JCDKB 1988: 135-148 - 1987
- [c14]Robert Demolombe, Arantza Illarramendi, José Miguel Blanco:
Optimisation sémantique utilisant des techniques d'Intelligence Artificielle. BDA 1987: 323-346 - 1986
- [c13]Laurence Cholvy, Robert Demolombe:
Querying a Rule Base. Expert Database Conf. 1986: 477-485 - [c12]Robert Demolombe:
STREL: An Extended Relational Model for Structured Objects. IFIP Congress 1986: 877-882 - 1985
- [c11]Robert Demolombe:
STREL: Une extension du modèle relationnel pour représenter et manipuler des objets structurés. BDA 1985 - [c10]Robert Demolombe, Kioumars Yazdanian:
Modèle complet, modèle irredondant pour un schema de Base de Données Relationelle. BDA 1985 - [c9]Robert Demolombe, Luis Fariñas del Cerro:
Efficient Representation of Incomplete Information About Structured Objects. Foundations of Knowledge Base Management (Xania) 1985: 73-89 - 1983
- [c8]Robert Demolombe:
How to Improve Performance of Relational DBMS. IFIP Congress 1983: 229-233 - [c7]Robert Demolombe:
Interface entre PROLOG et un SGBD. SPLT 1983 - 1982
- [j1]Robert Demolombe:
Generalized Division for Relational Algebraic Language. Inf. Process. Lett. 14(4): 174-178 (1982) - 1980
- [c6]Robert Demolombe:
Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. VLDB 1980: 55-63
1970 – 1979
- 1979
- [c5]Robert Demolombe:
Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. Advances in Data Base Theory 1979: 367-395 - [c4]Robert Demolombe:
Semantic Checking of Questions Expressed in Predicate Calculus Language. VLDB 1979: 444-450 - 1978
- [c3]Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas:
The Language of SYNTEX-2, an Implemented Relational-like DBMS. Jerusalem Conference on Information Technology 1978: 171-175 - [c2]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: 89-110 - [c1]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: 127-153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-29 00:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
