Heng Zhang

Guifei Jiang

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Characterizing the Program Expressive Power of Existential Rule Languages.

[BibT_eX]

[DOI]

Guifei Jiang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation.

[BibT_eX]

[DOI]

Arash Karimi

Theory Pract. Log. Program., 2021

Characterizing the Program Expressive Power of Existential Rule Languages.

[BibT_eX]

[DOI]

CoRR, 2021

Epistemic GDL: A logic for representing and reasoning about imperfect information games.

[BibT_eX]

[DOI]

Artif. Intell., 2021

2020

Model-theoretic Characterizations of Existential Rule Languages.

[BibT_eX]

[DOI]

Guifei Jiang

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Lifting Majority to Unanimity in Opinion Diffusion.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

On the Expressivity of ASK Queries in SPARQL.

[BibT_eX]

[DOI]

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

Towards Universal Languages for Tractable Ontology Mediated Query Answering.

[BibT_eX]

[DOI]

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

2019

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Characterizing the Expressivity of Game Description Languages.

[BibT_eX]

[DOI]

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

Game Equivalence and Bisimulation for Game Description Language.

[BibT_eX]

[DOI]

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

2018

Loop Restricted Existential Rules and First-order Rewritability for Query Answering.

[BibT_eX]

[DOI]

Vernon Asuncion

CoRR, 2018

Restricted Chase Termination: A Hierarchical Approach and Experimentation.

[BibT_eX]

[DOI]

Arash Karimi

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering.

[BibT_eX]

[DOI]

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

2017

Expressiveness of Logic Programs under the General Stable Model Semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2017

Detecting Permission Over-claim of Android Applications with Static and Semantic Analysis Approach.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant.

[BibT_eX]

[DOI]

Arash Karimi

Proceedings of the 30th International Workshop on Description Logics, 2017

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable.

[BibT_eX]

[DOI]

Vernon Asuncion

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering.

[BibT_eX]

[DOI]

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

DC-Top-k: A Novel Top-k Selecting Algorithm and Its Parallelization.

[BibT_eX]

[DOI]

Proceedings of the 45th International Conference on Parallel Processing, 2016

Query Answering with Inconsistent Existential Rules under Stable Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A Logic for Collective Choice.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Existential Rule Languages with Finite Chase: Complexity and Expressiveness.

[BibT_eX]

[DOI]

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

2014

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness.

[BibT_eX]

[DOI]

Vernon Asuncion

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Computing General First-Order Parallel and Prioritized Circumscription.

[BibT_eX]

[DOI]

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

2013

Disjunctive logic programs with existential quantification in rule heads.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Constructive Circumscription.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Disjunctive Logic Programs versus Normal Logic Programs

[BibT_eX]

[DOI]

CoRR, 2013

First-Order Expressibility and Boundedness of Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2011

Translating First-Order Theories into Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.

[BibT_eX]

[DOI]

Mingsheng Ying

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

2007

Model-Characterizing Formulas and Normal Forms in Godel Logics.

[BibT_eX]

[DOI]