Knowledge Processing and Information Systems
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]
  26. Kaminski, R. (2023). Complex reasoning with answer set programming (doctoralthesis). University of Potsdam. [pdf] [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. Jung, J. C., Mayer-Eichberger, V., & Saffidine, A. (2022). QBF Programming with the Modeling Language Bule. In SAT (Vol. 236, pp. 31:1–31:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bib]
  8. 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]
  9. Hecher, M. (2022). Treewidth-aware reductions of normal ASP to SAT - Is normal ASP harder than SAT after all? Artif. Intell., 304, 103651. [bib]
  10. Son, T. C., Pontelli, E., Balduccini, M., & Schaub, T. (2022). Answer Set Planning: A Survey. CoRR, abs/2202.05793. [pdf] [bib]
  11. 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]
  12. Fichte, J. K., Hecher, M., & Schindler, I. (2022). Default logic and bounded treewidth. Inf. Comput., 283, 104675. [bib]

2021

  1. Fichte, J. K., Hecher, M., & Meier, A. (2021). Knowledge-Base Degrees of Inconsistency: Complexity and Counting. In AAAI (pp. 6349–6357). AAAI Press. [bib]
  2. Fichte, J. K., Hecher, M., McCreesh, C., & Shahab, A. (2021). Complications for Computational Experiments from Modern Processors. In CP (Vol. 210, pp. 25:1–25:21). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bib]
  3. Fichte, J. K., Hecher, M., & Roland, V. (2021). Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization. In CP (Vol. 210, pp. 24:1–24:20). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bib]
  4. 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]
  5. Eiter, T., Hecher, M., & Kiesel, R. (2021). aspmc: An Algebraic Answer Set Counter. In ICLP Workshops (Vol. 2970). CEUR-WS.org. [bib]
  6. Fichte, J. K., Hecher, M., Mahmood, Y., & Meier, A. (2021). Decomposition-Guided Reductions for Argumentation and Treewidth. In IJCAI (pp. 1880–1886). ijcai.org. [bib]
  7. Eiter, T., Hecher, M., & Kiesel, R. (2021). Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. In KR (pp. 269–279). [bib]
  8. Rodriguez, I. D., Bonet, B., Romero, J., & Geffner, H. (2021). Learning First-Order Representations for Planning from Black Box States: New Results. In KR (pp. 539–548). [pdf] [bib]
  9. Fichte, J. K., Hecher, M., Morak, M., & Woltran, S. (2021). DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Algorithms, 14(3), 81. [bib]
  10. Rodriguez, I. D., Bonet, B., Romero, J., & Geffner, H. (2021). Learning First-Order Representations for Planning from Black-Box States: New Results. CoRR, abs/2105.10830. [pdf] [bib]
  11. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2021). Towards a Semantics for Hybrid ASP systems. CoRR, abs/2108.03061. [pdf] [bib]
  12. Kaminski, R., & Schaub, T. (2021). On the Foundations of Grounding in Answer Set Programming. CoRR, abs/2108.04769. [pdf] [bib]
  13. 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]
  14. 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]
  15. Hahn, S. (2021). Automata Techniques for Temporal Answer Set Programming. In ICLP Technical Communications (Vol. 345, pp. 258–266). [pdf] [bib]
  16. Mishra, S. (2021). Product Configuration in Answer Set Programming. In ICLP Technical Communications (Vol. 345, pp. 296–304). [bib]
  17. Tignon, E. (2021). Formalisation of Action with Durations in Answer Set Programming. In ICLP Technical Communications (Vol. 345, pp. 305–309). [bib]
  18. Fandinno, J., Mishra, S., Romero, J., & Schaub, T. (2021). Answer Set Programming Made Easy. CoRR, abs/2111.06366. [pdf] [bib]
  19. 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]
  20. 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]
  21. Mishra, S. (2021). Product Configuration in Answer Set Programming. CoRR, abs/2109.08304. [pdf] [bib]
  22. 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. Hecher, M., Morak, M., & Woltran, S. (2020). Structural Decompositions of Epistemic Logic Programs. In AAAI (pp. 2830–2837). AAAI Press. [bib]
  2. 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]
  3. Fichte, J. K., Hecher, M., & Kieler, M. F. I. (2020). Treewidth-Aware Quantifier Elimination and Expansion for QCSP. In CP (Vol. 12333, pp. 248–266). Springer. [bib]
  4. Fichte, J. K., Hecher, M., & Szeider, S. (2020). A Time Leap Challenge for SAT-Solving. In CP (Vol. 12333, pp. 267–285). Springer. [bib]
  5. Fichte, J. K., Hecher, M., & Szeider, S. (2020). Breaking Symmetries with RootClique and LexTopSort. In CP (Vol. 12333, pp. 286–303). Springer. [bib]
  6. Aguado, F., Cabalar, P., Fandinno, J., Pérez, G., & Vidal, C. (2020). Explicit Negation in Linear-Dynamic Equilibrium Logic. In ECAI (Vol. 325, pp. 569–576). IOS Press. [pdf] [bib]
  7. 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]
  8. 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]
  9. Dodaro, C., Elder, G. A., Faber, W., Fandinno, J., Gebser, M., Hecher, M., … Zangari, J. (Eds.). (2020). International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020 (Vol. 2678). CEUR-WS.org. [bib]
  10. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2020). Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. In ICLP Workshops (Vol. 2678). CEUR-WS.org. [pdf] [bib]
  11. Hecher, M., Morak, M., & Woltran, S. (2020). Structural Decompositions of Epistemic Logic Programs. In ICLP Workshops (Vol. 2678). CEUR-WS.org. [bib]
  12. Aguado, F., Cabalar, P., Fandinno, J., Pearce, D., Pérez, G., & Vidal, C. (2020). Forgetting Auxiliary Atoms in Forks (Extended Abstract). In IJCAI (pp. 5005–5009). ijcai.org. [bib]
  13. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2020). On the Splitting Property for Epistemic Logic Programs (Extended Abstract). In IJCAI (pp. 4721–4725). ijcai.org. [bib]
  14. 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]
  15. Hecher, M. (2020). Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? In KR (pp. 485–495). [bib]
  16. Fichte, J. K., Hecher, M., & Pfandler, A. (2020). Lower Bounds for QBFs of Bounded Treewidth. In LICS (pp. 410–424). ACM. [bib]
  17. Fichte, J. K., Hecher, M., Thier, P., & Woltran, S. (2020). Exploiting Database Management Systems and Treewidth for Counting. In PADL (Vol. 12007, pp. 151–167). Springer. [bib]
  18. Hecher, M., Thier, P., & Woltran, S. (2020). Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. In SAT (Vol. 12178, pp. 343–360). Springer. [bib]
  19. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2020). Autoepistemic answer set programming. Artif. Intell., 289, 103382. [pdf] [bib]
  20. Fichte, J. K., Hecher, M., Thier, P., & Woltran, S. (2020). Exploiting Database Management Systems and Treewidth for Counting. CoRR, abs/2001.04191. [bib]
  21. Hecher, M., Morak, M., & Woltran, S. (2020). Structural Decompositions of Epistemic Logic Programs. CoRR, abs/2001.04219. [bib]
  22. Cabalar, P., Fandinno, J., Schaub, T., & Wanko, P. (2020). An ASP semantics for Constraints involving Conditional Aggregates. CoRR, abs/2002.06911. [pdf] [bib]
  23. Cabalar, P., Diéguez Martı́n, Schaub, T., & Laferrière, F. (2020). Implementing Dynamic Answer Set Programming. CoRR, abs/2002.06916. [pdf] [bib]
  24. 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]
  25. 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]
  26. Hecher, M., & Fandinno, J. (2020). Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard. CoRR, abs/2007.04620. [bib]
  27. Cabalar, P., Fandinno, J., & Lierler, Y. (2020). Modular Answer Set Programming as a Formal Specification Language. CoRR, abs/2008.02015. [bib]
  28. Cabalar, P., Fandinno, J., Garea, J., Romero, J., & Schaub, T. (2020). eclingo: A solver for Epistemic Logic Programs. CoRR, abs/2008.02018. [pdf] [bib]
  29. Fandinno, J., Lifschitz, V., Lühne, P., & Schaub, T. (2020). Verifying Tight Logic Programs with anthem and Vampire. CoRR, abs/2008.02025. [pdf] [bib]
  30. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2020). Towards Metric Temporal Answer Set Programming. CoRR, abs/2008.02038. [pdf] [bib]
  31. Fichte, J. K., Hecher, M., & Szeider, S. (2020). A Time Leap Challenge for SAT Solving. CoRR, abs/2008.02215. [bib]
  32. Kaminski, R., Romero, J., Schaub, T., & Wanko, P. (2020). How to build your own ASP-based system?! CoRR, abs/2008.06692. [pdf] [bib]
  33. 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]
  34. Cabalar, P., Fandinno, J., & Muñiz, B. (2020). A System for Explainable Answer Set Programming. In ICLP Technical Communications (Vol. 325, pp. 124–136). [pdf] [bib]
  35. Fichte, J. K., Hecher, M., & Schidler, A. (2020). Solving the Steiner Tree Problem with few Terminals. CoRR, abs/2011.04593. [bib]
  36. Gebser, M., Janhunen, T., & Rintanen, J. (2020). Declarative encodings of acyclicity properties. J. Log. Comput., 30(4), 923–952. [bib]
  37. 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]
  38. 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]
  39. Cabalar, P., Fandinno, J., & Lierler, Y. (2020). Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program., 20(5), 767–782. [pdf] [bib]
  40. 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]
  41. 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]
  42. Gebser, M., Maratea, M., & Ricca, F. (2020). The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program., 20(2), 176–204. [pdf] [bib]
  43. Fandinno, J., Mishra, S., Romero, J., & Schaub, T. (2020). Answer Set Programming Made Easy. In ASPOCP@ICLP. [pdf] [bib]

