Credulous resolution for answer set programming

Autor:	Piero Andrea BONATTI, Pontelli, E., Son, T. C.
Přispěvatelé:	D. Fox, C. P. Gomes, Bonatti, PIERO ANDREA, Enrico, Pontelli, Tran Cao, Son
Jazyk:	angličtina
Rok vydání:	2008
Předmět:	Resolution calculi Answer set programming Nonmonotonic reasoning
Zdroj:	Scopus-Elsevier
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::77fa00ed8c88b99dd5847897faf61466 http://hdl.handle.net/11588/333992 Zobrazit plný text záznamu