| Publication | Date of Publication | Type |
|---|
| Proving properties of binary classification neural networks via Łukasiewicz logic | 2024-02-20 | Paper |
| Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability | 2023-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5100773 | 2022-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858678 | 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 | 2020-11-02 | Paper |
| Quantitative Logic Reasoning | 2020-08-06 | Paper |
| Extending \(\mathcal{EL}^{++}\) with linear constraints on the probability of axioms | 2020-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5226738 | 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 | 2016-01-28 | Paper |
| Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation | 2015-12-21 | Paper |
| Using Abduction to Compute Efficient Proofs | 2015-03-18 | Paper |
| Completeness for cut-based abduction | 2015-02-27 | Paper |
| Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic | 2014-07-23 | Paper |
| Towards classifying propositional probabilistic logics | 2014-07-07 | Paper |
| Semantics and proof-theory of depth bounded Boolean logics | 2013-11-29 | Paper |
| Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability | 2013-08-05 | Paper |
| The Universe of Approximations | 2013-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918401 | 2013-04-24 | Paper |
| Towards automated first-order abduction: the cut-based approach | 2012-09-06 | Paper |
| Application execution management on the integrade opportunistic grid middleware | 2012-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007263 | 2011-06-21 | Paper |
| Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics | 2010-09-29 | Paper |
| Analytic Methods for the Logic of Proofs | 2010-02-19 | Paper |
| Cut-Based Abduction | 2009-01-21 | Paper |
| Approximations of modal logics: \(\mathbf K\) and beyond | 2008-03-28 | Paper |
| Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs | 2008-01-18 | Paper |
| Anytime Approximations of Classical Logic from Above | 2007-05-14 | Paper |
| Cut and pay | 2006-11-17 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| The universe of propositional approximations | 2006-04-28 | Paper |
| Advances in Artificial Intelligence – SBIA 2004 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465437 | 2005-08-22 | Paper |
| Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control | 2004-10-15 | Paper |
| The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471863 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437965 | 2003-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430398 | 2003-10-09 | Paper |
| The Unrestricted Combination of Temporal Logic Systems | 2002-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762867 | 2002-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440570 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753192 | 2001-10-29 | Paper |
| A logical reconstruction of temporal databases | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952322 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946222 | 2000-03-22 | Paper |
| Labelled natural deduction for substructural logics | 2000-01-11 | Paper |
| Towards structurally-free theorem proving | 1999-02-22 | Paper |
| Parsing natural language using LDS: a prototype | 1998-03-12 | Paper |
| Combining temporal logic systems | 1997-03-11 | Paper |
| Adding a temporal dimension to a logic system | 1994-11-03 | Paper |
| Handling database updates in two-dimensional temporal logic | 1994-02-01 | Paper |
