The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Demolombe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert Demolombe
    Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. [Citation Graph (16, 11)][DBLP]
    VLDB, 1980, pp:55-63 [Conf]
  2. Laurence Cholvy, Robert Demolombe
    Querying a Rule Base. [Citation Graph (9, 0)][DBLP]
    Expert Database Conf., 1986, pp:477-485 [Conf]
  3. Frédéric Cuppens, Robert Demolombe
    Cooperative Answering: A Methodology to Provide Intelligent Access to databases. [Citation Graph (8, 0)][DBLP]
    Expert Database Conf., 1988, pp:621-643 [Conf]
  4. Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan
    Issues in Distributed Data Base Management Systems: A Technical Overview. [Citation Graph (6, 45)][DBLP]
    VLDB, 1978, pp:89-110 [Conf]
  5. Robert Demolombe
    Syntactical Characterization of a Subset of Domain-Independent Formulas. [Citation Graph (5, 0)][DBLP]
    J. ACM, 1992, v:39, n:1, pp:71-94 [Journal]
  6. Robert Demolombe
    Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. [Citation Graph (4, 0)][DBLP]
    Advances in Data Base Theory, 1979, pp:367-395 [Conf]
  7. Robert Demolombe
    Semantic Checking of Questions Expressed in Predicate Calculus Language. [Citation Graph (3, 1)][DBLP]
    VLDB, 1979, pp:444-450 [Conf]
  8. Frédéric Cuppens, Robert Demolombe
    How to recognize interesting topics to provide cooperative answering. [Citation Graph (3, 0)][DBLP]
    Inf. Syst., 1989, v:14, n:2, pp:163-173 [Journal]
  9. Robert Demolombe
    An Efficient Strategy for Non-Horn Deductive Data Bases. [Citation Graph (1, 0)][DBLP]
    IFIP Congress, 1989, pp:325-330 [Conf]
  10. Frédéric Cuppens, Robert Demolombe
    A Prolog-Relational DBMS Interface Using Delayed Evaluation. [Citation Graph (1, 0)][DBLP]
    JCDKB, 1988, pp:135-148 [Conf]
  11. Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan
    Issues in Distributed Data Base Management Systems: A Technical Overview. [Citation Graph (1, 0)][DBLP]
    VLDB Surveys, 1978, pp:127-153 [Conf]
  12. Robert Demolombe, Luis Fariñas del Cerro
    An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1988, v:5, n:3, pp:183-206 [Journal]
  13. Robert Demolombe, Ana María Otermin Fernandez
    Recognition of the intention to perform a procedure: a method based on probabilities. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1133-1134 [Conf]
  14. Robert Demolombe, Erwan Hamon
    What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:905-911 [Conf]
  15. Robert Demolombe
    STREL: Une extension du modèle relationnel pour représenter et manipuler des objets structurés. [Citation Graph (0, 0)][DBLP]
    BDA, 1985, pp:- [Conf]
  16. Robert Demolombe, Arantza Illarramendi, José Miguel Blanco
    Optimisation sémantique utilisant des techniques d'Intelligence Artificielle. [Citation Graph (0, 0)][DBLP]
    BDA, 1987, pp:323-346 [Conf]
  17. Robert Demolombe, Kioumars Yazdanian
    Modèle complet, modèle irredondant pour un schema de Base de Données Relationelle. [Citation Graph (0, 0)][DBLP]
    BDA, 1985, pp:- [Conf]
  18. Sylvie Cazalens, Robert Demolombe
    Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval. [Citation Graph (0, 0)][DBLP]
    BDA, 1993, pp:143-154 [Conf]
  19. Frédéric Cuppens, Robert Demolombe
    Comment reconnaître les centres d'intérêt pour fournir des réponses coopératives. [Citation Graph (0, 0)][DBLP]
    BDA, 1988, pp:257-0 [Conf]
  20. Robert Demolombe, Luis Fariñas del Cerro
    Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:85-99 [Conf]
  21. Robert Demolombe, Ana María Otermin Fernandez
    Intention Recognition in the Situation Calculus and Probability Theory Frameworks. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:358-372 [Conf]
  22. Robert Demolombe
    A strategy for the computation of conditional answers. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:16-17 [Conf]
  23. Laurence Cholvy, Robert Demolombe, Andrew Jones
    Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:345-373 [Conf]
  24. Robert Demolombe
    Strategies for the Computation of Conditional Answers. [Citation Graph (0, 0)][DBLP]
    DAISD, 1990, pp:49-71 [Conf]
  25. Robert Demolombe, Andrew Jones
    Integrity Constraints Revisited (Preliminary version). [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:309-333 [Conf]
  26. Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe
    Theories of Intentions in the Framework of Situation Calculus. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:19-34 [Conf]
  27. Robert Demolombe, Luis Fariñas del Cerro
    Efficient Representation of Incomplete Information About Structured Objects. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:73-89 [Conf]
  28. Frédéric Cuppens, Robert Demolombe
    A Deontic Logic for Reasoning about Confidentiality. [Citation Graph (0, 0)][DBLP]
    DEON, 1996, pp:66-79 [Conf]
  29. Robert Demolombe, Andreas Herzig
    Obligation Change in Dependence Logic and Situation Calculus. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:57-73 [Conf]
  30. Robert Demolombe, Vincent Louis
    Speech Acts with Institutional Effects in Agent Societies. [Citation Graph (0, 0)][DBLP]
    DEON, 2006, pp:101-114 [Conf]
  31. Robert Demolombe, Arantza Illarramendi, José Miguel Blanco
    Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. [Citation Graph (0, 0)][DBLP]
    DS-3, 1988, pp:519-528 [Conf]
  32. Robert Demolombe
    From Belief Change to Obligation Change in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:991-992 [Conf]
  33. Robert Demolombe
    A Strategy for the Computation of Conditional Answers. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:134-138 [Conf]
  34. Robert Demolombe, Philippe Bretier, Vincent Louis
    Norms with Deadlines in Dynamic Deontic Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:751-752 [Conf]
  35. Robert Demolombe, Andrew J. I. Jones, José Carmo
    Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:614-620 [Conf]
  36. Robert Demolombe
    A Uniform Framework for Deductive Database Derivation Strategies. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:357- [Conf]
  37. Robert Demolombe, Andrew J. I. Jones, José Carmo
    Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1996, pp:157-164 [Conf]
  38. Robert Demolombe
    Abstract Objects to Represent Large Answers to Queries in a Concise Form. [Citation Graph (0, 0)][DBLP]
    FQAS, 2000, pp:171-181 [Conf]
  39. Robert Demolombe
    Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra. [Citation Graph (0, 0)][DBLP]
    FQAS, 1996, pp:265-276 [Conf]
  40. Robert Demolombe
    Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique. [Citation Graph (0, 0)][DBLP]
    FQAS, 1998, pp:138-147 [Conf]
  41. Sylvie Cazalens, Robert Demolombe
    Intelligent Access to Data and Knowledge Bases via User's Topics of Interest. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (3), 1992, pp:245-251 [Conf]
  42. Robert Demolombe
    How to Improve Performance of Relational DBMS. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:229-233 [Conf]
  43. Robert Demolombe
    STREL: An Extended Relational Model for Structured Objects. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:877-882 [Conf]
  44. Robert Demolombe, Luis Fariñas del Cerro
    An Inference Rule for Hypothesis Generation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:152-157 [Conf]
  45. Robert Demolombe, Vincent Louis
    Norms, Institutional Power and Roles: Towards a Logical Framework. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:514-523 [Conf]
  46. Robert Demolombe, Maria del Pilar Pozos Parra
    A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2000, pp:515-524 [Conf]
  47. Robert Demolombe, Maria del Pilar Pozos Parra
    The Chisholm Paradox and the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2005, pp:425-434 [Conf]
  48. Robert Demolombe, Maria del Pilar Pozos Parra
    Belief Revision in the Situation Calculus Without Plausibility Levels. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:504-513 [Conf]
  49. Laurence Cholvy, Robert Demolombe, Andrew Jones
    Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:488-499 [Conf]
  50. Robert Demolombe
    Validity Queries and Completeness Queries. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1996, pp:253-263 [Conf]
  51. Frédéric Cuppens, Robert Demolombe
    A Modal Logical Framework for Security Policies. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:579-589 [Conf]
  52. Robert Demolombe
    Reasoning About Trust: A Formal Logical Framework. [Citation Graph (0, 0)][DBLP]
    iTrust, 2004, pp:291-303 [Conf]
  53. Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas
    The Language of SYNTEX-2, an Implemented Relational-like DBMS. [Citation Graph (0, 0)][DBLP]
    Jerusalem Conference on Information Technology, 1978, pp:171-175 [Conf]
  54. Robert Demolombe
    Interface entre PROLOG et un SGBD. [Citation Graph (0, 0)][DBLP]
    SPLT, 1983, pp:- [Conf]
  55. Robert Demolombe
    Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic. [Citation Graph (0, 0)][DBLP]
    KRDB, 1999, pp:11-13 [Conf]
  56. Robert Demolombe
    Cooperative Access to Data and Knowledge Baes (Abstract). [Citation Graph (0, 0)][DBLP]
    VLDB, 1991, pp:387- [Conf]
  57. Robert Demolombe
    An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:1, pp:1-15 [Journal]
  58. Robert Demolombe
    Generalized Division for Relational Algebraic Language. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1982, v:14, n:4, pp:174-178 [Journal]
  59. Robert Demolombe, Arantza Illarramendi
    Heuristics for Syntactial Optimization of Relational Queries. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:32, n:6, pp:313-316 [Journal]
  60. Robert Demolombe
    Belief Change: from Situation Calculus to Modal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:2, pp:187-198 [Journal]
  61. Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
    Regression in Modal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:2, pp:165-185 [Journal]
  62. Robert Demolombe
    An Efficient Strategy for Non-Horn Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:78, n:1, pp:245-259 [Journal]
  63. Robert Demolombe, Pilar Pozos Parra
    Integrating State Constraints and Obligations in Situation Calculus. [Citation Graph (0, 0)][DBLP]
    LA-NMR, 2006, pp:- [Conf]

  64. From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. [Citation Graph (, )][DBLP]


  65. Trust and Norms in the Context of Computer Security: A Logical Formalization. [Citation Graph (, )][DBLP]


  66. Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. [Citation Graph (, )][DBLP]


  67. Prolegomena for a Logic of Trust and Reputation. [Citation Graph (, )][DBLP]


  68. From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic. [Citation Graph (, )][DBLP]


  69. How to Produce Information About a Given Entity Using Automated Deduction Methods. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002