Výsledky vyhledávání - "I.2.3 Deduction and theorem proving. Logic programming"

Annotated answer set programming

Autoři: Straccia U

Zdroj: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06), pp. 1212–1219, Paris, 04/07/2006
info:cnr-pdr/source/autori:Straccia U./congresso_nome:Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-06)/congresso_luogo:Paris/congresso_data:04%2F07%2F2006/anno:2006/pagina_da:1212/pagina_a:1219/intervallo_pagine:1212–1219
ISTI Technical reports, 2005

Témata: F.4.1 Mathematical Logic. Logic and constraint programming, I.2 Artificial Intelligence, Many-valued logic programming, I.2.3 Deduction and Theorem Proving. Logic programming

Popis souboru: application/pdf

Přístupová URL adresa: https://publications.cnr.it/doc/91302
http://ipmu2006.lip6.fr/program.php
http://www.cnr.it/prodotto/i/91302
https://publications.cnr.it/doc/160226
http://www.cnr.it/prodotto/i/160226
http://ipmu2006.lip6.fr/program.php
https://hdl.handle.net/20.500.14243/61466

Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Autoři: Loyer Y. Straccia U.

Zdroj: ISTI Technical reports, 2005

Témata: top-down, I.2.3 Deduction and theorem proving. Logic programming, many-valued logic, nonmonotonic logic, Logic programming

Přístupová URL adresa: https://publications.cnr.it/doc/160229
http://www.cnr.it/prodotto/i/160229