← Back to directory
Torsten Schaub
Researcher Next ID · RN-000549
Professor · Computer Science
Potsdam, Germany
Not currently recruitingFunding unknown
- Works count
- 454
- Citation count
- 8,654
- H-index
- 48
- i10-index
- 163
About
454 publications and 8,654 citations recorded on OpenAlex.
Research interests
Computer Science
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
Logic, programming, and type systems
Semantic Web and Ontologies
Formal Methods in Verification
Publications
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence · 2012 · 10.1016/j.artint.2012.04.001
Answer Set Solving in Practice
Synthesis lectures on artificial intelligence and machine learning · 2012 · 10.2200/s00457ed1v01y201211aim019
Potassco: The Potsdam Answer Set Solving Collection
AI Communications · 2011 · 10.3233/aic-2011-0491
Conflict-driven answer set solving
Journal · 2007
clasp: A Conflict-Driven Answer Set Solver
Lecture notes in computer science · 2007 · 10.1007/978-3-540-72200-7_23
Current projects
No projects listed.