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