Restricted Four-Valued Semantics for Answer Set Programming
暂无分享,去创建一个
[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[2] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[3] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[4] Arnon Avron,et al. The Value of the Four Values , 1998, Artif. Intell..
[5] François Fages,et al. Combining Explicit Negation and Negation by Failure Via Belnap's Logic , 1997, Theor. Comput. Sci..
[6] Melvin Fitting,et al. Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..
[7] Luís Moniz Pereira,et al. A Declarative Characterization of Disjunctive Paraconsistent Answer Sets , 2004, ECAI.
[8] V. S. Subrahmanian,et al. Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..
[9] Thomas Eiter,et al. Paracoherent Answer Set Programming , 2010, KR.
[10] Francesco Buccafurri,et al. Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..
[11] David Pearce,et al. Quantified Equilibrium Logic and Foundations for Answer Set Programs , 2008, ICLP.
[12] Melvin Fitting,et al. Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..
[13] Chiaki Sakama,et al. Paraconsistent Stable Semantics for Extended Disjunctive Programs , 1995, J. Log. Comput..
[14] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[15] Thomas Eiter,et al. Modular Paracoherent Answer Sets , 2014, JELIA.
[16] Chen Chen,et al. Restricted Four-Valued Logic for Default Reasoning , 2015, KSEM.
[17] David Pearce,et al. Routley Semantics for Answer Sets , 2005, LPNMR.