论文信息 - Herbrand Logic - 字舞流文

Herbrand Logic

Timothy L. Hinrichs | Michael Genesereth | M. Genesereth | Timothy Hinrichs

[1] Jeffrey D. Uuman. Principles of database and knowledge- base systems , 1989 .

[2] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.

[3] Marek A. Suchenek. First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment , 2004, Journal of Automated Reasoning.

[4] Chitta Baral,et al. Reasoning in description logics using declarative logic programming , 2004 .

[5] Bernhard Gramlich,et al. Strategic Issues, Problems and Challenges in Inductive Theorem Proving , 2005, STRATEGIES@IJCAR.

[6] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.