Robert Demolombe

Available identifiers

zbMath Open demolombe.robertMaRDI QIDQ266878

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5039150	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5039208	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5869528	2022-09-28	Paper
Abductive Reasoning on Molecular Interaction Maps	2020-02-07	Paper
Temporal Logic Modeling of Biological Systems	2020-02-04	Paper
Trust and agency in the context of communication	2018-09-12	Paper
Reasoning about trust and aboutness in the context of communication	2018-09-12	Paper
Temporal abductive reasoning about biochemical reactions	2018-09-12	Paper
Translation of first order formulas into ground formulas via a completion theory	2016-04-07	Paper
How to Produce Information About a Given Entity Using Automated Deduction Methods	2014-07-23	Paper
Obligations with deadlines: a formalization in Dynamic Deontic Logic	2014-04-01	Paper
Causality in the Context of Multiple Agents	2012-11-02	Paper
Transitivity and propagation of trust in information sources: an analysis in modal logic	2011-09-16	Paper
Information about a given entity: from semantics towards automated deduction	2011-01-19	Paper
Relationships between actions performed by institutional agents, human agents or software agents	2010-09-29	Paper
Regression in modal logic	2009-11-30	Paper
Belief change: from situation calculus to modal logic	2009-11-30	Paper
From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic	2009-11-12	Paper
Deontic Logic in Computer Science	2009-04-30	Paper
Intention Recognition in the Situation Calculus and Probability Theory Frameworks	2009-04-28	Paper
Speech Acts with Institutional Effects in Agent Societies	2008-10-09	Paper
Trust and Norms in the Context of Computer Security: A Logical Formalization	2008-08-28	Paper
The Chisholm Paradox and the Situation Calculus	2008-03-17	Paper
Trust Management	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4817209	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4453927	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4530459	2003-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4329184	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2766985	2002-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4946224	2001-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4366601	1998-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4373460	1998-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4893672	1996-09-18	Paper
Syntactical characterization of a subset of domain-independent formulas	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4012181	1992-09-27	Paper
An efficient strategy for non-Horn deductive databases	1991-01-01	Paper
Heuristics for syntactical optimization of relational queries	1989-01-01	Paper
An algebraic evaluation method for deduction in incomplete data bases	1988-01-01	Paper
Generalized division for relational algebraic language	1982-01-01	Paper

Research outcomes over time

This page was built for person: Robert Demolombe