| Publication | Date of Publication | Type |
|---|
A framework for modelling molecular interaction maps
(available as arXiv preprint) | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7600012 (Why is no real title available?) | 2022-10-12 | Paper |
| About relationships between two individuals | 2022-09-28 | Paper |
Abductive reasoning on molecular interaction maps
Interactions Between Computational Intelligence and Mathematics | 2020-02-07 | Paper |
Temporal logic modeling of biological systems
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Trust and agency in the context of communication
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Reasoning about trust and aboutness in the context of communication
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Temporal abductive reasoning about biochemical reactions
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Translation of first order formulas into ground formulas via a completion theory
Journal of Applied Logic | 2016-04-07 | Paper |
How to produce information about a given entity using automated deduction methods
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Obligations with deadlines: a formalization in dynamic deontic logic
Journal Of Logic And Computation | 2014-04-01 | Paper |
Causality in the context of multiple agents
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Transitivity and propagation of trust in information sources: an analysis in modal logic
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Information about a given entity: from semantics towards automated deduction
Journal Of Logic And Computation | 2011-01-19 | Paper |
Relationships between actions performed by institutional agents, human agents or software agents
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Regression in modal logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Belief change: from situation calculus to modal logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
Lecture Notes in Computer Science | 2009-11-12 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Intention Recognition in the Situation Calculus and Probability Theory Frameworks
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Speech Acts with Institutional Effects in Agent Societies
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
Trust and Norms in the Context of Computer Security: A Logical Formalization
Lecture Notes in Computer Science | 2008-08-28 | Paper |
The Chisholm Paradox and the Situation Calculus
Lecture Notes in Computer Science | 2008-03-17 | Paper |
Trust Management
Lecture Notes in Computer Science | 2007-09-25 | Paper |
| scientific article; zbMATH DE number 2101983 (Why is no real title available?) | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 2051903 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 1748574 (Why is no real title available?) | 2003-09-11 | Paper |
| scientific article; zbMATH DE number 1735830 (Why is no real title available?) | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1696741 (Why is no real title available?) | 2002-04-25 | Paper |
| scientific article; zbMATH DE number 1421195 (Why is no real title available?) | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1090100 (Why is no real title available?) | 1998-04-15 | Paper |
| scientific article; zbMATH DE number 1107532 (Why is no real title available?) | 1998-01-21 | Paper |
| scientific article; zbMATH DE number 928019 (Why is no real title available?) | 1996-09-18 | Paper |
Syntactical characterization of a subset of domain-independent formulas
Journal of the ACM | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 67456 (Why is no real title available?) | 1992-09-27 | Paper |
An efficient strategy for non-Horn deductive databases
Theoretical Computer Science | 1991-01-01 | Paper |
Heuristics for syntactical optimization of relational queries
Information Processing Letters | 1989-01-01 | Paper |
An algebraic evaluation method for deduction in incomplete data bases
The Journal of Logic Programming | 1988-01-01 | Paper |
Generalized division for relational algebraic language
Information Processing Letters | 1982-01-01 | Paper |
