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á bibliografia

Vydané v:	Theory and practice of logic programming Ročník 16; číslo 4; s. 418 - 464
Hlavní autori:	EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.07.2016
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!