| Publication | Date of Publication | Type |
|---|
An adaptive and quasi-periodic HDG method for Maxwell's equations in heterogeneous media
Journal of Scientific Computing | 2024-01-05 | Paper |
Partial order programming (revisited)
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
| An extension of the stable semantics via Lukasiewicz logic | 2022-04-29 | Paper |
| Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version | 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
Fractals | 2022-02-01 | Paper |
A family of genuine and non-algebraisable C-systems
Journal of Applied Non-Classical Logics | 2021-07-06 | Paper |
A discontinuous Galerkin recovery scheme with stabilization for diffusion problems
Calcolo | 2021-05-11 | Paper |
An HDG method for Maxwell's equations in heterogeneous media
Computer Methods in Applied Mechanics and Engineering | 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
Discrete and Continuous Dynamical Systems. Series B | 2020-04-29 | Paper |
Equivalence among RC-type paraconsistent logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Error analysis of a least squares pseudo-derivative moving least squares method
Proyecciones (Antofagasta) | 2018-10-23 | Paper |
An a priori error analysis of an HDG method for an eddy current problem
Mathematical Methods in the Applied Sciences | 2018-05-30 | Paper |
| Defining stage argumentation semantics in terms of an abducible semantics | 2018-04-23 | Paper |
Abducible Semantics and Argumentation
Fundamenta Informaticae | 2018-01-05 | Paper |
Range-based argumentation semantics as two-valued models
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Ideal extensions as logical programming models
Journal Of Logic And Computation | 2017-01-31 | Paper |
| On paraconsistent extensions of \(C_1\) | 2016-12-16 | Paper |
| A single proof of classical behaviour in da Costa's \(C_n\) systems | 2016-12-16 | Paper |
On the generation of bipartite grids in 2 and 3 dimensional regions
Applicable Analysis and Discrete Mathematics | 2016-06-27 | Paper |
Weakening and extending \(\mathbb{Z}\)
Logica Universalis | 2015-09-25 | Paper |
Revisiting \(\mathbb Z\)
Notre Dame Journal of Formal Logic | 2014-04-04 | Paper |
Semantics for possibilistic disjunctive programs
Theory and Practice of Logic Programming | 2013-08-22 | Paper |
A logical approach to A-Prolog
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
A Galerkin meshfree method with diffuse derivatives and stabilization
Computational Mechanics | 2013-01-29 | Paper |
Dealing with explicit preferences and uncertainty in answer set programming
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
Error analysis of a modified discontinuous Galerkin recovery scheme for diffusion problems
Applied Mathematics and Computation | 2012-07-16 | Paper |
A schema for generating relevant logic programming semantics and its applications in argumentation theory
Fundamenta Informaticae | 2011-11-22 | Paper |
An application of clasp in the study of logics
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Equivalence for the \(G_3^\prime\)-stable models semantics
Journal of Applied Logic | 2010-06-11 | Paper |
Expressing Extension-Based Semantics Based on Stratified Minimal Models
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
MICAI 2004: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2009-05-12 | Paper |
Preferred extensions as stable models
Theory and Practice of Logic Programming | 2008-07-23 | Paper |
Strong Negation and Equivalence in the Safe Belief Semantics
Journal Of Logic And Computation | 2007-12-12 | Paper |
Semantics for Possibilistic Disjunctive Programs
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Updates in answer set programming: An approach based on basic structural properties
Theory and Practice of Logic Programming | 2007-07-12 | Paper |
| Aggregation in functional query languages | 2006-02-21 | Paper |
Safe beliefs for propositional theories
Annals of Pure and Applied Logic | 2005-06-01 | Paper |
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
| scientific article; zbMATH DE number 2090116 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090558 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1738693 (Why is no real title available?) | 2002-05-07 | Paper |
| scientific article; zbMATH DE number 1629815 (Why is no real title available?) | 2001-11-06 | Paper |
A general theory of confluent rewriting systems for logic programming and its applications
Annals of Pure and Applied Logic | 2001-07-02 | Paper |
| scientific article; zbMATH DE number 1301745 (Why is no real title available?) | 2000-10-17 | Paper |
Theory of partial-order programming
Science of Computer Programming | 2000-06-27 | Paper |
