Torsten Schaub
University of Potsdam(DE)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Multi-Agent Systems and Negotiation, Logic, programming, and type systems, Semantic Web and Ontologies, Formal Methods in Verification
Most-Cited Works
- → Potassco: The Potsdam Answer Set Solving Collection(2011)469 cited
- → Conflict-driven answer set solving: From theory to practice(2012)316 cited
- Conflict-driven answer set solving(2007)
- → Answer Set Solving in Practice(2012)288 cited
- → clasp: A Conflict-Driven Answer Set Solver(2007)266 cited
- → GrinGo: A New Grounder for Answer Set Programming(2007)195 cited
- → Inconsistency Tolerance(2005)174 cited
- → Theory Solving Made Easy with Clingo 5(2016)