![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Kewen Wang 0001
Person information
- affiliation: Griffith University, QLD, Australia
Other persons with the same name
- Kewen Wang 0002
— Zhengzhou University, Zhengzhou, China
- Kewen Wang 0003 — University of Connecticut, Storrs, USA
- Kewen Wang 0004 — University of Texas at Austin, TX, USA
- Kewen Wang 0005 — South China University of Technology, Guangzhou, China
- Kewen Wang 0006 — Tianjin University, Tianjin, China
- Kewen Wang 0007 — Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
- Kewen Wang 0008 — Naval University of Engineering, Wuhan, Hubei, China
- Kewen Wang 0009 — Beijing University of Chemical Technology, Beijing, China
- Kewen Wang 0010 — Beihang University, Beijing, China
- Kewen Wang 0011 — China Urban Sustainable Transport Research Center (CUSTReC), Beijing, China
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c102]Zhiqiang Zhuang, Kewen Wang, Zhe Wang, Junhu Wang, Yinong Yang:
Maximising the Influence of Temporary Participants in Opinion Formation. AAMAS 2024: 2104-2110 - 2023
- [j26]Hong Wu, Zhe Wang, Kewen Wang, Pouya Ghiasnezhad Omran
, Jiangmeng Li:
Rule Learning over Knowledge Graphs: A Review. TGDK 1(1): 7:1-7:23 (2023) - [j25]Zhe Wang
, Peng Xiao, Kewen Wang
, Zhiqiang Zhuang, Hai Wan:
Efficient Datalog Rewriting for Query Answering in TGD Ontologies. IEEE Trans. Knowl. Data Eng. 35(3): 2515-2528 (2023) - [j24]Shaojuan Wu, Chunliu Dou, Dazhuang Wang, Jitong Li, Xiaowang Zhang, Zhiyong Feng, Kewen Wang, Sofonias Yitagesu:
Phrase-level attention network for few-shot inverse relation classification in knowledge graph. World Wide Web (WWW) 26(5): 3001-3026 (2023) - [c101]Zhiqiang Zhuang, Kewen Wang, Zhe Wang:
Price of Anarchy for First Price Auction with Risk-Averse Bidders. AAMAS 2023: 1363-1369 - [c100]Yuzhou Han
, Wenqing Deng
, Zhe Wang
, Kewen Wang
:
An Improved Method for Constructing Domain-Agnostic Knowledge Graphs. DASFAA (Workshops) 2023: 222-237 - [c99]Sheng Zhou, Zhe Wang
, Kewen Wang
, Zhiqiang Zhuang
:
Zero-Shot Entity Typing in Knowledge Graphs. DASFAA (Workshops) 2023: 238-250 - [c98]Shuyuan You
, Zhiqiang Zhuang
, Haiying Wu
, Kewen Wang
, Zhe Wang
:
Improving Deep Learning Powered Auction Design. ICONIP (8) 2023: 556-569 - [c97]Peng Wang, Zhe Wang, Xiaowang Zhang, Kewen Wang, Zhiyong Feng:
Enhanced Named Entity Recognition through Joint Dependency Parsing. IJCNN 2023: 1-8 - [c96]Xianglong Bao, Zhe Wang, Kewen Wang, Xiaowang Zhang, Hutong Wu:
Enhancing Rule Learning on Knowledge Graphs Through Joint Ontology and Instance Guidance. PRCV (3) 2023: 138-150 - [c95]Suxue Ma, Zhe Wang, Kewen Wang, Zhiqiang Zhuang:
Type-enhanced Inductive Knowledge Graph Completion. ISWC (Posters/Demos/Industry) 2023 - [p1]Pouya Ghiasnezhad Omran
, Hong Wu, Zhe Wang, Kewen Wang:
Embedding-Based First-Order Rule Learning in Large Knowledge Graphs. Compendium of Neurosymbolic Artificial Intelligence 2023: 287-307 - 2022
- [j23]Joy Galaige
, Geraldine Torrisi-Steele, Sebastian Binnewies, Kewen Wang
:
A Framework for Designing Student-Facing Learning Analytics to Support Self-Regulated Learning. IEEE Trans. Learn. Technol. 15(3): 376-391 (2022) - [c94]Pouya Ghiasnezhad Omran
, Zhe Wang, Kewen Wang:
Learning Rules With Attributes and Relations in Knowledge Graphs. AAAI Spring Symposium: MAKE 2022 - [c93]Zhe Wang, Yi Sun
, Hong Wu, Kewen Wang:
An Explainable Approach to Semantic Link Mining in Multi-sourced Dynamic Data. ADMA (2) 2022: 126-141 - [c92]Chunliu Dou, Shaojuan Wu, Xiaowang Zhang
, Zhiyong Feng, Kewen Wang:
Function-words Adaptively Enhanced Attention Networks for Few-Shot Inverse Relation Classification. IJCAI 2022: 2937-2943 - [c91]Hong Wu, Zhe Wang, Kewen Wang, Yi-Dong Shen:
Learning Typed Rules over Knowledge Graphs. KR 2022 - [c90]Wenqing Deng, Zhe Wang, Kewen Wang, Xiaowang Zhang
, Zhiyong Feng:
Choice-Driven Contextual Reasoning for Commonsense Question Answering. PRICAI (2) 2022: 335-346 - [i10]Zhiqiang Zhuang, Kewen Wang, Zhe Wang, Junhu Wang, Yinong Yang:
Maximising the Influence of Temporary Participants in Opinion Formation. CoRR abs/2205.12503 (2022) - 2021
- [j22]Pouya Ghiasnezhad Omran
, Kewen Wang
, Zhe Wang
:
An Embedding-Based Approach to Rule Learning in Knowledge Graphs. IEEE Trans. Knowl. Data Eng. 33(4): 1348-1359 (2021) - [c89]Haixin Zhou, Kewen Wang:
An Embedding-Based Approach to Repairing Question Semantics. DASFAA (Workshops) 2021: 107-122 - [c88]Minghui Li, Kewen Wang, Zhe Wang, Hong Wu, Zhiyong Feng:
An Attention-Based Approach to Rule Learning in Large Knowledge Graphs. DASFAA (Workshops) 2021: 154-165 - [c87]Peng Wang, Zhe Wang, Xiaowang Zhang
, Kewen Wang, Zhi-Yong Feng:
Enhanced Named Entity Recognition with Semantic Dependency. PRICAI (2) 2021: 287-298 - [c86]Suxue Ma, Zhe Wang, Kewen Wang:
A DBpedia-based Benchmark for Ontology-mediated Query Answering. ISWC (Posters/Demos/Industry) 2021 - 2020
- [c85]Xiaowang Zhang, Jan Van den Bussche
, Kewen Wang
, Heng Zhang, Xuanxing Yang, Zhiyong Feng:
On the Expressivity of ASK Queries in SPARQL. AAAI 2020: 3057-3064 - [c84]Zhiqiang Zhuang, Kewen Wang
, Junhu Wang, Heng Zhang, Zhe Wang, Zhiguo Gong:
Lifting Majority to Unanimity in Opinion Diffusion. ECAI 2020: 259-266 - [c83]Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang
, Hai Wan:
Query Answering for Existential Rules via Efficient Datalog Rewriting. IJCAI 2020: 1933-1939
2010 – 2019
- 2019
- [j21]Zhiqiang Zhuang
, Zhe Wang, Kewen Wang
, James P. Delgrande:
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic. J. Artif. Intell. Res. 64: 147-179 (2019) - [c82]Liangda Fang, Kewen Wang
, Zhe Wang, Ximing Wen:
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. AAAI 2019: 2817-2826 - [c81]Pouya Ghiasnezhad Omran
, Kewen Wang
, Zhe Wang:
Learning Temporal Rules from Knowledge Graph Streams. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering 2019 - [c80]Zhe Wang, Peng Xiao, Kewen Wang
:
Practical Datalog Rewriting for Existential Rules. Description Logics 2019 - [c79]Pouya Ghiasnezhad Omran
, Zhe Wang, Kewen Wang:
Knowledge Graph Rule Mining via Transfer Learning. PAKDD (3) 2019: 489-500 - [c78]Leyuan Zhao, Xiaowang Zhang, Kewen Wang
, Zhiyong Feng, Zhe Wang:
Learning Ontology Axioms over Knowledge Graphs via Representation Learning. ISWC (Satellites) 2019: 57-60 - [c77]Qing Wei, Xiaowang Zhang, Kewen Wang
, Zhiyong Feng:
Mining Discriminative Visual Features Based on Semantic Relations. ISWC (Satellites) 2019: 61-64 - [c76]Yi Sun, Zhe Wang, Kewen Wang
:
Ontology-Based Event Detection for Wastewater Treatment. ISWC (Satellites) 2019: 97-100 - [c75]Hong Wu, Zhe Wang, Xiaowang Zhang, Pouya Ghiasnezhad Omran
, Zhiyong Feng, Kewen Wang
:
A System for Reasoning-based Link Prediction in Large Knowledge Graphs. ISWC (Satellites) 2019: 121-124 - 2018
- [j20]Sebastian Binnewies
, Zhiqiang Zhuang
, Kewen Wang
, Bela Stantic:
Syntax-Preserving Belief Change Operators for Logic Programs. ACM Trans. Comput. Log. 19(2): 12:1-12:42 (2018) - [c74]Zhe Wang, Kewen Wang, Xiaowang Zhang:
Forgetting and Unfolding for Existential Rules. AAAI 2018: 2013-2020 - [c73]Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Zhe Wang:
On the Satisfiability Problem of Patterns in SPARQL 1.1. AAAI 2018: 2054-2062 - [c72]Joy Galaige, Sebastian Binnewies, Geraldine Torrisi-Steele, Kewen Wang:
The Effect of Students' Technology Readiness on Technology Acceptance. AMCIS 2018 - [c71]Pouya Ghiasnezhad Omran
, Kewen Wang, Zhe Wang:
Scalable Rule Learning via Learning Representation. IJCAI 2018: 2149-2155 - [c70]Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen:
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. KR 2018: 637-638 - [c69]Joy Galaige, Geraldine Torrisi-Steele, Sebastian Binnewies, Kewen Wang:
What is Important in Student-Facing Learning Analytics? A User-Centered Design Approach. PACIS 2018: 127 - [c68]Lijing Zhang, Xiaowang Zhang, Leyuan Zhao, Jiachen Tian, Shizhan Chen, Hong Wu, Kewen Wang, Zhiyong Feng:
An Embedding-based System to Constructing OWL ontologies. ISWC (P&D/Industry/BlueSky) 2018 - [i9]Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen:
Knowledge Compilation in Multi-Agent Epistemic Logics. CoRR abs/1806.10561 (2018) - 2017
- [j19]Xiaowang Zhang
, Kewen Wang
, Zhe Wang
, Yue Ma, Guilin Qi, Zhiyong Feng:
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite. Int. J. Approx. Reason. 89: 58-79 (2017) - [c67]Sebastian Binnewies
, Zhiqiang Zhuang
, Kewen Wang
:
Three Methods for Revising Hybrid Knowledge Bases. RuleML+RR 2017: 37-52 - [c66]Peng Xiao, Kewen Wang, Zhe Wang:
Incosistency-Tolerant Forgetting in DL-lite. ISWC (Posters, Demos & Industry Tracks) 2017 - [e1]Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang:
Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Lecture Notes in Computer Science 10675, Springer 2017, ISBN 978-3-319-70681-8 [contents] - [i8]Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic:
Syntax-Preserving Belief Change Operators for Logic Programs. CoRR abs/1703.04912 (2017) - 2016
- [j18]Kedian Mu, Kewen Wang
, Lian Wen:
Preferential Multi-Context Systems. Int. J. Approx. Reason. 75: 39-56 (2016) - [j17]Zhiqiang Zhuang
, Zhe Wang
, Kewen Wang
, Guilin Qi:
DL-Lite Contraction and Revision. J. Artif. Intell. Res. 56: 329-378 (2016) - [j16]Lian Wen, Kewen Wang
, Yi-Dong Shen, Fangzhen Lin:
A Model for Phase Transition of Random Answer-Set Programs. ACM Trans. Comput. Log. 17(3): 22 (2016) - [c65]Pouya Ghiasnezhad Omran
, Kewen Wang
, Zhe Wang
:
Transfer Learning in Probabilistic Logic Models. Australasian Conference on Artificial Intelligence 2016: 378-389 - [c64]Jianmin Ji
, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu:
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI 2016: 1130-1137 - [c63]Yifan Jin, Kewen Wang
, Zhe Wang
, Zhiqiang Zhuang
:
Revising Possibilistic Knowledge Bases via Compatibility Degrees. JELIA 2016: 305-319 - 2015
- [j15]Zhe Wang
, Kewen Wang
, Rodney W. Topor:
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization. ACM Trans. Comput. Log. 16(4): 31:1-31:37 (2015) - [j14]Kewen Wang
, Lian Wen, Kedian Mu:
Random logic programs: Linear model. Theory Pract. Log. Program. 15(6): 818-853 (2015) - [c62]Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang:
Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice. AAAI 2015: 254-260 - [c61]Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang:
Partial Meet Revision and Contraction in Logic Programs. AAAI 2015: 1439-1445 - [c60]James P. Delgrande, Kewen Wang:
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs. AAAI 2015: 1482-1488 - [c59]Jianfeng Du, Kewen Wang, Yi-Dong Shen:
Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. AAAI 2015: 1489-1495 - [c58]Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang:
Knowledge Forgetting in Circumscription: A Preliminary Report. AAAI 2015: 1649-1655 - [c57]Zhe Wang, Kewen Wang, Zhiqiang Zhuang, Guilin Qi:
Instance-Driven Ontology Evolution in DL-Lite. AAAI 2015: 1656-1662 - [c56]Mahsa Chitsaz, Zhe Wang, Kewen Wang:
Query Abduction for ELH Ontologies. AAAI 2015: 4148-4149 - [c55]Yifan Jin, Kewen Wang
, Zhe Wang
:
Possibilistic Inferences in Answer Set Programming. Australasian Conference on Artificial Intelligence 2015: 263-275 - [c54]Zhe Wang
, Mahsa Chitsaz, Kewen Wang
, Jianfeng Du:
Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies. CIKM 2015: 743-752 - [c53]Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande:
Extending AGM Contraction to Arbitrary Logics. IJCAI 2015: 3299-3307 - [c52]Xiaowang Zhang
, Kewen Wang
, Zhe Wang
, Yue Ma, Guilin Qi:
A Distance-Based Paraconsistent Semantics for DL-Lite. KSEM 2015: 15-27 - [i7]Kedian Mu, Kewen Wang, Lian Wen:
Preferential Multi-Context Systems. CoRR abs/1504.06700 (2015) - 2014
- [j13]Yi-Dong Shen, Kewen Wang
, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner
, Jun Deng:
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213: 1-41 (2014) - [j12]Kewen Wang
, Zhe Wang
, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou
:
Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics. Comput. Intell. 30(2): 205-232 (2014) - [j11]Kedian Mu, Kewen Wang
, Lian Wen:
Approaches to measuring inconsistency for stratified knowledge bases. Int. J. Approx. Reason. 55(2): 529-556 (2014) - [c51]Jianfeng Du, Kewen Wang, Yi-Dong Shen:
A Tractable Approach to ABox Abduction over Description Logic Ontologies. AAAI 2014: 1034-1040 - [c50]Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi:
Contraction and Revision over DL-Lite TBoxes. AAAI 2014: 1149-1156 - [c49]Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li:
Instance-driven TBox Revision in DL-Lite. Description Logics 2014: 734-745 - [c48]Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou:
Rational Elimination of DL-Lite TBox Axioms. Description Logics 2014: 746-756 - [c47]Xin Wang, Jun Ling, Junhu Wang
, Kewen Wang
, Zhiyong Feng:
Answering provenance-aware regular path queries on RDF graphs using an automata-based algorithm. WWW (Companion Volume) 2014: 395-396 - [i6]James P. Delgrande, Kewen Wang:
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence. CoRR abs/1404.7541 (2014) - [i5]Kewen Wang, Lian Wen, Kedian Mu:
Random Logic Programs: Linear Model. CoRR abs/1406.6102 (2014) - 2013
- [c46]Yisong Wang, Kewen Wang, Mingyi Zhang:
Forgetting for Answer Set Programs Revisited. IJCAI 2013: 1162-1168 - [c45]José Júlio Alferes
, Matthias Knorr
, Kewen Wang
:
Forgetting under the Well-Founded Semantics. LPNMR 2013: 36-41 - [c44]Yisong Wang, Zhiqiang Zhuang
, Kewen Wang
:
Belief Change in Nonmonotonic Multi-Context Systems. LPNMR 2013: 543-555 - [c43]Sebastian Binnewies
, Yisong Wang, Bela Stantic, Kewen Wang
:
Rule Revision in Normal DL Logic Programs. RR 2013: 204-209 - [i4]Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi:
A Distance-based Paraconsistent Semantics in DL-Lite. CoRR abs/1301.2005 (2013) - 2012
- [c42]Guilin Qi, Kewen Wang:
Conflict-Based Belief Revision Operators in Possibilistic Logic. AAAI 2012: 800-806 - [c41]Yi-Dong Shen, Kewen Wang:
FLP Semantics Without Circular Justifications for General Logic Programs. AAAI 2012: 821-827 - [c40]Jia-Huai You, Yi-Dong Shen, Kewen Wang
:
Well-Supported Semantics for Logic Programs with Generalized Rules. Correct Reasoning 2012: 576-591 - [c39]Sheng Li, Junhu Wang
, Kewen Wang
, Jiang Li:
A Distance-Based Spelling Suggestion Method for XML Keyword Search. ER 2012: 176-189 - [c38]Grigoris Antoniou
, Thomas Eiter, Kewen Wang
:
Forgetting for Defeasible Logic. LPAR 2012: 77-91 - [c37]Mahsa Chitsaz, Kewen Wang
, Michael Blumenstein, Guilin Qi:
Concept Learning for $\ensuremath{\ensuremath{\cal E}\ensuremath{\cal L}^{++}}$ by Refinement and Reinforcement. PRICAI 2012: 15-26 - [c36]Yifan Jin, Kewen Wang
, Lian Wen:
Possibilistic Reasoning in Multi-Context Systems: Preliminary Report. PRICAI 2012: 180-193 - [c35]Raghav Ramachandran, Guilin Qi, Kewen Wang
, Junhu Wang
, John Thornton:
Probabilistic Reasoning in DL-Lite. PRICAI 2012: 480-491 - 2011
- [c34]Xiaowang Zhang
, Zuoquan Lin, Kewen Wang
:
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System. APWeb 2011: 345-356 - [c33]Marco Sotomayor
, Kewen Wang
, Yi-Dong Shen, John Thornton:
Probabilistic Multi-Context Systems. JIST 2011: 366-375 - [c32]Nathan Cobby, Kewen Wang
, Zhe Wang
, Marco Sotomayor
:
OntoRevision: A Plug-in System for Ontology Revision in Protégé. JIST 2011: 417-424 - [c31]Yi-Dong Shen, Kewen Wang
:
Extending Logic Programs with Description Logic Expressions for the Semantic Web. ISWC (1) 2011: 633-648 - 2010
- [j10]Zhe Wang
, Kewen Wang
, Rodney W. Topor, Jeff Z. Pan:
Forgetting for knowledge bases in DL-Lite. Ann. Math. Artif. Intell. 58(1-2): 117-151 (2010) - [c30]Zhe Wang, Kewen Wang, Rodney W. Topor:
A New Approach to Knowledge Base Revision in DL-Lite. AAAI 2010: 369-374 - [c29]Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang:
Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. ECAI 2010: 47-52 - [c28]Xiaowang Zhang
, Zuoquan Lin, Kewen Wang
:
Towards a Paradoxical Description Logic for the Semantic Web. FoIKS 2010: 306-325 - [c27]Zhe Wang, Kewen Wang, Rodney W. Topor:
Revising General Knowledge Bases in Description Logics. KR 2010
2000 – 2009
- 2009
- [c26]Zhe Wang
, Kewen Wang
, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou
:
Uniform Interpolation for ALC\mathcal{ALC} Revisited. Australasian Conference on Artificial Intelligence 2009: 528-537 - [c25]Zhe Wang, Kewen Wang, Rodney W. Topor:
Revision of DL-Lite Knowledge Bases. Description Logics 2009 - [c24]Kewen Wang
, Zhe Wang
, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou
:
Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies. ISWC 2009: 666-681 - [c23]Junhu Wang, Kewen Wang, Jiuyong Li
:
Finding Irredundant Contained Rewritings of Tree Pattern Queries Using Views. APWeb/WAIM 2009: 113-125 - 2008
- [j9]Thomas Eiter, Kewen Wang
:
Semantic forgetting in answer set programming. Artif. Intell. 172(14): 1644-1672 (2008) - [c22]Zhe Wang
, Kewen Wang
, Rodney W. Topor, Jeff Z. Pan:
Forgetting Concepts in DL-Lite. ESWC 2008: 245-257 - 2007
- [c21]Yuting Zhao, Kewen Wang
, Rodney W. Topor, Jeff Z. Pan, Fausto Giunchiglia:
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. ISWC/ASWC 2007: 666-679 - [r1]Grigoris Antoniou
, Kewen Wang
:
Default logic. The Many Valued and Nonmonotonic Turn in Logic 2007: 517-555 - 2006
- [c20]Thomas Eiter, Kewen Wang:
Forgetting and Conflict Resolving in Disjunctive Logic Programming. AAAI 2006: 238-243 - [c19]Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang:
LPForget: A System of Forgetting in Answer Set Programming. Australian Conference on Artificial Intelligence 2006: 1101-1105 - [c18]Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang
:
Forgetting in Managing Rules and Ontologies. Web Intelligence 2006: 411-419 - 2005
- [j8]Kewen Wang
, Lizhu Zhou:
Comparisons and computation of well-founded semantics for disjunctive logic programs. ACM Trans. Comput. Log. 6(2): 295-327 (2005) - [c17]Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan:
Observation-based Model for BDI-Agents. AAAI 2005: 190-195 - [c16]Kewen Wang, Abdul Sattar, Kaile Su:
A Theory of Forgetting in Logic Programming. AAAI 2005: 682-688 - [c15]Timothy William Cleaver, Abdul Sattar, Kewen Wang
:
Reasoning with the Outcomes of Plan Execution in Intentional Agents. Australian Conference on Artificial Intelligence 2005: 60-69 - [c14]Yan Zhang, Norman Y. Foo, Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI 2005: 627-634 - [c13]Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori:
Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582 - [c12]Kewen Wang, Yan Zhang:
Nested Epistemic Logic Programs. LPNMR 2005: 279-290 - [c11]Timothy William Cleaver, Abdul Sattar
, Kewen Wang
:
Reasoning about Success and Failure in Intentional Agents. PRIMA 2005: 60-72 - [c10]Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar:
Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171 - 2004
- [j7]James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang
:
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Comput. Intell. 20(2): 308-334 (2004) - [c9]Kewen Wang
, David Billington, Jeff Blee, Grigoris Antoniou
:
Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181 - 2003
- [j6]Kewen Wang, Ruqian Lu:
Artificial Intelligence Advances in China. AI Commun. 16(1): 1 (2003) - [j5]Torsten Schaub, Kewen Wang
:
A semantic framework for preference handling in answer set programming. Theory Pract. Log. Program. 3(4-5): 569-607 (2003) - [i3]Kewen Wang, Lizhu Zhou:
Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs. CoRR cs.AI/0301010 (2003) - [i2]Torsten Schaub, Kewen Wang:
A semantic framework for preference handling in answer set programming. CoRR cs.AI/0301023 (2003) - 2002
- [c8]Torsten Schaub, Kewen Wang:
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. NMR 2002: 238-246 - [i1]Torsten Schaub, Kewen Wang:
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report. CoRR cs.AI/0207060 (2002) - 2001
- [j4]Kewen Wang
, Lizhu Zhou:
Closed World Assumption for Disjunctive Reasoning. J. Comput. Sci. Technol. 16(4): 381-387 (2001) - [j3]Kewen Wang
, Lizhu Zhou:
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases. J. Intell. Inf. Syst. 16(3): 229-253 (2001) - [c7]Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference: Preliminary Report. Answer Set Programming 2001 - [c6]Kewen Wang:
A Top-Down Procedure for Disjunctive Well-Founded Semantics. IJCAR 2001: 305-317 - [c5]Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602 - [c4]Kewen Wang
:
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. LPNMR 2001: 133-146 - 2000
- [j2]Kewen Wang
:
Argumentation-based abduction in disjunctive logic programming. J. Log. Program. 45(1-3): 105-141 (2000) - [c3]Kewen Wang, Lizhu Zhou, Fangzhen Lin:
Alternating Fixpoint Theory for Logic Programs with Priority. Computational Logic 2000: 164-178
1990 – 1999
- 1999
- [c2]Fangzhen Lin, Kewen Wang
:
From Causal Theories to Logic Programs (Sometimes). LPNMR 1999: 117-131 - 1998
- [j1]Kewen Wang, Huowang Chen, Quanyuan Wu:
The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. 13(3): 193-201 (1998) - 1997
- [c1]Kewen Wang, Huowang Chen:
Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR 1997: 139-163
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint