Parametric Connectives in Disjunctive Logic Programming
暂无分享,去创建一个
[1] Jorge Lobo,et al. Foundations of disjunctive logic programming , 1992, Logic Programming.
[2] Wolfgang Faber,et al. Pushing Goal Derivation in DLP Computations , 1999, LPNMR.
[3] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[4] Arthur B. Markman,et al. Knowledge Representation , 1998 .
[5] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[6] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[7] Georg Gottlob. Complexity and Expressive Power of Disjunctive Logic Programming , 1994, ILPS.
[8] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[9] Georg Gottlob,et al. Disjunctive datalog , 1997, TODS.
[10] Georg Gottlob,et al. The DLV System , 2002, JELIA.
[11] Rina Dechter,et al. Propositional semantics for disjunctive logic programs , 1994, Annals of Mathematics and Artificial Intelligence.
[12] J. Davenport. Editor , 1960 .
[13] Jack Minker,et al. Overview of disjunctive logic programming , 1994, Annals of Mathematics and Artificial Intelligence.
[14] Chitta Baral,et al. Logic Programming and Knowledge Representation , 1994, J. Log. Program..
[15] Vladimir Lifschitz,et al. Nested expressions in logic programs , 1999, Annals of Mathematics and Artificial Intelligence.
[16] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[17] Wolfgang Faber,et al. Experimenting with Heuristics for Answer Set Programming , 2001, IJCAI.