2019

  1. Fichte, J. K., Hecher, M., & Meier, A. (2019). Counting Complexity for Reasoning in Abstract Argumentation. In AAAI (pp. 2827–2834). AAAI Press. [bib]
  2. 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]
  3. Fichte, J. K., Hecher, M., & Zisser, M. (2019). An Improved GPU-Based SAT Model Counter. In CP (Vol. 11802, pp. 491–509). Springer. [bib]
  4. 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]
  5. Alviano, M., Romero, J., & Schaub, T. (2019). On the Integration of CP-nets in ASPRIN. In IJCAI (pp. 1495–1501). ijcai.org. [pdf] [bib]
  6. Dzulfikar, M. A., Fichte, J. K., & Hecher, M. (2019). The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper). In IPEC (Vol. 148, pp. 25:1–25:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bib]
  7. 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]
  8. Everardo, F., & Osorio, M. (2019). Towards an answer set programming methodology for constructing programs following a semi-automatic approach. In LANMR (Vol. 2585, pp. 61–72). CEUR-WS.org. [pdf] [bib]
  9. Everardo, F., & Osorio, M. (2019). Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. In LANMR (Selected Papers) (Vol. 354, pp. 29–44). Elsevier. [bib]
  10. 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]
  11. 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]
  12. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2019). Splitting Epistemic Logic Programs. In LPNMR (Vol. 11481, pp. 120–133). Springer. [pdf] [bib]
  13. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2019). Founded World Views with Autoepistemic Equilibrium Logic. In LPNMR (Vol. 11481, pp. 134–147). Springer. [pdf] [bib]
  14. Cabalar, P., Kaminski, R., Morkisch, P., & Schaub, T. (2019). telingo = ASP + Time. In LPNMR (Vol. 11481, pp. 256–269). Springer. [pdf] [bib]
  15. Everardo, F., Janhunen, T., Kaminski, R., & Schaub, T. (2019). The Return of xorro. In LPNMR (Vol. 11481, pp. 284–297). Springer. [pdf] [bib]
  16. Fichte, J. K., & Hecher, M. (2019). Treewidth and Counting Projected Answer Sets. In LPNMR (Vol. 11481, pp. 105–119). Springer. [bib]
  17. 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]
  18. 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]
  19. Aguado, F., Cabalar, P., Fandinno, J., Pearce, D., Pérez, G., & Vidal, C. (2019). Forgetting auxiliary atoms in forks. Artif. Intell., 275, 575–601. [pdf] [bib]
  20. Cabalar, P., Fandinno, J., Schaub, T., & Schellhorn, S. (2019). Gelfond-Zhang aggregates as propositional formulas. Artif. Intell., 274, 26–43. [pdf] [bib]
  21. 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]
  22. Dvorák, W., Fandinno, J., & Woltran, S. (2019). On the expressive power of collective attacks. Argument & Computation, 10(2), 191–230. [bib]
  23. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2019). Founded World Views with Autoepistemic Equilibrium Logic. CoRR, abs/1902.07741. [bib]
  24. Fichte, J. K., & Hecher, M. (2019). Treewidth and Counting Projected Answer Sets. CoRR, abs/1903.11316. [bib]
  25. Gebser, M., Maratea, M., & Ricca, F. (2019). The Seventh Answer Set Programming Competition: Design and Results. CoRR, abs/1904.09134. [bib]
  26. Hecher, M. (2019). Answer Set Solving exploiting Treewidth and its Limits. CoRR, abs/1905.01688. [bib]
  27. Lühne, P. (2019). Discovering and Proving Invariants in Answer Set Programming and Planning. CoRR, abs/1905.03196. [bib]
  28. Wanko, P. (2019). Design Space Exploration via Answer Set Programming Modulo Theories. CoRR, abs/1905.05248. [bib]
  29. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2019). Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR, abs/1905.10621. [pdf] [bib]
  30. Fandinno, J. (2019). Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. CoRR, abs/1907.09247. [bib]
  31. Alviano, M., Dodaro, C., Fichte, J. K., Hecher, M., Philipp, T., & Rath, J. (2019). Inconsistency Proofs for ASP: The ASP-DRUPE Format. CoRR, abs/1907.10389. [bib]
  32. Aguado, F., Cabalar, P., Fandinno, J., Pearce, D., Pérez, G., & Vidal, C. (2019). Revisiting Explicit Negation in Answer Set Programming. CoRR, abs/1907.11467. [bib]
  33. Aguado, F., Cabalar, P., Fandinno, J., Muñiz, B., Pérez, G., & Suárez, F. (2019). A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. In ICLP Technical Communications (Vol. 306, pp. 266–272). [pdf] [bib]
  34. Fichte, J. K., Hecher, M., & Pfandler, A. (2019). TE-ETH: Lower Bounds for QBFs of Bounded Treewidth. CoRR, abs/1910.01047. [bib]
  35. Saldanha, E.-A. D., & Fandinno, J. (2019). On the Relation between Weak Completion Semantics and Answer Set Semantics. CoRR, abs/1910.07278. [pdf] [bib]
  36. 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]
  37. Fandinno, J., & Fichte, J. K. (2019). Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019. CoRR, abs/1912.09211. [bib]
  38. 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]
  39. Aguado, F., Cabalar, P., Fandinno, J., Pearce, D., Pérez, G., & Vidal, C. (2019). Revisiting Explicit Negation in Answer Set Programming. TPLP, 19(5-6), 908–924. [pdf] [bib]
  40. Alviano, M., Dodaro, C., Fichte, J. K., Hecher, M., Philipp, T., & Rath, J. (2019). Inconsistency Proofs for ASP: The ASP - DRUPE Format. TPLP, 19(5-6), 891–907. [bib]
  41. 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]
  42. Fandinno, J. (2019). Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. TPLP, 19(5-6), 671–687. [pdf] [bib]
  43. Fandinno, J., & Schulz, C. (2019). Answering the "why" in answer set programming - A survey of explanation approaches. TPLP, 19(2), 114–203. [pdf] [bib]
  44. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2019). Hybrid metabolic network completion. TPLP, 19(1), 83–108. [pdf] [bib]
  45. 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. Cayrol, C., Fandinno, J., del Cerro, L. F., & Lagasquie-Schiex, M.-C. (2018). Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. In COMMA (Vol. 305, pp. 29–36). IOS Press. [bib]
  6. Dvorák, W., Fandinno, J., & Woltran, S. (2018). On the Expressive Power of Collective Attacks. In COMMA (Vol. 305, pp. 49–60). IOS Press. [bib]
  7. Fichte, J. K., Hecher, M., Lodha, N., & Szeider, S. (2018). An SMT Approach to Fractional Hypertree Width. In CP (Vol. 11008, pp. 109–127). Springer. [bib]
  8. 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]
  9. Fichte, J. K., Hecher, M., Woltran, S., & Zisser, M. (2018). Weighted Model Counting on the GPU by Exploiting Small Treewidth. In ESA (Vol. 112, pp. 28:1–28:16). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  10. Cayrol, C., Fandinno, J., del Cerro, L. F., & Lagasquie-Schiex, M.-C. (2018). Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. In FoIKS (Vol. 10833, pp. 150–169). Springer. [bib]
  11. Obermeier, P. (2018). Scalable Robotic Intra-Logistics with Answer Set Programming. In ICLP (Technical Communications) (Vol. 64, pp. 24:1–24:5). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  12. 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]
  13. Alviano, M., Romero, J., & Schaub, T. (2018). Preference Relations by Approximation. In KR (pp. 2–11). AAAI Press. [pdf] [bib]
  14. 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]
  15. Fandinno, J., & del Cerro, L. F. (2018). Constructive Logic Covers Argumentation and Logic Programming. In KR (pp. 128–137). AAAI Press. [pdf] [bib]
  16. Fichte, J. K., & Hecher, M. (2018). Exploiting Treewidth for Counting Projected Answer Sets. In KR (pp. 639–640). AAAI Press. [bib]
  17. Fichte, J. K., Hecher, M., & Schindler, I. (2018). Default Logic and Bounded Treewidth. In LATA (Vol. 10792, pp. 130–142). Springer. [pdf] [bib]
  18. 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]
  19. Fichte, J. K., Hecher, M., Morak, M., & Woltran, S. (2018). Exploiting Treewidth for Projected Model Counting and Its Limits. In SAT (Vol. 10929, pp. 165–184). Springer. [bib]
  20. Cabalar, P., Kaminski, R., Schaub, T., & Schuhmann, A. (2018). Temporal Answer Set Programming on Finite Traces. CoRR, abs/1804.10227. [pdf] [bib]
  21. 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]
  22. 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]
  23. Cabalar, P., Fandinno, J., del Cerro, L. F., & Pearce, D. (2018). Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR, abs/1805.00660. [bib]
  24. Fichte, J. K., Morak, M., Hecher, M., & Woltran, S. (2018). Exploiting Treewidth for Projected Model Counting and its Limits. CoRR, abs/1805.05445. [bib]
  25. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2018). Hybrid Metabolic Network Completion. CoRR, abs/1808.04149. [pdf] [bib]
  26. Fandinno, J., & Schulz, C. (2018). Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches. CoRR, abs/1809.08034. [bib]
  27. Lifschitz, V., Lühne, P., & Schaub, T. (2018). anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR, abs/1810.00453. [pdf] [bib]
  28. Fichte, J. K., Hecher, M., & Meier, A. (2018). Counting Complexity for Reasoning in Abstract Argumentation. CoRR, abs/1811.11501. [bib]
  29. Fandinno, J., & Fichte, J. K. (2018). Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018. CoRR, abs/1812.03508. [bib]
  30. Dimopoulos, Y., Gebser, M., Lühne, P., Romero, J., & Schaub, T. (2018). plasp 3: Towards Effective ASP Planning. CoRR, abs/1812.04491. [pdf] [bib]
  31. Cabalar, P., Fandinno, J., & del Cerro, L. F. (2018). Splitting Epistemic Logic Programs. CoRR, abs/1812.08763. [bib]
  32. 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]
  33. Abseher, M., Bliem, B., Hecher, M., Moldovan, M., & Woltran, S. (2018). Dynamic Programming on Tree Decompositions with D-FLAT. KI, 32(2-3), 191–192. [bib]
  34. 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]
  35. Brewka, G., Schaub, T., & Woltran, S. (2018). Interview with Gerhard Brewka. KI, 32(2-3), 219–221. [pdf] [bib]
  36. 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]
  37. Haubelt, C., Neubauer, K., Schaub, T., & Wanko, P. (2018). Design Space Exploration with Answer Set Programming. KI, 32(2-3), 205–206. [pdf] [bib]
  38. Lifschitz, V., Schaub, T., & Woltran, S. (2018). Interview with Vladimir Lifschitz. KI, 32(2-3), 213–218. [pdf] [bib]
  39. Schaub, T., & Woltran, S. (2018). Special Issue on Answer Set Programming. KI, 32(2-3), 101–103. [pdf] [bib]
  40. Schaub, T., & Woltran, S. (2018). Answer set programming unleashed! KI, 32(2-3), 105–108. [pdf] [bib]
  41. Cabalar, P., Fandinno, J., del Cerro, L. F., & Pearce, D. (2018). Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. TPLP, 18(3-4), 390–405. [pdf] [bib]
  42. Cabalar, P., Kaminski, R., Schaub, T., & Schuhmann, A. (2018). Temporal Answer Set Programming on Finite Traces. TPLP, 18(3-4), 406–420. [pdf] [bib]
  43. 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]
  44. 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]
  45. Ostrowski, M. (2018). Modern constraint answer set solving (PhD thesis). University of Potsdam, Germany. [pdf] [bib]
  46. 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. Cayrol, C., Fandinno, J., del Cerro, L. F., & Lagasquie-Schiex, M.-C. (2017). Valid Attacks in Argumentation Frameworks with Recursive Attacks. In COMMONSENSE (Vol. 2052). CEUR-WS.org. [bib]
  2. 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]
  3. Cabalar, P., Fandinno, J., del Cerro, L. F., Pearce, D., & Valverde Agustı́n. (2017). On the Properties of Atom Definability and Well-Supportedness in Logic Programming. In EPIA (Vol. 10423, pp. 624–636). Springer. [pdf] [bib]
  4. 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]
  5. 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]
  6. Fichte, J. K., Hecher, M., Morak, M., & Woltran, S. (2017). DynASP2.5: Dynamic Programming on Tree Decompositions in Action. In IPEC (Vol. 89, pp. 17:1–17:13). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  7. 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]
  8. Aguado, F., Cabalar, P., Fandinno, J., Pearce, D., Pérez, G., & Vidal, C. (2017). Forgetting Auxiliary Atoms in Forks. In ASPOCP@LPNMR (Vol. 1868). CEUR-WS.org. [bib]
  9. 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]
  10. 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]
  11. 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]
  12. Fichte, J. K., Hecher, M., Morak, M., & Woltran, S. (2017). Answer Set Solving with Bounded Treewidth Revisited. In LPNMR (Vol. 10377, pp. 132–145). Springer. [pdf] [bib]
  13. Fichte, J. K., Kronegger, M., & Woltran, S. (2017). A Multiparametric View on Answer Set Programming. In ASPOCP@LPNMR (Vol. 1868). CEUR-WS.org. [pdf] [bib]
  14. Fichte, J. K., & Szeider, S. (2017). Backdoor Trees for Answer Set Programming. In ASPOCP@LPNMR (Vol. 1868). CEUR-WS.org. [pdf] [bib]
  15. 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]
  16. Gebser, M., Maratea, M., & Ricca, F. (2017). The Design of the Seventh Answer Set Programming Competition. In LPNMR (Vol. 10377, pp. 3–9). Springer. [pdf] [bib]
  17. 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]
  18. 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]
  19. Fichte, J. K., Lodha, N., & Szeider, S. (2017). SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. In SAT (Vol. 10491, pp. 401–411). Springer. [pdf] [bib]
  20. 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]
  21. Guyet, T., Moinard, Y., Quiniou, R., & Schaub, T. (2017). Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. CoRR, abs/1711.05090. [bib]
  22. Banbara, M., Kaufmann, B., Ostrowski, M., & Schaub, T. (2017). Clingcon: The Next Generation. CoRR, abs/1705.04569. [bib]
  23. Fichte, J. K., Hecher, M., Morak, M., & Woltran, S. (2017). Answer Set Solving with Bounded Treewidth Revisited. CoRR, abs/1702.02890. [bib]
  24. Fichte, J. K., Hecher, M., Morak, M., & Woltran, S. (2017). DynASP2.5: Dynamic Programming on Tree Decompositions in Action. CoRR, abs/1706.09370. [bib]
  25. Fichte, J. K., Hecher, M., & Schindler, I. (2017). Default Logic and Bounded Treewidth. CoRR, abs/1706.09393. [bib]
  26. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2017). Multi-shot ASP solving with clingo. CoRR, abs/1705.09811. [pdf] [bib]
  27. 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]
  28. Gebser, M., Maratea, M., & Ricca, F. (2017). The Sixth Answer Set Programming Competition. J. Artif. Intell. Res., 60, 41–95. [pdf] [bib]
  29. Janhunen, T., Gebser, M., Rintanen, J., Nyman, H. J., Pensar, J., & Corander, J. (2017). Learning discrete decomposable graphical models via constraint optimization. Statistics and Computing, 27(1), 115–130. [pdf] [bib]
  30. Banbara, M., Kaufmann, B., Ostrowski, M., & Schaub, T. (2017). Clingcon: The next generation. TPLP, 17(4), 408–461. [pdf] [bib]
  31. Cabalar, P., & Fandinno, J. (2017). Enablers and inhibitors in causal justifications of logic programs. TPLP, 17(1), 49–74. [pdf] [bib]
  32. 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]
  33. Romero, J. (2017). asprin: Answer Set Programming with Preferences. In BTW (pp. 159–162). Bonn: Gesellschaft für Informatik e.V. [pdf] [bib]
  34. Everardo, F. (2017). Towards an Automated Multitrack Mixing Tool using Answer Set Programming. In SMC (pp. 422–428). Aalto University. [pdf] [bib]
  35. Hecher, M. (2017). Structure-Driven Answer-Set Solving. In DC@LPNMR. [pdf] [bib]
  36. Romero, J. (2017). Extending Answer Set Programming with Declarative Heuristics, Preferences, and Online Planning. In DC@LPNMR (pp. 28–30). [pdf] [bib]
  37. Lühne, P. (2017). Discovering and Proving Invariants in Answer Set Programming and Planning. In DC@LPNMR (pp. 17–21). [pdf] [bib]
  38. Ostrowski, M. (2017). Modern Constraint Answer Set Solving. In DC@LPNMR (pp. 22–27). [pdf] [bib]
  39. Everardo, F. (2017). Sampling and Search Space with Answer Set Programming. In DC@LPNMR (pp. 1–4). [pdf] [bib]
  40. Schellhorn, S. (2017). Theory Reasoning with Answer Set Programming. In DC@LPNMR (pp. 31–34). [pdf] [bib]

