Knowledge Processing and Information Systems
Torsten Schaub

Prof. Dr. Torsten Schaub

University of Potsdam
Institute of Computer Science
An der Bahn 2
D-14476 Potsdam

Campus Golm, Building 70, Room 02.33

Phone   +49-331-977-3080/3081
Fax   +49-331-977-3122
Email  torsten@cs.uni-potsdam.de
Homepage  Homepage

Publications

2024

  1. Kaminski, R., Schaub, T., Strauch, K., & Svancara Jirı́. (2024). Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers. In ICAART (1) (pp. 264–271). SCITEPRESS. [bib]
  2. Svancara Jirı́, Atzmon, D., Strauch, K., Kaminski, R., & Schaub, T. (2024). Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends. In ICAART (3) (pp. 23–33). SCITEPRESS. [bib]
  3. Yamada, Y., Banbara, M., Inoue, K., Schaub, T., & Uehara, R. (2024). Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. In WALCOM (Vol. 14549, pp. 242–256). Springer. [bib]
  4. Becker, A., Cabalar, P., Diéguez Martı́n, Cerro, L. F. del, Schaub, T., & Schuhmann, A. (2024). Metric Dynamic Equilibrium Logic. CoRR, abs/2401.10781. [pdf] [bib]
  5. Romero, J., Schaub, T., & Strauch, K. (2024). On the generalization of learned constraints for ASP solving in temporal domains. CoRR, abs/2401.16124. [pdf] [bib]
  6. Kaminski, R., Schaub, T., Son, T. C., Svancara Jirı́, & Wanko, P. (2024). Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. CoRR, abs/2403.12153. [pdf] [bib]
  7. Sugimori, I., Inoue, K., Nabeshima, H., Schaub, T., Soh, T., Tamura, N., & Banbara, M. (2024). Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR, abs/2405.11305. [pdf] [bib]
  8. Müller, L., Wanko, P., Haubelt, C., & Schaub, T. (2024). Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design. Int. J. Parallel Program., 52(1), 59–92. [bib]

2023

  1. Fandinno, J., Mishra, S., Romero, J., & Schaub, T. (2023). Answer Set Programming Made Easy. In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Vol. 13160, pp. 133–150). Springer. [pdf] [bib]
  2. Comploi-Taupe, R., Falkner, A. A., Hahn, S., Schaub, T., & Schenner, G. (2023). Interactive Configuration with ASP Multi-Shot Solving. In ConfWS (Vol. 3509, pp. 95–103). CEUR-WS.org. [pdf] [bib]
  3. Rühling, N., Schaub, T., & Stolzmann, T. (2023). Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. In ConfWS (Vol. 3509, pp. 85–94). CEUR-WS.org. [pdf] [bib]
  4. Svancara Jirı́, Obermeier, P., Husár, M., Barták, R., & Schaub, T. (2023). Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? In ICAART (1) (pp. 199–206). SCITEPRESS. [bib]
  5. Behrens, J., Kaminski, R., Schaub, T., Son, T. C., Svancara, J., & Wanko, P. (2023). Routing and Scheduling in different ways: Abridged Preliminary Report. In ICLP Workshops (Vol. 3437). CEUR-WS.org. [pdf] [bib]
  6. Cabalar, P., Diéguez Martı́n, Laferrière, F., & Schaub, T. (2023). Past-present temporal programs over finite traces: a preliminary report. In ICLP Workshops (Vol. 3437). CEUR-WS.org. [pdf] [bib]
  7. Hahn, S., Martens, C., Nemes, A., Otunuya, H., Romero, J., Schaub, T., & Schellhorn, S. (2023). Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). In ICLP Workshops (Vol. 3437). CEUR-WS.org. [pdf] [bib]
  8. Cabalar, P., Diéguez Martı́n, Laferrière, F., & Schaub, T. (2023). Past-Present Temporal Programs over Finite Traces. In JELIA (Vol. 14281, pp. 787–795). Springer. [pdf] [bib]
  9. Hirate, T., Banbara, M., Inoue, K., Lu, X.-N., Nabeshima, H., Schaub, T., … Tamura, N. (2023). Hamiltonian Cycle Reconfiguration with Answer Set Programming. In JELIA (Vol. 14281, pp. 262–277). Springer. [bib]
  10. Yamada, Y., Banbara, M., Inoue, K., & Schaub, T. (2023). Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. In JELIA (Vol. 14281, pp. 278–286). Springer. [bib]
  11. Takeuchi, R., Banbara, M., Tamura, N., & Schaub, T. (2023). Solving Vehicle Equipment Specification Problems with Answer Set Programming. In PADL (Vol. 13880, pp. 232–249). Springer. [bib]
  12. Svancara Jirı́, Tignon, E., Barták, R., Schaub, T., Wanko, P., & Kaminski, R. (2023). Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. In SOCS (pp. 185–186). AAAI Press. [bib]
  13. Brewka, G., Delgrande, J. P., Romero, J., & Schaub, T. (2023). A general framework for preferences in answer set programming. Artif. Intell., 325, 104023. [pdf] [bib]
  14. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2023). On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms, 16(4), 185. [pdf] [bib]
  15. Haubelt, C., Müller, L., Neubauer, K., Schaub, T., & Wanko, P. (2023). Evolutionary System Design with Answer Set Programming. Algorithms, 16(4), 179. [pdf] [bib]
  16. Rajaratnam, D., Schaub, T., Wanko, P., Chen, K., Liu, S., & Son, T. C. (2023). Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. Algorithms, 16(4), 216. [pdf] [bib]
  17. Hahn, S., Sabuncu, O., Schaub, T., & Stolzmann, T. (2023). Clingraph: A System for ASP-based Visualization. CoRR, abs/2303.10118. [pdf] [bib]
  18. Becker, A., Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2023). Metric Temporal Equilibrium Logic over Timed Traces. CoRR, abs/2304.14778. [pdf] [bib]
  19. Yamada, Y., Banbara, M., Inoue, K., & Schaub, T. (2023). Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR, abs/2307.10688. [bib]
  20. Cabalar, P., Diéguez Martı́n, Laferrière, F., & Schaub, T. (2023). Past-present temporal programs over finite traces. CoRR, abs/2307.12620. [pdf] [bib]
  21. Becker, A., Cabalar, P., Diéguez Martı́n, Cerro, L. F. del, Schaub, T., & Schuhmann, A. (2023). Metric dynamic equilibrium logic. J. Appl. Non Class. Logics, 33(3-4), 495–519. [pdf] [bib]
  22. Aguado, F., Cabalar, P., Diéguez Martı́n, Pérez, G., Schaub, T., Schuhmann, A., & Vidal, C. (2023). Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program., 23(1), 2–56. [pdf] [bib]
  23. Kaminski, R., Romero, J., Schaub, T., & Wanko, P. (2023). How to Build Your Own ASP-based System?! Theory Pract. Log. Program., 23(1), 299–361. [pdf] [bib]
  24. Kaminski, R., & Schaub, T. (2023). On the Foundations of Grounding in Answer Set Programming. Theory Pract. Log. Program., 23(6), 1138–1197. [pdf] [bib]
  25. Son, T. C., Pontelli, E., Balduccini, M., & Schaub, T. (2023). Answer Set Planning: A Survey. Theory Pract. Log. Program., 23(1), 226–298. [bib]

2022

  1. Husár, M., Svancara Jirı́, Obermeier, P., Barták, R., & Schaub, T. (2022). Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. In AAMAS (pp. 624–632). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). [pdf] [bib]
  2. Herud, K., Baumeister, J., Sabuncu, O., & Schaub, T. (2022). Conflict Handling in Product Configuration using Answer Set Programming. In ICLP Workshops (Vol. 3193). CEUR-WS.org. [bib]
  3. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2022). Metric Temporal Answer Set Programming over Timed Traces. In LPNMR (Vol. 13416, pp. 117–130). Springer. [bib]
  4. Hahn, S., Sabuncu, O., Schaub, T., & Stolzmann, T. (2022). Clingraph: ASP-Based Visualization. In LPNMR (Vol. 13416, pp. 401–414). Springer. [pdf] [bib]
  5. Romero, J., Schaub, T., & Strauch, K. (2022). On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. In RuleML+RR (Vol. 13752, pp. 20–37). Springer. [bib]
  6. Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N., & Schaub, T. (2022). Plingo: A System for Probabilistic Reasoning in Clingo Based on LP^MLN. In RuleML+RR (Vol. 13752, pp. 54–62). Springer. [pdf] [bib]
  7. Svancara Jirı́, Obermeier, P., Husár, M., Barták, R., & Schaub, T. (2022). Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). In SOCS (pp. 320–322). AAAI Press. [bib]
  8. Son, T. C., Pontelli, E., Balduccini, M., & Schaub, T. (2022). Answer Set Planning: A Survey. CoRR, abs/2202.05793. [pdf] [bib]
  9. Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N., & Schaub, T. (2022). plingo: A system for probabilistic reasoning in clingo based on lpmln. CoRR, abs/2206.11515. [pdf] [bib]

2021

  1. Cabalar, P., Diéguez Martı́n, Hahn, S., & Schaub, T. (2021). Automata for Dynamic Answer Set Solving: Preliminary Report. In ICLP Workshops (Vol. 2970). CEUR-WS.org. [pdf] [bib]
  2. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2021). Towards a Semantics for Hybrid ASP systems. CoRR, abs/2108.03061. [pdf] [bib]
  3. Kaminski, R., & Schaub, T. (2021). On the Foundations of Grounding in Answer Set Programming. CoRR, abs/2108.04769. [pdf] [bib]
  4. Fandinno, J., Laferrière, F., Romero, J., Schaub, T., & Son, T. C. (2021). Planning with Incomplete Information in Quantified Answer Set Programming. CoRR, abs/2108.06405. [pdf] [bib]
  5. Cabalar, P., Diéguez Martı́n, Hahn, S., & Schaub, T. (2021). Automata for dynamic answer set solving: Preliminary report. CoRR, abs/2109.01782. [pdf] [bib]
  6. Fandinno, J., Mishra, S., Romero, J., & Schaub, T. (2021). Answer Set Programming Made Easy. CoRR, abs/2111.06366. [pdf] [bib]
  7. Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., & Wanko, P. (2021). Train Scheduling with Hybrid Answer Set Programming. Theory Pract. Log. Program., 21(3), 317–347. [bib]
  8. Fandinno, J., Laferrière, F., Romero, J., Schaub, T., & Son, T. C. (2021). Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program., 21(5), 663–679. [pdf] [bib]
  9. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2021). Metric Temporal Answer Set Programming over Timed Traces (extended abstract). In Stream Reasoning Workshop. [pdf] [bib]

