| Publication | Date of Publication | Type |
|---|
| Factual and plausible reasoning | 2019-09-04 | Paper |
An inclusion theorem for defeasible logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Levels of modality for BDI logic
Journal of Applied Logic | 2012-10-16 | Paper |
Representation results for defeasible logic
ACM Transactions on Computational Logic | 2009-10-21 | Paper |
AI 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
Propositional Clausal Defeasible Logic
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Argumentation Semantics for Defeasible Logic
Journal Of Logic And Computation | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 2084375 (Why is no real title available?) | 2004-08-09 | Paper |
Propositional plausible logic: Introduction and implementation
Studia Logica | 2002-01-17 | 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 |
Proving quantified literals in defeasible logic
Information Sciences | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1301973 (Why is no real title available?) | 2000-01-12 | Paper |
The co-invariant generator: An aid in deriving loop bodies
Formal Aspects of Computing | 1996-04-21 | Paper |
Defeasible Logic is Stable
Journal Of Logic And Computation | 1995-03-15 | Paper |
| scientific article; zbMATH DE number 4200248 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045790 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3920519 (Why is no real title available?) | 1983-01-01 | Paper |
Degree multisets of hypergraphs
Bulletin of the Australian Mathematical Society | 1982-01-01 | Paper |
A simple proof that all 1-designs exist
Discrete Mathematics | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3771648 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3741437 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3719191 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3724499 (Why is no real title available?) | 1980-01-01 | Paper |
