| Publication | Date of Publication | Type |
|---|
Revision operators with compact representations
Artificial Intelligence | 2024-04-30 | Paper |
scientific article; zbMATH DE number 7659880 (Why is no real title available?)
| 2023-03-06 | Paper |
Rethinking defeasible reasoning: a scalable approach
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
A comparative survey of default logic variants
Practical Reasoning | 2019-04-29 | Paper |
A trajectory calculus for qualitative spatial reasoning using answer set programming
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Extended RDF: computability and complexity issues
Annals of Mathematics and Artificial Intelligence | 2016-01-28 | Paper |
Eliminating concepts and roles from ontologies in expressive descriptive logics
Computational Intelligence | 2016-01-05 | Paper |
Large-scale parallel stratified defeasible reasoning
| 2015-12-11 | Paper |
MWeb: a principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
An inclusion theorem for defeasible logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Minimal change: relevance and recovery revisited
Artificial Intelligence | 2015-08-27 | Paper |
Efficient computation of the well-founded semantics over big data
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Why-provenance information for RDF, rules, and negation
Annals of Mathematics and Artificial Intelligence | 2014-06-26 | Paper |
Justifications for logic programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence | 2013-08-26 | Paper |
Evolution of ontologies using ASP
| 2012-08-29 | Paper |
Forgetting for defeasible logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Partial preferences and ambiguity resolution in contextual defeasible logic
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
The ramification problem in temporal databases: concurrent execution
International Journal of Intelligent Systems | 2010-06-01 | Paper |
Contextual Argumentation in Ambient Intelligence
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Representation results for defeasible logic
ACM Transactions on Computational Logic | 2009-10-21 | Paper |
Extended RDF as a semantic foundation of rule markup languages
| 2009-04-28 | Paper |
Methods and Applications of Artificial Intelligence
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
Defeasible reasoning: A discussion of some intuitions
International Journal of Intelligent Systems | 2007-02-09 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Argumentation Semantics for Defeasible Logic
Journal Of Logic And Computation | 2005-03-21 | Paper |
Defeasible logic with dynamic priorities
International Journal of Intelligent Systems | 2005-01-12 | Paper |
scientific article; zbMATH DE number 2088364 (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 2084375 (Why is no real title available?)
| 2004-08-09 | Paper |
On the dynamics of default reasoning
International Journal of Intelligent Systems | 2003-05-07 | 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 |
A note on the refinement of ontologies
| 2000-09-14 | Paper |
scientific article; zbMATH DE number 1503641 (Why is no real title available?)
| 2000-09-10 | Paper |
scientific article; zbMATH DE number 1341456 (Why is no real title available?)
| 2000-04-25 | Paper |
scientific article; zbMATH DE number 1301973 (Why is no real title available?)
| 2000-01-12 | Paper |
Operational concepts of nonmonotonic logics. II: Autoepistemic logic
Artificial Intelligence Review | 1999-06-07 | Paper |
Splitting finite default theories: A comparison of two approaches
Journal of Logic, Language and Information | 1999-05-11 | Paper |
Operational characterization of extensions in some logics for default reasoning
Information Sciences | 1998-02-04 | Paper |
Studying properties of classes of default logics
Journal of Experimental & Theoretical Artificial Intelligence | 1998-01-01 | Paper |
A note on the cumulativity of justified default logic
Journal of Experimental & Theoretical Artificial Intelligence | 1998-01-01 | Paper |
A correct logic programming computation of default logic extensions
Journal of Automated Reasoning | 1997-09-03 | Paper |
scientific article; zbMATH DE number 980413 (Why is no real title available?)
| 1997-02-19 | Paper |
New proofs in default logic theory
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
Operational concepts of nonmonotonic logics. I: Default logic
Artificial Intelligence Review | 1995-08-27 | Paper |
Applying SLD-Resolution to a Class of Non-Horn Logic Programs
Logic Journal of the IGPL | 1995-01-02 | Paper |
The verification of modules
Formal Aspects of Computing | 1994-06-29 | Paper |
scientific article; zbMATH DE number 516983 (Why is no real title available?)
| 1994-03-17 | Paper |
scientific article; zbMATH DE number 53085 (Why is no real title available?)
| 1992-09-18 | Paper |
