| Publication | Date of Publication | Type |
|---|
| An adaptive and quasi-periodic HDG method for Maxwell's equations in heterogeneous media | 2024-01-05 | Paper |
| Partial order programming (Revisited) | 2022-08-16 | Paper |
| Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version | 2022-04-29 | Paper |
| An extension of the stable semantics via Lukasiewicz logic | 2022-04-29 | Paper |
| Three new genuine five-valued logics intended to model non-trivial concepts | 2022-04-29 | Paper |
| ALGORITHM TO CALCULATE THE FRACTAL DIMENSION AND NUMERICAL INTEGRATION OF FLUCTUATING CONTINUOUS FUNCTIONS | 2022-02-01 | Paper |
| A family of genuine and non-algebraisable C-systems | 2021-07-06 | Paper |
| A discontinuous Galerkin recovery scheme with stabilization for diffusion problems | 2021-05-11 | Paper |
| An HDG method for Maxwell's equations in heterogeneous media | 2021-04-26 | Paper |
| Methodology for the characterization of the electrical power demand curve, by means of fractal orbit diagrams on the complex plane of Mandelbrot set | 2020-04-29 | Paper |
| Equivalence among RC-type paraconsistent logics | 2019-01-08 | Paper |
| Error analysis of a least squares pseudo-derivative moving least squares method | 2018-10-23 | Paper |
| An a priori error analysis of an HDG method for an eddy current problem | 2018-05-30 | Paper |
| Defining stage argumentation semantics in terms of an abducible semantics | 2018-04-23 | Paper |
| Abducible Semantics and Argumentation | 2018-01-05 | Paper |
| Range-based argumentation semantics as two-valued models | 2017-11-09 | Paper |
| Ideal extensions as logical programming models | 2017-01-31 | Paper |
| A single proof of classical behaviour in da Costa's \(C_n\) systems | 2016-12-16 | Paper |
| On paraconsistent extensions of \(C_1\) | 2016-12-16 | Paper |
| On the generation of bipartite grids in 2 and 3 dimensional regions | 2016-06-27 | Paper |
| Weakening and extending \(\mathbb{Z}\) | 2015-09-25 | Paper |
| Revisiting \(\mathbb Z\) | 2014-04-04 | Paper |
| Semantics for Possibilistic Disjunctive Programs | 2013-08-22 | Paper |
| A logical approach to A-Prolog | 2013-04-19 | Paper |
| A Galerkin meshfree method with diffuse derivatives and stabilization | 2013-01-29 | Paper |
| Dealing with explicit preferences and uncertainty in answer set programming | 2013-01-04 | Paper |
| Error analysis of a modified discontinuous Galerkin recovery scheme for diffusion problems | 2012-07-16 | Paper |
| A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory | 2011-11-22 | Paper |
| An Application of Clasp in the Study of Logics | 2011-05-26 | Paper |
| Equivalence for the \(G_3^\prime\)-stable models semantics | 2010-06-11 | Paper |
| Expressing Extension-Based Semantics Based on Stratified Minimal Models | 2009-07-02 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| MICAI 2004: Advances in Artificial Intelligence | 2009-05-12 | Paper |
| Preferred extensions as stable models | 2008-07-23 | Paper |
| Strong Negation and Equivalence in the Safe Belief Semantics | 2007-12-12 | Paper |
| Semantics for Possibilistic Disjunctive Programs | 2007-11-13 | Paper |
| Updates in answer set programming: An approach based on basic structural properties | 2007-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3372479 | 2006-02-21 | Paper |
| Safe beliefs for propositional theories | 2005-06-01 | Paper |
| Applications of intuitionistic logic in Answer Set Programming | 2005-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808808 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812994 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530041 | 2002-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728840 | 2001-11-06 | Paper |
| A general theory of confluent rewriting systems for logic programming and its applications | 2001-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246959 | 2000-10-17 | Paper |
| Theory of partial-order programming | 2000-06-27 | Paper |