2020

  1. Lifschitz, V., Lühne, P., & Schaub, T. (2020). Towards Verifying Logic Programs in the Input Language of clingo. In Fields of Logic and Computation III (Vol. 12180, pp. 190–209). Springer. [pdf] [bib]
  2. Cabalar, P., Diéguez Martı́n, Schaub, T., & Laferrière, F. (2020). Implementing Dynamic Answer Set Programming over Finite Traces. In ECAI (Vol. 325, pp. 656–663). IOS Press. [pdf] [bib]
  3. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2020). An ASP Semantics for Constraints Involving Conditional Aggregates. In ECAI (Vol. 325, pp. 664–671). IOS Press. [pdf] [bib]
  4. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2020). A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. In KR (pp. 193–202). [pdf] [bib]
  5. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2020). An ASP semantics for Constraints involving Conditional Aggregates. CoRR, abs/2002.06911. [pdf] [bib]
  6. Cabalar, P., Diéguez Martı́n, Schaub, T., & Laferrière, F. (2020). Implementing Dynamic Answer Set Programming. CoRR, abs/2002.06916. [pdf] [bib]
  7. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2020). A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR, abs/2003.04176. [pdf] [bib]
  8. Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., & Wanko, P. (2020). Train Scheduling with Hybrid Answer Set Programming. CoRR, abs/2003.08598. [pdf] [bib]
  9. Cabalar, P., Fandinno, J., Garea, J., Romero, J., & Schaub, T. (2020). eclingo: A solver for Epistemic Logic Programs. CoRR, abs/2008.02018. [pdf] [bib]
  10. Fandinno, J., Lifschitz, V., Lühne, P., & Schaub, T. (2020). Verifying Tight Logic Programs with anthem and Vampire. CoRR, abs/2008.02025. [pdf] [bib]
  11. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2020). Towards Metric Temporal Answer Set Programming. CoRR, abs/2008.02038. [pdf] [bib]
  12. Kaminski, R., Romero, J., Schaub, T., & Wanko, P. (2020). How to build your own ASP-based system?! CoRR, abs/2008.06692. [pdf] [bib]
  13. Aguado, F., Cabalar, P., Diéguez Martı́n, Pérez, G., Schaub, T., Schuhmann, A., & Vidal, C. (2020). Temporal Answer Set Programming. CoRR, abs/2009.06544. [pdf] [bib]
  14. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2020). Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program., 20(5), 783–798. [pdf] [bib]
  15. Cabalar, P., Fandinno, J., Garea, J., Romero, J., & Schaub, T. (2020). eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program., 20(6), 834–847. [pdf] [bib]
  16. Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., … Schaub, T. (2020). ASP-Core-2 Input Language Format. Theory Pract. Log. Program., 20(2), 294–309. [pdf] [bib]
  17. Fandinno, J., Lifschitz, V., Lühne, P., & Schaub, T. (2020). Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program., 20(5), 735–750. [pdf] [bib]
  18. Fandinno, J., Mishra, S., Romero, J., & Schaub, T. (2020). Answer Set Programming Made Easy. In ASPOCP@ICLP. [pdf] [bib]

2019

  1. Cabalar, P., & Schaub, T. (2019). Temporal Logic Programs with Temporal Description Logic Axioms. In Description Logic, Theory Combination, and All That (Vol. 11560, pp. 174–186). Springer. [pdf] [bib]
  2. Cabalar, P., & Schaub, T. (2019). Dynamic and Temporal Answer Set Programming on Linear Finite Traces. In Datalog (Vol. 2368, pp. 3–6). CEUR-WS.org. [pdf] [bib]
  3. Alviano, M., Romero, J., & Schaub, T. (2019). On the Integration of CP-nets in ASPRIN. In IJCAI (pp. 1495–1501). ijcai.org. [pdf] [bib]
  4. Cabalar, P., Fandinno, J., Schaub, T., & Schellhorn, S. (2019). Lower Bound Founded Logic of Here-and-There. In JELIA (Vol. 11468, pp. 509–525). Springer. [pdf] [bib]
  5. Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., & Wanko, P. (2019). Train Scheduling with Hybrid ASP. In LPNMR (Vol. 11481, pp. 3–17). Springer. [pdf] [bib]
  6. Cabalar, P., Diéguez Martı́n, & Schaub, T. (2019). Towards Dynamic Answer Set Programming over Finite Traces. In LPNMR (Vol. 11481, pp. 148–162). Springer. [pdf] [bib]
  7. Cabalar, P., Kaminski, R., Morkisch, P., & Schaub, T. (2019). telingo = ASP + Time. In LPNMR (Vol. 11481, pp. 256–269). Springer. [pdf] [bib]
  8. Everardo, F., Janhunen, T., Kaminski, R., & Schaub, T. (2019). The Return of xorro. In LPNMR (Vol. 11481, pp. 284–297). Springer. [pdf] [bib]
  9. Lifschitz, V., Lühne, P., & Schaub, T. (2019). Verifying Strong Equivalence of Programs in the Input Language of gringo. In LPNMR (Vol. 11481, pp. 270–283). Springer. [pdf] [bib]
  10. Nguyen, V., Obermeier, P., Son, T. C., Schaub, T., & Yeoh, W. (2019). Generalized Target Assignment and Path Finding Using Answer Set Programming. In SOCS (pp. 194–195). AAAI Press. [bib]
  11. Cabalar, P., Fandinno, J., Schaub, T., & Schellhorn, S. (2019). Gelfond-Zhang aggregates as propositional formulas. Artif. Intell., 274, 26–43. [pdf] [bib]
  12. Banbara, M., Inoue, K., Kaufmann, B., Okimoto, T., Schaub, T., Soh, T., … Wanko, P. (2019). teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Annals OR, 275(1), 3–37. [pdf] [bib]
  13. Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., … Schaub, T. (2019). ASP-Core-2 Input Language Format. CoRR, abs/1911.04326. [pdf] [bib]
  14. Obermeier, P., Romero, J., & Schaub, T. (2019). Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report. OJDB, 6(1), 33–38. [pdf] [bib]
  15. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., & Schaub, T. (2019). plasp 3: Towards Effective ASP Planning. TPLP, 19(3), 477–504. [pdf] [bib]
  16. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2019). Hybrid metabolic network completion. TPLP, 19(1), 83–108. [pdf] [bib]
  17. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2019). Multi-shot ASP solving with clingo. TPLP, 19(1), 27–82. [pdf] [bib]

2018

  1. Schäpers, B., Niemueller, T., Lakemeyer, G., Gebser, M., & Schaub, T. (2018). ASP-Based Time-Bounded Planning for Logistics Robots. In ICAPS (pp. 509–517). AAAI Press. [pdf] [bib]
  2. Neubauer, K., Haubelt, C., Wanko, P., & Schaub, T. (2018). Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. In ASP-DAC (pp. 434–439). IEEE. [pdf] [bib]
  3. Razzaq, M., Kaminski, R., Romero, J., Schaub, T., Bourdon, J., & Guziolowski, C. (2018). Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. In CMSB (Vol. 11095, pp. 59–74). Springer. [pdf] [bib]
  4. Neubauer, K., Haubelt, C., Wanko, P., & Schaub, T. (2018). On leveraging approximations for exact system-level design space exploration: work-in-progress. In CODES+ISSS (pp. 15:1–15:2). IEEE / ACM. [pdf] [bib]
  5. Neubauer, K., Wanko, P., Schaub, T., & Haubelt, C. (2018). Exact multi-objective design space exploration using ASPmT. In DATE (pp. 257–260). IEEE. [pdf] [bib]
  6. Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F., & Schaub, T. (2018). Evaluation Techniques and Systems for Answer Set Programming: a Survey. In IJCAI (pp. 5450–5456). ijcai.org. [bib]
  7. Alviano, M., Romero, J., & Schaub, T. (2018). Preference Relations by Approximation. In KR (pp. 2–11). AAAI Press. [pdf] [bib]
  8. Bosser, A.-G., Cabalar, P., Diéguez Martı́n, & Schaub, T. (2018). Introducing Temporal Stable Models for Linear Dynamic Logic. In KR (pp. 12–21). AAAI Press. [pdf] [bib]
  9. Neubauer, K., Haubelt, C., Wanko, P., & Schaub, T. (2018). Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. In MBMV. Universität Tübingen. [bib]
  10. Cabalar, P., Kaminski, R., Schaub, T., & Schuhmann, A. (2018). Temporal Answer Set Programming on Finite Traces. CoRR, abs/1804.10227. [pdf] [bib]
  11. Gebser, M., Obermeier, P., Otto, T., Schaub, T., Sabuncu, O., Nguyen, V., & Son, T. C. (2018). Experimenting with robotic intra-logistics domains. CoRR, abs/1804.10247. [pdf] [bib]
  12. Gebser, M., Obermeier, P., Ratsch-Heitmann, M., Runge, M., & Schaub, T. (2018). Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. CoRR, abs/1804.10437. [pdf] [bib]
  13. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2018). Hybrid Metabolic Network Completion. CoRR, abs/1808.04149. [pdf] [bib]
  14. Lifschitz, V., Lühne, P., & Schaub, T. (2018). anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR, abs/1810.00453. [pdf] [bib]
  15. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., & Schaub, T. (2018). plasp 3: Towards Effective ASP Planning. CoRR, abs/1812.04491. [pdf] [bib]
  16. Bobda, C., Yonga, F., Gebser, M., Ishebabi, H., & Schaub, T. (2018). High-level synthesis of on-chip multiprocessor architectures based on answer set programming. J. Parallel Distrib. Comput., 117, 161–179. [bib]
  17. Brewka, G., Ellmauthaler, S., Kern-Isberner, G., Obermeier, P., Ostrowski, M., Romero, J., … Schieweck, S. (2018). Advanced Solving Technology for Dynamic and Reactive Applications. KI, 32(2-3), 199–200. [pdf] [bib]
  18. Brewka, G., Schaub, T., & Woltran, S. (2018). Interview with Gerhard Brewka. KI, 32(2-3), 219–221. [pdf] [bib]
  19. Gebser, M., Kaminski, R., Kaufmann, B., Lühne, P., Obermeier, P., Ostrowski, M., … Wanko, P. (2018). The Potsdam Answer Set Solving Collection 5.0. KI, 32(2-3), 181–182. [pdf] [bib]
  20. Haubelt, C., Neubauer, K., Schaub, T., & Wanko, P. (2018). Design Space Exploration with Answer Set Programming. KI, 32(2-3), 205–206. [pdf] [bib]
  21. Lifschitz, V., Schaub, T., & Woltran, S. (2018). Interview with Vladimir Lifschitz. KI, 32(2-3), 213–218. [pdf] [bib]
  22. Schaub, T., & Woltran, S. (2018). Special Issue on Answer Set Programming. KI, 32(2-3), 101–103. [pdf] [bib]
  23. Schaub, T., & Woltran, S. (2018). Answer set programming unleashed! KI, 32(2-3), 105–108. [pdf] [bib]
  24. Cabalar, P., Kaminski, R., Schaub, T., & Schuhmann, A. (2018). Temporal Answer Set Programming on Finite Traces. TPLP, 18(3-4), 406–420. [pdf] [bib]
  25. Gebser, M., Obermeier, P., Otto, T., Schaub, T., Sabuncu, O., Nguyen, V., & Son, T. C. (2018). Experimenting with robotic intra-logistics domains. TPLP, 18(3-4), 502–519. [pdf] [bib]
  26. Gebser, M., Obermeier, P., Schaub, T., Ratsch-Heitmann, M., & Runge, M. (2018). Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. TPLP, 18(3-4), 520–534. [pdf] [bib]
  27. Cabalar, P., Fandinno, J., Schaub, T., & Schellhorn, S. (2018). Lower Bound Founded Logic of Here-and-There: A Preliminary Report. In NMR@KR (pp. 31–41). [pdf] [bib]

2017

  1. Neubauer, K., Wanko, P., Schaub, T., & Haubelt, C. (2017). Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. In DATE (pp. 306–309). IEEE. [pdf] [bib]
  2. Lindauer, M., Hutter, F., Hoos, H. H., & Schaub, T. (2017). AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). In IJCAI (pp. 5025–5029). ijcai.org. [bib]
  3. Nguyen, V., Obermeier, P., Son, T. C., Schaub, T., & Yeoh, W. (2017). Generalized Target Assignment and Path Finding Using Answer Set Programming. In IJCAI (pp. 1216–1223). ijcai.org. [pdf] [bib]
  4. Romero, J., Schaub, T., & Son, T. C. (2017). Generalized Answer Set Planning with Incomplete Information. In ASPOCP@LPNMR (Vol. 1868). CEUR-WS.org. [pdf] [bib]
  5. Banbara, M., Inoue, K., Kaneyuki, H., Okimoto, T., Schaub, T., Soh, T., & Tamura, N. (2017). catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. In LPNMR (Vol. 10377, pp. 265–278). Springer. [pdf] [bib]
  6. Cabalar, P., Fandinno, J., Schaub, T., & Schellhorn, S. (2017). Gelfond-Zhang Aggregates as Propositional Formulas. In LPNMR (Vol. 10377, pp. 117–131). Springer. [pdf] [bib]
  7. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., & Schaub, T. (2017). plasp 3: Towards Effective ASP Planning. In LPNMR (Vol. 10377, pp. 286–300). Springer. [pdf] [bib]
  8. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2017). Hybrid Metabolic Network Completion. In LPNMR (Vol. 10377, pp. 308–321). Springer. [pdf] [bib]
  9. Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S., & Wanko, P. (2017). clingo goes Linear Constraints over Reals and Integers. In ASPOCP@LPNMR (Vol. 1868). CEUR-WS.org. [bib]
  10. Kaminski, R., Schaub, T., & Wanko, P. (2017). A Tutorial on Hybrid Answer Set Solving with clingo. In Reasoning Web (Vol. 10370, pp. 167–203). Springer. [pdf] [bib]
  11. Lindauer, M., Hoos, H. H., Leyton-Brown, K., & Schaub, T. (2017). Automatic construction of parallel portfolios via algorithm configuration. Artif. Intell., 244, 272–290. [pdf] [bib]
  12. Guyet, T., Moinard, Y., Quiniou, R., & Schaub, T. (2017). Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. CoRR, abs/1711.05090. [bib]
  13. Banbara, M., Kaufmann, B., Ostrowski, M., & Schaub, T. (2017). Clingcon: The Next Generation. CoRR, abs/1705.04569. [bib]
  14. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2017). Multi-shot ASP solving with clingo. CoRR, abs/1705.09811. [pdf] [bib]
  15. Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S., & Wanko, P. (2017). Clingo goes Linear Constraints over Reals and Integers. CoRR, abs/1707.04053. [pdf] [bib]
  16. Banbara, M., Kaufmann, B., Ostrowski, M., & Schaub, T. (2017). Clingcon: The next generation. TPLP, 17(4), 408–461. [pdf] [bib]
  17. Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P., & Schaub, T. (2017). Clingo goes linear constraints over reals and integers. TPLP, 17(5-6), 872–888. [pdf] [bib]

2016

  1. Son, T. C., Sabuncu, O., Schulz-Hanke, C., Schaub, T., & Yeoh, W. (2016). Solving Goal Recognition Design Using ASP. In AAAI (pp. 3181–3187). AAAI Press. [pdf] [bib]
  2. Becker, K., Bockmayer, A., Gebser, M., & Schaub, T. (2016). Answer Set Programming for Logical Analysis of Data. In WCB@CP (pp. 15–26). [bib]
  3. Vicol, P., Delgrande, J. P., & Schaub, T. (2016). A Minimization-Based Approach to Iterated Multi-Agent Belief Change. In ECAI (Vol. 285, pp. 1221–1229). IOS Press. [bib]
  4. Guyet, T., Moinard, Y., Quiniou, R., & Schaub, T. (2016). Fouille de motifs séquentiels avec ASP. In EGC (Vol. E-30, pp. 39–50). Hermann-Éditions. [bib]
  5. Guyet, T., Moinard, Y., Quiniou, R., & Schaub, T. (2016). Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. In EGC (best of volume) (Vol. 732, pp. 41–81). Springer. [bib]
  6. Romero, J., Schaub, T., & Wanko, P. (2016). Computing Diverse Optimal Stable Models. In ICLP (Technical Communications) (Vol. 52, pp. 3:1–3:14). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  7. Gebser, M., Kaminski, R., Kaufmann, B., Lühne, P., Romero, J., & Schaub, T. (2016). Answer Set Solving with Generalized Learned Constraints. In ICLP (Technical Communications) (Vol. 52, pp. 9:1–9:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  8. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving Made Easy with Clingo 5. In ICLP (Technical Communications) (Vol. 52, pp. 2:1–2:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  9. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving Made Easy with Clingo 5 (Extended Version). [pdf] [bib]
  10. Bliem, B., Kaufmann, B., Schaub, T., & Woltran, S. (2016). ASP for Anytime Dynamic Programming on Tree Decompositions. In IJCAI (pp. 979–986). IJCAI/AAAI Press. [pdf] [bib]
  11. Cabalar, P., Kaminski, R., Ostrowski, M., & Schaub, T. (2016). An ASP Semantics for Default Reasoning with Constraints. In IJCAI (pp. 1015–1021). IJCAI/AAAI Press. [pdf] [bib]
  12. Gebser, M., Guyet, T., Quiniou, R., Romero, J., & Schaub, T. (2016). Knowledge-Based Sequence Mining with ASP. In IJCAI (pp. 1497–1504). IJCAI/AAAI Press. [pdf] [bib]
  13. Gebser, M., Janhunen, T., Kaminski, R., Schaub, T., & Tasharrofi, S. (2016). Writing Declarative Specifications for Clauses. In JELIA (Vol. 10021, pp. 256–271). [pdf] [bib]
  14. Gebser, M., & Schaub, T. (2016). Modeling and Language Extensions. AI Magazine, 37(3), 33–44. [pdf] [bib]
  15. Kaufmann, B., Leone, N., Perri, S., & Schaub, T. (2016). Grounding and Solving in Answer Set Programming. AI Magazine, 37(3), 25–32. [pdf] [bib]
  16. Ostrowski, M., Paulevé Loı̈c, Schaub, T., Siegel, A., & Guziolowski, C. (2016). Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Biosystems, 149, 139–153. [pdf] [bib]
  17. Gebser, M., Kaminski, R., & Schaub, T. (2016). Grounding Recursive Aggregates: Preliminary Report. CoRR, abs/1603.03884. [pdf] [bib]
  18. Sabuncu, O., Schaub, T., & Schulz-Hanke, C. (2016). Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective. CoRR, abs/1611.06413. [bib]
  19. Abseher, M., Gebser, M., Musliu, N., Schaub, T., & Woltran, S. (2016). Shift Design with Answer Set Programming. Fundam. Inform., 147(1), 1–25. [pdf] [bib]
  20. Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B., & Schaub, T. (2016). Answer Set Programming Modulo Acyclicity. Fundam. Inform., 147(1), 63–91. [pdf] [bib]
  21. Banbara, M., Inoue, K., Kaufmann, B., Schaub, T., Soh, T. C., Tamura, N., & Wanko, P. (2016). teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming. In PATAT (pp. 13–32). [pdf] [bib]

2015

  1. Brewka, G., Delgrande, J. P., Romero, J., & Schaub, T. (2015). asprin: Customizing Answer Set Preferences without a Headache. In AAAI (pp. 1467–1474). AAAI Press. [pdf] [bib]
  2. Heule, M., & Schaub, T. (2015). What’s Hot in the SAT and ASP Competitions. In AAAI (pp. 4322–4323). AAAI Press. [bib]
  3. Lindauer, M., Hoos, H. H., Hutter, F., & Schaub, T. (2015). AutoFolio: Algorithm Configuration for Algorithm Selection. In AAAI Workshop: Algorithm Configuration (Vol. WS-15-01). AAAI Press. [bib]
  4. Gebser, M., Kaminski, R., Obermeier, P., & Schaub, T. (2015). Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Vol. 9060, pp. 17–32). Springer. [pdf] [bib]
  5. Ostrowski, M., Paulevé Loı̈c, Schaub, T., Siegel, A., & Guziolowski, C. (2015). Boolean Network Identification from Multiplex Time Series Data. In CMSB (Vol. 9308, pp. 170–181). Springer. [pdf] [bib]
  6. Biewer, A., Andres, B., Gladigau, J., Schaub, T., & Haubelt, C. (2015). A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. In DATE (pp. 357–362). ACM. [pdf] [bib]
  7. Abseher, M., Gebser, M., Musliu, N., Schaub, T., & Woltran, S. (2015). Shift Design with Answer Set Programming. In LPNMR (Vol. 9345, pp. 32–39). Springer. [pdf] [bib]
  8. Andres, B., Biewer, A., Romero, J., Haubelt, C., & Schaub, T. (2015). Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. In LPNMR (Vol. 9345, pp. 55–68). Springer. [pdf] [bib]
  9. Andres, B., Rajaratnam, D., Sabuncu, O., & Schaub, T. (2015). Integrating ASP into ROS for Reasoning in Robots. In LPNMR (Vol. 9345, pp. 69–82). Springer. [pdf] [bib]
  10. Banbara, M., Gebser, M., Inoue, K., Ostrowski, M., Peano, A., Schaub, T., … Weise, M. (2015). aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. In LPNMR (Vol. 9345, pp. 112–126). Springer. [pdf] [bib]
  11. Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B., & Schaub, T. (2015). Answer Set Programming Modulo Acyclicity. In LPNMR (Vol. 9345, pp. 143–150). Springer. [pdf] [bib]
  12. Brewka, G., Delgrande, J. P., Romero, J., & Schaub, T. (2015). Implementing Preferences with asprin. In LPNMR (Vol. 9345, pp. 158–172). Springer. [pdf] [bib]
  13. Gebser, M., Janhunen, T., Jost, H., Kaminski, R., & Schaub, T. (2015). ASP Solving for Expanding Universes. In LPNMR (Vol. 9345, pp. 354–367). Springer. [pdf] [bib]
  14. Gebser, M., Kaminski, R., Kaufmann, B., Romero, J., & Schaub, T. (2015). Progress in clasp Series 3. In LPNMR (Vol. 9345, pp. 368–383). Springer. [pdf] [bib]
  15. Vicol, P., Delgrande, J. P., & Schaub, T. (2015). An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. In LPNMR (Vol. 9345, pp. 480–487). Springer. [pdf] [bib]
  16. Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V., & Schaub, T. (2015). Abstract Gringo. CoRR, abs/1507.06576. [bib]
  17. Gebser, M., Obermeier, P., & Schaub, T. (2015). Interactive Answer Set Programming - Preliminary Report. CoRR, abs/1511.01261. [pdf] [bib]
  18. Lindauer, M. T., Hoos, H. H., Hutter, F., & Schaub, T. (2015). AutoFolio: An Automatically Configured Algorithm Selector. J. Artif. Intell. Res., 53, 745–778. [bib]
  19. Videla, S., Guziolowski, C., Eduati, F., Thiele, S., Gebser, M., Nicolas, J., … Siegel, A. (2015). Learning Boolean logic models of signaling networks with ASP. Theor. Comput. Sci., 599, 79–101. [pdf] [bib]
  20. Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V., & Schaub, T. (2015). Abstract gringo. TPLP, 15(4-5), 449–463. [pdf] [bib]
  21. Hoos, H. H., Kaminski, R., Lindauer, M. T., & Schaub, T. (2015). aspeed: Solver scheduling via answer set programming. TPLP, 15(1), 117–142. [pdf] [bib]
  22. Abseher, M., Gebser, M., Musliu, N., Schaub, T., & Woltran, S. (2015). Shift Design with Answer Set Programming. In ASPOCP@LPNMR. [pdf] [bib]
  23. Gebser, M., Janhunen, T., Kaminski, R., Schaub, T., & Tasharrofi, S. (2015). Writing Declarative Specifications for Clauses. In GTTV@LPNMR. [pdf] [bib]

2014

  1. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2014). Clingo = ASP + Control: Preliminary Report. CoRR, abs/1405.3694. [bib]
  2. Hoos, H., Kaminski, R., Lindauer, M. T., & Schaub, T. (2014). Solver Scheduling via Answer Set Programming. CoRR, abs/1401.1024. [bib]
  3. Hoos, H., Lindauer, M. T., & Schaub, T. (2014). claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. CoRR, abs/1405.1520. [bib]
  4. Hoos, H., Lindauer, M. T., & Schaub, T. (2014). claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. TPLP, 14(4-5), 569–585. [pdf] [bib]
  5. Schaub, T., Siegel, A., & Videla, S. (2014). Reasoning on the response of logical signaling networks with Answer Set Programming. In Logical Modeling of Biological Systems (pp. 49–92). John Wiley & sons. [bib]
  6. Brewka, G., Delgrande, J. P., Romero, J., & Schaub, T. (2014). Are Preferences Giving You a Headache? — Take asprin! In ASPOCP@LPNMR. [pdf] [bib]
  7. Gebser, M., Janhunen, T., Kaminski, R., Schaub, T., & Tasharrofi, S. (2014). Declarative Encodings of Acyclicity Properties. In ASPOCP@LPNMR. [pdf] [bib]
  8. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2014). Clingo = ASP + Control: Extended Report. University of Potsdam. [pdf] [bib]

2013

  1. Gebser, M., Kaufmann, B., Romero, J., Otero, R., Schaub, T., & Wanko, P. (2013). Domain-Specific Heuristics in Answer Set Programming. In AAAI. AAAI Press. [pdf] [bib]
  2. Schaub, T. (2013). Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. In CP (Vol. 8124, pp. 3–4). Springer. [bib]
  3. Bisiani, R., Merico, D., Pinardi, S., Dominoni, M., Cesta, A., Orlandini, A., … Bonfiglio, S. (2013). Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System. In IEA/AIE (Vol. 7906, pp. 33–42). Springer. [pdf] [bib]
  4. Gebser, M., Kaufmann, B., & Schaub, T. (2013). Advanced Conflict-Driven Disjunctive Answer Set Solving. In IJCAI (pp. 912–918). IJCAI/AAAI. [pdf] [bib]
  5. Hoos, H. H., Kaufmann, B., Schaub, T., & Schneider, M. (2013). Robust Benchmark Set Selection for Boolean Constraint Solvers. In LION (Vol. 7997, pp. 138–152). Springer. [pdf] [bib]
  6. Andres, B., Gebser, M., Schaub, T., Haubelt, C., Reimann, F., & Glaß, M. (2013). Symbolic System Synthesis Using Answer Set Programming. In LPNMR (Vol. 8148, pp. 79–91). Springer. [pdf] [bib]
  7. Andres, B., Sauer, M., Gebser, M., Schubert, T., Becker, B., & Schaub, T. (2013). Accurate Computation of Sensitizable Paths Using Answer Set Programming. In LPNMR (Vol. 8148, pp. 92–101). Springer. [pdf] [bib]
  8. Collet, G., Eveillard, D., Gebser, M., Prigent, S., Schaub, T., Siegel, A., & Thiele, S. (2013). Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming. In LPNMR (Vol. 8148, pp. 245–256). Springer. [pdf] [bib]
  9. Gebser, M., Glase, T., Sabuncu, O., & Schaub, T. (2013). Matchmaking with Answer Set Programming. In LPNMR (Vol. 8148, pp. 342–347). Springer. [pdf] [bib]
  10. Gebser, M., Jost, H., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T., & Schneider, M. (2013). Ricochet Robots: A Transverse ASP Benchmark. In LPNMR (Vol. 8148, pp. 348–360). Springer. [pdf] [bib]
  11. Andres, B., Gebser, M., Schaub, T., Haubelt, C., Reimann, F., & Glaß, M. (2013). A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. In MBMV (pp. 35–46). Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock. [pdf] [bib]
  12. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., & Schaub, T. (2013). Answer Set Programming for Stream Reasoning. CoRR, abs/1301.1392. [bib]
  13. Andres, B., Obermeier, P., Sabuncu, O., Schaub, T., & Rajaratnam, D. (2013). ROSoClingo: A ROS package for ASP-based robot control. CoRR, abs/1307.7398. [pdf] [bib]
  14. Banbara, M., Gebser, M., Inoue, K., Schaub, T., Soh, T., Tamura, N., & Weise, M. (2013). Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR, abs/1312.6113. [bib]
  15. Gebser, M., Obermeier, P., & Schaub, T. (2013). A System for Interactive Query Answering with Answer Set Programming. CoRR, abs/1312.6143. [bib]
  16. Delgrande, J. P., Schaub, T., Tompits, H., & Woltran, S. (2013). A Model-Theoretic Approach to Belief Change in Answer Set Programming. ACM Trans. Comput. Log., 14(2), 14:1–14:46. [pdf] [bib]
  17. Gebser, M., & Schaub, T. (2013). Tableau Calculi for Logic Programs under Answer Set Semantics. ACM Trans. Comput. Log., 14(2), 15:1–15:40. [pdf] [bib]
  18. Banbara, M., Soh, T., Tamura, N., Inoue, K., & Schaub, T. (2013). Answer set programming as a modeling language for course timetabling. TPLP, 13(4-5), 783–798. [pdf] [bib]
  19. Kaminski, R., Schaub, T., Siegel, A., & Videla, S. (2013). Minimal intervention strategies in logical signaling networks with ASP. TPLP, 13(4-5), 675–690. [pdf] [bib]
  20. König, A., & Schaub, T. (2013). Monitoring and Visualizing Answer Set Solving. TPLP, 13(4-5-Online-Supplement). [pdf] [bib]
  21. Gebser, M., Obermeier, P., & Schaub, T. (2013). A system for interactive query answering with answer set programming. In ASPOCP. [pdf] [bib]
  22. Andres, B., Obermeier, P., Sabuncu, O., Schaub, T., & Rajaratnam, D. (2013). ROSoClingo: A ROS package for ASP-based robot control. In RSS-CP. [pdf] [bib]

2012

  1. Gebser, M., Kaufmann, R., & Schaub, T. (2012). Gearing Up for Effective ASP Planning. In Correct Reasoning (Vol. 7265, pp. 296–310). Springer. [pdf] [bib]
  2. Schaub, T. (2012). Answer Set Programming. In FMCAD (p. 2). IEEE. [bib]
  3. Andres, B., Kaufmann, B., Matheis, O., & Schaub, T. (2012). Unsatisfiability-based optimization in clasp. In ICLP (Technical Communications) (Vol. 17, pp. 211–221). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  4. Hoos, H., Kaminski, R., Schaub, T., & Schneider, M. T. (2012). aspeed: ASP-based Solver Scheduling. In ICLP (Technical Communications) (Vol. 17, pp. 176–187). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  5. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., & Schaub, T. (2012). Stream Reasoning with Answer Set Programming: Preliminary Report. In KR. AAAI Press. [pdf] [bib]
  6. Gebser, M., Kaufmann, B., & Schaub, T. (2012). Conflict-driven answer set solving: From theory to practice. Artif. Intell., 187, 52–89. [pdf] [bib]
  7. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. CoRR, abs/1210.2287. [bib]
  8. Gebser, M., Kaufmann, B., & Schaub, T. (2012). Multi-threaded ASP Solving with clasp. CoRR, abs/1210.3265. [bib]
  9. Schaub, T. (2012). Préface. Revue d’Intelligence Artificielle, 26(1-2), 7. [bib]
  10. Gebser, M., Kaufmann, B., & Schaub, T. (2012). Multi-threaded ASP solving with clasp. TPLP, 12(4-5), 525–545. [pdf] [bib]
  11. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. TPLP, 12(4-5), 485–503. [pdf] [bib]
  12. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2012). Answer Set Solving in Practice. Morgan & Claypool Publishers. [bib]
  13. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., & Schaub, T. (2012). Answer Set Programming for Stream Reasoning. In ASPOCP@LPNMR. [pdf] [bib]
  14. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., & Schaub, T. (2012). Stream Reasoning with Answer Set Programming: Extended Version. Unpublished draft. [bib]
  15. Kaufmann, B., Schaub, T., & Schneider, M. (2012). clasp, claspfolio, aspeed: Three Solvers from the Answer Set Solving Collection Potassco. In SAT Challenge (Vol. B-2012-2, pp. 17–19). University of Helsinki. [pdf] [bib]
  16. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. In CSPSAT. [pdf] [bib]
  17. Jost, H., Sabuncu, O., & Schaub, T. (2012). Suggesting New Interactions Related to Events in a Social Network for Elderly. In Design and Implementation of Independent and Assisted Living Technology. [pdf] [bib]
  18. Andres, B., Sauer, M., Gebser, M., Schubert, T., Becker, B., & Schaub, T. (2012). Accurate Computation of Longest Sensitizable Paths using Answer Set Programming. In ZuE. [pdf] [bib]

2011

  1. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2011). Challenges in Answer Set Solving. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Vol. 6565, pp. 74–90). Springer. [pdf] [bib]
  2. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2011). Multi-Criteria Optimization in Answer Set Programming. In ICLP (Technical Communications) (Vol. 11, pp. 1–10). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  3. Ostrowski, M., Flouris, G., Schaub, T., & Antoniou, G. (2011). Evolution of Ontologies using ASP. In ICLP (Technical Communications) (Vol. 11, pp. 16–27). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  4. Ostrowski, M., Flouris, G., Schaub, T., & Antoniou, G. (2011). Evolution of Ontologies using ASP (No. TR-415). ICS. [pdf] [bib]
  5. Gebser, M., Sabuncu, O., & Schaub, T. (2011). Finite Model Computation via Answer Set Programming. In IJCAI (pp. 2626–2631). IJCAI/AAAI. [pdf] [bib]
  6. Gebser, M., Grote, T., Kaminski, R., & Schaub, T. (2011). Reactive Answer Set Programming. In LPNMR (Vol. 6645, pp. 54–66). Springer. [pdf] [bib]
  7. Gebser, M., Kaminski, R., König, A., & Schaub, T. (2011). Advances in gringo Series 3. In LPNMR (Vol. 6645, pp. 345–351). Springer. [pdf] [bib]
  8. Gebser, M., Kaminski, R., Knecht, M., & Schaub, T. (2011). plasp: A Prototype for PDDL-Based Planning in ASP. In LPNMR (Vol. 6645, pp. 358–363). Springer. [pdf] [bib]
  9. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T., & Schnor, B. (2011). Cluster-Based ASP Solving with claspar. In LPNMR (Vol. 6645, pp. 364–369). Springer. [pdf] [bib]
  10. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T., Schneider, M. T., & Ziller, S. (2011). A Portfolio Solver for Answer Set Programming: Preliminary Report. In LPNMR (Vol. 6645, pp. 352–357). Springer. [pdf] [bib]
  11. Schaub, T. (2011). Knowledge-intensive Stream Reasoning. In Log-IC@LPNMR (Vol. 738, p. 7). CEUR-WS.org. [pdf] [bib]
  12. Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., & Schneider, M. T. (2011). Potassco: The Potsdam Answer Set Solving Collection. AI Commun., 24(2), 107–124. [pdf] [bib]
  13. Gebser, M., Sabuncu, O., & Schaub, T. (2011). An incremental answer set programming based system for finite model computation. AI Commun., 24(2), 195–212. [pdf] [bib]
  14. Mileo, A., Schaub, T., Merico, D., & Bisiani, R. (2011). Knowledge-based multi-criteria optimization to support indoor positioning. Ann. Math. Artif. Intell., 62(3-4), 345–370. [pdf] [bib]
  15. Ostrowski, M., Schaub, T., Durzinsky, M., Marwan, W., & Wagler, A. (2011). Automatic Network Reconstruction using ASP. CoRR, abs/1107.5671. [bib]
  16. Gebser, M., Kaminski, R., & Schaub, T. (2011). Complex Optimization in Answer Set Programming. CoRR, abs/1107.5742. [bib]
  17. Gebser, M., Kaminski, R., & Schaub, T. (2011). aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. In LoCoCo (Vol. 65, pp. 12–25). [pdf] [bib]
  18. Möller, M., Schneider, M. T., Wegner, M., & Schaub, T. (2011). Centurio, a General Game Player: Parallel, Java- and ASP-based. KI, 25(1), 17–24. [pdf] [bib]
  19. Durzinsky, M., Marwan, W., Ostrowski, M., Schaub, T., & Wagler, A. (2011). Automatic network reconstruction using ASP. TPLP, 11(4-5), 749–766. [pdf] [bib]
  20. Gebser, M., Kaminski, R., & Schaub, T. (2011). Complex optimization in answer set programming. TPLP, 11(4-5), 821–839. [pdf] [bib]
  21. Gebser, M., Schaub, T., Thiele, S., & Veber, P. (2011). Detecting inconsistencies in large biological networks with answer set programming. TPLP, 11(2-3), 323–360. [pdf] [bib]
  22. Gebser, M., Kaminski, R., & Schaub, T. (2011). Complex optimization in answer set programming: Extended Version. [pdf] [bib]
  23. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2011). Multi-Criteria Optimization in ASP and its Application to Linux Package Configuration. Unpublished draft. [pdf] [bib]

2010

  1. Mileo, A., Schaub, T., Merico, D., & Bisiani, R. (2010). Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning. In RCRA@CPAIOR (Vol. 616). CEUR-WS.org. [pdf] [bib]
  2. Hermenegildo, M. V., & Schaub, T. (2010). Titlepage, Table of Contents, Conference Organization. In ICLP (Technical Communications) (Vol. 7). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  3. Hermenegildo, M. V., & Schaub, T. (2010). Introduction to the Technical Communications of the 26th International Conference on Logic Programming. In ICLP (Technical Communications) (Vol. 7). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  4. Gebser, M., König, A., Schaub, T., Thiele, S., & Veber, P. (2010). The BioASP Library: ASP Solutions for Systems Biology. In ICTAI (1) (pp. 383–389). IEEE Computer Society. [pdf] [bib]
  5. Gebser, M., Grote, T., & Schaub, T. (2010). Coala: A Compiler from Action Languages to ASP. In JELIA (Vol. 6341, pp. 360–364). Springer. [pdf] [bib]
  6. Gebser, M., Sabuncu, O., & Schaub, T. (2010). An Incremental Answer Set Programming Based System for Finite ModelComputation. In JELIA (Vol. 6341, pp. 169–181). Springer. [pdf] [bib]
  7. Gebser, M., Guziolowski, C., Ivanchev, M., Schaub, T., Siegel, A., Thiele, S., & Veber, P. (2010). Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. In KR. AAAI Press. [pdf] [bib]
  8. Schaub, T. (2010). Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning. In SUM (Vol. 6379, p. 2). Springer. [bib]
  9. Drescher, C., Gebser, M., Kaufmann, B., & Schaub, T. (2010). Heuristics in Conflict Resolution. CoRR, abs/1005.1716. [bib]
  10. Gebser, M., Schaub, T., Thiele, S., & Veber, P. (2010). Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. CoRR, abs/1007.0134. [bib]
  11. Hermenegildo, M. V., & Schaub, T. (2010). Introduction to the 26th International Conference on Logic Programming Special Issue. CoRR, abs/1008.1710. [bib]
  12. Schaub, T., & Siegel, A. (2010). Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets. ERCIM News, 2010(82), 30. [pdf] [bib]
  13. Hermenegildo, M. V., & Schaub, T. (2010). Introduction to the 26th international conference on logic programming special issue. TPLP, 10(4-6), 361–364. [bib]

2009

  1. Gebser, M., Kaufmann, B., & Schaub, T. (2009). Solution Enumeration for Projected Boolean Search Problems. In CPAIOR (Vol. 5547, pp. 71–86). Springer. [pdf] [bib]
  2. Delgrande, J. P., Schaub, T., Tompits, H., & Woltran, S. (2009). Merging Logic Programs under Answer Set Semantics. In ICLP (Vol. 5649, pp. 160–174). Springer. [pdf] [bib]
  3. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2009). On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. In ICLP (Vol. 5649, pp. 250–264). Springer. [pdf] [bib]
  4. Gebser, M., Ostrowski, M., & Schaub, T. (2009). Constraint Answer Set Solving. In ICLP (Vol. 5649, pp. 235–249). Springer. [pdf] [bib]
  5. Schaub, T., & Thiele, S. (2009). Metabolic Network Expansion with Answer Set Programming. In ICLP (Vol. 5649, pp. 312–326). Springer. [pdf] [bib]
  6. Ellguth, E., Gebser, M., Gusowski, M., Kaufmann, B., Kaminski, R., Liske, S., … Schnor, B. (2009). A Simple Distributed Conflict-Driven Answer Set Solver. In LPNMR (Vol. 5753, pp. 490–495). Springer. [pdf] [bib]
  7. Gebser, M., Kaminski, R., Ostrowski, M., Schaub, T., & Thiele, S. (2009). On the Input Language of ASP Grounder Gringo. In LPNMR (Vol. 5753, pp. 502–508). Springer. [pdf] [bib]
  8. Gebser, M., Kaufmann, B., & Schaub, T. (2009). The Conflict-Driven Answer Set Solver clasp: Progress Report. In LPNMR (Vol. 5753, pp. 509–514). Springer. [pdf] [bib]
  9. Ishebabi, H., Mahr, P., Bobda, C., Gebser, M., & Schaub, T. (2009). Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. In LPNMR (Vol. 5753, pp. 598–603). Springer. [pdf] [bib]
  10. Schaub, T. (2009). Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. In LPNMR (Vol. 5753, pp. 631–633). Springer. [pdf] [bib]
  11. Schneidenbach, L., Schnor, B., Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2009). Experiences Running a Parallel Answer Set Solver on Blue Gene. In PVM/MPI (Vol. 5759, pp. 64–72). Springer. [pdf] [bib]
  12. Delgrande, J. P., Schaub, T., Tompits, H., & Woltran, S. (2009). A general approach to belief change in answer set programming. CoRR, abs/0912.5511. [bib]
  13. Ishebabi, H., Mahr, P., Bobda, C., Gebser, M., & Schaub, T. (2009). Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfig. Comp., 2009, 863630:1–863630:11. [bib]
  14. Gebser, M., Gharib, M., Mercer, R. E., & Schaub, T. (2009). Monotonic Answer Set Programming. J. Log. Comput., 19(4), 539–564. [bib]
  15. Henin, T., & Schaub, T. (2009). A Transport Reaction Language: Preliminary Report. In NRAC (pp. 41–46). University of Technology, Sydney, Australia. [pdf] [bib]
  16. Gebser, M., Hinrichs, H., Schaub, T., & Thiele, S. (2009). xpanda: A (Simple) Preprocessor for Adding Multi-Valued Propositions to ASP. In WLP. [pdf] [bib]

2008

  1. Gebser, M., Pührer, J., Schaub, T., & Tompits, H. (2008). A Meta-Programming Technique for Debugging Answer-Set Programs. In AAAI (pp. 448–453). AAAI Press. [pdf] [bib]
  2. Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2008). Advanced Preprocessing for Answer Set Solving. In ECAI (Vol. 178, pp. 15–19). IOS Press. [pdf] [bib]
  3. Schaub, T. (2008). Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. In FLOPS (Vol. 4989, pp. 1–2). Springer. [bib]
  4. Gebser, M., Schaub, T., Tompits, H., & Woltran, S. (2008). Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. In FoIKS (Vol. 4932, pp. 24–41). Springer. [pdf] [bib]
  5. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Thiele, S. (2008). Engineering an Incremental ASP Solver. In ICLP (Vol. 5366, pp. 190–205). Springer. [pdf] [bib]
  6. Gebser, M., Schaub, T., Thiele, S., Usadel, B., & Veber, P. (2008). Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. In ICLP (Vol. 5366, pp. 130–144). Springer. [pdf] [bib]
  7. Schaub, T. (2008). Here’s the Beef: Answer Set Programming ! In ICLP (Vol. 5366, pp. 93–98). Springer. [pdf] [bib]
  8. Dworschak, S., Grote, T., König, A., Schaub, T., & Veber, P. (2008). The System BioC for Reasoning about Biological Models in Action Language C. In ICTAI (1) (pp. 11–18). IEEE Computer Society. [pdf] [bib]
  9. Delgrande, J. P., Schaub, T., Tompits, H., & Woltran, S. (2008). Belief Revision of Logic Programs under Answer Set Semantics. In KR (pp. 411–421). AAAI Press. [pdf] [bib]
  10. Drescher, C., Gebser, M., Grote, T., Kaufmann, B., König, A., Ostrowski, M., & Schaub, T. (2008). Conflict-Driven Disjunctive Answer Set Solving. In KR (pp. 422–432). AAAI Press. [pdf] [bib]
  11. Dworschak, S., Grell, S., Nikiforova, V. J., Schaub, T., & Selbig, J. (2008). Modeling Biological Networks by Action Languages via Answer Set Programming. Constraints, 13(1-2), 21–65. [pdf] [bib]
  12. Drescher, C., Gebser, M., Kaufmann, B., & Schaub, T. (2008). Heuristics in Conflict Resolution. In NMR@KR (pp. 141–149). [pdf] [bib]
  13. Dworschak, S., Grote, T., König, A., Schaub, T., & Veber, P. (2008). Tools for Representing and Reasoning about Biological Models in Action Language C. In NMR@KR (pp. 94–102). [pdf] [bib]
  14. Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T., & Thiele, S. (2008). A Versatile Intermediate Language for Answer Set Programming. In NMR@KR (pp. 150–159). [pdf] [bib]
  15. Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T., & Thiele, S. (2008). A Versatile Intermediate Language for Answer Set Programming: Syntax Proposal. Unpublished draft. [pdf] [bib]

2007

  1. Delgrande, J. P., Liu, D. H., Schaub, T., & Thiele, S. (2007). COBA 2.0: A Consistency-Based Belief Change System. In ECSQARU (Vol. 4724, pp. 78–90). Springer. [pdf] [bib]
  2. Mileo, A., & Schaub, T. (2007). Qualitative Constraint Enforcement in Advanced Policy Specification. In ECSQARU (Vol. 4724, pp. 695–706). Springer. [pdf] [bib]
  3. Gebser, M., & Schaub, T. (2007). Generic Tableaux for Answer Set Programming. In ICLP (Vol. 4670, pp. 119–133). Springer. [pdf] [bib]
  4. Delgrande, J. P., Lang, J., & Schaub, T. (2007). Belief Change Based on Global Minimisation. In IJCAI (pp. 2468–2473). [pdf] [bib]
  5. Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Conflict-Driven Answer Set Solving. In IJCAI (p. 386). [pdf] [bib]
  6. Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H., & Woltran, S. (2007). Debugging ASP Programs by Means of ASP. In LPNMR (Vol. 4483, pp. 31–43). Springer. [pdf] [bib]
  7. Delgrande, J. P., Schaub, T., & Tompits, H. (2007). A Preference-Based Framework for Updating Logic Programs. In LPNMR (Vol. 4483, pp. 71–83). Springer. [pdf] [bib]
  8. Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Conflict-Driven Answer Set Enumeration. In LPNMR (Vol. 4483, pp. 136–148). Springer. [pdf] [bib]
  9. Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). clasp: A Conflict-Driven Answer Set Solver. In LPNMR (Vol. 4483, pp. 260–265). Springer. [pdf] [bib]
  10. Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., & Truszczynski, M. (2007). The First Answer Set Programming System Competition. In LPNMR (Vol. 4483, pp. 3–17). Springer. [pdf] [bib]
  11. Gebser, M., Schaub, T., & Thiele, S. (2007). GrinGo : A New Grounder for Answer Set Programming. In LPNMR (Vol. 4483, pp. 266–271). Springer. [pdf] [bib]
  12. Gebser, M., Schaub, T., Tompits, H., & Woltran, S. (2007). Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. In CENT (Vol. 265). CEUR-WS.org. [pdf] [bib]
  13. Gebser, M., Pührer, J., Schaub, T., Tompits, H., & Woltran, S. (2007). spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. In INAP/WLP (Vol. 5437, pp. 247–252). Springer. [bib]
  14. Delgrande, J. P., & Schaub, T. (2007). A consistency-based framework for merging knowledge bases. J. Applied Logic, 5(3), 459–477. [pdf] [bib]
  15. Delgrande, J. P., Schaub, T., & Tompits, H. (2007). A General Framework for Expressing Preferences in Causal Reasoning and Planning. J. Log. Comput., 17(5), 871–907. [pdf] [bib]
  16. Brain, M., Faber, W., Maratea, M., Polleres, A., Schaub, T., & Schindlauer, R. (2007). What should an ASP Solver output? A Multiple Position Paper. In SEA (pp. 26–37). [pdf] [bib]
  17. Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H., & Woltran, S. (2007). "That is Illogical Captain!" – The Debugging Support Tool spock for Answer-Set Programs: System Description. In SEA (pp. 71–85). [pdf] [bib]
  18. Gebser, M., Gharib, M., & Schaub, T. (2007). Incremental Answer Sets and Their Computation. In ASP (pp. 161–174). [pdf] [bib]
  19. Gharib, M., Mercer, R., & Schaub, T. (2007). Incremental Answer Set Programming: A Preliminary Report. In ASP (pp. 149–160). [pdf] [bib]

2006

  1. Anger, C., Gebser, M., Janhunen, T., & Schaub, T. (2006). What’s a Head Without a Body? In ECAI (Vol. 141, pp. 769–770). IOS Press. [pdf] [bib]
  2. Gressmann, J., Janhunen, T., Mercer, R. E., Schaub, T., Thiele, S., & Tichy, R. (2006). On Probing and Multi-Threading in Platypus. In ECAI (Vol. 141, pp. 392–396). IOS Press. [pdf] [bib]
  3. Gebser, M., & Schaub, T. (2006). Tableau Calculi for Answer Set Programming. In ICLP (Vol. 4079, pp. 11–25). Springer. [pdf] [bib]
  4. Grell, S., Schaub, T., & Selbig, J. (2006). Modelling Biological Networks by Action Languages Via Answer Set Programming. In ICLP (Vol. 4079, pp. 285–299). Springer. [pdf] [bib]
  5. Schaub, T. (2006). Tableaux Calculi for Answer Set Programming. In WLP (Vol. 1843-06-02, pp. 1–11). Technische Universität Wien, Austria. [bib]
  6. Konczak, K., Linke, T., & Schaub, T. (2006). Graphs and colorings for answer set programming. TPLP, 6(1-2), 61–106. [bib]
  7. Anger, C., Gebser, M., & Schaub, T. (2006). Approaching the Core of Unfounded Set. In NMR (pp. 58–66). [pdf] [bib]

2005

  1. Anger, C., Gebser, M., Linke, T., Neumann, A., & Schaub, T. (2005). The nomore++ Approach to Answer Set Solving. In Answer Set Programming (Vol. 142). CEUR-WS.org. [bib]
  2. Bertossi, L. E., Hunter, A., & Schaub, T. (2005). Introduction to Inconsistency Tolerance. In Inconsistency Tolerance (Vol. 3300, pp. 1–14). Springer. [bib]
  3. Besnard, P., Schaub, T., Tompits, H., & Woltran, S. (2005). Representing Paraconsistent Reasoning via Quantified Propositional Logic. In Inconsistency Tolerance (Vol. 3300, pp. 84–118). Springer. [pdf] [bib]
  4. Brewka, G., Niemelä, I., Schaub, T., Truszczynski, M., & Vennekens, J. (2005). 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. In Nonmonotonic Reasoning, Answer Set Programming and Constraints (Vol. 05171). Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. [bib]
  5. Anger, C., Gebser, M., Linke, T., Neumann, A., & Schaub, T. (2005). The nomore++ Approach to Answer Set Solving. In LPAR (Vol. 3835, pp. 95–109). Springer. [pdf] [bib]
  6. Anger, C., Gebser, M., Linke, T., Neumann, A., & Schaub, T. (2005). The nomore++ System. In LPNMR (Vol. 3662, pp. 422–426). Springer. [pdf] [bib]
  7. Gebser, M., & Schaub, T. (2005). Loops: Relevant or Redundant? In LPNMR (Vol. 3662, pp. 53–65). Springer. [pdf] [bib]
  8. Grell, S., Konczak, K., & Schaub, T. (2005). nomore<: A System for Computing Preferred Answer Sets. In LPNMR (Vol. 3662, pp. 394–398). Springer. [bib]
  9. Gressmann, J., Janhunen, T., Mercer, R. E., Schaub, T., Thiele, S., & Tichy, R. (2005). Platypus: A Platform for Distributed Answer Set Solving. In LPNMR (Vol. 3662, pp. 227–239). Springer. [pdf] [bib]
  10. Konczak, K., Linke, T., & Schaub, T. (2005). Graphs and colorings for answer set programming. CoRR, abs/cs/0502082. [bib]
  11. Anger, C., Konczak, K., Linke, T., & Schaub, T. (2005). A Glimpse of Answer Set Programming. KI, 19(1), 12. [pdf] [bib]
  12. Delgrande, J. P., & Schaub, T. (2005). Expressing Default Logic Variants in Default Logic. J. Log. Comput., 15(5), 593–621. [pdf] [bib]

2004

  1. Delgrande, J. P., Schaub, T., & Tompits, H. (2004). Domain-Specific Preferences for Causal Reasoning and Planning. In ICAPS (pp. 63–72). AAAI. [bib]
  2. Bösel, A., Linke, T., & Schaub, T. (2004). Profiling Answer Set Programming: The Visualization Component of the noMoRe System. In JELIA (Vol. 3229, pp. 702–705). Springer. [pdf] [bib]
  3. Delgrande, J. P., & Schaub, T. (2004). Two Approaches to Merging Knowledge Bases. In JELIA (Vol. 3229, pp. 426–438). Springer. [pdf] [bib]
  4. Delgrande, J. P., Schaub, T., & Tompits, H. (2004). Domain-Specific Preferences for Causal Reasoning and Planning. In KR (pp. 673–682). AAAI Press. [pdf] [bib]
  5. Borchert, P., Anger, C., Schaub, T., & Truszczynski, M. (2004). Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. In LPNMR (Vol. 2923, pp. 3–7). Springer. [pdf] [bib]
  6. Konczak, K., Linke, T., & Schaub, T. (2004). Graphs and Colorings for Answer Set Programming: Abridged Report. In LPNMR (Vol. 2923, pp. 127–140). Springer. [pdf] [bib]
  7. Sarsakov, V., Schaub, T., Tompits, H., & Woltran, S. (2004). nlp: A Compiler for Nested Logic Programming. In LPNMR (Vol. 2923, pp. 361–364). Springer. [pdf] [bib]
  8. Delgrande, J. P., & Schaub, T. (2004). Consistency-based approaches to merging knowledge bases: preliminary report. In NMR (pp. 126–133). [pdf] [bib]
  9. Flöter, A., Nicolas, J., Schaub, T., & Selbig, J. (2004). Threshold extraction in metabolite concentration data. Bioinformatics, 20(10), 1491–1494. [pdf] [bib]
  10. Delgrande, J. P., & Schaub, T. (2004). Reasoning with Sets of Defaults in Default Logic. Computational Intelligence, 20(1), 56–88. [pdf] [bib]
  11. Delgrande, J. P., Schaub, T., Tompits, H., & Wang, K. (2004). A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Computational Intelligence, 20(2), 308–334. [pdf] [bib]
  12. Delgrande, J. P., Schaub, T., Tompits, H., & Woltran, S. (2004). On Computing Belief Change Operations using Quantified Boolean Formulas. J. Log. Comput., 14(6), 801–826. [pdf] [bib]
  13. Flöter, A., Selbig, J., & Schaub, T. (2004). Finding Metabolic Pathways in Decision Forests. In GfKl (pp. 199–206). Springer. [pdf] [bib]

2003

  1. Delgrande, J. P., Gharib, M., Mercer, R. E., Risch, V., & Schaub, T. (2003). Lukaszewicz-style Answer Set Programming: A Preliminary Report. In Answer Set Programming (Vol. 78). CEUR-WS.org. [pdf] [bib]
  2. Konczak, K., Schaub, T., & Linke, T. (2003). Graphs and coloring for answer set programming: Preliminary Report. In Answer Set Programming (Vol. 78). CEUR-WS.org. [bib]
  3. Konczak, K., Schaub, T., & Linke, T. (2003). Graphs and colorings for answer set programming: Abridged Report. In Answer Set Programming (Vol. 78). CEUR-WS.org. [pdf] [bib]
  4. Besnard, P., Schaub, T., Tompits, H., & Woltran, S. (2003). Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. In ECSQARU (Vol. 2711, pp. 528–539). Springer. [pdf] [bib]
  5. Delgrande, J. P., & Schaub, T. (2003). On the Relation between Reiter’s Default Logic and Its (Major). In ECSQARU (Vol. 2711, pp. 452–463). Springer. [pdf] [bib]
  6. Flöter, A., Nicolas, J., Schaub, T., & Selbig, J. (2003). Threshold extraction in metabolite concentration data. In German Conference on Bioinformatics (pp. 33–39). [bib]
  7. Besnard, P., Mercer, R. E., & Schaub, T. (2003). Optimality Theory through Default Logic. In KI (Vol. 2821, pp. 93–104). Springer. [bib]
  8. Delgrande, J. P., & Schaub, T. (2003). A consistency-based approach for belief change. Artif. Intell., 151(1-2), 1–41. [pdf] [bib]
  9. Schaub, T., & Wang, K. (2003). A semantic framework for preference handling in answer set programming. CoRR, cs.AI/0301023. [pdf] [bib]
  10. Konczak, K., Schaub, T., & Linke, T. (2003). Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Inform., 57(2-4), 393–421. [pdf] [bib]
  11. Besnard, P., Fanselow, G., & Schaub, T. (2003). Optimality Theory as a Family of Cumulative Logics. Journal of Logic, Language and Information, 12(2), 153–182. [pdf] [bib]
  12. Delgrande, J. P., Schaub, T., & Tompits, H. (2003). A Framework for Compiling Preferences in Logic Programs. TPLP, 3(2), 129–187. [pdf] [bib]
  13. Schaub, T., & Wang, K. (2003). A semantic framework for preference handling in answer set programming. TPLP, 3(4-5), 569–607. [pdf] [bib]

2002

  1. Pearce, D., Sarsakov, V., Schaub, T., Tompits, H., & Woltran, S. (2002). A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. In ICLP (Vol. 2401, pp. 405–420). Springer. [pdf] [bib]
  2. Besnard, P., Schaub, T., Tompits, H., & Woltran, S. (2002). Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. In JELIA (Vol. 2424, pp. 320–331). Springer. [pdf] [bib]
  3. Delgrande, J. P., Hunter, A., & Schaub, T. (2002). COBA: A Consistency-Based Belief Revision System. In JELIA (Vol. 2424, pp. 509–512). Springer. [bib]
  4. Besnard, P., Mercer, R. E., & Schaub, T. (2002). Optimality theory through default logic. In NMR (pp. 77–83). [pdf] [bib]
  5. Pearce, D., Sarsakov, V., Schaub, T., Tompits, H., & Woltran, S. (2002). A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. In NMR (pp. 57–66). [bib]
  6. Schaub, T., & Wang, K. (2002). Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. In NMR (pp. 238–246). [pdf] [bib]
  7. Besnard, P., Schaub, T., Tompits, H., & Woltran, S. (2002). Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. In Paraconsistent Computational Logic (Vol. 95, pp. 1–15). Roskilde University, Roskilde, Denmark. [bib]
  8. Blake, M. B., Haigh, K. Z., Hexmoor, H., Falcone, R., Soh, L.-K., Baral, C., … Ligozat, G. (2002). AAAI 2002 Workshops. AI Magazine, 23(4), 113–121. [bib]
  9. Delgrande, J. P., Schaub, T., & Tompits, H. (2002). A Framework for Compiling Preferences in Logic Programs. CoRR, cs.AI/0203005. [pdf] [bib]
  10. Schaub, T., & Wang, K. (2002). Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report. CoRR, cs.AI/0207060. [bib]
  11. Pearce, D., Sarsakov, V., Schaub, T., Tompits, H., & Woltran, S. (2002). A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. CoRR, cs.AI/0207071. [bib]
  12. Delgrande, J. P., & Schaub, T. (2002). Reasoning Credulously and skeptically within a single extension. Journal of Applied Non-Classical Logics, 12(2), 259–285. [pdf] [bib]

