Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Béatrix, Christopher"'
The natural way to use Answer Set Programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first order logic program with default negation. In a preliminary step this program with varia
Externí odkaz:
http://arxiv.org/abs/1503.07717
Notions of justifications for logic programs under answer set semantics have been recently studied for atom-based approaches or argumentation approaches. The paper addresses the question in a rule-based answer set computation: the search algorithm do
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::196ef6bd3f54173593d0c11402fe8c94
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Beatrix, Christopher
L’ Answer Set Programming (ASP) est un formalisme capable de représenter des connaissances en Intelligence Artificielle à l’aide d’un programme logique au premier ordre pouvant contenir des négations par défaut. En quelques années, plusieu
Externí odkaz:
http://www.theses.fr/2016ANGE0026/document