Výsledky vyhledávání - "Logic programming] Terms"
-
1
Autoři:
Přispěvatelé:
Zdroj: http://gaia.isti.cnr.it/~straccia/projects/Material/Papers/TR-UDLLPSemWeb/TR-UDLLPSemWeb.pdf.
Témata: Category, F.4.1, Mathematical Logic and Formal Languages, Mathematical Logic, Logic and constraint programming] Category, I.2.3, Artificial Intelligence, Deduction and Theorem Proving, Logic programming] Terms, Theory Keywords, Description Logics, Logic programs, uncertainty, Semantic Web
Popis souboru: application/pdf
-
2
Autoři:
Přispěvatelé:
Zdroj: http://faure.isti.cnr.it/~straccia/projects/Material/Papers/TR-UDLLPSemWeb/TR-UDLLPSemWeb.pdf.
Témata: Category, I.2.3, Artificial Intelligence, Deduction and Theorem Proving, Logic programming] Terms, Theory Keywords, Description Logics, Logic programs, uncertainty, Semantic Web
Popis souboru: application/pdf
-
3
Autoři:
Přispěvatelé:
Témata: Category, F.4.1, Mathematical Logic and Formal Languages, Mathematical Logic, Logic and constraint programming] Category, I.2.3, Artificial Intelligence, Deduction and Theorem Proving, Logic programming] Terms, Theory Keywords, Description Logics, Logic programs, uncertainty
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science