Search Results - "I.2.3 Deduction and Theorem Proving. Logic programming"

Annotated answer set programming

Authors: Straccia U

Source: 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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Loyer Y. Straccia U.

Source: ISTI Technical reports, 2005

Subject Terms: top-down, I.2.3 Deduction and theorem proving. Logic programming, many-valued logic, nonmonotonic logic, Logic programming

Access URL: https://publications.cnr.it/doc/160229
http://www.cnr.it/prodotto/i/160229