Robert Demolombe

FLAP, 2022

2021

A Framework for Modelling Molecular Interaction Maps.

[BibT_eX]

[DOI]

FLAP, 2021

2018

Modéliser les interactions entre agents : un prérequis pour analyser l'éthique des systèmes complexes.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2018

About Relationships Between two Individuals.

[BibT_eX]

[DOI]

FLAP, 2018

2017

Reasoning about trust and aboutness in the context of communication.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Trust and agency in the context of communication.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Temporal abductive reasoning about biochemical reactions.

[BibT_eX]

[DOI]

Serenella Cerrito

Marta Cialdea Mayer

J. Appl. Non Class. Logics, 2017

2016

Temporal Logic Modeling of Biological Systems.

[BibT_eX]

[DOI]

Jean-Marc Alliot

Martín Diéguez

Proceedings of the Towards Paraconsistent Engineering, 2016

Translation of first order formulas into ground formulas via a completion theory.

[BibT_eX]

[DOI]

Naji Obeid

J. Appl. Log., 2016

2014

Obligations with deadlines: a formalization in Dynamic Deontic Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

An argumentation-based approach for reasoning about trust in information sources.

[BibT_eX]

[DOI]

Leila Amgoud

Argument Comput., 2014

2013

Automated Reasoning in Metabolic Networks with Inhibition.

[BibT_eX]

[DOI]

Naji Obeid

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Causality in the Context of Multiple Agents.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011

Relationships between obligations and actions in the context of institutional agents, human agents or software agents.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2011

Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Information About a Given Entity: From Semantics Towards Automated Deduction.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

How to Produce Information About a Given Entity Using Automated Deduction Methods.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

Integrating State Constraints and Obligations in Situation Calculus.

[BibT_eX]

[DOI]

Pilar Pozos Parra

Inteligencia Artif., 2009

2008

Prolegomena for a Logic of Trust and Reputation.

[BibT_eX]

Cristiano Castelfranchi

Dominique Longin

Laurent Vercouter

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic.

[BibT_eX]

[DOI]

Emiliano Lorini

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Trust and Norms in the Context of Computer Security: A Logical Formalization.

[BibT_eX]

[DOI]

Emiliano Lorini

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

From Binary Trust to Graded Trust in Information Sources: A Logical Perspective.

[BibT_eX]

[DOI]

Emiliano Lorini

Proceedings of the Trust in Agent Societies, 2008

2006

Belief Revision in the Situation Calculus Without Plausibility Levels.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Norms, Institutional Power and Roles: Towards a Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Norms with Deadlines in Dynamic Deontic Logic.

[BibT_eX]

Philippe Bretier

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Speech Acts with Institutional Effects in Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

2005

Normes, Pouvoirs et Rôles: vers une formalisation en logique.

[BibT_eX]

Proceedings of the Systèmes Multi-Agents, 2005

The Chisholm Paradox and the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

Intention Recognition in the Situation Calculus and Probability Theory Frameworks.

[BibT_eX]

[DOI]

Ana María Otermin Fernandez

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Recognition of the intention to perform a procedure: a method based on probabilities.

[BibT_eX]

[DOI]

Ana María Otermin Fernandez

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Reasoning About Trust: A Formal Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, Second International Conference, 2004

From Belief Change to Obligation Change in the Situation Calculus.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Obligation Change in Dependence Logic and Situation Calculus.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the Deontic Logic in Computer Science, 2004

Theories of Intentions in the Framework of Situation Calculus.

[BibT_eX]

[DOI]

Abhaya C. Nayak

Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003

Regression in Modal Logic.

[BibT_eX]

[DOI]

Andreas Herzig

Ivan José Varzinczak

J. Appl. Non Class. Logics, 2003

Belief Change: from Situation Calculus to Modal Logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

2002

What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus.

[BibT_eX]

[DOI]

Erwan Hamon

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

An Application of Deontic Logic to Information System Constraints.

[BibT_eX]

[DOI]

José Carmo

Fundam. Informaticae, 2001

2000

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

Abstract Objects to Represent Large Answers to Queries in a Concise Form.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, 2000

Towards a Logical Characterization of Sentences of the Kind "Sentence <i>p</i> is about Object <i>c</i>".

[BibT_eX]

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999

Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), 1999

1998

Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

A Modal Logical Framework for Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints.

[BibT_eX]

[DOI]

José Carmo

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996

Integrity Constraints Revisited.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

Validity Queries and Completeness Queries.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra.

