| Publication | Date of Publication | Type |
|---|
Abstract argumentation and answer set programming: two faces of Nelson's logic
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
| Probabilistic autoepistemic equilibrium logic | 2024-10-24 | Paper |
| Tableau systems for some Ivlev-like (quantified) modal logics | 2024-10-24 | Paper |
| A propositional logical encoding of enriched interactions in abstract argumentation graphs | 2024-09-06 | Paper |
Multi-adjoint lattice logic and truth-stressing hedges
Fuzzy Sets and Systems | 2023-10-30 | Paper |
Logical connectives for two-state semantics
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
Metric dynamic equilibrium logic
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
A logical characterization of multi-adjoint algebras
Fuzzy Sets and Systems | 2023-10-26 | Paper |
A framework for modelling molecular interaction maps
(available as arXiv preprint) | 2022-10-12 | Paper |
| Setting the basis for here and there modal logics | 2022-09-28 | Paper |
| Tableau systems for some Ivlev-like (quantified) modal logics | 2022-02-04 | Paper |
Splitting epistemic logic programs
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Autoepistemic answer set programming
Artificial Intelligence | 2021-08-16 | Paper |
Valid attacks in argumentation frameworks with recursive attacks
Annals of Mathematics and Artificial Intelligence | 2021-06-04 | Paper |
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
(available as arXiv preprint) | 2021-01-06 | Paper |
| scientific article; zbMATH DE number 7238897 (Why is no real title available?) | 2020-08-25 | Paper |
Autoepistemic equilibrium logic and epistemic specifications
Artificial Intelligence | 2020-03-27 | Paper |
| Structure-based semantics of argumentation frameworks with higher-order attacks and supports | 2020-02-12 | Paper |
Abductive reasoning on molecular interaction maps
Interactions Between Computational Intelligence and Mathematics | 2020-02-07 | Paper |
Temporal logic modeling of biological systems
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
| Splitting epistemic logic programs | 2019-10-10 | Paper |
Geometrical structures and modal logic
Practical Reasoning | 2019-04-29 | Paper |
Talkin'bout consistency, or: When logically possible becomes possible
Practical Reasoning | 2019-04-29 | Paper |
| Modal Logic With Non-deterministic Semantics: Part I - Propositional Case | 2018-08-29 | Paper |
| Argumentation frameworks with recursive attacks and evidence-based supports | 2018-06-26 | Paper |
Metabolic pathways as temporal logic programs
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Translation of first order formulas into ground formulas via a completion theory
Journal of Applied Logic | 2016-04-07 | Paper |
How to produce information about a given entity using automated deduction methods
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Capturing equilibrium models in modal logic
Journal of Applied Logic | 2014-04-24 | Paper |
Combining equilibrium logic and dynamic logic
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Bi-state logic
Correct Reasoning | 2012-07-23 | Paper |
The Modal Logic of Equilibrium Models
Frontiers of Combining Systems | 2011-10-07 | Paper |
| Modal tableaux: completeness vs. termination | 2011-06-21 | Paper |
Contingency-based equilibrium logic
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Information about a given entity: from semantics towards automated deduction
Journal Of Logic And Computation | 2011-01-19 | Paper |
| scientific article; zbMATH DE number 1748574 (Why is no real title available?) | 2003-09-11 | Paper |
Tractability Results in the Block Algebra
Journal Of Logic And Computation | 2002-11-27 | Paper |
A general framework for pattern-driven modal tableaux
Logic Journal of the IGPL | 2002-11-13 | Paper |
Minimal structures for modal tableaux: Some examples
Logic and Logical Philosophy | 2002-11-12 | Paper |
| scientific article; zbMATH DE number 1765691 (Why is no real title available?) | 2002-07-10 | Paper |
A relational model of movement
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
| scientific article; zbMATH DE number 1487799 (Why is no real title available?) | 2001-07-04 | Paper |
| scientific article; zbMATH DE number 1543326 (Why is no real title available?) | 2001-02-27 | Paper |
A mixed decision method for duration calculus
Journal Of Logic And Computation | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1421194 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1435945 (Why is no real title available?) | 2000-05-23 | Paper |
| scientific article; zbMATH DE number 1444718 (Why is no real title available?) | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1420892 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1302388 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1267561 (Why is no real title available?) | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1256279 (Why is no real title available?) | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1256280 (Why is no real title available?) | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1241667 (Why is no real title available?) | 1999-07-05 | Paper |
Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
Journal of Applied Non-Classical Logics | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1241666 (Why is no real title available?) | 1999-04-26 | Paper |
| scientific article; zbMATH DE number 1140581 (Why is no real title available?) | 1998-10-19 | Paper |
| scientific article; zbMATH DE number 1140673 (Why is no real title available?) | 1998-04-13 | Paper |
Modal logics for incidence geometries
Journal of Logic and Computation | 1997-08-19 | Paper |
| scientific article; zbMATH DE number 753776 (Why is no real title available?) | 1995-10-31 | Paper |
| scientific article; zbMATH DE number 790271 (Why is no real title available?) | 1995-08-27 | Paper |
From ordering-based nonmonotonic reasoning to conditional logics
Artificial Intelligence | 1994-07-18 | Paper |
Interference logic = conditional logic + frame axiom
International Journal of Intelligent Systems | 1994-07-07 | Paper |
| scientific article; zbMATH DE number 589741 (Why is no real title available?) | 1994-06-15 | Paper |
| scientific article; zbMATH DE number 500943 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 47403 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 67456 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 67513 (Why is no real title available?) | 1992-09-27 | Paper |
Modal resolution in clausal form
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4202248 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4066840 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4070871 (Why is no real title available?) | 1988-01-01 | Paper |
An algebraic evaluation method for deduction in incomplete data bases
The Journal of Logic Programming | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4055577 (Why is no real title available?) | 1987-01-01 | Paper |
A note on the complexity of the satisfiability of modal Horn clauses
The Journal of Logic Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3952744 (Why is no real title available?) | 1986-01-01 | Paper |
MOLOG: A system that extends PROLOG with modal logic
New Generation Computing | 1986-01-01 | Paper |
Corrigendum to: ``DAL -- a logic for data analysis''
Theoretical Computer Science | 1986-01-01 | Paper |
A Modal Herbrand's Property
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3932427 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4025402 (Why is no real title available?) | 1985-01-01 | Paper |
DAL -- a logic for data analysis
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3871318 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3921953 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3876567 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3902618 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3865242 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3797730 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3803407 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3839304 (Why is no real title available?) | 1982-01-01 | Paper |
A simple deduction method for modal logic
Information Processing Letters | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3667963 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3566233 (Why is no real title available?) | 1977-01-01 | Paper |
