| Publication | Date of Publication | Type |
|---|
| Determining preferences over extensions: a cautious approach to preference-based argumentation frameworks | 2024-08-15 | Paper |
| Rights and practical reasoning in deontic logic | 2024-08-05 | Paper |
Probabilistic temporal logic with countably additive semantics
Annals of Pure and Applied Logic | 2024-06-24 | Paper |
Reasoning about knowledge and conditional probability
International Journal of Approximate Reasoning | 2023-12-12 | Paper |
Reasoning About Degrees of Confirmation
Lecture Notes in Computer Science | 2022-08-30 | Paper |
| Incomplete Information and Justifications | 2022-08-11 | Paper |
Probabilistic Temporal Logics
Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
Applications of Logics About Simple Probabilities
Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
Logics for reasoning about degrees of confirmation
Journal Of Logic And Computation | 2022-01-03 | Paper |
Evaluation of argument strength in attack graphs: foundations and semantics
Artificial Intelligence | 2021-12-13 | Paper |
| An epistemic probabilistic logic with conditional probabilities | 2021-12-01 | Paper |
A First-order Logic for Reasoning about Knowledge and Probability
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
Multi-agent logics for reasoning about higher-order upper and lower probabilities
Journal of Logic, Language and Information | 2020-05-27 | Paper |
Intention as commitment toward time
Artificial Intelligence | 2020-04-21 | Paper |
| Probabilistic consensus of the blockchain protocol | 2020-02-20 | Paper |
| Similarity measures between arguments revisited | 2020-02-20 | Paper |
| Probabilistic logic for reasoning about actions in time | 2020-02-20 | Paper |
| AGM-style revision of beliefs and intentions | 2018-07-12 | Paper |
| A decidable multi-agent logic with iterations of upper and lower probability operators | 2018-06-26 | Paper |
Probabilistic logics with independence and confirmation
Studia Logica | 2017-12-14 | Paper |
Logics with lower and upper probability operators
International Journal of Approximate Reasoning | 2017-10-20 | Paper |
| A first-order logic for reasoning about higher-order upper and lower probabilities | 2017-09-05 | Paper |
On evaluations of propositional formulas in countable structures
Filomat | 2017-07-19 | Paper |
Probabilistic Common Knowledge Among Infinite Number of Agents
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Probabilistic abstract dialectical frameworks
Logics in Artificial Intelligence | 2015-01-14 | Paper |
A propositional linear time logic with time flow isomorphic to \(\omega^2\)
Journal of Applied Logic | 2014-04-24 | Paper |
Borel sets, countable models
Publications de l'Institut Math?matique (Belgrade) | 2014-02-07 | Paper |
A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
Publications de l'Institut Mathématique. Nouvelle Série | 2013-12-19 | Paper |
A First-Order Dynamic Probability Logic
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Probabilistic logics for objects located in space and time
Journal Of Logic And Computation | 2013-06-27 | Paper |
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
A logic with conditional probability operators
Publications de l'Institut Mathématique. Nouvelle Série | 2012-09-21 | Paper |
Probabilistic approach to nonmonotonic consequence relations
Lecture Notes in Computer Science | 2011-06-29 | Paper |
| scientific article; zbMATH DE number 5790393 (Why is no real title available?) | 2010-09-22 | Paper |
Measures of inconsistency and defaults
International Journal of Approximate Reasoning | 2010-09-02 | Paper |
