| Publication | Date of Publication | Type |
|---|
Three methods for revising hybrid knowledge bases
Rules and Reasoning | 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
Journal of Artificial Intelligence Research | 2019-02-12 | Paper |
Syntax-Preserving Belief Change Operators for Logic Programs
ACM Transactions on Computational Logic | 2018-08-10 | Paper |
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
International Journal of Approximate Reasoning | 2017-11-16 | Paper |
Random logic programs: linear model
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Comparisons and computation of well-founded semantics for disjunctive logic programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
DL-Lite ontology revision based on an alternative semantic characterization
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A model for phase transition of random answer-set programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Revising possibilistic knowledge bases via compatibility degrees
Logics in Artificial Intelligence | 2016-11-30 | Paper |
The design of an IMC-PID controller based on MEOTF and its application to non-square processes with time delay
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
DL-Lite contraction and revision
Journal of Artificial Intelligence Research | 2016-07-05 | Paper |
Preferential multi-context systems
International Journal of Approximate Reasoning | 2016-05-27 | Paper |
Eliminating concepts and roles from ontologies in expressive descriptive logics
Computational Intelligence | 2016-01-05 | Paper |
Approaches to measuring inconsistency for stratified knowledge bases
International Journal of Approximate Reasoning | 2015-07-10 | Paper |
FLP answer set semantics without circular justifications for general logic programs
Artificial Intelligence | 2014-06-10 | Paper |
Belief change in nonmonotonic multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Forgetting under the well-founded semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Well-supported semantics for logic programs with generalized rules
Correct Reasoning | 2012-07-23 | Paper |
Forgetting for defeasible logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| Tableau-based forgetting in \(\mathcal {ALC}\) ontologies | 2011-05-11 | Paper |
Forgetting for knowledge bases in DL-lite
Annals of Mathematics and Artificial Intelligence | 2010-11-12 | Paper |
Semantic forgetting in answer set programming
Artificial Intelligence | 2009-07-17 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 1884387 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1765676 (Why is no real title available?) | 2002-07-10 | Paper |
Closed world assumption for disjunctive reasoning
Journal of Computer Science and Technology | 2002-04-03 | Paper |
An extension to GCWA and query evaluation for disjunctive deductive databases
Journal of Intelligent Information Systems | 2002-02-28 | Paper |
| scientific article; zbMATH DE number 1696794 (Why is no real title available?) | 2002-01-28 | Paper |
Argumentation-based abduction in disjunctive logic programming
The Journal of Logic Programming | 2001-03-25 | Paper |
| scientific article; zbMATH DE number 1453060 (Why is no real title available?) | 2000-05-25 | Paper |
Argumentation in disjunctive logic programming
Science in China. Series E | 1998-12-14 | Paper |
| scientific article; zbMATH DE number 1222412 (Why is no real title available?) | 1998-11-11 | Paper |
The least fixpoint transformation for disjunctive logic programs
Journal of Computer Science and Technology | 1998-11-10 | Paper |
Credolous argumentation with the disjunctive stable semantics
Science in China. Series E | 1998-10-06 | Paper |
