Knowledge Forgetting in Answer Set Programming
暂无分享,去创建一个
[1] Vladimir Lifschitz,et al. Nested expressions in logic programs , 1999, Annals of Mathematics and Artificial Intelligence.
[2] R. Reiter,et al. Forget It ! , 1994 .
[3] Andreas Herzig,et al. Introspective Forgetting , 2008, Australasian Conference on Artificial Intelligence.
[4] Miroslaw Truszczynski,et al. Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs , 2009, Artif. Intell..
[5] Yongmei Liu,et al. On the Progression of Knowledge in the Situation Calculus , 2011, IJCAI.
[6] Joohyung Lee,et al. Stable models and circumscription , 2011, Artif. Intell..
[7] Fangzhen Lin. Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic , 2002, KR.
[8] Yan Zhang,et al. Variable Forgetting in Reasoning about Knowledge , 2009, J. Artif. Intell. Res..
[9] Yan Zhang,et al. Knowledge forgetting: Properties and applications , 2009, Artif. Intell..
[10] Carsten Lutz,et al. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics , 2011, IJCAI.
[11] Stefan Woltran,et al. A Model-Theoretic Approach to Belief Change in Answer Set Programming , 2013, TOCL.
[12] Frank Wolter,et al. Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.
[13] Stefan Woltran,et al. Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2 , 2009, Theory and Practice of Logic Programming.
[14] Mauricio Osorio,et al. Updates in answer set programming: An approach based on basic structural properties , 2006, Theory and Practice of Logic Programming.
[15] Andreas Herzig,et al. Introspective forgetting , 2008, Synthese.
[16] Dov M. Gabbay,et al. Interpolable Formulas in Equilibrium Logic and Answer Set Programming , 2011, J. Artif. Intell. Res..
[17] Miroslaw Truszczynski. Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs , 2010, Artif. Intell..
[18] Yi Zhou,et al. Bounded Forgetting , 2011, AAAI.
[19] Frank Wolter,et al. Can You Tell the Difference Between DL-Lite Ontologies? , 2008, KR.
[20] A. Visser. Uniform interpolation and layered bisimulation , 1996 .
[21] Fangzhen Lin,et al. On strongest necessary and weakest sufficient conditions , 2000, Artif. Intell..
[22] Vladimir Lifschitz,et al. Mathematical Foundations of Answer Set Programming , 2005, We Will Show Them!.
[23] Jeff Z. Pan,et al. Forgetting for knowledge bases in DL-Lite , 2010, Annals of Mathematics and Artificial Intelligence.
[24] Salil P. Vadhan,et al. Computational Complexity , 2005, Encyclopedia of Cryptography and Security.
[25] Mauricio Osorio,et al. Updates in Answer Set Programming based on structural properties , 2005 .
[26] Paolo Ferraris,et al. Answer Sets for Propositional Theories , 2005, LPNMR.
[27] Wolfgang Faber,et al. Semantics and complexity of recursive aggregates in answer set programming , 2011, Artif. Intell..
[28] Mauricio Osorio,et al. On Updates of Logic Programs: A Properties-Based Approach , 2004, FoIKS.
[29] Kewen Wang,et al. Semantic forgetting in answer set programming , 2008, Artif. Intell..
[30] Pedro Cabalar,et al. Propositional theories are strongly equivalent to logic programs , 2007, Theory Pract. Log. Program..
[31] Lex Hendriks,et al. Characterization of strongly equivalent logic programs in intermediate logics , 2002, Theory and Practice of Logic Programming.
[32] Stefan Woltran,et al. On Eliminating Disjunctions in Stable Logic Programming , 2004, KR.
[33] Yi Zhou,et al. Forgetting in Logic Programs under Strong Equivalence , 2012, KR.
[34] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..
[35] Norman Y. Foo,et al. Solving Logic Program Conflict through Strong and Weak Forgettings , 2005, IJCAI.
[36] Alfred Horn,et al. On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.
[37] Kewen Wang,et al. Forgetting for Answer Set Programs Revisited , 2013, IJCAI.
[38] Nicholas R. Jennings,et al. An On-Line Algorithm for Semantic Forgetting , 2011, IJCAI.
[39] Stefan Woltran,et al. Encodings for Equilibrium Logic and Logic Programs with Nested Expressions , 2001, EPIA.
[40] Yi Zhou,et al. From Answer Set Logic Programming to Circumscription via Logic of GK , 2007, IJCAI.
[41] Russell Greiner,et al. The Relevance of Relevance (Editorial) , 1997, Artif. Intell..
[42] Pierre Marquis,et al. Reasoning under inconsistency: A forgetting-based approach , 2010, Artif. Intell..