Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Wang, Kewen - School of Information and Communication Technology, Griffith University
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies
Forgetting Concepts in DL-Lite , Kewen Wang1
Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs
Forgetting and Conflict Resolving in Disjunctive Logic Programming Thomas Eiter
Merging and Aligning Ontologies in dl-Programs Kewen Wang1
Semantic Forgetting in Answer Set Programming Thomas Eiter a
The Observation-based Model for BDI-Agents Kaile Su1,2
Solving Logic Program Conflict through Strong and Weak Forgettings School of Computing & IT
Forgetting in Managing Rules and Ontologies Thomas Eiter, Giovambattista Ianni,
Revising General Knowledge Bases in Description Logics Zhe Wang and Kewen Wang and Rodney Topor
ArgumentationBased Abduction in Disjunctive Logic Programming
Nested Epistemic Logic Programs Kewen Wang1
Tableau-based Forgetting in ALC Ontologies Zhe Wang1 and Kewen Wang1 and Rodney Topor1 and Xiaowang Zhang2
Revision of DL-Lite Knowledge Bases Zhe Wang, Kewen Wang, and Rodney Topor
A Topdown Procedure for Disjunctive Wellfounded Kewen Wang ?
Concept and Role Forgetting in ALC Ontologies Paper Number: 423
Forgetting and Conflict Resolving in Disjunctive Logic Programming Thomas Eiter
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
Uniform Interpolation for ALC Revisited Zhe Wang and Kewen Wang
From Causal Theories to Logic Programs (Sometimes)
A Comparative Study of Wellfounded Semantics for Disjunctive Logic Programs
Concept and Role Forgetting in ALC Ontologies Kewen Wang1
Alternating Fixpoint Theory for Logic Programs with Priority
A Theory of Forgetting in Logic Programming Kewen Wang1,2