| ACM Transactions on Computational Logic | SCIE (Science Citation Index Expanded) | Ja | Reviewer | 09/2014
                -
                03/2015 |  | 
| ACM Transactions on Computational Logic | SCIE (Science Citation Index Expanded) | Ja | Reviewer | 06/2015
                -
                08/2015 |  | 
| ACM Transactions on Computational Logic | SCIE (Science Citation Index Expanded) | Ja | Reviewer | 02/2016
                -
                06/2016 |  | 
| ACM Transactions on Computational Logic | SCIE (Science Citation Index Expanded) | Ja | Reviewer | 10/2016
                -
                01/2017 |  | 
| ACM Transactions on Computational Logic (TOCL) | unklassifiziert | Ja | Reviewer | 09/2014
                -
                11/2014 |  | 
| Acta Informatica | SCI (Science Citation Index) | Ja | Reviewer | 01/2016
                -
                05/2016 |  | 
| Artificial Intelligence (AIJ) | SCI (Science Citation Index) | Ja | Reviewer | 09/2015
                -
                11/2015 |  | 
| Fundamenta Informaticae | SCI (Science Citation Index) | Ja | Reviewer | 11/2015
                -
                04/2016 |  | 
| Fundamenta Informaticae | SCI (Science Citation Index) | Ja | Reviewer | 10/2012
                -
                02/2013 |  | 
| IEEE Intelligent Systems | SCI (Science Citation Index) | Ja | Reviewer | 08/2013
                -
                09/2013 |  | 
| Information Processing Letters | SCI (Science Citation Index) | Ja | Reviewer | 02/2015
                -
                09/2015 |  | 
| Information Sciences | SCI (Science Citation Index) | Ja | Reviewer | 08/2013
                -
                09/2013 |  | 
| Journal of Algorithms in Cognition, Informatics and Logic | SCI (Science Citation Index) | Ja | Reviewer | 05/2008
                -
                06/2008 |  | 
| Journal of Artificial Intelligence Research (JAIR) | SCI (Science Citation Index) | Ja | Reviewer | 03/2011
                -
                04/2011 |  | 
| Journal of Artificial Intelligence Research (JAIR) | SCI (Science Citation Index) | Ja | Reviewer | 08/2015
                -
                10/2015 |  | 
| Journal of Artificial Intelligence Research (JAIR) | SCI (Science Citation Index) | Ja | Reviewer | 08/2015
                -
                10/2015 |  | 
| Journal of Artificial Intelligence Research (JAIR) | SCI (Science Citation Index) | Ja | Reviewer | 01/2012
                -
                02/2012 |  | 
| Journal of Computer and System Sciences | unklassifiziert | Ja | Reviewer | 11/2010
                -
                02/2011 |  | 
| Journal of Computer and System Sciences | SCI (Science Citation Index) | Ja | Reviewer | 11/2015
                -
                04/2016 |  | 
| Journal of Computer and System Sciences | SCI (Science Citation Index) | Ja | Reviewer | 10/2016
                -
                01/2017 |  | 
| Journal of Logic and Computation | SCI (Science Citation Index) | Ja | Reviewer | 02/2008
                - |  | 
| Journal of Web Semantics | SCI (Science Citation Index) | Ja | Reviewer | 08/2014
                -
                10/2014 |  | 
| Journal of Web Semantics | SCI (Science Citation Index) | Ja | Reviewer | 02/2010
                -
                03/2010 |  | 
| Journal of Web Semantics | SCI (Science Citation Index) | Ja | Reviewer | 10/2013
                -
                01/2014 |  | 
| Studia Logica | SCIE (Science Citation Index Expanded) | Ja | Reviewer | 02/2011
                -
                03/2011 |  | 
| The Computer Journal | SCI (Science Citation Index) | Ja | Reviewer | 06/2014
                -
                08/2014 |  | 
| Theory and Practice of Logic Programming | SCI (Science Citation Index) | Ja | Reviewer | 01/2009
                -
                04/2009 |  | 
| Theory and Practice of Logic Programming (TPLP) | SCI (Science Citation Index) | Ja | Reviewer | 01/2009
                -
                04/2009 | Special issue LOGIC PROGRAMMING IN DATABASES (FROM DATALOG TO SEMANTIC-WEB RULES) |