The External Interface for Extending WASP

Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the conflict-driven clause learning (CDCL) backtracking search algorithm. Recent work suggested that the performance of CDCL-based implem...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 20; číslo 2; s. 225 - 248
Hlavní autoři:	DODARO, CARMINE, RICCA, FRANCESCO
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge Cambridge University Press 01.03.2020
Témata:	Algorithms Declarative programming Interfaces Knowledge representation Machine learning Mathematical programming Search algorithms Solvers
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!