Kewen Wang

Available identifiers

List of research outcomes

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
Belief change in nonmonotonic multi-context systems	2013-10-10	Paper
Forgetting under the well-founded semantics	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 \(\mathcal {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

Research outcomes over time

This page was built for person: Kewen Wang