ExpTime Tableaux for Using Sound Global Caching
暂无分享,去创建一个
[1] Rajeev Goré,et al. EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies , 2007, TABLEAUX.
[2] Andrzej Szalas,et al. ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse , 2011, Stud Logica.
[3] Andrzej Szalas,et al. ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC} , 2009, ICCCI.
[4] Linh Anh Nguyen. An Efficient Tableau Prover using Global Caching for the Description Logic ALC , 2009, Fundam. Informaticae.
[5] Rajeev Goré,et al. Sound Global State Caching for ALC with Inverse Roles , 2009, TABLEAUX.
[6] Ian Horrocks,et al. A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..
[7] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[8] Vaughan R. Pratt,et al. A Near-Optimal Method for Reasoning about Action , 1980, J. Comput. Syst. Sci..
[9] Rajeev Goré,et al. Tableau Methods for Modal and Temporal Logics , 1999 .
[10] Rajeev Goré,et al. Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse , 2010, IJCAR.
[11] Evert W. Beth,et al. On Padoa’s Method in the Theory of Definition , 1953 .
[12] Franz Baader,et al. An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.
[13] Francesco M. Donini,et al. Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.
[14] Francesco M. Donini,et al. Exptime Tableaux for ALC , 2000, Description Logics.
[15] Andrzej Szalas,et al. Converse-PDL with regular inclusion axioms: a framework for MAS logics , 2011, J. Appl. Non Class. Logics.
[16] Rajeev Goré,et al. EXPTIME tableaux for ALC using sound global caching , 2007 .
[17] Wolfgang Rautenberg,et al. Modal tableau calculi and interpolation , 1983, J. Philos. Log..
[18] Rajeev Goré,et al. Global Caching for Coalgebraic Description Logics , 2010, IJCAR.
[19] Linh Anh Nguyen. A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms , 2011, ArXiv.
[20] Andrzej Szalas,et al. Checking Consistency of an ABox w.r.t. Global Assumptions in PDL , 2010, Fundam. Informaticae.
[21] Francesco M. Donini,et al. Decidable reasoning in terminological knowledge representation systems , 1993 .
[22] Linh Anh Nguyen,et al. Optimised EXPTIME Tableaux for ALC Using Sound Global Caching , Propagation and Cutoffs , 2007 .
[23] Linh Anh Nguyen. Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI , 2011 .
[24] Linh Anh Nguyen. A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI , 2011, ICCCI.
[25] Boris Motik,et al. Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.
[26] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.
[27] Rajeev Goré,et al. An Experimental Evaluation of Global Caching for (System Description) , 2008, IJCAR.
[28] Andrzej Szalas,et al. Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH , 2010, Trans. Comput. Collect. Intell..
[29] Linh Anh Nguyen. Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5 , 2001, Stud Logica.
[30] Franz Baader,et al. Cardinality Restrictions on Concepts , 1994, KI.
[31] Andrzej Szalas,et al. An Optimal Tableau Decision Procedure for Converse-PDL , 2009, 2009 International Conference on Knowledge and Systems Engineering.
[32] Volker Haarslev,et al. Tableau Caching for Description Logics with Inverse and Transitive Roles , 2006, Description Logics.
[33] Andrzej Szalas,et al. A Tableau Calculus for Regular Grammar Logics with Converse , 2009, CADE.
[34] Rajeev Goré,et al. Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs , 2008, CLIMA.
[35] Volker Haarslev,et al. Consistency Testing: The RACE Experience , 2000, TABLEAUX.
[36] Heinrich Zimmermann,et al. Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics , 1996, TABLEAUX.
[37] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[38] Ian Horrocks,et al. Optimizing Description Logic Subsumption , 1999, J. Log. Comput..
[39] Ian Horrocks,et al. Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.
[40] Rajeev Goré,et al. An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability , 2009, CADE.