×
Compute Distance To:
Author ID: redl.christoph Recent zbMATH articles by "Redl, Christoph"
Published as: Redl, Christoph
Documents Indexed: 13 Publications since 2012
Co-Authors: 10 Co-Authors with 8 Joint Publications
224 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 54 times in 37 Documents Cited by Year
FLP answer set semantics without circular justifications for general logic programs. Zbl 1391.68016
Shen, Yi-Dong; Wang, Kewen; Eiter, Thomas; Fink, Michael; Redl, Christoph; Krennwallner, Thomas; Deng, Jun
10
2014
Efficient HEX-program evaluation based on unfounded sets. Zbl 1361.68031
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
9
2014
A model building framework for answer set programming with external computations. Zbl 1379.68058
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
8
2016
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
8
2012
Domain expansion for ASP-programs with external sources. Zbl 1351.68265
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
7
2016
The {dlvhex} system for knowledge representation: recent advances (system description). Zbl 1379.68304
Redl, Christoph
5
2016
Exploiting partial assignments for efficient evaluation of answer set programs with external source access. Zbl 1448.68398
Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius
2
2018
Explaining inconsistency in answer set programs and extensions. Zbl 1491.68047
Redl, Christoph
2
2017
Exploiting unfounded sets for HEX-program evaluation. Zbl 1361.68030
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
2
2012
Answer set programs with queries over subprograms. Zbl 1491.68046
Redl, Christoph
1
2017
Exploiting partial assignments for efficient evaluation of answer set programs with external source access. Zbl 1448.68398
Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius
2
2018
Explaining inconsistency in answer set programs and extensions. Zbl 1491.68047
Redl, Christoph
2
2017
Answer set programs with queries over subprograms. Zbl 1491.68046
Redl, Christoph
1
2017
A model building framework for answer set programming with external computations. Zbl 1379.68058
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
8
2016
Domain expansion for ASP-programs with external sources. Zbl 1351.68265
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
7
2016
The {dlvhex} system for knowledge representation: recent advances (system description). Zbl 1379.68304
Redl, Christoph
5
2016
FLP answer set semantics without circular justifications for general logic programs. Zbl 1391.68016
Shen, Yi-Dong; Wang, Kewen; Eiter, Thomas; Fink, Michael; Redl, Christoph; Krennwallner, Thomas; Deng, Jun
10
2014
Efficient HEX-program evaluation based on unfounded sets. Zbl 1361.68031
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
9
2014
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
8
2012
Exploiting unfounded sets for HEX-program evaluation. Zbl 1361.68030
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
2
2012
all top 5

Cited by 80 Authors

12 Eiter, Thomas
6 Fink, Michael
6 Redl, Christoph
4 Krennwallner, Thomas
4 Schüller, Peter
3 Shen, Yidong
2 Alviano, Mario
2 Amendola, Giovanni
2 Beck, Harald
2 Dao-Tran, Minh
2 Gebser, Martin
2 Kaminski, Tobias
2 Kaufmann, Benjamin
2 Ricca, Francesco
2 Schaub, Torsten H.
2 Weinzierl, Antonius
2 Woltran, Stefan
1 Antić, Christian
1 Banbara, Mutsunori
1 Baumgartner, Peter
1 Bichler, Manuel
1 Bierbaumer, Bruno
1 Brewka, Gerhard
1 Calegari, Roberta
1 Calimeri, Francesco
1 Cauteruccio, Francesco
1 Ciatto, Giovanni
1 Cinelli, Luca
1 Cornejo, Maria Eugenia
1 Costantini, Stefania
1 Cropper, Andrew
1 Cuteri, Bernardo
1 Denecker, Marc
1 Deng, Jun
1 Diller, Martin
1 Dodaro, Carmine
1 Durand-Dubief, Françoise
1 Faber, Wolfgang
1 Formisano, Andrea
1 Friedrich, Gerhard E.
1 Gelfond, Michael
1 Greco, Gianluigi
1 Heissenberger, Georg
1 Hellwagner, Hermann
1 Ianni, Giovambattista
1 Inoue, Katsumi
1 Janssens, Gerda
1 Kaminski, Roland
1 Leone, Nicola
1 Lierler, Yuliya
1 Linsbichler, Thomas
1 Lobo, David
1 Marzullo, Aldo
1 Medina, Jesús
1 Morak, Michael
1 Morel, Rolf
1 Muggleton, Stephen H.
1 Oetsch, Johannes
1 Omicini, Andrea
1 Ostrowski, Max
1 Paramonov, Sergey
1 Phan Minh Dung
1 Pührer, Jörg
1 Sappey-Marinier, Dominique
1 Schekotihin, Konstantin
1 Son, Tran Cao
1 Stamile, Claudio
1 Stepanova, Daria A.
1 Susman, Benjamin
1 Taupe, Richard
1 Terracina, Giorgio
1 Thang, Phan Minh
1 Tompits, Hans
1 Truszczyński, Mirosław
1 van der Hallen, Matthias
1 Veltri, Pierfrancesco
1 Wang, Kewen
1 Zhang, Yan
1 Zhang, Yuanlin
1 Zhou, Yi

Citations by Year