Kewen Wang

发表

Computationally Grounded Model of BDI-Agents

Guido Governatori, Abdul Sattar, Kaile Su, 2005, IJCAI.

Forgetting in Managing Rules and Ontologies

Hans Tompits, Kewen Wang, Thomas Eiter, 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

Argumentation-based abduction in disjunctive logic programming

Kewen Wang, Kewen Wang, 2000, J. Log. Program..

Parameters Setting of Power System Stabilizer PSS2B

Kewen Wang, Mengjing Fan, Jianfen Zhang, 2017 .

Performance Prediction for Apache Spark Platform

Kewen Wang, Mohammad Maifi Hasan Khan, Kewen Wang, 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.

Knowledge Graph Rule Mining via Transfer Learning

Kewen Wang, Zhe Wang, Pouya Ghiasnezhad Omran, 2019, PAKDD.

Knowledge Forgetting in Circumscription: A Preliminary Report

Kewen Wang, Zhe Wang, Yisong Wang, 2015, AAAI.

Scalable Rule Learning via Learning Representation

Kewen Wang, Zhe Wang, Pouya Ghiasnezhad Omran, 2018, IJCAI.

Finding Irredundant Contained Rewritings of Tree Pattern Queries Using Views

Kewen Wang, Junhu Wang, Jiuyong Li, 2009, APWeb/WAIM.

Forgetting and Unfolding for Existential Rules

Kewen Wang, Zhe Wang, Xiaowang Zhang, 2018, AAAI.

Rational Elimination of DL-Lite TBox Axioms

Kewen Wang, Zhe Wang, Grigoris Antoniou, 2014, Description Logics.

Nested Epistemic Logic Programs

Yan Zhang, Kewen Wang, 2005, LPNMR.

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies

Fausto Giunchiglia, Jeff Z. Pan, Kewen Wang, 2007, ISWC/ASWC.

A Model for Phase Transition of Random Answer-Set Programs

Fangzhen Lin, Kewen Wang, Yi-Dong Shen, 2016, TOCL.

Knowledge Compilation in Multi-Agent Epistemic Logics pdf

Kewen Wang, Zhe Wang, Liangda Fang, 2018, ArXiv.

Improvement of order reduction approach for special modes in power system small signal stability analysis

Chang Liu, Kewen Wang, Wei Liu, 2012, 2012 International Conference on Systems and Informatics (ICSAI2012).

Comparisons and computation of well-founded semantics for disjunctive logic programs

Kewen Wang, Lizhu Zhou, Lizhu Zhou, 2003, TOCL.

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

Kewen Wang, Zhe Wang, Rodney W. Topor, 2015, ACM Trans. Comput. Log..

Design and implementation of an analytical framework for interference aware job scheduling on Apache Spark platform

Nhan Nguyen, Kewen Wang, Mohammad Maifi Hasan Khan, 2019, Cluster Computing.

Knowledge Science, Engineering and Management

Guilin Qi, Kewen Wang, Zhe Wang, 2015, Lecture Notes in Computer Science.

Reasoning about Success and Failure in Intentional Agents

Abdul Sattar, Kewen Wang, Timothy William Cleaver, 2005, PRIMA.

A Tractable Approach to ABox Abduction over Description Logic Ontologies

Jianfeng Du, Kewen Wang, Yi-Dong Shen, 2014, AAAI.

Instance-Driven Ontology Evolution in DL-Lite

Guilin Qi, Kewen Wang, Zhe Wang, 2015, AAAI.

A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs

Kewen Wang, 2001, LPNMR.

Answering provenance-aware regular path queries on RDF graphs using an automata-based algorithm

Xin Wang, Kewen Wang, Junhu Wang, 2014, WWW '14 Companion.

Abduction, Argumentation and Bi-Disjunctive Logic Programs

Huowang Chen, Kewen Wang, Huowang Chen, 1997, LPKR.

Reactive power optimisation with small-signal stability constraints

Kewen Wang, Xiaoming Wang, Jiayun Xu, 2017 .

Granule Mining and Its Application for Network Traffic Characterization

Yuefeng Li, Bin Liu, Kewen Wang, 2012 .