[BibT_eX]

Proceedings of the Flexible Query-Answering Systems, 1996

Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints.

[BibT_eX]

José Carmo

Proceedings of the Integrity in Databases, 1996

A Deontic Logic for Reasoning about Confidentiality.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

Uncertainty in Intelligent Databases.

[BibT_eX]

Proceedings of the Uncertainty Management in Information Systems: From Needs to Solution., 1996

1994

Reasoning About the Safety of Information: From Logical Formalization to Operational Definition.

[BibT_eX]

[DOI]

Laurence Cholvy

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993

A Uniform Framework for Deductive Database Derivation Strategies.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1993

Integrity Constraints Revisited (Preliminary version).

[BibT_eX]

Proceedings of the Fourth International Workshop on the Deductive Approach to Information Systems and Databases, 1993

Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval.

[BibT_eX]

Sylvie Cazalens

Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

1992

Syntactical Characterization of a Subset of Domain-Independent Formulas.

[BibT_eX]

[DOI]

J. ACM, 1992

Intelligent Access to Data and Knowledge Bases via User's Topics of Interest.

[BibT_eX]

Sylvie Cazalens

Proceedings of the Personal Computers and Intelligent Systems, 1992

A Strategy for the Computation of Conditional Answers.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

An Efficient Strategy for Non-Horn Deductive Databases.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Extending answers to neighbour entities in a cooperative answering context.

[BibT_eX]

[DOI]

Decis. Support Syst., 1991

Cooperative Access to Data and Knowledge Baes (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Very Large Data Bases, 1991

An Inference Rule for Hypothesis Generation.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Strategies for the Computation of Conditional Answers.

[BibT_eX]

Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990

1989

How to recognize interesting topics to provide cooperative answering.

[BibT_eX]

[DOI]

Inf. Syst., 1989

Heuristics for Syntactial Optimization of Relational Queries.

[BibT_eX]

[DOI]

Arantza Illarramendi

Inf. Process. Lett., 1989

An Efficient Strategy for Non-Horn Deductive Data Bases.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

An Algebraic Evaluation Method for Deduction in Incomplete Data Bases.

[BibT_eX]

[DOI]

J. Log. Program., 1988

A Prolog-Relational DBMS Interface Using Delayed Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Cooperative Answering: A Methodology to Provide Intelligent Access to databases.

[BibT_eX]

Proceedings of the Expert Database Systems, 1988

Semantic Optimization in Data Bases Using Artificial Intelligence Techniques.

[BibT_eX]

Arantza Illarramendi

José Miguel Blanco

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

Comment reconnaître les centres d'intérêt pour fournir des réponses coopératives.

[BibT_eX]

Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1987

Optimisation sémantique utilisant des techniques d'Intelligence Artificielle.

[BibT_eX]

Arantza Illarramendi

José Miguel Blanco

Proceedings of the Troisièmes Journées Bases de Données Avancées, 1987

1986

STREL: An Extended Relational Model for Structured Objects.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

Querying a Rule Base.

[BibT_eX]

Laurence Cholvy

Proceedings of the Expert Database Systems, 1986

1985

Efficient Representation of Incomplete Information About Structured Objects.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

Modèle complet, modèle irredondant pour un schema de Base de Données Relationelle.

[BibT_eX]

Kioumars Yazdanian

Proceedings of the Journées Bases de Données Avancés, 1985

STREL: Une extension du modèle relationnel pour représenter et manipuler des objets structurés.

[BibT_eX]

Proceedings of the Journées Bases de Données Avancés, 1985

1983

Interface entre PROLOG et un SGBD.

[BibT_eX]

Proceedings of the SPLT'83, 1983

How to Improve Performance of Relational DBMS.

[BibT_eX]

Proceedings of the Information Processing 83, 1983

1982

Generalized Division for Relational Algebraic Language.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1982

1980

Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language.

[BibT_eX]

Proceedings of the Sixth International Conference on Very Large Data Bases, 1980

1979

Semantic Checking of Questions Expressed in Predicate Calculus Language.

[BibT_eX]

Proceedings of the Fifth International Conference on Very Large Data Bases, 1979

Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language.

[BibT_eX]

Proceedings of the Advances in Data Base Theory, 1979

1978

Issues in Distributed Data Base Management Systems: A Technical Overview.

[BibT_eX]

Proceedings of the Issues in Data Base Management, 1978

The Language of SYNTEX-2, an Implemented Relational-like DBMS.

[BibT_eX]