| Publication | Date of Publication | Type |
|---|
Proving properties of binary classification neural networks via Łukasiewicz logic
Logic Journal of the IGPL | 2024-02-20 | Paper |
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
| scientific article; zbMATH DE number 7580956 (Why is no real title available?) | 2022-09-01 | Paper |
| Classical and quantum satisfiability | 2021-04-14 | Paper |
Classical and quantum satisfiability
(available as arXiv preprint) | 2021-04-14 | Paper |
| An efficient algorithm for representing piecewise linear functions into logic | 2021-02-22 | Paper |
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
Journal of Automated Reasoning | 2020-11-02 | Paper |
Quantitative logic reasoning
Trends in Logic | 2020-08-06 | Paper |
| Extending \(\mathcal{EL}^{++}\) with linear constraints on the probability of axioms | 2020-06-04 | Paper |
| scientific article; zbMATH DE number 7088155 (Why is no real title available?) | 2019-08-01 | Paper |
| Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic | 2018-10-18 | Paper |
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
Annals of Mathematics and Artificial Intelligence | 2016-01-28 | Paper |
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
Artificial Intelligence | 2015-12-21 | Paper |
Using Abduction to Compute Efficient Proofs
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Completeness for cut-based abduction
Logic Journal of the IGPL | 2015-02-27 | Paper |
Towards an efficient prover for the \(C_1\) paraconsistent logic
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Towards classifying propositional probabilistic logics
Journal of Applied Logic | 2014-07-07 | Paper |
Semantics and proof-theory of depth bounded Boolean logics
Theoretical Computer Science | 2013-11-29 | Paper |
Solutions for hard and soft constraints using optimized probabilistic satisfiability
Theory and Applications of Satisfiability Testing – SAT 2013 | 2013-08-05 | Paper |
The universe of approximations
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
| On the logical relativity of quantum computability | 2013-04-24 | Paper |
Towards automated first-order abduction: the cut-based approach
Logic Journal of the IGPL | 2012-09-06 | Paper |
Application execution management on the integrade opportunistic grid middleware
Journal of Parallel and Distributed Computing | 2012-03-07 | Paper |
| scientific article; zbMATH DE number 5910658 (Why is no real title available?) | 2011-06-21 | Paper |
Entailment multipliers: an algebraic characterization of validity for classical and modal logics
Logic, Language, Information and Computation | 2010-09-29 | Paper |
Analytic methods for the logic of proofs
Journal Of Logic And Computation | 2010-02-19 | Paper |
Cut-Based Abduction
Logic Journal of the IGPL | 2009-01-21 | Paper |
Approximations of modal logics: \(\mathbf K\) and beyond
Annals of Pure and Applied Logic | 2008-03-28 | Paper |
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
Logic Journal of the IGPL | 2008-01-18 | Paper |
Anytime Approximations of Classical Logic from Above
Journal Of Logic And Computation | 2007-05-14 | Paper |
Cut and pay
Journal of Logic, Language and Information | 2006-11-17 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
The universe of propositional approximations
Theoretical Computer Science | 2006-04-28 | Paper |
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2196587 (Why is no real title available?) | 2005-08-22 | Paper |
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
Journal Of Logic And Computation | 2004-10-15 | Paper |
The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
Theoretical Computer Science | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2079774 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2014708 (Why is no real title available?) | 2003-12-08 | Paper |
| scientific article; zbMATH DE number 1989651 (Why is no real title available?) | 2003-10-09 | Paper |
The Unrestricted Combination of Temporal Logic Systems
Logic Journal of the IGPL | 2002-08-08 | Paper |
| scientific article; zbMATH DE number 1689576 (Why is no real title available?) | 2002-01-13 | Paper |
| scientific article; zbMATH DE number 2019874 (Why is no real title available?) | 2002-01-01 | Paper |
Temporal logic. Vol. 2. Mathematical foundations and computational aspects
Oxford Logic Guides | 2001-10-29 | Paper |
A logical reconstruction of temporal databases
Journal Of Logic And Computation | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1444741 (Why is no real title available?) | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1421193 (Why is no real title available?) | 2000-03-22 | Paper |
Labelled natural deduction for substructural logics
Logic Journal of the IGPL | 2000-01-11 | Paper |
Towards structurally-free theorem proving
Logic Journal of the IGPL | 1999-02-22 | Paper |
Parsing natural language using LDS: a prototype
Logic Journal of the IGPL | 1998-03-12 | Paper |
Combining temporal logic systems
Notre Dame Journal of Formal Logic | 1997-03-11 | Paper |
Adding a temporal dimension to a logic system
Journal of Logic, Language and Information | 1994-11-03 | Paper |
Handling database updates in two-dimensional temporal logic
Journal of Applied Non-Classical Logics | 1994-02-01 | Paper |
