| Publication | Date of Publication | Type |
|---|
On Signings and the Well-Founded Semantics
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| scientific article; zbMATH DE number 7599965 (Why is no real title available?) | 2022-10-12 | Paper |
Rethinking defeasible reasoning: a scalable approach
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
| Relating concrete argumentation formalisms and abstract argumentation | 2019-04-24 | Paper |
Relating concrete defeasible reasoning formalisms and abstract argumentation
Fundamenta Informaticae | 2018-01-05 | Paper |
Contractibility for open global constraints
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Annotated defeasible logic
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| Comparing defeasible logics | 2017-07-18 | Paper |
An inclusion theorem for defeasible logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
Relative expressiveness of defeasible logics. II
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
| Contractibility and contractible approximations of soft global constraints | 2012-05-11 | Paper |
Human and unhuman commonsense reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
A synthesis of constraint satisfaction and constraint solving
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Local consistency for extended CSPs
Theoretical Computer Science | 2009-11-04 | Paper |
Representation results for defeasible logic
ACM Transactions on Computational Logic | 2009-10-21 | Paper |
Open Constraints in a Boundable World
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-06-03 | Paper |
On Computing Constraint Abduction Answers
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
Oracle semantics for Prolog
Information and Computation | 2006-10-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Rewriting union queries using views
Constraints | 2006-02-23 | Paper |
Argumentation Semantics for Defeasible Logic
Journal Of Logic And Computation | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 2090525 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090541 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086266 (Why is no real title available?) | 2004-08-11 | Paper |
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1755626 (Why is no real title available?) | 2002-06-16 | Paper |
| scientific article; zbMATH DE number 1696797 (Why is no real title available?) | 2002-04-28 | Paper |
| scientific article; zbMATH DE number 1368929 (Why is no real title available?) | 2002-02-21 | Paper |
Defeasible logic versus Logic Programming without Negation as Failure
The Journal of Logic Programming | 2001-05-06 | Paper |
| scientific article; zbMATH DE number 1487805 (Why is no real title available?) | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1420808 (Why is no real title available?) | 2000-12-05 | Paper |
| scientific article; zbMATH DE number 1453073 (Why is no real title available?) | 2000-10-25 | Paper |
| scientific article; zbMATH DE number 1301973 (Why is no real title available?) | 2000-01-12 | Paper |
The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
The Journal of Logic Programming | 1999-05-31 | Paper |
Constrained dependencies
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1158761 (Why is no real title available?) | 1998-06-03 | Paper |
Toward practical query evaluation for constraint databases
Constraints | 1998-02-11 | Paper |
On inductive inference of cyclic structures
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
On Fourier's algorithm for linear arithmetic constraints
Journal of Automated Reasoning | 1994-02-17 | Paper |
| scientific article; zbMATH DE number 176121 (Why is no real title available?) | 1993-05-18 | Paper |
A transformation system for deductive database modules with perfect model semantics
Theoretical Computer Science | 1993-05-16 | Paper |
Projecting CLP(\({\mathcal R}\)) constraints
New Generation Computing | 1993-01-01 | Paper |
| scientific article; zbMATH DE number 4205970 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4053011 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3956409 (Why is no real title available?) | 1986-01-01 | Paper |
Comments on “general failure of logic programs”
The Journal of Logic Programming | 1986-01-01 | Paper |
Optimal fixedpoints of logic programs
Theoretical Computer Science | 1985-01-01 | Paper |
A theory of complete logic programs with equality
The Journal of Logic Programming | 1984-01-01 | Paper |
Closures and fairness in the semantics of programming logic
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3848592 (Why is no real title available?) | 1983-01-01 | Paper |
The Transient Behaviour of a Cyclic Queue
The Journal of the Operational Research Society | 1973-01-01 | Paper |
A generalised incomplete beta function and its application to multi-line stock control
Journal of Applied Probability | 1973-01-01 | Paper |
