Kewen Wang

From MaRDI portal
Person:232836

Available identifiers

zbMath Open wang.kewenMaRDI QIDQ232836

List of research outcomes

PublicationDate of PublicationType
Three Methods for Revising Hybrid Knowledge Bases2022-07-01Paper
Lifting Majority to Unanimity in Opinion Diffusion2021-07-06Paper
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic2019-02-12Paper
Syntax-Preserving Belief Change Operators for Logic Programs2018-08-10Paper
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite2017-11-16Paper
Random logic programs: Linear model2017-11-09Paper
Comparisons and computation of well-founded semantics for disjunctive logic programs2017-07-12Paper
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization2017-07-12Paper
A Model for Phase Transition of Random Answer-Set Programs2017-07-12Paper
Revising Possibilistic Knowledge Bases via Compatibility Degrees2016-11-30Paper
The design of an IMC-PID controller based on MEOTF and its application to non-square processes with time delay2016-07-26Paper
DL-Lite Contraction and Revision2016-07-05Paper
Preferential multi-context systems2016-05-27Paper
ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS2016-01-05Paper
Approaches to measuring inconsistency for stratified knowledge bases2015-07-10Paper
FLP answer set semantics without circular justifications for general logic programs2014-06-10Paper
Forgetting under the Well-Founded Semantics2013-10-10Paper
Belief Change in Nonmonotonic Multi-Context Systems2013-10-10Paper
Well-Supported Semantics for Logic Programs with Generalized Rules2012-07-23Paper
Forgetting for Defeasible Logic2012-06-15Paper
Tableau-based Forgetting in ALC Ontologies2011-05-11Paper
Forgetting for knowledge bases in DL-lite2010-11-12Paper
Semantic forgetting in answer set programming2009-07-17Paper
AI 2005: Advances in Artificial Intelligence2006-11-14Paper
Logic Programming and Nonmonotonic Reasoning2006-06-23Paper
A semantic framework for preference handling in answer set programming2004-08-19Paper
https://portal.mardi4nfdi.de/entity/Q47980052003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q45396132002-07-10Paper
Closed world assumption for disjunctive reasoning2002-04-03Paper
An extension to GCWA and query evaluation for disjunctive deductive databases2002-02-28Paper
https://portal.mardi4nfdi.de/entity/Q27670522002-01-28Paper
Argumentation-based abduction in disjunctive logic programming2001-03-25Paper
https://portal.mardi4nfdi.de/entity/Q49553332000-05-25Paper
Argumentation in disjunctive logic programming1998-12-14Paper
https://portal.mardi4nfdi.de/entity/Q42179351998-11-11Paper
The least fixpoint transformation for disjunctive logic programs1998-11-10Paper
Credolous argumentation with the disjunctive stable semantics1998-10-06Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Kewen Wang