Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems
暂无分享,去创建一个
[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[2] Georg Gottlob,et al. Well-Founded Semantics for Default Logic , 1997, Fundam. Informaticae.
[3] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[4] Hans Tompits,et al. Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..
[5] Floris Roelofsen,et al. Minimal and Absent Information in Contexts , 2005, IJCAI.
[6] Torsten Schaub,et al. An Approach to Context-Based Default Reasoning , 1995, Fundam. Informaticae.
[7] Boris Motik,et al. A Faithful Integration of Description Logics with Logic Programming , 2007, IJCAI.
[8] John McCarthy,et al. Notes on Formalizing Context , 1993, IJCAI.
[9] Laurent Perrussel,et al. Contextual Reasoning , 1998, ECAI.
[10] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.
[11] Hans Tompits,et al. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming , 2005, IJCAI.
[12] Floris Roelofsen,et al. Contextual Default Reasoning , 2007, IJCAI.
[13] Georg Gottlob,et al. Generalized Quantifiers in Logic Programs , 1997, ESSLLI.
[14] John McCarthy,et al. Generality in artificial intelligence , 1987, Resonance.
[15] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[16] Carsten Lutz,et al. Description Logics with Circumscription , 2006, KR.
[17] I. Niemelä,et al. Extending the Smodels system with cardinality and weight constraints , 2001 .