| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7695589 (Why is no real title available?) | 2023-06-13 | Paper |
| Conditional Reasoning and Relevance | 2023-03-29 | Paper |
| Do humans reason with \(\mathcal{E} \)-matchers? | 2020-06-04 | Paper |
The weak completion semantics and equality
EPiC Series in Computing | 2019-07-04 | Paper |
A core method for the weak completion semantics with skeptical abduction
Journal of Artificial Intelligence Research | 2018-11-01 | Paper |
Modeling the suppression task under weak completion and well-founded semantics
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| Contextual reasoning: usually birds can abductively fly | 2017-09-05 | Paper |
A new computational logic approach to reason with conditionals
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Contextual abductive reasoning with side-effects
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Representative encodings to translate finite CSPs into SAT
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Improving resource-unaware SAT solvers
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
| Logic and logic programming. Vol. 1: Foundations | 2010-01-21 | Paper |
Logic Programs under Three-Valued Łukasiewicz Semantics
Logic Programming | 2009-07-24 | Paper |
KI 2004: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2008-03-14 | Paper |
Logic programs and connectionist networks
Journal of Applied Logic | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 1948989 (Why is no real title available?) | 2003-07-14 | Paper |
| scientific article; zbMATH DE number 1696781 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1748581 (Why is no real title available?) | 2002-06-03 | Paper |
| scientific article; zbMATH DE number 1696833 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1552518 (Why is no real title available?) | 2001-07-03 | Paper |
| scientific article; zbMATH DE number 1348461 (Why is no real title available?) | 1999-10-07 | Paper |
Linear deductive planning
Journal Of Logic And Computation | 1996-06-09 | Paper |
Foundations of equational logic programming
Lecture Notes in Computer Science | 1993-06-05 | Paper |
Combining Logic Programming and Equation Solving
Journal Of Logic And Computation | 1991-01-01 | Paper |
A new deductive approach to planning
New Generation Computing | 1990-01-01 | Paper |
Conditional equational theories and complete sets of transformations
Theoretical Computer Science | 1990-01-01 | Paper |
Horn equational theories and paramodulation
Journal of Automated Reasoning | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4047179 (Why is no real title available?) | 1987-01-01 | Paper |
The undecidability of the unification and matching problem for canonical theories
Acta Informatica | 1987-01-01 | Paper |
Modelling the combination of functional and logic programming languages
Journal of Symbolic Computation | 1986-01-01 | Paper |