Argumentation in disjunctive logic programming

Huowang Chen, Quanyuan Wu, Kewen Wang, 1998 .

Syntax-Preserving Belief Change Operators for Logic Programs

Kewen Wang, Bela Stantic, Zhiqiang Zhuang, 2017, ACM Trans. Comput. Log..

A New Approach to Knowledge Base Revision in DL-Lite

Kewen Wang, Zhe Wang, Rodney W. Topor, 2010, AAAI.

FLP Semantics Without Circular Justifications for General Logic Programs

Kewen Wang, Yi-Dong Shen, Yi-Dong Shen, 2012, AAAI.

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies

Jianfeng Du, Kewen Wang, Yi-Dong Shen, 2015, AAAI.

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning

Hans Tompits, Torsten Schaub, Kewen Wang, 2004, Comput. Intell..

A Distance-Based Paraconsistent Semantics for DL-Lite pdf

Guilin Qi, Kewen Wang, Zhe Wang, 2015, KSEM.

Conflict-Based Belief Revision Operators in Possibilistic Logic

Guilin Qi, Kewen Wang, G. Qi, 2012, AAAI.

Random logic programs: Linear model pdf

Kewen Wang, Kedian Mu, Lian Wen, 2015, Theory Pract. Log. Program..

A Distance-Based Spelling Suggestion Method for XML Keyword Search

Jiang Li, Kewen Wang, Junhu Wang, 2012, ER.

Artificial Intelligence Advances in China

Kewen Wang, Ruqian Lu, 2003, AI Commun..

Study on a Kind of War Zone Equipment Material's Urgency Transportation Problem for Multi-requirement Points

Kewen Wang, Peng Dong, Peng Yu, 2017, GSKI.

Revision of DL-Lite Knowledge Bases

Kewen Wang, Zhe Wang, Rodney W. Topor, 2009, Description Logics.

A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite

Guilin Qi, Kewen Wang, Zhe Wang, 2017, Int. J. Approx. Reason..

Merging and Aligning Ontologies in dl-Programs

Abdul Sattar, Kewen Wang, Grigoris Antoniou, 2005, RuleML.

OntoRevision: A Plug-in System for Ontology Revision in Protégé

Kewen Wang, Zhe Wang, Marco Sotomayor, 2011, JIST.

Predator — An experience guided configuration optimizer for Hadoop MapReduce

Kewen Wang, Wenzhong Tang, Xuelian Lin, 2012, 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings.

Tourism Traffic Character Analysis in Mountain Area during Vacation -- The Scenic Area Yesanpo in Hebei Province as an Example

Kewen Wang, Weiling Hong, 2012, 2012 Third International Conference on Digital Manufacturing & Automation.

Partial Meet Revision and Contraction in Logic Programs

Kewen Wang, Zhiqiang Zhuang, Sebastian Binnewies, 2015, AAAI.

Understanding the Influence of Configuration Settings: An Execution Model-Driven Framework for Apache Spark Platform

Nhan Nguyen, Kewen Wang, Mohammad Maifi Hasan Khan, 2017, 2017 IEEE 10th International Conference on Cloud Computing (CLOUD).

Artificial Intelligence Advances in China: Guest-editorial

Kewen Wang, Ruqian Lu, Kewen Wang, 2003 .

FLP answer set semantics without circular justifications for general logic programs

Kewen Wang, Thomas Eiter, Michael Fink, 2014, Artif. Intell..

A comparative study of disjunctive well-founded semantics

Kewen Wang, 2001 .

Concept and Role Forgetting in ALC Ontologies

Jeff Z. Pan, Kewen Wang, Zhe Wang, 2009, ISWC 2009.

A Time-decay Based P2P Trust Model

Yang Xiang, Kewen Wang, Wenyu Qu, 2009, 2009 International Conference on Networks Security, Wireless Communications and Trusted Computing.

Forgetting for Defeasible Logic

Kewen Wang, Thomas Eiter, Grigoris Antoniou, 2012, LPAR.

The design of an IMC-PID controller based on MEOTF and its application to non-square processes with time delay

Kewen Wang, Qibing Jin, Beiyan Jiang, 2014, Math. Struct. Comput. Sci..

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding

Hai Wan, Kewen Wang, Zhe Wang, 2016, IJCAI.

A Top-Down Procedure for Disjunctive Well-Founded Semantics

Kewen Wang, 2001, IJCAR.

Knowledge Compilation in the Multi-Agent Epistemic Logic Kn

Kewen Wang, Zhe Wang, Liangda Fang, 2018, KR.

A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs

Kewen Wang, James P. Delgrande, J. Delgrande, 2015, AAAI.

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability

Kewen Wang, Zhe Wang, Liangda Fang, 2019, AAAI.

Study of ETC Lane Traffic Capacity Based on Passenger Car Equivalent

Chen Li, Kewen Wang, Zhiyong Zhang, 2012 .

Preferredwell-foundedsemanticsfor logic programming by alternating fixpoints

Torsten Schaub, Kewen Wang, Torsten Schaub, 2002 .

An Embedding-based System to Constructing OWL ontologies

Kewen Wang, Shizhan Chen, Zhiyong Feng, 2018, International Semantic Web Conference.

Preferential Multi-Context Systems

Kewen Wang, Kedian Mu, Lian Wen, 2015, Int. J. Approx. Reason..

Semantic Technology

Kewen Wang, Zhe Wang, Anni-Yasmin Turhan, 2017, Lecture Notes in Computer Science.

Arion: A Model-Driven Middleware for Minimizing Data Loss in Stream Data Storage

Swapna S. Gokhale, Nhan Nguyen, Kewen Wang, 2017, 2017 IEEE 10th International Conference on Cloud Computing (CLOUD).

A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System

Kewen Wang, Xiaowang Zhang, Zuoquan Lin, 2011, APWeb.

An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases

Kewen Wang, Lizhu Zhou, 2004, Journal of Intelligent Information Systems.

Forgetting and Conflict Resolving in Disjunctive Logic Programming

Kewen Wang, Thomas Eiter, 2006, AAAI.

Transfer Learning in Probabilistic Logic Models

Kewen Wang, Zhe Wang, Pouya Ghiasnezhad Omran, 2016, Australasian Conference on Artificial Intelligence.

Time Plan and Control Optimization in Warship Equipment Acquisition Process

Kewen Wang, Peng Dong, Peng Yu, 2015 .

Possibilistic Reasoning in Multi-Context Systems: Preliminary Report

Kewen Wang, Lian Wen, Yifan Jin, 2012, PRICAI.

Rule Revision in Normal DL Logic Programs

Kewen Wang, Bela Stantic, Yisong Wang, 2013, RR.

Alternating Fixpoint Theory for Logic Programs with Priority

Fangzhen Lin, Kewen Wang, Lizhu Zhou, 2000, Computational Logic.

Probabilistic Multi-Context Systems

Kewen Wang, Yi-Dong Shen, John Thornton, 2011, JIST.

Revising Possibilistic Knowledge Bases via Compatibility Degrees

Kewen Wang, Zhe Wang, Yifan Jin, 2016, JELIA.

Extending Logic Programs with Description Logic Expressions for the Semantic Web

Kewen Wang, Yi-Dong Shen, Yi-Dong Shen, 2011, SEMWEB.

Concept learning for EL ++ by refinement and reinforcement

Guilin Qi, Kewen Wang, Michael Blumenstein, 2012, PRICAI 2012.

From Causal Theories to Logic Programs (Sometimes)

Fangzhen Lin, Kewen Wang, Fangzhen Lin, 1999, LPNMR.

Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies

Jianfeng Du, Kewen Wang, Zhe Wang, 2015, CIKM.

Towards a Paradoxical Description Logic for the Semantic Web

Kewen Wang, Xiaowang Zhang, Zuoquan Lin, 2010, FoIKS.

On the Satisfiability Problem of Patterns in SPARQL 1.1

Kewen Wang, Zhe Wang, Jan Van den Bussche, 2018, AAAI.

Concept Learning for $\ensuremath{\ensuremath{\cal E}\ensuremath{\cal L}^{++}}$ by Refinement and Reinforcement

Guilin Qi, Kewen Wang, Michael Blumenstein, 2012, PRICAI.