2001

  1. Schaub, T., & Wang, K. (2001). A Comparative Study of Logic Programs with Preference: Preliminary Report. In Answer Set Programming. [bib]
  2. Delgrande, J. P., & Schaub, T. (2001). How to Reason Credulously and Skeptically within a Single Extension. In ECSQARU (Vol. 2143, pp. 592–603). Springer. [pdf] [bib]
  3. Delgrande, J. P., Schaub, T., Tompits, H., & Woltran, S. (2001). On Computing Solutions to Belief Change Scenarios. In ECSQARU (Vol. 2143, pp. 510–521). Springer. [bib]
  4. Schaub, T. (2001). What’s Your Preference? And How to Express and Implement It in Logic Programming! In ECSQARU (Vol. 2143, p. 17). Springer. [bib]
  5. Schaub, T., & Wang, K. (2001). A Comparative Study of Logic Programs with Preference. In IJCAI (pp. 597–602). Morgan Kaufmann. [pdf] [bib]
  6. Delgrande, J. P., Schaub, T., & Tompits, H. (2001). plp: A Generic Compiler for Ordered Logic Programs. In LPNMR (Vol. 2173, pp. 411–415). Springer. [pdf] [bib]

2000

  1. Delgrande, J. P., & Schaub, T. (2000). A Consistency-Based Model for Belief Change: Preliminary Report. In AAAI/IAAI (pp. 392–398). AAAI Press / The MIT Press. [bib]
  2. Brüning, S., & Schaub, T. (2000). A Connection Calculus for Handling Incomplete Information. In Intellectics and Computational Logic (Vol. 19, pp. 47–66). Kluwer. [bib]
  3. Delgrande, J. P., Schaub, T., & Tompits, H. (2000). Logic Programs with Compiled Preferences. In ECAI (pp. 464–468). IOS Press. [pdf] [bib]
  4. Delgrande, J. P., Schaub, T., & Tompits, H. (2000). A Compilation of Brewka and Eiter’s Approach to Prioritization. In JELIA (Vol. 1919, pp. 376–390). Springer. [pdf] [bib]
  5. Besnard, P., & Schaub, T. (2000). Significant Inferences : Preliminary Report. In KR (pp. 401–410). Morgan Kaufmann. [pdf] [bib]
  6. Delgrande, J. P., & Schaub, T. (2000). Expressing preferences in default logic. Artif. Intell., 123(1-2), 41–87. [pdf] [bib]
  7. Linke, T., & Schaub, T. (2000). Alternative foundations for Reiter’s default logic. Artif. Intell., 124(1), 31–86. [pdf] [bib]
  8. Delgrande, J. P., Schaub, T., & Tompits, H. (2000). A Compiler for Ordered Logic Programs. CoRR, cs.AI/0003024. [bib]
  9. Delgrande, J. P., Schaub, T., & Tompits, H. (2000). Logic Programs with Compiled Preferences. CoRR, cs.AI/0003028. [bib]
  10. Delgrande, J. P., & Schaub, T. (2000). A Consistency-Based Model for Belief Change: Preliminary Report. CoRR, cs.AI/0003052. [bib]
  11. Besnard, P., & Schaub, T. (2000). What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci., 238(1-2), 489–494. [bib]

1999

  1. Benhammadi, F., Nicolas, P., & Schaub, T. (1999). Query-Answering in Prioritized Default Logic. In ESCQARU (Vol. 1638, pp. 32–42). Springer. [bib]
  2. Brüning, S., & Schaub, T. (1999). Avoiding Non-ground Variables. In ESCQARU (Vol. 1638, pp. 92–103). Springer. [bib]
  3. Linke, T., & Schaub, T. (1999). On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. In ESCQARU (Vol. 1638, pp. 268–278). Springer. [bib]
  4. Linke, T., & Schaub, T. (1999). Default Reasoning via Blocking Sets. In LPNMR (Vol. 1730, pp. 247–261). Springer. [bib]

1998

  1. Schaub, T. (1998). The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation (Vol. 1409). Springer. [bib]
  2. Benhammadi, F., Nicolas, P., & Schaub, T. (1998). Extension Calculus and Query Answering in Prioritized Default Logic. In AIMSA (Vol. 1480, pp. 76–87). Springer. [bib]
  3. Nicolas, P., & Schaub, T. (1998). The XRay system: An implementation platform for local query-answering in default logics. In Applications of Uncertainty Formalisms (Vol. 1455, pp. 354–378). Springer. [bib]
  4. Linke, T., & Schaub, T. (1998). An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem. In JELIA (Vol. 1489, pp. 233–247). Springer. [bib]
  5. Delgrande, J. P., & Schaub, T. (1998). Reasoning with Sets of Preferences in Default Logic. In PRICAI (Vol. 1531, pp. 134–145). Springer. [bib]
  6. Schaub, T., & Brüning, S. (1998). Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artif. Intell., 106(1), 1–75. [bib]
  7. Besnard, P., & Schaub, T. (1998). Signed Systems for Paraconsistent Reasoning. J. Autom. Reasoning, 20(1), 191–213. [bib]

1997

  1. Besnard, P., & Schaub, T. (1997). Circumscribing Inconsistency. In IJCAI (1) (pp. 150–155). Morgan Kaufmann. [bib]
  2. Delgrande, J. P., & Schaub, T. (1997). Compiling Reasoning with and about Preferences into Default Logic. In IJCAI (1) (pp. 168–175). Morgan Kaufmann. [bib]
  3. Schaub, T., & Nicolas, P. (1997). An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. In ISMIS (Vol. 1325, pp. 197–206). Springer. [bib]
  4. Schaub, T., & Nicolas, P. (1997). An Implementation Platform for Query-Answering: X-RAY. In LPNMR (Vol. 1265, pp. 442–453). Springer. [bib]
  5. Delgrande, J. P., & Schaub, T. (1997). Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artif. Intell., 90(1-2), 301–348. [pdf] [bib]
  6. Linke, T., & Schaub, T. (1997). Towards a classification of Default Logics. Journal of Applied Non-Classical Logics, 7(4), 397–451. [bib]

1996

  1. Schaub, T., Brüning, S., & Nicolas, P. (1996). XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. In CADE (Vol. 1104, pp. 293–297). Springer. [bib]
  2. Schaub, T., & Brüning, S. (1996). Prolog Technology for Default Reasoning (An Abridged Report). In ECAI (pp. 105–109). John Wiley and Sons, Chichester. [bib]
  3. Schaub, T., & Thielscher, M. (1996). Skeptical Query-Answering in Constrained Default Logic. In FAPR (Vol. 1085, pp. 567–581). Springer. [pdf] [bib]
  4. Brüning, S., & Schaub, T. (1996). A Model-Based Approach to Consistency-Checking. In ISMIS (Vol. 1079, pp. 315–324). Springer. [bib]
  5. Besnard, P., & Schaub, T. (1996). A Simple Signed System for Paraconsistent Reasoning. In JELIA (Vol. 1126, pp. 404–416). Springer. [bib]
  6. Linke, T., & Schaub, T. (1996). Putting Default Logics in Perspective. In KI (Vol. 1137, pp. 241–252). Springer. [bib]
  7. Lamarre, P., Siklóssy, L., & Schaub, T. (1996). Actes des Troisiémes Rencontres Nationales de Jeunes Chercheurs en Intelligence Artificielle. In AFIA. [bib]

1995

  1. Linke, T., & Schaub, T. (1995). Lemma Handling in Default Logic Theorem Provers. In ECSQARU (Vol. 946, pp. 285–292). Springer. [pdf] [bib]
  2. Besnard, P., & Schaub, T. (1995). An Approach to Context-Based Default Reasoning. Fundam. Inform., 23(2/3/4), 175–223. [pdf] [bib]
  3. Schaub, T. (1995). A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. J. Autom. Reasoning, 15(1), 95–165. [pdf] [bib]
  4. Thielscher, M., & Schaub, T. (1995). Default Reasoning by Deductive Planning. J. Autom. Reasoning, 15(1), 1–40. [pdf] [bib]
  5. Furbach, U., Bürckert, H.-J., Hertzberg, J., Nebel, B., Brewka, G., Lakemeyer, G., … Puppe, F. (1995). Ist die Wissensrepräsentation tot? KI, 9(5), 18–26. [bib]

1994

  1. Brüning, S., & Schaub, T. (1994). Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. In IPMU (Vol. 945, pp. 389–398). Springer. [pdf] [bib]
  2. Schaub, T. (1994). Computing Queries from Prioritized Default Theories. In ISMIS (Vol. 869, pp. 584–593). Springer. [bib]
  3. Delgrande, J. P., & Schaub, T. (1994). Incorporating Specificity into Circumscriptive Theories. In KI (Vol. 861, pp. 272–283). Springer. [bib]
  4. Delgrande, J. P., & Schaub, T. (1994). A General Approach to Specificity in Default Reasoning. In KR (pp. 146–157). Morgan Kaufmann. [pdf] [bib]
  5. Delgrande, J. P., Schaub, T., & Jackson, W. K. (1994). Alternative Approaches to Default Logic. Artif. Intell., 70(1-2), 167–237. [pdf] [bib]
  6. Besnard, P., & Schaub, T. (1994). Possible Worlds Semantics for Default Logics. Fundam. Inform., 21(1/2), 39–66. [pdf] [bib]

1993

  1. Bibel, W., Hölldobler, S., & Schaub, T. (1993). Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Vieweg. [bib]
  2. Beringer, A., & Schaub, T. (1993). Minimal Belief and Negation as Failure: A Feasible Approach. In AAAI (pp. 400–405). AAAI Press / The MIT Press. [pdf] [bib]
  3. Besnard, P., & Schaub, T. (1993). A Context-Based Framework for Default Logics. In AAAI (pp. 406–411). AAAI Press / The MIT Press. [pdf] [bib]
  4. Schaub, T. (1993). Variations of Constrained Default Logic. In ECSQARU (Vol. 747, pp. 310–317). Springer. [bib]

1992

  1. Schaub, T. (1992). Considerations on default logics (PhD thesis). Darmstadt University of Technology, Germany. [pdf] [bib]
  2. Schaub, T. (1992). On Constrained Default Theories. In ECAI (pp. 304–308). [pdf] [bib]

1991

  1. Schaub, T. (1991). On Commitment and Cumulativity in Default Logics. In ECSQARU (Vol. 548, pp. 305–309). Springer. [bib]
  2. Schaub, T. (1991). Assertional Default Theories: A Semantical View. In KR (pp. 496–506). Morgan Kaufmann. [bib]