| Publication | Date of Publication | Type |
|---|
Structural stability of invasion graphs for Lotka–Volterra systems
Journal of Mathematical Biology | 2024-04-30 | Paper |
Model transform and local parameters. Application to instantaneous attractors
Chaos, Solitons and Fractals | 2023-01-12 | Paper |
| Tuning the program transformers from CC to PDL | 2022-09-28 | Paper |
| scientific article; zbMATH DE number 7510721 (Why is no real title available?) | 2022-04-20 | Paper |
Methods and applications of algorithmic complexity. Beyond statistical lossless compression
Emergence, Complexity and Computation | 2022-04-05 | Paper |
| scientific article; zbMATH DE number 7288894 (Why is no real title available?) | 2020-12-18 | Paper |
Which is the least complex explanation? Abduction and complexity
(available as arXiv preprint) | 2020-08-25 | Paper |
Forgetting complex propositions
Logic Journal of the IGPL | 2019-01-08 | Paper |
Correlation of automorphism group size and topological properties with program-size complexity evaluations of graphs and complex networks
Physica A | 2018-09-20 | Paper |
A computable measure of algorithmic probability by finite approximations with an application to integer sequences
Complexity | 2018-01-31 | Paper |
Fractal dimension versus process complexity
Advances in Mathematical Physics | 2017-01-17 | Paper |
The dynamic turn in formal epistemology: the case of explanatory reasoning
Theoria. Segunda Epoca | 2016-10-13 | Paper |
Generation and selection of abductive explanations for non-omniscient agents
Journal of Logic, Language and Information | 2015-02-27 | Paper |
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation
Logic Journal of the IGPL | 2015-02-24 | Paper |
A geometric protocol for cryptography with cards
Designs, Codes and Cryptography | 2015-01-23 | Paper |
Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Correspondence and independence of numerical evaluations of algorithmic information measures
Computability | 2014-04-30 | Paper |
An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
Journal of Applied Logic | 2014-04-17 | Paper |
A colouring protocol for the generalized Russian cards problem
Theoretical Computer Science | 2014-01-10 | Paper |
A secure additive protocol for card players
The Australasian Journal of Combinatorics | 2014-01-03 | Paper |
A modal framework for modelling abductive reasoning
Logic Journal of the IGPL | 2012-09-06 | Paper |
Three steps
Lecture Notes in Computer Science | 2011-09-16 | Paper |
| scientific article; zbMATH DE number 5872217 (Why is no real title available?) | 2011-03-30 | Paper |
Abduction via \(C\)-tableaux and \(\delta\)-resolution
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
tarfa: Tableaux and Resolution for Finite Abduction
Logics in Artificial Intelligence | 2008-10-30 | Paper |
| Metamodeling abduction | 2008-09-12 | Paper |
Model-Baded Abduction via Dual Resolution
Logic Journal of the IGPL | 2006-11-30 | Paper |
