Robert Demolombe homepage
(last update July 2009)
2009 ,
2008 ,
2007 ,
2006 ,
2005 ,
2004 ,
2003 ,
2002 ,
2001 ,
2000 ,
1999 ,
1998 ,
1998 ,
1997 ,
1996 ,
1995 ,
1994 ,
1993 ,
1992 ,
1991 ,
1990 ,
1989 ,
1988 ,
1986 ,
1983 ,
1982 ,
1981 ,
1980 ,
1979 ,
1978
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1986
1983
1982
1981
1980
1979
1978
R. Demolombe
Graded trust
In Proc. Workshop on Trust in Agent Societies, Budapest, 2009.
R. Demolombe
La confiance dans les relations entre agents : essai de modélisation en Logique Modale
In Proc. Journées Francophones sur la Modélisation Formelle de
l'Interaction , Lannion, 2009.
R. Demolombe, E. Lorini
A logical account of trust in information sources
In Proc. Workshop on Trust in Agent Societies, Estoril, 2008.
E. Lorini, R. Demolombe,
Trust and norms in the context of computer security: a logical formalization
In Deontic Logic in Computer Science
Eds. R. van der Meyden, L. van der Torre, LNAI 5076, Springer Verlag 2008.
E. Lorini, R. Demolombe,
From trust in information sources to trust in communication systems: an analysis in modal logic
In Pre-proc. of the KR 2008-workshop on Knowledge Representation for Agents and Multi-Agents Systems
Eds. J-J. Ch. Meyer, J. Broersen, Sydney, 2008.
C. Adam, V. Louis, R. Demolombe
Formalising the institutional interpretation of actions in an extended BDI logics
In Proc. of Ninth Workshop Engineering Societies in the Agents Worlds , Saint-Etienne, 2008.
R. Demolombe, V. Louis
Actes communicatifs à effets institutionels
In Proc. Journées Francophones sur la Modélisation Formelle de
l'Interaction , Paris, 2007.
R. Demolombe, P. Pozos Parra
Belief revision in the Situation Calculus without plausibility levels
In Foundations of Intelligent Systems
Eds. F. Esposito, Z. W. Ras, D. Malerba, G. Semeraro, LNAI 4203, Springer Verlag 2006.
R. Demolombe, V. Louis
Norms, institutional power and roles: toward a logical framework
In Foundations of Intelligent Systems
Eds. F. Esposito, Z. W. Ras, D. Malerba, G. Semeraro, LNAI 4203, Springer Verlag 2006.
R. Demolombe, V. Louis
Speech acts with institutional effects in agent societies
In Deontic logic and artificial intelligent systems
Eds. L. Goble, J-J. Ch. Meyer, LNAI 4048, Springer Verlag 2006.
P. Pozos Parra, A. Nayak, R. Demolombe
Theories of intentions in the framework of situation calculus
In Declarative Agent Languages and technologies
Eds. J. Leite, A. Omicini, P. Torroni, P. Yolum, LNAI 3476,
Springer Verlag 2005.
R. Demolombe, P. Pozos Parra
The Chisholm paradox and the Situation Calculus
In Foundations of Intelligent Systems Eds. M-H. Hacid,
N. V. Murray,
Z. W. Ras, S. Tsumoto. LNAI 3488, Springer Verlag, 2005.
R. Demolombe, A. M. Otermin Fernandez
Recognition of the intention to perform a procedure: a method based on
probabilities
In Proc. 4th International Conference on Autonomous Agents and Multi
Agent Systems (short paper), Utrecht, 2005.
R. Demolombe, A. M. Otermin Fernandez
Intention recognition in the Situation Calculus and Probability Theory
frameworks
In Proc. Computational Logic in Multi Agent Systems ,
London, 2005.
R. Demolombe, P. Pozos Parra
Belief change in the Situation Calculus: a new proposal without
plausibility levels
In Proc.Workshop of the 17th European Summer School in Logic
Language and Information about Belief Revision and Dynamic Logic ,
Edinburg, 2005.
R. Demolombe, P. Bretier, V. Louis
Formalisation de l'obligation de faire avec délais
In Proc. Journées Francophones sur la Modélisation Formelle de
l'Interaction , Caen, 2005.
R. Demolombe, V. Louis
Normes, Pouvoirs et Rôles : vers une formalisation en logique
In Journées Francophones sur les Systèmes Multi Agents, Calais, 2005.
R. Demolombe
Reasonig about trust: a formal logical framework
In Proc. 2d International Conference iTrust.
Oxford, 2004.
R. Demolombe, A. Herzig
Obligation change in dependence logic and situation calculus
In Proc. 7th International Workshop on Deontic Logic in Computer Science.
Madeira, 2004.
R. Demolombe
De
l'évolution des croyances à l'évolution des
obligations dans le calcul des situations
In Proc. 2èmes Journées Francophones des
Modèles Formels de l'Interaction. Lille, 2003.
R. Demolombe, P. Pozos Parra
BDI architecture in the
framework of situation calculus
In Proc. IJCAI workshop on Cognitive Modeling of Agents and
Multi-Agents Interactions. Acapulco, 2003.
R. Demolombe
An extended relational algebra on
abstract objects for summarizing answers to queries
In Fundamenta Informaticae 57(1) pp 1-15.
2003.
R. Demolombe, A. Herzig, I.J. Varzinczak
Regression in modal logic
In Journal of Applied Non Classical Logic 13(2) pp 165-185.
2003.
R. Demolombe
Belief change: from
situation calculus to modal logic
In Journal of Applied Non Classical Logic 13(2) pp 187-198.
Also in Proc. IJCAI workshop on Nonmonotonic Reasoning, Action, and
Change. Acapulco.
2003.
R. Demolombe, P. Pozos Parra
Implementacion de la
arquitectura BDI basada en el calculo de situaciones
In Proc. 2ndo Congreso Internacional de Informatica y
Computacion de la ANIEI. Zacatecas, 2003.
R. Demolombe, A.J.I. Jones
Actions and normative positions
Chapter in, D. Jacquette, editor. A companion to philosophical
logic. Blackwell Publishing. 2002.
R. Demolombe, P. Pozos Parra
Formalisation de
l'évolution des croyances dans le calcul des situations
In B. Chaib-draa, R. Demolombe, editors. Revue
Information, Interaction, Intelligence. Special issue : Modèles
Formels de l'Interaction. Cépadues-Editions. 2002.
R. Demolombe, E. Hamon
What does it mean that an
agent is performing a typical procedure? A formal definition in the
situation calculus
In Proc. 1st International Joint Conference on Autonomous Agents
and Multiagent Systems. Bologne, 2002.
J. Carmo, R. Demolombe, A.J.I. Jones
An application of deontic logic
to information systems constraints
In Fundamenta Informaticae 48(2-3).
2001.
R. Demolombe, C. Liau
A logic of graded trust and
belief fusion
In Proc. 4th Workshop on Deception, Fraud and Trust in Agent Societies.
Montréal, 2001.
R. Demolombe
To trust information sources:
a proposal for a modal logical framework
Chapter in, C. Castelfranchi, Y-H. Tan, editors Trust and
Deception in Virtual Societies.
Kluwer, 2001.
R. Demolombe, P. Pozos Parra
Relacion de accesibilidad u
operador modal : un dilemna para formalizar la evolucion de las
crencias en el calculo de situaciones
In Proc. Encuentro Internacional de Computacion.
Aguascalientes, 2001.
R. Demolombe, P. Pozos Parra
An extension of SOL-resolution
to theories with equality
In Proc. International Joint Conference on Automated Reasoning
(short paper).
Sienne, 2001.
R. Demolombe
Abstract answers to represent
large answers to queries in a concise form
Chapter in H.L. Larsen, J. Kacprzyk, S. Zadrozny, T. Andreasen,
H. Christiansen. editors Flexible Query Answering Systems. Recent
Advances.
Springer Verlag. 2000.
R. Demolombe
Action et causalité :
essais de formalisation en logique
Chapter in H. Prade, R. Jeansoulin, C. Garbay. editors Le Temps,
l'Espace et l'Evolutif en Sciences du Traitement de l'Information.
Cépadues Editions. 2000.
R. Demolombe, L. Fariñas del Cerro
La modélisation logique
dans les nouveaux systèmes d'information et de communication.
In Journal Techniques et Sciences Informatiques (1).
2000.
R. Demolombe, P. Pozos Parra
A simple and tractable
extension of situation calculus to epistemic logic
Chapter in Z.W. Ras, S. Ohsuga. editors Foundations of
Intelligent Systems, ISMIS 2000.
Lecture Notes in Artificial Intelligence, Num. 1932. Springer
Verlag. 2000.
R. Demolombe
Database validity and
completeness: another approach and its formalisation in modal logic
In Proc. IJCAI workshop on Knowledge Representation meets
Databases. Linkoping, 1999.
R. Demolombe
Multivalued logics and topics
In Proc. IJCAI workshop on Practical Reasoning and
Rationality.
Stockolm, 1999.
R. Demolombe, L. Fariñas del Cerro
Toward a logical
characterisation of sentences of the kind "sentence p is about object c"
Chapter in, S. Holldobler, editor. Intellectics and Computational
Logic. Papers in honor of Wolfang Bibel.
Kluwer. 1999.
L. Cholvy, F. Cuppens, R. Demolombe
Logiques Modales et Bases de
Données.
In Journal Techniques et Sciences Informatiques 17(3).
1998.
R. Demolombe
Answers about validity and
completeness of data: formal definitions, usefulness and computation
techniques
In Proc. Workshop on Flexible Query-Answering Systems.
Roskilde, 1998.
F. Cuppens, R. Demolombe
A modal logical framework for
security poplicies
Chapter in, Z.W. Ras, A. Skowron, editors. Foundations of
Intelligent Agents, ISMIS 1997.
Lecture Notes in Artificial Intelligence, Num. 1325. Springer
Verlag.
1997.
R. Demolombe
Uncertainty in intelligent
databases
Chapter in, A. Motro, C. Thanos, editors. Uncertainty Management
in Information Systems
Kluwer. 1997.
R. Demolombe
Formalizing the reliability
of agent's information
In Proc. 4th Modelage Workshop on Formal Models of Agents
(invited paper).
Certosa di Pontignano, 1997.
R. Demolombe, A.J.I. Jones, J. Carmo
Toward a uniform logical representation of different kinds of
integrity constraints
In Proc. 1st International Conference on Qualitative and
Quantitative Practical Reasoning.
Bad Honnef, 1997.
F. Cuppens, R. Demolombe
A deontic logic for reasoning
about confidentiality
In Proc. 3rd International Workshop on Deontic Logic in Computer Science
Sesimbra, 1996.
R. Demolombe
Validity queries and
completeness queries
Chapter in, Z.W. Ras, M. Michalewicz, editors. Foundations of
Intelligent Systems, ISMIS 1996.
Lecture Notes in Artificial Intelligence, Num. 1079. Springer
Verlag. 1996.
R. Demolombe
Answering queries about
validity and completeness of data: from modal logic to relational algebra
In Proc. Workshop on Flexible Query-Answering Systems (invited paper).
Roskilde. 1996.
R. Demolombe, A.J.I. Jones
On sentences of the kind
sentence "p" is about topic "t"
Chapter in, H-J. Ohlbach, U. Reyle, editors. Logic, Language and
Reasoning. Essays in honor of
Dov Gabbay.
Kluwer. 1996.
R. Demolombe, A.J.I. Jones
A common logical framework to
retrieve information and meta information
In Proc. Workshop on Information Gathering from heterogeneous,
Distributed Environments, American Association
for Artificial Intelligence Spring Symposium.
Stanford, 1995.
R. Demolombe, A.J.I. Jones
Reasoning about topics: towards
a formal theory
In Proc. Workshop on Formalizing Contexts, American Association
for Artificial Intelligence Fall Symposium.
Boston, 1995.
L. Cholvy, R. Demolombe, A.J.I. Jones
Reasoning about the safety of
information: from logical formalisation to operational definition
Chapter in, Z.W. Ras, M. Zemankova, editors. Methodologies for
Intelligent Systems, ISMIS 1994.
Lecture Notes in Artificial Intelligence, Num. 869. Springer
Verlag. 1994.
L. Cholvy, R. Demolombe
Reasoning with information
sources ordered by topics
In Proc. Artificial Intelligence: Methods, Systems and Applications.
Sofia, 1994.
R. Demolombe
Normative conflicts in a
confidentiality policy
In Proc. European Conference on Artificial Intelligence.
Amsterdam, 1994.
R. Demolombe, A.J.I. Jones
Integrity constraints revisited
In Proc. 4th Workshop on Deductive Approach of Information
Systems and Databases.
Lloret de Mar, 1994.
R. Demolombe, T. Imielinski
Nonstandard Queries and Nonstandard Answers
Studies in Logic and Computation Series.
Oxford University Press, 1994.
R. Demolombe
A uniform framework for deductive database derivation strategies
In Proc. 6th Portugese Conference on Artificial Intelligence.
Porto, 1993.
S. Cazalens, R. Demolombe
Constrained consequence generation
In Proc. 3rd Bar'Ilan Symposium on the Foundations of Artificial
Intelligence.
Tel Aviv, 1993.
R. Demolombe
A strategy for the computation of conditional answers
In Proc. 10th European Conference on Artificial Intelligence.
Vienne, 1992.
S. Cazalens, R. Demolombe
Intelligent access to data and knowledge bases via user's topics of interest
In Proc. International Federation of Information Processing Congress.
Madrid, 1992.
R. Demolombe, L. Fariñas del Cerro
An inference rule for hypothesis generation
In Proc. International Joint Conference on Artificial Intelligence.
Sydney, 1991.
R. Demolombe
An efficient strategy for non-Horn deductive databases
In Journal of Theoretical Computer Science Num. 78.
1991.
F. Cuppens, R. Demolombe
Extending answers to neighbour entities in a cooperative answering
context
In Journal of Decision Support Systems 6(1).
1990.
R. Demolombe, L. Fariñas del Cerro
Efficient representation of incomplete information about structured objects
Chapter in, J. Schmidt, C. Thanos, editors. Foundations of
Knowledge Bases Management.
Springer Verlag, 1990.
R. Demolombe
Deduction strategies for abductive reasoning
In Proc. ECAI Workshop on Intelligent Reasoning.
Stockolm, 1990.
F. Cuppens, R. Demolombe
How to recognise interesting topics to provide cooperative answering
In Information Systems Journal 14(2).
1989.
R. Demolombe
An efficient evaluation strategy for non-Horn deductive databases
In Proc. International Federation of Information Processing Congress.
1989.
R. Demolombe, L. Fariñas del Cerro
An algebraic evaluation method for deduction in incomplete databases
In The Journal of Logic Programming Num. 5, pp 183-205.
1988.
F. Cuppens, R. Demolombe
Cooperative answering: a method to provide intelligent access to
databases
In Proc. 2nd Conference on Expert Database Systems.
Washington, 1988.
R. Demolombe, A. Illaramendi, J.M. Blanco
Semantic optimization in data bases using artificial intelligence techniques
In Proc. IFIP Conference on The Role of Artificial Intelligence
in Databases and Information Systems.
Canton, 1988.
F. Cuppens, R. Demolombe
A PROLOG-Relational DBMS interface using delayed evaluation
In Proc. 3rd International Conference on Data and Knowledge Bases.
Jerusalem, 1988.
R. Demolombe
STREL: an extended relational model for structured objects
In Proc. International Federation of Information Processing Congress.
1986.
L. Cholvy, R. Demolombe
Querying a rule base
In Proc. 1st International Conference on Expert Database Systems.
1986.
R. Demolombe
How to improve performances of relational DBMS
In Proc. International Federation of Information Processing Congress.
1983.
R. Demolombe
Generalized division for relational algebraic language
In Information Processing Letters, 14(4).
1982.
R. Demolombe
Syntactical characterisation of a subset of domain independent formulas
In Journal of the Association of Computing Machinery, 39(1).
1982.
R. Demolombe
Assigning meaning to ill-defined queries expressed in predicate
calculus language
Chapter in H. Gallaire, J. Minker, J-M. Nicolas, editors.
Advances in Database Theory, Vol 1.
Plenum Press, 1981.
R. Demolombe
Estimation of the number of tuples satisfying a query expressed in
predicate calculus language
In Proc. 6th International Conference on Very Large Data Bases.
Montréal, 1980.
R. Demolombe
Semantic checking of questions expressed in predicate calculus language
In Proc. 5th International Conference on Very Large Data Bases.
Rio de Janeiro, 1979.
R. Demolombe, M. Lemaitre, J-M. Nicolas
The language of SYNTEX-2, an experimental relational like DBMS
In Proc. Jerusalem Conference on Information Technology.
Jerusalem, 1978.