Robert Demolombe

94 papers A* 5A 5C 10Misc 1Journal 27Unranked 44

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Confiance dans l'information transmise par une séquence d'agents. Rev. Ouverte Intell. Artif. Robert Demolombe
2022	J	`jnl`	Causality and Responsibility in the Context of Multiple Agents. FLAP Robert Demolombe
2021	J	`jnl`	A Framework for Modelling Molecular Interaction Maps. FLAP Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
2020	J	`jnl`	A framework for modelling Molecular Interaction Maps. CoRR Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
2018	J	`jnl`	About Relationships Between two Individuals. FLAP Robert Demolombe
2018	J	`jnl`	Modéliser les interactions entre agents : un prérequis pour analyser l'éthique des systèmes complexes. Rev. d'Intelligence Artif. Robert Demolombe
2017	J	`jnl`	Reasoning about trust and aboutness in the context of communication. J. Appl. Non Class. Logics Robert Demolombe
2017	J	`jnl`	Temporal abductive reasoning about biochemical reactions. J. Appl. Non Class. Logics Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe
2017	J	`jnl`	Trust and agency in the context of communication. J. Appl. Non Class. Logics Robert Demolombe
2016	—	`ch.`	Temporal Logic Modeling of Biological Systems. Towards Paraconsistent Engineering Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet
2016	J	`jnl`	Translation of first order formulas into ground formulas via a completion theory. J. Appl. Log. Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
2014	J	`jnl`	An argumentation-based approach for reasoning about trust in information sources. Argument Comput. Leila Amgoud, Robert Demolombe
2014	J	`jnl`	Obligations with deadlines: a formalization in Dynamic Deontic Logic. J. Log. Comput. Robert Demolombe
2014	—	`conf`	Trust and Agency in the Context of Communication. ECSI Robert Demolombe
2013	—	`conf`	Automated Reasoning in Metabolic Networks with Inhibition. AI*IA Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
2012	—	`conf`	Causality in the Context of Multiple Agents. DEON Robert Demolombe
2011	J	`jnl`	Relationships between obligations and actions in the context of institutional agents, human agents or software agents. Artif. Intell. Law Robert Demolombe
2011	—	`conf`	Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. CLIMA Robert Demolombe
2010	J	`jnl`	Information About a Given Entity: From Semantics Towards Automated Deduction. J. Log. Comput. Robert Demolombe, Luis Fariñas del Cerro
2010	—	`conf`	Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. DEON Robert Demolombe
2009	—	`conf`	How to Produce Information About a Given Entity Using Automated Deduction Methods. LSFA Robert Demolombe, Luis Fariñas del Cerro
2009	J	`jnl`	Integrating State Constraints and Obligations in Situation Calculus. Inteligencia Artif. Robert Demolombe, Pilar Pozos Parra
2008	—	`conf`	From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. AAMAS-TRUST Emiliano Lorini, Robert Demolombe
2008	—	`conf`	From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic. KRAMAS Emiliano Lorini, Robert Demolombe
2008	—	`conf`	Prolegomena for a Logic of Trust and Reputation. NORMAS Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Jonathan Ben-Naim, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Vercouter
2008	—	`conf`	Trust and Norms in the Context of Computer Security: A Logical Formalization. DEON Emiliano Lorini, Robert Demolombe
2006	C	`conf`	Belief Revision in the Situation Calculus Without Plausibility Levels. ISMIS Robert Demolombe, Maria del Pilar Pozos Parra
2006	—	`conf`	Integrating State Constraints and Obligations in Situation Calculus. LA-NMR Robert Demolombe, Pilar Pozos Parra
2006	A	`conf`	Norms with Deadlines in Dynamic Deontic Logic. ECAI Robert Demolombe, Philippe Bretier, Vincent Louis
2006	C	`conf`	Norms, Institutional Power and Roles: Towards a Logical Framework. ISMIS Robert Demolombe, Vincent Louis
2006	—	`conf`	Speech Acts with Institutional Effects in Agent Societies. DEON Robert Demolombe, Vincent Louis
2005	—	`conf`	Intention Recognition in the Situation Calculus and Probability Theory Frameworks. CLIMA Robert Demolombe, Ana María Otermin Fernandez
2005	—	`conf`	Normes, Pouvoirs et Rôles: vers une formalisation en logique. JFSMA Robert Demolombe, Vincent Louis
2005	A	`conf`	Recognition of the intention to perform a procedure: a method based on probabilities. AAMAS Robert Demolombe, Ana María Otermin Fernandez
2005	C	`conf`	The Chisholm Paradox and the Situation Calculus. ISMIS Robert Demolombe, Maria del Pilar Pozos Parra
2004	A	`conf`	From Belief Change to Obligation Change in the Situation Calculus. ECAI Robert Demolombe
2004	—	`conf`	Obligation Change in Dependence Logic and Situation Calculus. DEON Robert Demolombe, Andreas Herzig
2004	—	`conf`	Reasoning About Trust: A Formal Logical Framework. iTrust Robert Demolombe
2004	—	`conf`	Theories of Intentions in the Framework of Situation Calculus. DALT Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe
2003	J	`jnl`	An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries. Fundam. Informaticae Robert Demolombe
2003	J	`jnl`	Belief Change: from Situation Calculus to Modal Logic. J. Appl. Non Class. Logics Robert Demolombe
2003	J	`jnl`	Regression in Modal Logic. J. Appl. Non Class. Logics Robert Demolombe, Andreas Herzig, Ivan Varzinczak
2002	A	`conf`	What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. AAMAS Robert Demolombe, Erwan Hamon
2001	J	`jnl`	An Application of Deontic Logic to Information System Constraints. Fundam. Informaticae José Carmo, Robert Demolombe, Andrew J. I. Jones
2000	C	`conf`	A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. ISMIS Robert Demolombe, Maria del Pilar Pozos Parra
2000	C	`conf`	Abstract Objects to Represent Large Answers to Queries in a Concise Form. FQAS Robert Demolombe
2000	—	`conf`	Towards a Logical Characterization of Sentences of the Kind "Sentence Intellectics and Computational Logic Robert Demolombe, Luis Fariñas del Cerro
1999	—	`conf`	Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic. KRDB Robert Demolombe
1998	C	`conf`	Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique. FQAS Robert Demolombe
1997	C	`conf`	A Modal Logical Framework for Security Policies. ISMIS Frédéric Cuppens, Robert Demolombe
1997	—	`conf`	Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. ECSQARU-FAPR Robert Demolombe, Andrew J. I. Jones, José Carmo
1996	—	`conf`	A Deontic Logic for Reasoning about Confidentiality. DEON Frédéric Cuppens, Robert Demolombe
1996	C	`conf`	Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra. FQAS Robert Demolombe
1996	J	`jnl`	Integrity Constraints Revisited. Log. J. IGPL Robert Demolombe, Andrew J. I. Jones
1996	—	`conf`	Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints. FMLDO Robert Demolombe, Andrew J. I. Jones, José Carmo
1996	—	`ch.`	Uncertainty in Intelligent Databases. Uncertainty Management in Information Systems Robert Demolombe
1996	C	`conf`	Validity Queries and Completeness Queries. ISMIS Robert Demolombe
1994	C	`conf`	Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. ISMIS Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones
1994	—	`conf`	Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones
1993	Misc	`conf`	A Uniform Framework for Deductive Database Derivation Strategies. EPIA Robert Demolombe
1993	—	`conf`	Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval. BDA Sylvie Cazalens, Robert Demolombe
1993	—	`conf`	Integrity Constraints Revisited (Preliminary version). DAISD Robert Demolombe, Andrew J. I. Jones
1992	A	`conf`	A Strategy for the Computation of Conditional Answers. ECAI Robert Demolombe
1992	—	`conf`	A strategy for the computation of conditional answers. CNKBS Robert Demolombe
1992	—	`conf`	Intelligent Access to Data and Knowledge Bases via User's Topics of Interest. IFIP Congress (3) Sylvie Cazalens, Robert Demolombe
1992	J	`jnl`	Syntactical Characterization of a Subset of Domain-Independent Formulas. J. ACM Robert Demolombe
1991	J	`jnl`	An Efficient Strategy for Non-Horn Deductive Databases. Theor. Comput. Sci. Robert Demolombe
1991	A*	`conf`	An Inference Rule for Hypothesis Generation. IJCAI Robert Demolombe, Luis Fariñas del Cerro
1991	A*	`conf`	Cooperative Access to Data and Knowledge Baes (Abstract). VLDB Robert Demolombe
1991	J	`jnl`	Extending answers to neighbour entities in a cooperative answering context. Decis. Support Syst. Frédéric Cuppens, Robert Demolombe
1990	—	`conf`	Strategies for the Computation of Conditional Answers. DAISD Robert Demolombe
1989	—	`conf`	An Efficient Strategy for Non-Horn Deductive Data Bases. IFIP Congress Robert Demolombe
1989	J	`jnl`	Heuristics for Syntactial Optimization of Relational Queries. Inf. Process. Lett. Robert Demolombe, Arantza Illarramendi
1989	J	`jnl`	How to recognize interesting topics to provide cooperative answering. Inf. Syst. Frédéric Cuppens, Robert Demolombe
1988	—	`conf`	A Prolog-Relational DBMS Interface Using Delayed Evaluation. JCDKB Frédéric Cuppens, Robert Demolombe
1988	J	`jnl`	An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. J. Log. Program. Robert Demolombe, Luis Fariñas del Cerro
1988	—	`conf`	Comment reconnaître les centres d'intérêt pour fournir des réponses coopératives. BDA Frédéric Cuppens, Robert Demolombe
1988	—	`conf`	Cooperative Answering: A Methodology to Provide Intelligent Access to databases. Expert Database Conf. Frédéric Cuppens, Robert Demolombe
1988	—	`conf`	Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. DS-3 Robert Demolombe, Arantza Illarramendi, José Miguel Blanco
1987	—	`conf`	Optimisation sémantique utilisant des techniques d'Intelligence Artificielle. BDA Robert Demolombe, Arantza Illarramendi, José Miguel Blanco
1986	—	`conf`	Querying a Rule Base. Expert Database Conf. Laurence Cholvy, Robert Demolombe
1986	—	`conf`	STREL: An Extended Relational Model for Structured Objects. IFIP Congress Robert Demolombe
1985	—	`conf`	Efficient Representation of Incomplete Information About Structured Objects. Foundations of Knowledge Base Management (Xania) Robert Demolombe, Luis Fariñas del Cerro
1985	—	`conf`	Modèle complet, modèle irredondant pour un schema de Base de Données Relationelle. BDA Robert Demolombe, Kioumars Yazdanian
1985	—	`conf`	STREL: Une extension du modèle relationnel pour représenter et manipuler des objets structurés. BDA Robert Demolombe
1983	—	`conf`	How to Improve Performance of Relational DBMS. IFIP Congress Robert Demolombe
1983	—	`conf`	Interface entre PROLOG et un SGBD. SPLT Robert Demolombe
1982	J	`jnl`	Generalized Division for Relational Algebraic Language. Inf. Process. Lett. Robert Demolombe
1980	A*	`conf`	Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language. VLDB Robert Demolombe
1979	—	`conf`	Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. Advances in Data Base Theory Robert Demolombe
1979	A*	`conf`	Semantic Checking of Questions Expressed in Predicate Calculus Language. VLDB Robert Demolombe
1978	A*	`conf`	Issues in Distributed Data Base Management Systems: A Technical Overview. VLDB Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan
1978	—	`conf`	Issues in Distributed Data Base Management Systems: A Technical Overview. VLDB Surveys Michel E. Adiba, Jean-Claude Chupin, Robert Demolombe, Georges Gardarin, Jean Le Bihan
1978	—	`conf`	The Language of SYNTEX-2, an Implemented Relational-like DBMS. Jerusalem Conference on Information Technology Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas