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...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 16; no. 4; pp. 418 - 464
Main Authors:	EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2016
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!