Robert Demolombe Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Causality in the Context of Multiple Agents. DEON 2012: 1-15
2011
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. CLIMA 2011: 13-28
2010
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. DEON 2010: 259-273
2009
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Pilar Pozos Parra: Integrating State Constraints and Obligations in Situation Calculus. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13(41): 54-63 (2009)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Luis Fariñas del Cerro: How to Produce Information About a Given Entity Using Automated Deduction Methods. Electr. Notes Theor. Comput. Sci. 256: 19-31 (2009)
2008
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emiliano Lorini, Robert Demolombe: From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. AAMAS-TRUST 2008: 205-225
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emiliano Lorini, Robert Demolombe: Trust and Norms in the Context of Computer Security: A Logical Formalization. DEON 2008: 50-64
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emiliano Lorini, Robert Demolombe: From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic. KRAMAS 2008: 81-98
c56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Vincent Louis: Speech Acts with Institutional Effects in Agent Societies. DEON 2006: 101-114
c54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Philippe Bretier, Vincent Louis: Norms with Deadlines in Dynamic Deontic Logic. ECAI 2006: 751-752
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Maria del Pilar Pozos Parra: Belief Revision in the Situation Calculus Without Plausibility Levels. ISMIS 2006: 504-513
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Vincent Louis: Norms, Institutional Power and Roles: Towards a Logical Framework. ISMIS 2006: 514-523
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Pilar Pozos Parra: Integrating State Constraints and Obligations in Situation Calculus. LA-NMR 2006
2005
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Ana María Otermin Fernandez: Recognition of the intention to perform a procedure: a method based on probabilities. AAMAS 2005: 1133-1134
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Ana María Otermin Fernandez: Intention Recognition in the Situation Calculus and Probability Theory Frameworks. CLIMA 2005: 358-372
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Maria del Pilar Pozos Parra: The Chisholm Paradox and the Situation Calculus. ISMIS 2005: 425-434
c47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Vincent Louis: Normes, Pouvoirs et Rôles: vers une formalisation en logique. JFSMA 2005: 51-63
2004
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe: Theories of Intentions in the Framework of Situation Calculus. DALT 2004: 19-34
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Andreas Herzig: Obligation Change in Dependence Logic and Situation Calculus. DEON 2004: 57-73
c44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: From Belief Change to Obligation Change in the Situation Calculus. ECAI 2004: 991-992
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Reasoning About Trust: A Formal Logical Framework. iTrust 2004: 291-303
2003
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries. Fundam. Inform. 57(1): 1-15 (2003)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak: Regression in Modal Logic. Journal of Applied Non-Classical Logics 13(2): 165-185 (2003)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Belief Change: from Situation Calculus to Modal Logic. Journal of Applied Non-Classical Logics 13(2): 187-198 (2003)
2002
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Carmo, Robert Demolombe, Andrew J. I. Jones: An Application of Deontic Logic to Information System Constraints. Fundam. Inform. 48(2-3): 165-181 (2001)
2000
c41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Abstract Objects to Represent Large Answers to Queries in a Concise Form. FQAS 2000: 171-181
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Maria del Pilar Pozos Parra: A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. ISMIS 2000: 515-524
1999
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic. KRDB 1999: 11-13
1998
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique. FQAS 1998: 138-147
1997
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Andrew J. I. Jones, José Carmo: Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. ECSQARU-FAPR 1997: 614-620
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Cuppens, Robert Demolombe: A Modal Logical Framework for Security Policies. ISMIS 1997: 579-589
1996
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Andrew J. I. Jones: Integrity Constraints Revisited. Logic Journal of the IGPL 4(3): 369-383 (1996)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Uncertainty in Intelligent Databases. Uncertainty Management in Information Systems 1996: 89-154
c34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Cuppens, Robert Demolombe: A Deontic Logic for Reasoning about Confidentiality. DEON 1996: 66-79
c33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Andrew J. I. Jones, José Carmo: Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. FMLDO 1996: 157-164
c32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra. FQAS 1996: 265-276
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Validity Queries and Completeness Queries. ISMIS 1996: 253-263
1994
c30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones: Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD 1994: 345-373
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvie Cazalens, Robert Demolombe: Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval. BDA 1993: 143-154
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Andrew J. I. Jones: Integrity Constraints Revisited (Preliminary version). DAISD 1993: 309-333
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: A Uniform Framework for Deductive Database Derivation Strategies. EPIA 1993: 357
1992
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Syntactical Characterization of a Subset of Domain-Independent Formulas. J. ACM 39(1): 71-94 (1992)
c25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: A strategy for the computation of conditional answers. CNKBS 1992: 16-17
c24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: A Strategy for the Computation of Conditional Answers. ECAI 1992: 134-138
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvie Cazalens, Robert Demolombe: Intelligent Access to Data and Knowledge Bases via User's Topics of Interest. IFIP Congress (3) 1992: 245-251
1991
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: An Efficient Strategy for Non-Horn Deductive Databases. Theor. Comput. Sci. 78(1): 245-259 (1991)
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Luis Fariñas del Cerro: An Inference Rule for Hypothesis Generation. IJCAI 1991: 152-157
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Cooperative Access to Data and Knowledge Baes (Abstract). VLDB 1991: 387
1990
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Strategies for the Computation of Conditional Answers. DAISD 1990: 49-71
1989
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Arantza Illarramendi: Heuristics for Syntactial Optimization of Relational Queries. Inf. Process. Lett. 32(6): 313-316 (1989)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Cuppens, Robert Demolombe: How to recognize interesting topics to provide cooperative answering. Inf. Syst. 14(2): 163-173 (1989)
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: An Efficient Strategy for Non-Horn Deductive Data Bases. IFIP Congress 1989: 325-330
1988
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Arantza Illarramendi, José Miguel Blanco: Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. DS-3 1988: 519-528
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Cuppens, Robert Demolombe: Cooperative Answering: A Methodology to Provide Intelligent Access to databases. Expert Database Conf. 1988: 621-643
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Cuppens, Robert Demolombe: A Prolog-Relational DBMS Interface Using Delayed Evaluation. JCDKB 1988: 135-148
1987
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Arantza Illarramendi, José Miguel Blanco: Optimisation sémantique utilisant des techniques d'Intelligence Artificielle. BDA 1987: 323-346
1986
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurence Cholvy, Robert Demolombe: Querying a Rule Base. Expert Database Conf. 1986: 477-485
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: STREL: An Extended Relational Model for Structured Objects. IFIP Congress 1986: 877-882
1985
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: STREL: Une extension du modèle relationnel pour représenter et manipuler des objets structurés. BDA 1985
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Kioumars Yazdanian: Modèle complet, modèle irredondant pour un schema de Base de Données Relationelle. BDA 1985
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: How to Improve Performance of Relational DBMS. IFIP Congress 1983: 229-233
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Interface entre PROLOG et un SGBD. SPLT 1983
1982
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Generalized Division for Relational Algebraic Language. Inf. Process. Lett. 14(4): 174-178 (1982)
1980
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. VLDB 1980: 55-63
1979
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. Advances in Data Base Theory 1979: 367-395
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe: Semantic Checking of Questions Expressed in Predicate Calculus Language. VLDB 1979: 444-450
1978
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Michel E. Adiba
[c2] [c1]
2Jonathan Ben-Naim
[c56]
3Jean Le Bihan
[c2] [c1]
4José Miguel Blanco
[c17] [c14]
5Philippe Bretier
[c54]
6José Carmo
[j8] [c36] [c33]
7Cristiano Castelfranchi
[c56]
8Sylvie Cazalens
[c28] [c23]
9Luis Fariñas del Cerro
[j14] [j12] [c41] [c22] [j2] [c9]
10Laurence Cholvy
[c30] [c29] [c13]
11Jean-Claude Chupin
[c2] [c1]
12Frédéric Cuppens
[c35] [c34] [j3] [c18] [c16] [c15]
13Ana María Otermin Fernandez
[c50] [c49]
14Georges Gardarin
[c2] [c1]
15Erwan Hamon
[c42]
16Andreas Herzig
[c56] [c45] [j10]
17Jomi Fred Hübner (Jomi Hübner)
[c56]
18Arantza Illarramendi
[j4] [c17] [c14]
19Andrew J. I. Jones
[j8] [c36] [j7] [c33] [c30] [c29] [c27]
20Michel Lemaître
[c3]
21Dominique Longin
[c56]
22Emiliano Lorini
[c59] [c58] [c57] [c56]
23Vincent Louis
[c55] [c54] [c52] [c47]
24Abhaya C. Nayak
[c46]
25Jean-Marie Nicolas
[c3]
26Maria del Pilar Pozos Parra
[c53] [c48] [c46] [c39]
27Pilar Pozos Parra
[j13] [c51]
28Ivan José Varzinczak
[j10]
29Laurent Vercouter
[c56]
30Kioumars Yazdanian
[c10]

Colors in the list of coauthors

Last update Sun May 26 00:28:24 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page