Linh Anh Nguyen

Vietnam. J. Comput. Sci., 2014

The Web Ontology Rule Language OWL 2 RL + and Its Extensions.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2014

ExpTime tableaux with global state caching for the description logic SHIO.

[BibT_eX]

[DOI]

Neurocomputing, 2014

Bisimulation-Based Concept Learning in Description Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.

[BibT_eX]

[DOI]

Joanna Golinska-Pilarek

Fundam. Informaticae, 2014

ExpTime Tableaux with Global Caching for the Description Logic SHOQ.

[BibT_eX]

[DOI]

Joanna Golinska-Pilarek

CoRR, 2014

A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics.

[BibT_eX]

[DOI]

Thanh-Luong Tran

Thi-Lan-Giao Hoang

Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2014

An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2014

A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic.

[BibT_eX]

[DOI]

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Database and Information Systems II, 2014

2013

A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ.

[BibT_eX]

[DOI]

Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2013

Logic-Based Roughification.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

ExpTime Tableaux for ALC Using Sound Global Caching.

[BibT_eX]

[DOI]

J. Autom. Reason., 2013

HornDL: An Expressive Horn Description Logic with PTime Data Complexity.

[BibT_eX]

[DOI]

Thi-Bich-Loc Nguyen

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

On Horn Knowledge Bases in Regular Description Logic with Inverse.

[BibT_eX]

[DOI]

Thi-Bich-Loc Nguyen

Proceedings of the Knowledge and Systems Engineering, 2013

On the Horn Fragments of Serial Regular Grammar Logics with Converse.

[BibT_eX]

[DOI]

Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms.

[BibT_eX]

[DOI]

Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2013

Bisimulation-Based Comparisons for Interpretations in Description Logics.

[BibT_eX]

[DOI]

Ali Rezaei Divroodi

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.

[BibT_eX]

[DOI]

Joanna Golinska-Pilarek

Proceedings of the 22nd International Workshop on Concurrency, 2013

2012

On Designing the SONCA System.

[BibT_eX]

[DOI]

Hung Son Nguyen

Proceedings of the Intelligent Tools for Building a Scientific Information Platform, 2012

A Generalized QSQR Evaluation Method for Horn Knowledge Bases.

[BibT_eX]

[DOI]

Ewa Madalinska-Bugaj

ACM Trans. Comput. Log., 2012

Paraconsistent Reasoning for Semantic Web Agents.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2012

ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking

[BibT_eX]

[DOI]

CoRR, 2012

A bisimulation-based method of concept learning for knowledge bases in description logics.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Information and Communication Technology 2012, 2012

Concept Learning for Description Logic-Based Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

Query-Subquery Nets.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

On C-Learnability in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

2011

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.

[BibT_eX]

[DOI]

Stud Logica, 2011

Converse-PDL with regular inclusion axioms: a framework for MAS logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI

[BibT_eX]

[DOI]

CoRR, 2011

A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms

[BibT_eX]

[DOI]

CoRR, 2011

WORL: A Web Ontology Rule Language.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI\mathcal{ALCI}.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

On the Web Ontology Rule Language OWL 2 RL.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

2010

Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2010

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2010

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

A Framework for Graded Beliefs, Goals and Intentions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

A layered rule-based architecture for approximate knowledge fusion?

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2010

Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2010

Three-Valued Paraconsistent Reasoning for Semantic Web Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

2009

Modal logic programming revisited.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

An Efficient Tableau Prover using Global Caching for the Description Logic ALC.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Clausal Tableaux for Multimodal Logics of Belief.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Optimal Tableau Decision Procedures for PDL

[BibT_eX]

[DOI]

CoRR, 2009

Fusing Approximate Knowledge from Distributed Sources.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Semantic Web, 2009

A Tableau Calculus for Regular Grammar Logics with Converse.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2009

2008

Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.

[BibT_eX]

[DOI]

Ewa Madalinska-Bugaj

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2008

2007

Foundations of Modal Deductive Databases.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

EXPTIME Tableaux for ALC Using Sound Global Caching.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006

Multimodal logic programming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

The Data Complexity of MDatalog in Basic Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

On the Deterministic Horn Fragment of Test-free PDL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 6, 2006

2005

Completeness of hyper-resolution via the semantics of disjunctive logic programs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

An SLD-Resolution Calculus for Basic Serial Multimodal Logics.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005

Reasoning About Epistemic States of Agents by Modal Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

On Modal Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2005

2004

Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The Modal Logic Programming System MProlog.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

MProlog: An Extension of Prolog for Modal Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

On the Complexity of Fragments of Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 5, 2004

2003

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

2002

Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001

Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5.

[BibT_eX]

[DOI]

Stud Logica, 2001

The Modal Query Language MDatalog.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

2000

Constructing the Least Models for Positive Modal Logic Programs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1999

A New Space Bound for the Modal Logics K4, KD4 and S4.

[BibT_eX]

[DOI]