Publication | Date of Publication | Type |
---|
Three Methods for Revising Hybrid Knowledge Bases | 2022-07-01 | Paper |
Lifting Majority to Unanimity in Opinion Diffusion | 2021-07-06 | Paper |
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic | 2019-02-12 | Paper |
Syntax-Preserving Belief Change Operators for Logic Programs | 2018-08-10 | Paper |
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite | 2017-11-16 | Paper |
Random logic programs: Linear model | 2017-11-09 | Paper |
Comparisons and computation of well-founded semantics for disjunctive logic programs | 2017-07-12 | Paper |
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization | 2017-07-12 | Paper |
A Model for Phase Transition of Random Answer-Set Programs | 2017-07-12 | Paper |
Revising Possibilistic Knowledge Bases via Compatibility Degrees | 2016-11-30 | Paper |
The design of an IMC-PID controller based on MEOTF and its application to non-square processes with time delay | 2016-07-26 | Paper |
DL-Lite Contraction and Revision | 2016-07-05 | Paper |
Preferential multi-context systems | 2016-05-27 | Paper |
ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS | 2016-01-05 | Paper |
Approaches to measuring inconsistency for stratified knowledge bases | 2015-07-10 | Paper |
FLP answer set semantics without circular justifications for general logic programs | 2014-06-10 | Paper |
Forgetting under the Well-Founded Semantics | 2013-10-10 | Paper |
Belief Change in Nonmonotonic Multi-Context Systems | 2013-10-10 | Paper |
Well-Supported Semantics for Logic Programs with Generalized Rules | 2012-07-23 | Paper |
Forgetting for Defeasible Logic | 2012-06-15 | Paper |
Tableau-based Forgetting in ALC Ontologies | 2011-05-11 | Paper |
Forgetting for knowledge bases in DL-lite | 2010-11-12 | Paper |
Semantic forgetting in answer set programming | 2009-07-17 | Paper |
AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
A semantic framework for preference handling in answer set programming | 2004-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4798005 | 2003-03-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4539613 | 2002-07-10 | Paper |
Closed world assumption for disjunctive reasoning | 2002-04-03 | Paper |
An extension to GCWA and query evaluation for disjunctive deductive databases | 2002-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2767052 | 2002-01-28 | Paper |
Argumentation-based abduction in disjunctive logic programming | 2001-03-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4955333 | 2000-05-25 | Paper |
Argumentation in disjunctive logic programming | 1998-12-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4217935 | 1998-11-11 | Paper |
The least fixpoint transformation for disjunctive logic programs | 1998-11-10 | Paper |
Credolous argumentation with the disjunctive stable semantics | 1998-10-06 | Paper |