pith. sign in

Torsten Schaub

Identifiers

  • name variant Torsten Schaub 0.60 · backfill

Papers (36)

  1. Meta-Programming for Linear-time Temporal Answer Set Programming cs.AI · 2026 · author #4
  2. Parametric Modular Answer Set Programs Made Declarative cs.AI · 2026 · author #3
  3. FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints cs.AI · 2026 · author #4
  4. anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report) cs.LO · 2018 · author #3
  5. Hybrid Metabolic Network Completion cs.LO · 2018 · author #2
  6. Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming cs.AI · 2018 · author #5
  7. Experimenting with robotic intra-logistics domains cs.AI · 2018 · author #4
  8. Temporal Answer Set Programming on Finite Traces cs.AI · 2018 · author #3
  9. Clingo goes Linear Constraints over Reals and Integers cs.AI · 2017 · author #4
  10. Multi-shot ASP solving with clingo cs.AI · 2017 · author #4
  11. Clingcon: The Next Generation cs.AI · 2017 · author #4
  12. Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective cs.MA · 2016 · author #2
  13. Grounding Recursive Aggregates: Preliminary Report cs.AI · 2016 · author #3
  14. Interactive Answer Set Programming - Preliminary Report cs.PL · 2015 · author #3
  15. Clingo = ASP + Control: Preliminary Report cs.PL · 2014 · author #4
  16. claspfolio 2: Advances in Algorithm Selection for Answer Set Programming cs.AI · 2014 · author #3
  17. Solver Scheduling via Answer Set Programming cs.AI · 2014 · author #4
  18. A System for Interactive Query Answering with Answer Set Programming cs.AI · 2013 · author #3
  19. Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming cs.AI · 2013 · author #4
  20. ROSoClingo: A ROS package for ASP-based robot control cs.RO · 2013 · author #4
  21. Answer Set Programming for Stream Reasoning cs.AI · 2013 · author #6
  22. Multi-threaded ASP Solving with clasp cs.LO · 2012 · author #3
  23. ASP modulo CSP: The clingcon system cs.LO · 2012 · author #2
  24. Complex Optimization in Answer Set Programming cs.LO · 2011 · author #3
  25. Automatic Network Reconstruction using ASP cs.LG · 2011 · author #2
  26. Introduction to the 26th International Conference on Logic Programming Special Issue cs.AI · 2010 · author #2
  27. Detecting Inconsistencies in Large Biological Networks with Answer Set Programming cs.LO · 2010 · author #2
  28. Heuristics in Conflict Resolution cs.AI · 2010 · author #4
  29. A general approach to belief change in answer set programming cs.AI · 2009 · author #2
  30. Graphs and colorings for answer set programming cs.AI · 2005 · author #3
  31. A semantic framework for preference handling in answer set programming cs.AI · 2003 · author #1
  32. A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report cs.AI · 2002 · author #3
  33. Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report cs.AI · 2002 · author #1
  34. A Consistency-Based Model for Belief Change: Preliminary Report cs.AI · 2000 · author #2
  35. Logic Programs with Compiled Preferences cs.AI · 2000 · author #2
  36. A Compiler for Ordered Logic Programs cs.AI · 2000 · author #2

Mentions

  • 1401.1024 #4 · backfill · confidence 0.70 Torsten Schaub
  • 1312.6143 #3 · backfill · confidence 0.70 Torsten Schaub
  • 1312.6113 #4 · backfill · confidence 0.70 Torsten Schaub
  • 2605.29965 #4 · arxiv_oai · confidence 0.70 Torsten Schaub
  • 1307.7398 #4 · backfill · confidence 0.70 Torsten Schaub
  • 2602.09620 #4 · arxiv_oai · confidence 0.70 Torsten Schaub
  • 1301.1392 #6 · backfill · confidence 0.70 Torsten Schaub
  • 1210.3265 #3 · backfill · confidence 0.70 Torsten Schaub
  • 1210.2287 #2 · backfill · confidence 0.70 Torsten Schaub
  • 2605.22716 #3 · arxiv_oai · confidence 0.70 Torsten Schaub
  • 1107.5742 #3 · backfill · confidence 0.70 Torsten Schaub
  • 1107.5671 #2 · backfill · confidence 0.70 Torsten Schaub
  • 1008.1710 #2 · backfill · confidence 0.70 Torsten Schaub
  • 1007.0134 #2 · backfill · confidence 0.70 Torsten Schaub
  • 1005.1716 #4 · backfill · confidence 0.70 Torsten Schaub
  • 0912.5511 #2 · backfill · confidence 0.70 Torsten Schaub

Frequent Coauthors