2016

  1. Bliem, B., Charwat, G., Hecher, M., & Woltran, S. (2016). Subset Minimization in Dynamic Programming on Tree Decompositions. In AAAI Workshop: Beyond NP (Vol. WS-16-05). AAAI Press. [bib]
  2. Gebser, M., Maratea, M., & Ricca, F. (2016). What’s Hot in the Answer Set Programming Competition. In AAAI (pp. 4327–4329). AAAI Press. [bib]
  3. 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]
  4. Bliem, B., Hecher, M., & Woltran, S. (2016). On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions. In COMMA (Vol. 287, pp. 107–118). IOS Press. [bib]
  5. Becker, K., Bockmayer, A., Gebser, M., & Schaub, T. (2016). Answer Set Programming for Logical Analysis of Data. In WCB@CP (pp. 15–26). [bib]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Bomanson, J., Gebser, M., & Janhunen, T. (2016). Rewriting Optimization Statements in Answer-Set Programs. In ICLP (Technical Communications) (Vol. 52, pp. 5:1–5:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  11. 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]
  12. 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]
  13. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving Made Easy with Clingo 5 (Extended Version). [pdf] [bib]
  14. Wanko, P. (2016). Scalable Design Space Exploration via Answer Set Programming. In ICLP (Technical Communications) (Vol. 52, pp. 23:1–23:11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  15. Alviano, M., Faber, W., & Gebser, M. (2016). From Non-Convex Aggregates to Monotone Aggregates in ASP. In IJCAI (pp. 4100–4194). IJCAI/AAAI Press. [pdf] [bib]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Muñoz, J., & Everardo, F. (2016). Urban land use planning using answer set programming - preliminary report -. In LANMR (Vol. 1659, pp. 82–89). CEUR-WS.org. [pdf] [bib]
  21. Fichte, J. K., Meier, A., & Schindler, I. (2016). Strong Backdoors for Default Logic. In SAT (Vol. 9710, pp. 45–59). Springer. [bib]
  22. Calimeri, F., Gebser, M., Maratea, M., & Ricca, F. (2016). Design and results of the Fifth Answer Set Programming Competition. Artif. Intell., 231, 151–181. [pdf] [bib]
  23. Gebser, M., & Schaub, T. (2016). Modeling and Language Extensions. AI Magazine, 37(3), 33–44. [pdf] [bib]
  24. Kaufmann, B., Leone, N., Perri, S., & Schaub, T. (2016). Grounding and Solving in Answer Set Programming. AI Magazine, 37(3), 25–32. [pdf] [bib]
  25. 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]
  26. Cabalar, P., & Fandinno, J. (2016). Enablers and Inhibitors in Causal Justifications of Logic Programs. CoRR, abs/1602.06897. [bib]
  27. Cabalar, P., & Fandinno, J. (2016). Justifications for Programs with Disjunctive and Causal-choice Rules. CoRR, abs/1608.00870. [bib]
  28. Fandinno, J. (2016). Deriving Conclusions From Non-Monotonic Cause-Effect Relations. CoRR, abs/1608.00867. [bib]
  29. Fichte, J. K., Hecher, M., Morak, M., & Woltran, S. (2016). Counting Answer Sets via Dynamic Programming. CoRR, abs/1612.07601. [bib]
  30. Fichte, J. K., Meier, A., & Schindler, I. (2016). Strong Backdoors for Default Logic. CoRR, abs/1602.06052. [bib]
  31. Gebser, M., Kaminski, R., & Schaub, T. (2016). Grounding Recursive Aggregates: Preliminary Report. CoRR, abs/1603.03884. [pdf] [bib]
  32. Sabuncu, O., Schaub, T., & Schulz-Hanke, C. (2016). Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective. CoRR, abs/1611.06413. [bib]
  33. 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]
  34. Bliem, B., Charwat, G., Hecher, M., & Woltran, S. (2016). D-FLAT\(^\mbox2\): Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. Fundam. Inform., 147(1), 27–61. [bib]
  35. Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B., & Schaub, T. (2016). Answer Set Programming Modulo Acyclicity. Fundam. Inform., 147(1), 63–91. [pdf] [bib]
  36. Fandinno, J. (2016). Towards Deriving Conclusions from Cause-effect Relations. Fundam. Inform., 147(1), 93–131. [bib]
  37. Cabalar, P., & Fandinno, J. (2016). Justifications for programs with disjunctive and causal-choice rules. TPLP, 16(5-6), 587–603. [pdf] [bib]
  38. Fandinno, J. (2016). Deriving conclusions from non-monotonic cause-effect relations. TPLP, 16(5-6), 670–687. [pdf] [bib]
  39. 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]
  40. Gebser, M., Janhunen, T., & Rintanen, J. (2016). Declarative Encodings of Acyclicity Properties. Journal of Logic and Computation. [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. Cabalar, P., & Fandiño, J. (2015). Explaining Preferences and Preferring Explanations. In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Vol. 9060, pp. 218–232). Springer. [bib]
  5. 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]
  6. 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]
  7. Gebser, M., Ryabokon, A., & Schenner, G. (2015). Solving combined configuration problems: a heuristic approach. In Configuration Workshop (Vol. 1453, pp. 55–59). CEUR-WS.org. [bib]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Brewka, G., Delgrande, J. P., Romero, J., & Schaub, T. (2015). Implementing Preferences with asprin. In LPNMR (Vol. 9345, pp. 158–172). Springer. [pdf] [bib]
  15. Cabalar, P., & Fandinno, J. (2015). Enablers and Inhibitors in Causal Justifications of Logic Programs. In LPNMR (Vol. 9345, pp. 199–212). Springer. [pdf] [bib]
  16. 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]
  17. 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]
  18. Gebser, M., Maratea, M., & Ricca, F. (2015). The Design of the Sixth Answer Set Programming Competition - - Report -. In LPNMR (Vol. 9345, pp. 531–544). Springer. [pdf] [bib]
  19. Gebser, M., Ryabokon, A., & Schenner, G. (2015). Combining Heuristics for Configuration Problems Using Answer Set Programming. In LPNMR (Vol. 9345, pp. 384–397). Springer. [pdf] [bib]
  20. 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]
  21. Fichte, J. K., & Szeider, S. (2015). Backdoors to tractable answer set programming. Artif. Intell., 220, 64–103. [bib]
  22. Alviano, M., Faber, W., & Gebser, M. (2015). Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR, abs/1507.03923. [bib]
  23. Fichte, J. K., Truszczynski, M., & Woltran, S. (2015). Dual-normal Logic Programs - the Forgotten Class. CoRR, abs/1507.05388. [bib]
  24. Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V., & Schaub, T. (2015). Abstract Gringo. CoRR, abs/1507.06576. [bib]
  25. Gebser, M., Obermeier, P., & Schaub, T. (2015). Interactive Answer Set Programming - Preliminary Report. CoRR, abs/1511.01261. [pdf] [bib]
  26. 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]
  27. 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]
  28. Fichte, J. K., & Szeider, S. (2015). Backdoors to Normality for Disjunctive Logic Programs. ACM Trans. Comput. Log., 17(1), 7:1–7:23. [bib]
  29. Alviano, M., Faber, W., & Gebser, M. (2015). Rewriting recursive aggregates in answer set programming: back to monotonicity. TPLP, 15(4-5), 559–573. [pdf] [bib]
  30. Fichte, J. K., Truszczynski, M., & Woltran, S. (2015). Dual-normal logic programs - the forgotten class. TPLP, 15(4-5), 495–510. [bib]
  31. Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V., & Schaub, T. (2015). Abstract gringo. TPLP, 15(4-5), 449–463. [pdf] [bib]
  32. 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]
  33. Kaufmann, B. (2015). High performance answer set solving (PhD thesis). University of Potsdam. [bib]
  34. Opolka, S., Obermeier, P., & Schaub, T. (2015). Automatic Genre-Dependent Composition using Answer Set Programming. In ISEA. [pdf] [bib]
  35. Abseher, M., Gebser, M., Musliu, N., Schaub, T., & Woltran, S. (2015). Shift Design with Answer Set Programming. In ASPOCP@LPNMR. [pdf] [bib]
  36. Gebser, M., Janhunen, T., Kaminski, R., Schaub, T., & Tasharrofi, S. (2015). Writing Declarative Specifications for Clauses. In GTTV@LPNMR. [pdf] [bib]
  37. Gebser, M., Kaminski, R., & Schaub, T. (2015). Grounding Recursive Aggregates: Preliminary Report. In GTTV@LPNMR. [pdf] [bib]

