Sfoglia Tesi di Dottorato per Soggetto "Reasoning"
Items 1-1 di 1
-
Logic Programming in non-conventional environments
(2018-05-03)Logic Programming became a very useful paradigm in many different areas and thus several languages (and solvers) have been created to support various kinds of reasoning tasks. However, in the last decades, thanks also ...