Torsten Schaub
Scholar

Torsten Schaub

Google Scholar ID: XknBv7MAAAAJ
University of Potsdam
Artificial IntelligenceKnowledge Representation and ReasoningAnswer Set Programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,769
 
H-index
36
 
i10-index
109
 
Publications
20
 
Co-authors
130
list available
Contact
No contact links provided.
Publications
12 items
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
2026
Cited
0
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
2026
Cited
0
Implementing Metric Temporal Answer Set Programming
2026
Cited
0
Implementing the First-Order Logic of Here and There
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
1
Towards Constraint Temporal Answer Set Programming
2025
Cited
0
Towards Constraint Temporal Answer Set Programming
2025
Cited
0
Anthem 2.0: Automated Reasoning for Answer Set Programming
2025
Cited
0
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
2025
Cited
0
Resume (English only)
Co-authors
130 total
Martin Gebser
Martin Gebser
University of Klagenfurt
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Pedro Cabalar
Pedro Cabalar
University of A Coruña
Tomi Janhunen
Tomi Janhunen
Tampere University, Finland
Holger Hoos
Holger Hoos
RWTH Aachen University, Germany • Leiden University, Netherlands • University of British Columbia
Martin Diéguez
Martin Diéguez
University of Angers