2014

  1. Davila, J. R., Saffidine, A., & Thielscher, M. (2014). Solving the Inferential Frame Problem in the General Game Description Language. In AAAI (pp. 515–521). AAAI Press. [pdf] [bib]
  2. Schaub, T., Friedrich, G., & O’Sullivan, B. (Eds.). (2014). ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) (Vol. 263). IOS Press. [bib]
  3. Gebser, M., Janhunen, T., & Rintanen, J. (2014). Answer Set Programming as SAT modulo Acyclicity. In ECAI (Vol. 263, pp. 351–356). IOS Press. [pdf] [bib]
  4. Vogiatzaki, E., Gravezas, Y., Dalezios, N., Biswas, D., Cranny, A., Ortmann, S., … Jost, H. (2014). Telemedicine system for game-based rehabilitation of stroke patients in the FP7-"StrokeBack" project. In EuCNC (pp. 1–5). IEEE. [pdf] [bib]
  5. Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M., & Woltran, S. (2014). The D-FLAT System for Dynamic Programming on Tree Decompositions. In JELIA (Vol. 8761, pp. 558–572). Springer. [bib]
  6. Bomanson, J., Gebser, M., & Janhunen, T. (2014). Improving the Normalization of Weight Rules in Answer Set Programs. In JELIA (Vol. 8761, pp. 166–180). Springer. [pdf] [bib]
  7. Cabalar, P., Fandiño, J., & Fink, M. (2014). A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. In JELIA (Vol. 8761, pp. 297–310). Springer. [pdf] [bib]
  8. Gebser, M., Janhunen, T., & Rintanen, J. (2014). SAT Modulo Graphs: Acyclicity. In JELIA (Vol. 8761, pp. 137–151). Springer. [pdf] [bib]
  9. Gebser, M., Janhunen, T., & Rintanen, J. (2014). ASP Encodings of Acyclicity Properties. In KR. AAAI Press. [pdf] [bib]
  10. Hutter, F., López-Ibáñez, M., Fawcett, C., Lindauer, M. T., Hoos, H. H., Leyton-Brown, K., & Stützle, T. (2014). AClib: A Benchmark Library for Algorithm Configuration. In LION (Vol. 8426, pp. 36–40). Springer. [pdf] [bib]
  11. Cerexhe, T. J., Gebser, M., & Thielscher, M. (2014). Online Agent Logic Programming with oClingo. In PRICAI (Vol. 8862, pp. 945–957). Springer. [pdf] [bib]
  12. Guziolowski, C., Videla, S., Eduati, F., Thiele, S., Cokelaer, T., Siegel, A., & Saez-Rodriguez, J. (2014). Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming. Bioinformatics, 30(13), 1942. [pdf] [bib]
  13. Cabalar, P., Fandinno, J., & Fink, M. (2014). Causal Graph Justifications of Logic Programs. CoRR, abs/1409.7281. [bib]
  14. Calimeri, F., Gebser, M., Maratea, M., & Ricca, F. (2014). The Design of the Fifth Answer Set Programming Competition. CoRR, abs/1405.3710. [bib]
  15. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2014). Clingo = ASP + Control: Preliminary Report. CoRR, abs/1405.3694. [bib]
  16. Hoos, H., Kaminski, R., Lindauer, M. T., & Schaub, T. (2014). Solver Scheduling via Answer Set Programming. CoRR, abs/1401.1024. [bib]
  17. Hoos, H., Lindauer, M. T., & Schaub, T. (2014). claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. CoRR, abs/1405.1520. [bib]
  18. Cabalar, P., Fandinno, J., & Fink, M. (2014). Causal Graph Justifications of Logic Programs. TPLP, 14(4-5), 603–618. [pdf] [bib]
  19. 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]
  20. 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]
  21. Brewka, G., Delgrande, J. P., Romero, J., & Schaub, T. (2014). Are Preferences Giving You a Headache? — Take asprin! In ASPOCP@LPNMR. [pdf] [bib]
  22. Gebser, M., Janhunen, T., Kaminski, R., Schaub, T., & Tasharrofi, S. (2014). Declarative Encodings of Acyclicity Properties. In ASPOCP@LPNMR. [pdf] [bib]
  23. 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. Bordron, P., Eveillard, D., Maass, A., Siegel, A., & Thiele, S. (2013). An ASP Application in Integrative Biology: Identification of Functional Gene Units. In LPNMR (Vol. 8148, pp. 206–218). Springer. [bib]
  9. Cerexhe, T. J., Sabuncu, O., & Thielscher, M. (2013). Evaluating Answer Set Clause Learning for General Game Playing. In LPNMR (Vol. 8148, pp. 219–232). Springer. [pdf] [bib]
  10. 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]
  11. Gebser, M., Glase, T., Sabuncu, O., & Schaub, T. (2013). Matchmaking with Answer Set Programming. In LPNMR (Vol. 8148, pp. 342–347). Springer. [pdf] [bib]
  12. 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]
  13. 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]
  14. Guziolowski, C., Videla, S., Eduati, F., Thiele, S., Cokelaer, T., Siegel, A., & Saez-Rodriguez, J. (2013). Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming. Bioinformatics, 29(18), 2320–2326. [bib]
  15. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., & Schaub, T. (2013). Answer Set Programming for Stream Reasoning. CoRR, abs/1301.1392. [bib]
  16. 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]
  17. 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]
  18. Cabalar, P., & Fandinno, J. (2013). An Algebra of Causal Chains. CoRR, abs/1312.6134. [bib]
  19. Gebser, M., Obermeier, P., & Schaub, T. (2013). A System for Interactive Query Answering with Answer Set Programming. CoRR, abs/1312.6143. [bib]
  20. 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]
  21. 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]
  22. 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]
  23. Fandinno, J. (2013). Algebraic Approach to Causal Logic Programs. TPLP, 13(4-5-Online-Supplement). [bib]
  24. Gavanelli, M., & Gebser, M. (2013). The ICLP 2013 Doctoral Consortium. TPLP, 13(4-5-Online-Supplement). [bib]
  25. 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]
  26. König, A. (2013). Visualizing Answer Set Programming. TPLP, 13(4-5-Online-Supplement). [pdf] [bib]
  27. König, A., & Schaub, T. (2013). Monitoring and Visualizing Answer Set Solving. TPLP, 13(4-5-Online-Supplement). [pdf] [bib]
  28. Gebser, M., Obermeier, P., & Schaub, T. (2013). A system for interactive query answering with answer set programming. In ASPOCP. [pdf] [bib]
  29. 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. Videla, S., Guziolowski, C., Eduati, F., Thiele, S., Grabe, N., Saez-Rodriguez, J., & Siegel, A. (2012). Revisiting the Training of Logic Models of Protein Signaling Networks with ASP. In CMSB (Vol. 7605, pp. 342–361). Springer. [pdf] [bib]
  3. Schaub, T. (2012). Answer Set Programming. In FMCAD (p. 2). IEEE. [bib]
  4. 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]
  5. 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]
  6. Ostrowski, M. (2012). ASP modulo CSP: The clingcon system. In ICLP (Technical Communications) (Vol. 17, pp. 458–463). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  7. Silverthorn, B., Lierler, Y., & Schneider, M. (2012). Surviving Solver Sensitivity: An ASP Practitioner’s Guide. In ICLP (Technical Communications) (Vol. 17, pp. 164–175). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  8. 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]
  9. Schneider, M., & Hoos, H. H. (2012). Quantifying Homogeneity of Instance Sets for Algorithm Configuration. In LION (Vol. 7219, pp. 190–204). Springer. [pdf] [bib]
  10. Gebser, M., Kaufmann, B., & Schaub, T. (2012). Conflict-driven answer set solving: From theory to practice. Artif. Intell., 187, 52–89. [pdf] [bib]
  11. Videla, S., Guziolowski, C., Eduati, F., Thiele, S., Grabe, N., Saez-Rodriguez, J., & Siegel, A. (2012). Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming. CoRR, abs/1210.0690. [bib]
  12. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. CoRR, abs/1210.2287. [bib]
  13. Gebser, M., Kaufmann, B., & Schaub, T. (2012). Multi-threaded ASP Solving with clasp. CoRR, abs/1210.3265. [bib]
  14. Schaub, T. (2012). Préface. Revue d’Intelligence Artificielle, 26(1-2), 7. [bib]
  15. Gebser, M., Kaufmann, B., & Schaub, T. (2012). Multi-threaded ASP solving with clasp. TPLP, 12(4-5), 525–545. [pdf] [bib]
  16. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. TPLP, 12(4-5), 485–503. [pdf] [bib]
  17. Thiele, S. (2012). Modeling biological systems with Answer Set Programming (PhD thesis). University of Potsdam. [bib]
  18. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2012). Answer Set Solving in Practice. Morgan & Claypool Publishers. [bib]
  19. Hoos, H., Leyton-Brown, K., Schaub, T., & Schneider, M. (2012). Algorithm Configuration for Portfolio-based Parallel SAT-Solving. In CoCoMile. [pdf] [bib]
  20. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., & Schaub, T. (2012). Answer Set Programming for Stream Reasoning. In ASPOCP@LPNMR. [pdf] [bib]
  21. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., & Schaub, T. (2012). Stream Reasoning with Answer Set Programming: Extended Version. Unpublished draft. [bib]
  22. 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]
  23. Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. In CSPSAT. [pdf] [bib]
  24. 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]
  25. 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., Lee, J., & Lierler, Y. (2011). On elementary loops of logic programs. TPLP, 11(6), 953–988. [bib]
  22. 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]
  23. Gebser, M. (2011). Proof theory and algorithms for answer set programming (PhD thesis). University of Potsdam. [bib]
  24. Gebser, M., Kaminski, R., & Schaub, T. (2011). Complex optimization in answer set programming: Extended Version. [pdf] [bib]
  25. 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. (Eds.). (2010). Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK (Vol. 7). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Schaub, T. (2010). Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning. In SUM (Vol. 6379, p. 2). Springer. [bib]
  10. Drescher, C., Gebser, M., Kaufmann, B., & Schaub, T. (2010). Heuristics in Conflict Resolution. CoRR, abs/1005.1716. [bib]
  11. Gebser, M., Schaub, T., Thiele, S., & Veber, P. (2010). Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. CoRR, abs/1007.0134. [bib]
  12. Hermenegildo, M. V., & Schaub, T. (2010). Introduction to the 26th International Conference on Logic Programming Special Issue. CoRR, abs/1008.1710. [bib]
  13. Gebser, M., Lee, J., & Lierler, Y. (2010). On Elementary Loops of Logic Programs. CoRR, abs/1012.5847. [bib]
  14. Schaub, T., & Siegel, A. (2010). Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets. ERCIM News, 2010(82), 30. [pdf] [bib]
  15. Hermenegildo, M. V., & Schaub, T. (2010). Introduction to the 26th international conference on logic programming special issue. TPLP, 10(4-6), 361–364. [bib]
  16. Thiele, S., Klie, S., Jozefczuk, S., Selbig, J., & Blachon, S. (2010). Combinatorial Analysis of Transcription Regulation of Response to Oxidative Stresses in E. coli. In ECCB (pp. 23–23). [pdf] [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. Erdem, E., Lin, F., & Schaub, T. (Eds.). (2009). Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings (Vol. 5753). Springer. [bib]
  7. Denecker, M., Vennekens, J., Bond, S., Gebser, M., & Truszczynski, M. (2009). The Second Answer Set Programming Competition. In LPNMR (Vol. 5753, pp. 637–654). Springer. [pdf] [bib]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Gebser, M., Gharib, M., Mercer, R. E., & Schaub, T. (2009). Monotonic Answer Set Programming. J. Log. Comput., 19(4), 539–564. [bib]
  17. Henin, T., & Schaub, T. (2009). A Transport Reaction Language: Preliminary Report. In NRAC (pp. 41–46). University of Technology, Sydney, Australia. [pdf] [bib]
  18. 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. (2007). Advanced Techniques for Answer Set Programming. In ICLP (Vol. 4670, pp. 458–459). Springer. [bib]
  4. Gebser, M., & Schaub, T. (2007). Generic Tableaux for Answer Set Programming. In ICLP (Vol. 4670, pp. 119–133). Springer. [pdf] [bib]
  5. Delgrande, J. P., Lang, J., & Schaub, T. (2007). Belief Change Based on Global Minimisation. In IJCAI (pp. 2468–2473). [pdf] [bib]
  6. Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Conflict-Driven Answer Set Solving. In IJCAI (p. 386). [pdf] [bib]
  7. 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]
  8. 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]
  9. Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Conflict-Driven Answer Set Enumeration. In LPNMR (Vol. 4483, pp. 136–148). Springer. [pdf] [bib]
  10. 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]
  11. Gebser, M., Lee, J., & Lierler, Y. (2007). Head-Elementary-Set-Free Logic Programs. In LPNMR (Vol. 4483, pp. 149–161). Springer. [pdf] [bib]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Delgrande, J. P., & Schaub, T. (2007). A consistency-based framework for merging knowledge bases. J. Applied Logic, 5(3), 459–477. [pdf] [bib]
  17. 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]
  18. Konczak, K. (2007). Preferences in answer set programming (PhD thesis). University of Potsdam, Germany. [bib]
  19. 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]
  20. 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]
  21. Gebser, M., Gharib, M., & Schaub, T. (2007). Incremental Answer Sets and Their Computation. In ASP (pp. 161–174). [pdf] [bib]
  22. Gharib, M., Mercer, R., & Schaub, T. (2007). Incremental Answer Set Programming: A Preliminary Report. In ASP (pp. 149–160). [pdf] [bib]

2006

  1. Gebser, M., Lee, J., & Lierler, Y. (2006). Elementary Sets of Logic Programs. In AAAI (pp. 244–249). AAAI Press. [pdf] [bib]
  2. 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]
  3. 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]
  4. Gebser, M., & Schaub, T. (2006). Tableau Calculi for Answer Set Programming. In ICLP (Vol. 4079, pp. 11–25). Springer. [pdf] [bib]
  5. 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]
  6. Konczak, K. (2006). Voting Theory in Answer Set Programming. In WLP (Vol. 1843-06-02, pp. 45–53). Technische Universität Wien, Austria. [pdf] [bib]
  7. Konczak, K. (2006). Weak Order Equivalence for Logic Programs with Preferences. In WLP (Vol. 1843-06-02, pp. 154–163). Technische Universität Wien, Austria. [pdf] [bib]
  8. Schaub, T. (2006). Tableaux Calculi for Answer Set Programming. In WLP (Vol. 1843-06-02, pp. 1–11). Technische Universität Wien, Austria. [bib]
  9. Faber, W., & Konczak, K. (2006). Strong order equivalence. Ann. Math. Artif. Intell., 47(1-2), 43–78. [bib]
  10. Konczak, K., Linke, T., & Schaub, T. (2006). Graphs and colorings for answer set programming. TPLP, 6(1-2), 61–106. [bib]
  11. Braban, G., Flöter, A., Möhlig, M., Pfeiffer, A. F. H., Schill, T., Schlösser, H. W., … Spranger, J. (2006). A screening procedure for daily use to detect abnomal glucose metabolism in women with polycystic ovary. In Diabetoligia 49 (pp. 2572–2579). [bib]
  12. Gebser, M., & Schaub, T. (2006). Characterizing ASP Inferences by Unit Propagation. In LASH (pp. 41–56). [pdf] [bib]
  13. Anger, C., Gebser, M., & Schaub, T. (2006). Approaching the Core of Unfounded Set. In NMR (pp. 58–66). [pdf] [bib]
  14. Delgrande, J., Liu, D., Schaub, T., & Thiele, S. (2006). COBA 2.0: A Consistency-Based Belief Change Syste. In NMR (pp. 267–273). [bib]
  15. Delgrande, J., Schaub, T., & Tompits, H. (2006). An Extended Query Language for Action Languages (and its Application to Aggregates and Preferences). In NMR (pp. 362–370). [pdf] [bib]
  16. Gressmann, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S., & Tichy, R. (2006). On Probing and Multi-Threading in Platypus. In NMR (pp. 30–38). Institute for Informatics. [pdf] [bib]
  17. Delgrande, J., Schaub, T., & Tompits, H. (2006). A Preference-Based Framework for Updating Logic Programs: Preliminary Report. In PREFS (pp. 31–44). [bib]
  18. Mileo, A., & Schaub, T. (2006). Extending Ordered Disjunctions for Policy Enforcement: Preliminary report. In PREFS (pp. 45–59). [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. Konczak, K., & Vogel, R. (2005). Abduction and Preferences in Linguistics. In Answer Set Programming (Vol. 142). CEUR-WS.org. [bib]
  3. Bertossi, L. E., Hunter, A., & Schaub, T. (Eds.). (2005). Inconsistency Tolerance [result from a Dagstuhl seminar] (Vol. 3300). Springer. [bib]
  4. Brewka, G., Niemelä, I., Schaub, T., & Truszczynski, M. (Eds.). (2005). Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 (Vol. 05171). Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. [bib]
  5. Bertossi, L. E., Hunter, A., & Schaub, T. (2005). Introduction to Inconsistency Tolerance. In Inconsistency Tolerance (Vol. 3300, pp. 1–14). Springer. [bib]
  6. 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]
  7. 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]
  8. Faber, W., & Konczak, K. (2005). Strong Equivalence for Logic Programs with Preferences. In IJCAI (pp. 430–435). Professional Book Center. [bib]
  9. 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]
  10. Anger, C., Gebser, M., Linke, T., Neumann, A., & Schaub, T. (2005). The nomore++ System. In LPNMR (Vol. 3662, pp. 422–426). Springer. [pdf] [bib]
  11. Gebser, M., & Schaub, T. (2005). Loops: Relevant or Redundant? In LPNMR (Vol. 3662, pp. 53–65). Springer. [pdf] [bib]
  12. Grell, S., Konczak, K., & Schaub, T. (2005). nomore<: A System for Computing Preferred Answer Sets. In LPNMR (Vol. 3662, pp. 394–398). Springer. [bib]
  13. 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]
  14. Konczak, K., & Vogel, R. (2005). Abduction and Preferences in Linguistics. In LPNMR (Vol. 3662, pp. 384–388). Springer. [bib]
  15. Konczak, K., Linke, T., & Schaub, T. (2005). Graphs and colorings for answer set programming. CoRR, abs/cs/0502082. [bib]
  16. Anger, C., Konczak, K., Linke, T., & Schaub, T. (2005). A Glimpse of Answer Set Programming. KI, 19(1), 12. [pdf] [bib]
  17. Delgrande, J. P., & Schaub, T. (2005). Expressing Default Logic Variants in Default Logic. J. Log. Comput., 15(5), 593–621. [pdf] [bib]
  18. Flöter, A. (2005). Analyzing biological expression data based on decision tree induction (PhD thesis). University of Potsdam, Germany. [bib]
  19. Konczak, K., & Lang, J. (2005). Voting procedures with incomplete preferences. In APH@IJCAI (pp. 124–129). [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. Linke, T., Tompits, H., & Woltran, S. (2004). On Acyclic and Head-Cycle Free Nested Logic Programs. In ICLP (Vol. 3132, pp. 225–239). Springer. [pdf] [bib]
  3. 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]
  4. Delgrande, J. P., & Schaub, T. (2004). Two Approaches to Merging Knowledge Bases. In JELIA (Vol. 3229, pp. 426–438). Springer. [pdf] [bib]
  5. 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]
  6. Linke, T., & Sarsakov, V. (2004). Suitable Graphs for Answer Set Programming. In LPAR (Vol. 3452, pp. 154–168). Springer. [bib]
  7. 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]
  8. 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]
  9. 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]
  10. Delgrande, J. P., & Schaub, T. (Eds.). (2004). 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. [bib]
  11. Delgrande, J. P., & Schaub, T. (2004). Consistency-based approaches to merging knowledge bases: preliminary report. In NMR (pp. 126–133). [pdf] [bib]
  12. Linke, T., Tompits, H., & Woltran, S. (2004). On acyclic and head-cycle free nested logic programs. In NMR (pp. 267–275). [pdf] [bib]
  13. Flöter, A., Nicolas, J., Schaub, T., & Selbig, J. (2004). Threshold extraction in metabolite concentration data. Bioinformatics, 20(10), 1491–1494. [pdf] [bib]
  14. Delgrande, J. P., & Schaub, T. (2004). Reasoning with Sets of Defaults in Default Logic. Computational Intelligence, 20(1), 56–88. [pdf] [bib]
  15. 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]
  16. 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]
  17. 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. Linke, T. (2003). Suitable Graphs for Answer Set Programming. In Answer Set Programming (Vol. 78). CEUR-WS.org. [pdf] [bib]
  5. Linke, T. (2003). Using Nested Logic Programs for Answer Set Programming. In Answer Set Programming (Vol. 78). CEUR-WS.org. [pdf] [bib]
  6. 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]
  7. 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]
  8. 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]
  9. Besnard, P., Mercer, R. E., & Schaub, T. (2003). Optimality Theory through Default Logic. In KI (Vol. 2821, pp. 93–104). Springer. [bib]
  10. Delgrande, J. P., & Schaub, T. (2003). A consistency-based approach for belief change. Artif. Intell., 151(1-2), 1–41. [pdf] [bib]
  11. Schaub, T., & Wang, K. (2003). A semantic framework for preference handling in answer set programming. CoRR, cs.AI/0301023. [pdf] [bib]
  12. 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]
  13. 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]
  14. Delgrande, J. P., Schaub, T., & Tompits, H. (2003). A Framework for Compiling Preferences in Logic Programs. TPLP, 3(2), 129–187. [pdf] [bib]
  15. Schaub, T., & Wang, K. (2003). A semantic framework for preference handling in answer set programming. TPLP, 3(4-5), 569–607. [pdf] [bib]
  16. Schaub, T. (2003). Antwortmengenprogrammierung. LOG IN, 122/123, 104–106. [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. Anger, C., Konczak, K., & Linke, T. (2002). NoMoRe : Non-monotonic Reasoning with Logic Programs. In JELIA (Vol. 2424, pp. 521–524). Springer. [pdf] [bib]
  3. 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]
  4. Delgrande, J. P., Hunter, A., & Schaub, T. (2002). COBA: A Consistency-Based Belief Revision System. In JELIA (Vol. 2424, pp. 509–512). Springer. [bib]
  5. Linke, T., Anger, C., & Konczak, K. (2002). More on noMoRe. In JELIA (Vol. 2424, pp. 468–480). Springer. [pdf] [bib]
  6. Besnard, P., Mercer, R. E., & Schaub, T. (2002). Optimality theory through default logic. In NMR (pp. 77–83). [pdf] [bib]
  7. Linke, T., Anger, C., & Konczak, K. (2002). More on noMoRe. In NMR (pp. 210–218). [pdf] [bib]
  8. 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]
  9. Schaub, T., & Wang, K. (2002). Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. In NMR (pp. 238–246). [pdf] [bib]
  10. 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]
  11. 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]
  12. Delgrande, J. P., Schaub, T., & Tompits, H. (2002). A Framework for Compiling Preferences in Logic Programs. CoRR, cs.AI/0203005. [pdf] [bib]
  13. Schaub, T., & Wang, K. (2002). Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report. CoRR, cs.AI/0207060. [bib]
  14. 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]
  15. 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]
  16. Delgrande, J., Schaub, T., Tompits, H., & Wang, K. (2002). Towards a Classification of Preference Handling Approaches in Nonmonotonic Reasoning. In U. Junker (Ed.), Preferences in Artificial Intelligence and Constraint Programming: Symbolic Approaches (pp. 16–24). AAAI Press. [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. Anger, C., Konczak, K., & Linke, T. (2001). NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. In IJCAR (Vol. 2083, pp. 325–330). Springer. [bib]
  3. Wang, K. (2001). A Top-Down Procedure for Disjunctive Well-Founded Semantics. In IJCAR (Vol. 2083, pp. 305–317). Springer. [pdf] [bib]
  4. Benferhat, S., & Besnard, P. (Eds.). (2001). Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings (Vol. 2143). Springer. [bib]
  5. 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]
  6. 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]
  7. 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]
  8. Linke, T. (2001). Graph Theoretical Characterization and Computation of Answer Sets. In IJCAI (pp. 641–648). Morgan Kaufmann. [pdf] [bib]
  9. Schaub, T., & Wang, K. (2001). A Comparative Study of Logic Programs with Preference. In IJCAI (pp. 597–602). Morgan Kaufmann. [pdf] [bib]
  10. Anger, C., Konczak, K., & Linke, T. (2001). NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. In LPNMR (Vol. 2173, pp. 406–410). Springer. [bib]
  11. 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]
  12. Wang, K. (2001). A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. In LPNMR (Vol. 2173, pp. 133–146). Springer. [pdf] [bib]
  13. Besnard, P., & Hunter, A. (2001). A logic-based theory of deductive arguments. Artif. Intell., 128(1-2), 203–235. [bib]
  14. Kose, F., Weckwerth, W., Linke, T., & Fiehn, O. (2001). Visualizing plant metabolomic correlation networks using clique-metabolite matrices. Bioinformatics, 17(12), 1198–1208. [bib]
  15. Wang, K., & Zhou, L. (2001). Closed World Assumption for Disjunctive Reasoning. J. Comput. Sci. Technol., 16(4), 381–387. [bib]
  16. Wang, K., & Zhou, L. (2001). An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases. J. Intell. Inf. Syst., 16(3), 229–253. [pdf] [bib]
  17. Roessner, U., Luedemann, A., Brust, D., Fiehn, O., Linke, T., Willmitzer, L., & Fernie, A. R. (2001). Metabolic profiling allows comprehensive phenotyping of genetically or environmentally modified plant systems. Plant Cell, 13, 11–29. [bib]