Probabilistic Reasoning in DL-Lite

Guilin Qi, Kewen Wang, Junhu Wang, 2012, PRICAI.

Building Heterogeneous Multi-context Systems by Semantic Bindings

Fausto Giunchiglia, Jeff Z. Pan, Kewen Wang, 2009 .

Forgetting for Answer Set Programs Revisited

Kewen Wang, Mingyi Zhang, Yisong Wang, 2013, IJCAI.

Instance-driven TBox Revision in DL-Lite

Yuefeng Li, Guilin Qi, Kewen Wang, 2014, Description Logics.

Extending AGM Contraction to Arbitrary Logics

Kewen Wang, Zhe Wang, James P. Delgrande, 2015, IJCAI.

Learning Temporal Rules from Knowledge Graph Streams

Kewen Wang, Zhe Wang, Pouya Ghiasnezhad Omran, 2019, AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering.

Observation-based Model for BDI-Agents

Guido Governatori, Abdul Sattar, Kaile Su, 2005, AAAI.

Towards Automatic Tuning of Apache Spark Configuration

Nhan Nguyen, Kewen Wang, Mohammad Maifi Hasan Khan, 2018, 2018 IEEE 11th International Conference on Cloud Computing (CLOUD).

Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies

Kewen Wang, Zhe Wang, Xiaowang Zhang, 2010, ECAI.

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence pdf

Kewen Wang, James P. Delgrande, 2014, ArXiv.

Possibilistic Inferences in Answer Set Programming

Kewen Wang, Zhe Wang, Yifan Jin, 2015, Australasian Conference on Artificial Intelligence.

Closed world assumption for disjunctive reasoning

Kewen Wang, Lizhu Zhou, 2008, Journal of Computer Science and Technology.

Tableau-based Forgetting in ALC Ontologies

Kewen Wang, Zhe Wang, Xiaowang Zhang, 2010, ECAI 2010.

Forgetting Concepts in DL-Lite

Jeff Z. Pan, Kewen Wang, Zhe Wang, 2008, ESWC.

Modeling Interference for Apache Spark Jobs

Swapna S. Gokhale, Nhan Nguyen, Kewen Wang, 2016, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD).

Forgetting for Knowledge Bases in DL-Lite_bool.

Kewen Wang, Rodney W. Topor, Jack Wang, 2009, IJCAI 2009.

Incosistency-Tolerant Forgetting in DL-lite

Kewen Wang, Zhe Wang, Peng Xiao, 2017, SEMWEB.

Approaches to measuring inconsistency for stratified knowledge bases

Kewen Wang, Kedian Mu, Lian Wen, 2014, Int. J. Approx. Reason..

Robust PSS design based on probabilistic approach

Kewen Wang, Kewen Wang, 2000 .

Guest-editorial: artificial intelligence advances in China

Kewen Wang, Ruqian Lu, 2003 .

A Model Driven Approach Towards Improving the Performance of Apache Spark Applications

Swapna S. Gokhale, Nhan Nguyen, Kewen Wang, 2019, 2019 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS).

Forgetting for knowledge bases in DL-Lite

Jeff Z. Pan, Kewen Wang, Zhe Wang, 2010, Annals of Mathematics and Artificial Intelligence.

ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS

Jeff Z. Pan, Kewen Wang, Zhe Wang, 2014, Comput. Intell..

LPForget: A System of Forgetting in Answer Set Programming

Abdul Sattar, Kewen Wang, Thomas Eiter, 2006, Australian Conference on Artificial Intelligence.

DL-Lite Contraction and Revision

Guilin Qi, Kewen Wang, Zhe Wang, 2016, J. Artif. Intell. Res..

A semantic framework for preference handling in answer set programming

Torsten Schaub, Kewen Wang, Torsten Schaub, 2003, Theory and Practice of Logic Programming.

Semantic forgetting in answer set programming

Kewen Wang, Thomas Eiter, Thomas Eiter, 2008, Artif. Intell..

Revising General Knowledge Bases in Description Logics

Kewen Wang, Zhe Wang, Rodney W. Topor, 2010, KR.

Combining Description Logic and Defeasible Logic for the Semantic Web

