zbMATH — the first resource for mathematics

Some results concerning Horn clauses and logic programming. I. (Spanish) Zbl 1119.68324
Hernández Lamoneda, Luis (ed.) et al., 32nd National Congress of the Mexican Mathematical Society, Guadalajara, Mexico, October 10–17, 1999. Proceedings. México: Sociedad Matemática Mexicana (ISBN 968-36-8435-1/pbk). Aportaciones Mat., Comun. 27, 243-256 (2000).
For the entire collection see [Zbl 1006.00012].
68N17 Logic programming
68T27 Logic in artificial intelligence
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX Cite