2000

  1. Linke, T. (2000). New foundations for automation of default reasoning (Vol. 237). Infix. [bib]
  2. Besnard, P., & Hunter, A. (2000). Towards a Logic-Based Theory of Argumentation. In AAAI/IAAI (pp. 411–416). AAAI Press / The MIT Press. [bib]
  3. 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]
  4. 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]
  5. Wang, K., Zhou, L., & Lin, F. (2000). Alternating Fixpoint Theory for Logic Programs with Priority. In Computational Logic (Vol. 1861, pp. 164–178). Springer. [bib]
  6. Delgrande, J. P., Schaub, T., & Tompits, H. (2000). Logic Programs with Compiled Preferences. In ECAI (pp. 464–468). IOS Press. [pdf] [bib]
  7. 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]
  8. Besnard, P., & Schaub, T. (2000). Significant Inferences : Preliminary Report. In KR (pp. 401–410). Morgan Kaufmann. [pdf] [bib]
  9. Delgrande, J. P., & Schaub, T. (2000). Expressing preferences in default logic. Artif. Intell., 123(1-2), 41–87. [pdf] [bib]
  10. Linke, T., & Schaub, T. (2000). Alternative foundations for Reiter’s default logic. Artif. Intell., 124(1), 31–86. [pdf] [bib]
  11. Delgrande, J. P., Schaub, T., & Tompits, H. (2000). A Compiler for Ordered Logic Programs. CoRR, cs.AI/0003024. [bib]
  12. Delgrande, J. P., Schaub, T., & Tompits, H. (2000). Logic Programs with Compiled Preferences. CoRR, cs.AI/0003028. [bib]
  13. Delgrande, J. P., & Schaub, T. (2000). A Consistency-Based Model for Belief Change: Preliminary Report. CoRR, cs.AI/0003052. [bib]
  14. Wang, K. (2000). Argumentation-based abduction in disjunctive logic programming. J. Log. Program., 45(1-3), 105–141. [bib]
  15. Besnard, P., & Schaub, T. (2000). What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci., 238(1-2), 489–494. [bib]
  16. Wang, K., Zhou, L., & Lin, F. (2000). Alternating fixpoint theory for logic programs with priority. In Proceedings of the First International Conference on Computational Logic (Vol. 1861, pp. 164–178). Springer. [bib]
  17. Wang, P., & Besnard, P. (2000). Paraconsistent reasoning as an analytical tool. In Formal and Applied Practical Reasoning. [bib]
  18. Besnard, P., & Lang, J. (2000). Graded paraconsistency. In Frontiers in Paraconsistent Logic (pp. 75–94). Research Studies Press, Baldock, Hertfordshire, England. [bib]
  19. Altmann, T., Essigmann, B., Flöter, A., Kloska, S., & Zettier, P. (2000). Ein Verteiltes Informationssystem zur Verwaltung und Analyse von grossen mRNA-Expressionsdatenmengen. In Informationsystems in Biotechnology (pp. 13–16). [bib]
  20. Delgrande, J., & Schaub, T. (2000). The Role of Default Logic in Knowledge Representation. In J. Minker (Ed.), Logic-Based Artificial Intelligence (pp. 107–126). Dordrecht. [pdf] [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]
  5. Schaub, T. (1999). The Automation of Reasoning with Incomplete Information: From semantic foundations to efficient computation (Vol. 1409). 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]
  8. Schaub, T. (1998). The family of default logics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 2 (pp. 77–133). Kluwer Academic Publishers. [bib]
  9. Bibel, W., Brüning, S., Otten, J., Rath, T., & Schaub, T. (1998). Compressions and extensions. In W. Bibel & P. H. Schmitt (Eds.), Automated Deduction — A Basis for Applications (Vol. 1, pp. 133–179). [bib]
  10. Nicolas, P., & Schaub, T. (1998). Un cadre général pour l’interrogation automatique en logiques des défauts. In Reconnaissance des formes et intelligence artificielle Clermont-Ferrand (pp. 381–390). Afcet Afia. [bib]
  11. Volkmann, G., Linke, T., Waschulzik, T., Ohmes, R., Schaub, T., & Wischnewsky, M. (1998). HExProSA – Ein hybrides Expertensystem zur Prozeßkontrolle und Störfallanalyse von Abwasserbehandlungsanlagen: Erfahrungen bei der Evaluierung eines Prototypen. In Intelligente/Wissensbasierte Systeme in der Umwelttechnik. [bib]
  12. Besnard, P., & Schaub, T. (1998). Characterization of non-monotone non-constructive systems. In Proceedings of the Fifth Pacific Rim International Conference on Artificial Intelligence (PRICAI’98) (pp. 134–145). Springer. [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]
  6. Brewka, G., & Schaub, T. (1995). Zur Verwendung nichtmonotoner Inferenztechniken bei der Konfiguration. In Methoden der Künstlichen Intelligenz für Grafikanwendungen (pp. 45–60). Addison Wesley. [pdf] [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]