Record Type: Journal Article / Author/Creator: REDL, CHRISTOPH - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Record Type Journal Article Author/Creator REDL, CHRISTOPH

1. A model building framework for answer set programming with external computations*. Issue 4 (13th August 2015)

Authors:: EITER, THOMAS; FINK, MICHAEL; IANNI, GIOVAMBATTISTA; KRENNWALLNER, THOMAS; REDL, CHRISTOPH; SCHÜLLER, PETER
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 4(2016)
Page Start:: 418
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Inlining External Sources in Answer Set Programs. Issue 3 (11th February 2019)

Authors:: REDL, CHRISTOPH
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 3(2019)
Page Start:: 360
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. The dlvhex system for knowledge representation: recent advances (system description)*. Issue 5 (14th October 2016)

Authors:: REDL, CHRISTOPH
Editors:: Carro, Manuel; King, Andy
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 5/6(2016)
Page Start:: 866
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