Kewen Wang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Learning Ontology Axioms over Knowledge Graphs via Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

A System for Reasoning-based Link Prediction in Large Knowledge Graphs.

[BibT_eX]

[DOI]

Hong Wu

Zhiyong Feng

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Mining Discriminative Visual Features Based on Semantic Relations.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Ontology-Based Event Detection for Wastewater Treatment.

[BibT_eX]

[DOI]

Yi Sun

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Knowledge Graph Rule Mining via Transfer Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2019

Practical Datalog Rewriting for Existential Rules.

[BibT_eX]

[DOI]

Peng Xiao

Proceedings of the 32nd International Workshop on Description Logics, 2019

Learning Temporal Rules from Knowledge Graph Streams.

[BibT_eX]

[DOI]

Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Syntax-Preserving Belief Change Operators for Logic Programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2018

Knowledge Compilation in Multi-Agent Epistemic Logics.

[BibT_eX]

[DOI]

CoRR, 2018

An Embedding-based System to Constructing OWL ontologies.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to, 2018

What is Important in Student-Facing Learning Analytics? A User-Centered Design Approach.

[BibT_eX]

[DOI]

Joy Galaige

Geraldine Torrisi-Steele

Proceedings of the 22nd Pacific Asia Conference on Information Systems, 2018

Knowledge Compilation in the Multi-Agent Epistemic Logic Kn.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Scalable Rule Learning via Learning Representation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

The Effect of Students' Technology Readiness on Technology Acceptance.

[BibT_eX]

[DOI]

Joy Galaige

Geraldine Torrisi-Steele

Proceedings of the 24th Americas Conference on Information Systems, 2018

On the Satisfiability Problem of Patterns in SPARQL 1.1.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Forgetting and Unfolding for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

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

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Incosistency-Tolerant Forgetting in DL-lite.

[BibT_eX]

[DOI]

Peng Xiao

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Three Methods for Revising Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Zhiqiang Zhuang

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

2016

A Model for Phase Transition of Random Answer-Set Programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2016

DL-Lite Contraction and Revision.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Preferential Multi-Context Systems.

[BibT_eX]

[DOI]

Kedian Mu

Int. J. Approx. Reason., 2016

Revising Possibilistic Knowledge Bases via Compatibility Degrees.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Transfer Learning in Probabilistic Logic Models.

[BibT_eX]

[DOI]

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015

Random logic programs: Linear model.

[BibT_eX]

[DOI]

Kedian Mu

Theory Pract. Log. Program., 2015

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2015

A Distance-Based Paraconsistent Semantics for DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2015

Extending AGM Contraction to Arbitrary Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

Possibilistic Inferences in Answer Set Programming.

[BibT_eX]

[DOI]

Yifan Jin

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Instance-Driven Ontology Evolution in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Knowledge Forgetting in Circumscription: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies.

[BibT_eX]

[DOI]

Jianfeng Du

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs.

[BibT_eX]

[DOI]

James P. Delgrande

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Query Abduction for ELH Ontologies.

[BibT_eX]

[DOI]

Mahsa Chitsaz

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Partial Meet Revision and Contraction in Logic Programs.

[BibT_eX]

[DOI]

Zhiqiang Zhuang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Approaches to measuring inconsistency for stratified knowledge bases.

[BibT_eX]

[DOI]

Kedian Mu

Int. J. Approx. Reason., 2014

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

[BibT_eX]

[DOI]

James P. Delgrande

CoRR, 2014

Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics.

[BibT_eX]

[DOI]

Comput. Intell., 2014

FLP answer set semantics without circular justifications for general logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2014

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

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

Rational Elimination of DL-Lite TBox Axioms.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Instance-driven TBox Revision in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Contraction and Revision over DL-Lite TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

A Tractable Approach to ABox Abduction over Description Logic Ontologies.

[BibT_eX]

[DOI]

Jianfeng Du

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Rule Revision in Normal DL Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Belief Change in Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Yisong Wang

Zhiqiang Zhuang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Forgetting under the Well-Founded Semantics.

[BibT_eX]

[DOI]

José Júlio Alferes

Matthias Knorr

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Forgetting for Answer Set Programs Revisited.

[BibT_eX]

[DOI]

Yisong Wang

Mingyi Zhang

Proceedings of the IJCAI 2013, 2013

2012

Probabilistic Reasoning in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

Possibilistic Reasoning in Multi-Context Systems: Preliminary Report.