Kewen Wang, Grigoris Antoniou, David Billington, 2004, RuleML.

SPATIAL DEDUCTIVE DATABASE

Kewen Wang, Lizhu Zhou, Yong Zhang, 2000 .

Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice

Guilin Qi, Kewen Wang, Zhe Wang, 2015, AAAI.

Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies

Jeff Z. Pan, Kewen Wang, Zhe Wang, 2009, International Semantic Web Conference.

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

Kewen Wang, Zhe Wang, James P. Delgrande, 2019, J. Artif. Intell. Res..

Uniform Interpolation for ALC\mathcal{ALC} Revisited

Jeff Z. Pan, Kewen Wang, Zhe Wang, 2009, Australasian Conference on Artificial Intelligence.

CSMiner: An Automated Tool for Analyzing Changes in Configuration Settings across Multiple Versions of Large Scale Cloud Software

Nhan Nguyen, Kewen Wang, Mohammad Maifi Hasan Khan, 2016, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD).

Well-Supported Semantics for Logic Programs with Generalized Rules

Kewen Wang, Jia-Huai You, Yi-Dong Shen, 2012, Correct Reasoning.

A Theory of Forgetting in Logic Programming

Abdul Sattar, Kaile Su, Kewen Wang, 2005, AAAI.

Query Abduction for ELH Ontologies

Kewen Wang, Zhe Wang, Mahsa Chitsaz, 2015, AAAI.

Scalable Multi-GPU Decoupled Parallel Rendering Approach in Shared Memory Architecture

Kewen Wang, Sikun Li, Pan Wang, 2011, 2011 International Conference on Virtual Reality and Visualization.

A Comparative Study of Logic Programs with Preference: Preliminary Report

Torsten Schaub, Kewen Wang, 2001, Answer Set Programming.

AI Communications: The European Journal on Artificial Intelligence, 16 (1), 2003 (special issue on Artificial Intelligence Advances in China)

Kewen Wang, Ruqian Lu, 2003 .

Fast learning of fiber orientation distribution function for MR tractography using convolutional neural network.

Zhiwei Li, Kewen Wang, Feng Yu, 2019, Medical physics.

Belief Change in Nonmonotonic Multi-Context Systems

Kewen Wang, Yisong Wang, Zhiqiang Zhuang, 2013, LPNMR.

Reasoning with the Outcomes of Plan Execution in Intentional Agents

Abdul Sattar, Kewen Wang, Timothy William Cleaver, 2005, Australian Conference on Artificial Intelligence.

Forgetting under the Well-Founded Semantics

José Júlio Alferes, Matthias Knorr, Kewen Wang, 2013, LPNMR.

Three Methods for Revising Hybrid Knowledge Bases

Kewen Wang, Zhiqiang Zhuang, Sebastian Binnewies, 2017, RuleML+RR.

Contraction and Revision over DL-Lite TBoxes

Guilin Qi, Kewen Wang, Zhe Wang, 2014, AAAI.

The least fixpoint transformation for disjunctive logic programs

Huowang Chen, Quanyuan Wu, Kewen Wang, 2008, Journal of Computer Science and Technology.

Efficient Datalog Rewriting for Query Answering in TGD Ontologies

Kewen Wang, Zhiqiang Zhuang, Zhe Wang, 2023, IEEE Transactions on Knowledge and Data Engineering.

An Embedding-Based Approach to Repairing Question Semantics

Kewen Wang, Haixin Zhou, 2021, DASFAA.

A DBpedia-based Benchmark for Ontology-mediated Query Answering

Kewen Wang, Zhe Wang, Suxue Ma, 2021, SEMWEB.

Enhanced Named Entity Recognition with Semantic Dependency

Kewen Wang, Xiaowang Zhang, Peng Wang, 2021, PRICAI.

An Attention-Based Approach to Rule Learning in Large Knowledge Graphs

Kewen Wang, Zhiyong Feng, Minghui Li, 2021, DASFAA.

Proceedings 37th International Conference on Logic Programming (Technical Communications)

Kewen Wang, Zhe Wang, Peng Xiao, 2021, Electronic Proceedings in Theoretical Computer Science.