Edit Profile (opens in new tab) Redl, Christoph Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 5 single-authored 8 Eiter, Thomas 6 Fink, Michael 6 Krennwallner, Thomas 4 Schüller, Peter 2 Kaminski, Tobias 2 Weinzierl, Antonius 1 Deng, Jun 1 Ianni, Giovambattista 1 Shen, Yidong 1 Wang, Kewen Serials 4 Theory and Practice of Logic Programming 2 Artificial Intelligence 2 The Journal of Artificial Intelligence Research (JAIR) Fields 13 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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.68016Shen, 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.68031Eiter, 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.68058Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter 8 2016 Conflict-driven ASP solving with external sources. Zbl 1260.68060Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 8 2012 Domain expansion for ASP-programs with external sources. Zbl 1351.68265Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 7 2016 The {dlvhex} system for knowledge representation: recent advances (system description). Zbl 1379.68304Redl, Christoph 5 2016 Exploiting partial assignments for efficient evaluation of answer set programs with external source access. Zbl 1448.68398Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius 2 2018 Explaining inconsistency in answer set programs and extensions. Zbl 1491.68047Redl, Christoph 2 2017 Exploiting unfounded sets for HEX-program evaluation. Zbl 1361.68030Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter 2 2012 Answer set programs with queries over subprograms. Zbl 1491.68046Redl, Christoph 1 2017 Exploiting partial assignments for efficient evaluation of answer set programs with external source access. Zbl 1448.68398Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius 2 2018 Explaining inconsistency in answer set programs and extensions. Zbl 1491.68047Redl, Christoph 2 2017 Answer set programs with queries over subprograms. Zbl 1491.68046Redl, Christoph 1 2017 A model building framework for answer set programming with external computations. Zbl 1379.68058Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter 8 2016 Domain expansion for ASP-programs with external sources. Zbl 1351.68265Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 7 2016 The {dlvhex} system for knowledge representation: recent advances (system description). Zbl 1379.68304Redl, Christoph 5 2016 FLP answer set semantics without circular justifications for general logic programs. Zbl 1391.68016Shen, 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.68031Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter 9 2014 Conflict-driven ASP solving with external sources. Zbl 1260.68060Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 8 2012 Exploiting unfounded sets for HEX-program evaluation. Zbl 1361.68030Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter 2 2012 all cited Publications top 5 cited Publications 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 all top 5 Cited in 6 Serials 16 Theory and Practice of Logic Programming 12 Artificial Intelligence 1 Fuzzy Sets and Systems 1 Machine Learning 1 Annals of Mathematics and Artificial Intelligence 1 Fundamenta Informaticae Cited in 4 Fields 37 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year