[BibT_eX]

[DOI]

Yifan Jin

Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

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

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

Forgetting for Defeasible Logic.

[BibT_eX]

[DOI]

Grigoris Antoniou

Thomas Eiter

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

A Distance-Based Spelling Suggestion Method for XML Keyword Search.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2012

Well-Supported Semantics for Logic Programs with Generalized Rules.

[BibT_eX]

[DOI]

Jia-Huai You

Proceedings of the Correct Reasoning, 2012

FLP Semantics Without Circular Justifications for General Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Conflict-Based Belief Revision Operators in Possibilistic Logic.

[BibT_eX]

[DOI]

Guilin Qi

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Extending Logic Programs with Description Logic Expressions for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Probabilistic Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

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

[BibT_eX]

[DOI]

Zuoquan Lin

Proceedings of the Web Technologies and Applications - 13th Asia-Pacific Web Conference, 2011

2010

Forgetting for knowledge bases in DL-Lite.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

Revising General Knowledge Bases in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Towards a Paradoxical Description Logic for the Semantic Web.

[BibT_eX]

[DOI]

Zuoquan Lin

Proceedings of the Foundations of Information and Knowledge Systems, 2010

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

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A New Approach to Knowledge Base Revision in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Finding Irredundant Contained Rewritings of Tree Pattern Queries Using Views.

[BibT_eX]

[DOI]

Junhu Wang

Jiuyong Li

Proceedings of the Advances in Data and Web Management, Joint International Conferences, 2009

Concept and Role Forgetting in <i>ALC</i>{\mathcal {ALC}} Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Revision of DL-Lite Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Uniform Interpolation for <i>ALC</i>\mathcal{ALC} Revisited.

[BibT_eX]

[DOI]

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Semantic forgetting in answer set programming.

[BibT_eX]

[DOI]

Thomas Eiter

Artif. Intell., 2008

Forgetting Concepts in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2008

2007

Default logic.

[BibT_eX]

[DOI]

Grigoris Antoniou

Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2007

2006

Forgetting in Managing Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

LPForget: A System of Forgetting in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Forgetting and Conflict Resolving in Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Thomas Eiter

Proceedings of the Proceedings, 2006

2005

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

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2005

Merging and Aligning Ontologies in dl-Programs.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Reasoning about Success and Failure in Intentional Agents.

[BibT_eX]

[DOI]

Timothy William Cleaver

Abdul Sattar

Proceedings of the Multi-Agent Systems for Society, 2005

Nested Epistemic Logic Programs.

[BibT_eX]

[DOI]

Yan Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Solving Logic Program Conflict through Strong and Weak Forgettings.

[BibT_eX]

[DOI]

Yan Zhang

Norman Y. Foo

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Computationally Grounded Model of BDI-Agents.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Reasoning with the Outcomes of Plan Execution in Intentional Agents.

[BibT_eX]

[DOI]

Timothy William Cleaver

Abdul Sattar

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A Theory of Forgetting in Logic Programming.

[BibT_eX]

[DOI]

Abdul Sattar

Kaile Su

Proceedings of the Proceedings, 2005

Observation-based Model for BDI-Agents.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Comput. Intell., 2004

Combining Description Logic and Defeasible Logic for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

2003

A semantic framework for preference handling in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Artificial Intelligence Advances in China.

[BibT_eX]

[DOI]

Ruqian Lu

AI Commun., 2003

2002

Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001

An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2001

Closed World Assumption for Disjunctive Reasoning.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2001

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

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

A Comparative Study of Logic Programs with Preference.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

A Top-Down Procedure for Disjunctive Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

A Comparative Study of Logic Programs with Preference: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

Argumentation-based abduction in disjunctive logic programming.

[BibT_eX]

[DOI]

J. Log. Program., 2000

Alternating Fixpoint Theory for Logic Programs with Priority.

[BibT_eX]

[DOI]

Fangzhen Lin

Proceedings of the Computational Logic, 2000

1999

From Causal Theories to Logic Programs (Sometimes).

[BibT_eX]

[DOI]

Fangzhen Lin

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998

The least fixpoint transformation for disjunctive logic programs.

[BibT_eX]

[DOI]

Huowang Chen

Quanyuan Wu

J. Comput. Sci. Technol., 1998

1997

Abduction, Argumentation and Bi-Disjunctive Logic Programs.

[BibT_eX]

[DOI]