World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
58
Citations
12501
World Ranking
3655
National Ranking
164

Overview

Torsten Schaub is affiliated with the University of Potsdam in Germany and specializes in computer science with a significant focus on artificial intelligence. Their scholarly work spans several subfields including computational theory and mathematics, computer networks and communications, information systems, and management science and operations research.

The core themes of Schaub's research encompass areas such as logic, reasoning, and knowledge; multi-agent systems and negotiation; logic, programming, and type systems; formal methods in verification; AI-based problem solving and planning; constraint satisfaction and optimization; and the semantic web and ontologies.

Frequent publication venues for Schaub include:

  • arXiv (Cornell University)
  • Theory and Practice of Logic Programming
  • Proceedings of the International Symposium on Combinatorial Search
  • Algorithms
  • publish.UP (University of Potsdam)

Recent papers authored by or involving Schaub cover diverse topics within logic programming and answer set programming. Notable papers include:

  • "Verifying Tight Logic Programs with anthem and vampire" (2020, Theory and Practice of Logic Programming)
  • "Train Scheduling with Hybrid Answer Set Programming" (2020, Theory and Practice of Logic Programming)
  • "Linear-Time Temporal Answer Set Programming" (2021, Theory and Practice of Logic Programming)
  • "Answer Set Planning: A Survey" (2022, Theory and Practice of Logic Programming)
  • "Generalized Target Assignment and Path Finding Using Answer Set Programming" (2021, Proceedings of the International Symposium on Combinatorial Search)

Collaborations feature several frequent co-authors who have worked extensively with Schaub, including Pedro Cabalar, Jorge Fandinno, Philipp Wanko, Martín Diéguez, and Javier Romero. These partnerships reflect a collective engagement in the advancement of logic programming and AI-related research topics.

Best Publications

  • Conflict-driven answer set solving: From theory to practice

    Martin Gebser;Benjamin Kaufmann;Torsten Schaub

  • Answer Set Solving in Practice

    Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub

  • Potassco: The Potsdam Answer Set Solving Collection

    Martin Gebser;Benjamin Kaufmann;Roland Kaminski;Max Ostrowski

  • Conflict-driven answer set solving

    Martin Gebser;Benjamin Kaufmann;André Neumann;Torsten Schaub

  • Clasp: a conflict-driven answer set solver

    Martin Gebser;Benjamin Kaufmann;André Neumann;Torsten Schaub

  • Clingo = ASP + Control: Preliminary Report

    Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub

  • GrinGo: a new grounder for answer set programming

    Martin Gebser;Torsten Schaub;Sven Thiele

  • Multi-shot ASP solving with clingo

    Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub

  • Theory Solving Made Easy with Clingo 5

    Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Max Ostrowski

  • Advances in gringo series 3

    Martin Gebser;Roland Kaminski;Arne König;Torsten Schaub

  • A framework for compiling preferences in logic programs

    James P. Delgrande;Torsten Schaub;Hans Tompits

  • A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning

    James Patrick Delgrande;Torsten Schaub;Hans Tompits;Kewen Wang

  • Engineering an Incremental ASP Solver

    Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Max Ostrowski

  • ASP-Core-2 Input Language Format

    Francesco Calimeri;Wolfgang Faber;Martin Gebser;Giovambattista Ianni

  • Alternative approaches to default logic

    James P. Delgrande;Torsten Schaub;W. Ken Jackson

  • Constraint Answer Set Solving

    Martin Gebser;Max Ostrowski;Torsten Schaub

  • Detecting inconsistencies in large biological networks with answer set programming

    Martin Gebser;Torsten Schaub;Sven Thiele;Philippe Veber

  • AutoFolio: an automatically configured algorithm selector

    Marius Lindauer;Holger H. Hoos;Frank Hutter;Torsten Schaub

  • Inconsistency Tolerance

    Leopoldo Bertossi;Anthony Hunter;Torsten Schaub

  • International conference on logic programming

    Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub

  • Belief change based on global minimisation

    James P. Delgrande;Jérôme Lang;Torsten Schaub

  • Answer Set Programming

    Torsten Schaub

Frequent Co-Authors

Martin Gebser
Martin Gebser University of Klagenfurt
Holger H. Hoos
Holger H. Hoos RWTH Aachen University
Vladimir Lifschitz
Vladimir Lifschitz The University of Texas at Austin
Manuel V. Hermenegildo
Manuel V. Hermenegildo Madrid Institute for Advanced Studies
Gerhard Brewka
Gerhard Brewka Leipzig University
Joachim Selbig
Joachim Selbig Max Planck Society
Miroslaw Truszczynski
Miroslaw Truszczynski University of Kentucky
Frank Hutter
Frank Hutter University of Freiburg

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring related online programs can open new opportunities for students pursuing Computer Science in the USA. Degrees such as data science and electrical engineering are especially relevant. Many students are searching for the cheapest data science degree options to minimize student debt while acquiring in-demand skills.

For those interested in engineering, choosing one of the best accredited online electrical engineering programs ensures a recognized qualification and increased job prospects. Many employers also value industry certifications. Earning certifications for jobs that require less time and investment can help candidates quickly qualify for well-paying roles in tech.

If you are aiming for higher credentials, you might consider programs that let you earn your degree faster. Enrolling in the shortest masters degree programs allows you to advance your career in less time, combining affordability and speed with career-focused learning.

Best Scientists Citing Torsten Schaub

Trending Scientists