A model building framework for answer set programming with external computations

As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need, hex programs were designed as a generalization of a...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 16; číslo 4; s. 418 - 464
Hlavní autoři:	EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2016
Témata:	Buildings Computational efficiency Flexibility Formalism Graphs Logic programming Programming Regular Papers Tasks external computation, hex programs model building answer set programming
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!