- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c49 |      | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß: A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV 2013: 35-46 |
| i6 |  | Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub: Answer Set Programming for Stream Reasoning. CoRR abs/1301.1392 (2013) |
| 2012 | ||
| b2 | | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2012 |
| j9 | | Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Conflict-driven answer set solving: From theory to practice. Artif. Intell. 187: 52-89 (2012) |
| j8 | | Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Multi-threaded ASP solving with clasp. TPLP 12(4-5): 525-545 (2012) |
| c48 | | Martin Gebser, Roland Kaufmann, Torsten Schaub: Gearing Up for Effective ASP Planning. Correct Reasoning 2012: 296-310 |
| c47 | | Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub: Stream Reasoning with Answer Set Programming: Preliminary Report. KR 2012 |
| i5 | | Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Multi-threaded ASP Solving with clasp. CoRR abs/1210.3265 (2012) |
| 2011 | ||
| b1 | | |
| j7 | | Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider: Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24(2): 107-124 (2011) |
| j6 | | Martin Gebser, Orkunt Sabuncu, Torsten Schaub: An incremental answer set programming based system for finite model computation. AI Commun. 24(2): 195-212 (2011) |
| j5 | | Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting inconsistencies in large biological networks with answer set programming. TPLP 11(2-3): 323-360 (2011) |
| j4 | | Martin Gebser, Roland Kaminski, Torsten Schaub: Complex optimization in answer set programming. TPLP 11(4-5): 821-839 (2011) |
| j3 | | Martin Gebser, Joohyung Lee, Yuliya Lierler: On elementary loops of logic programs. TPLP 11(6): 953-988 (2011) |
| c46 | | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 74-90 |
| c45 | | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) 2011: 1-10 |
| c44 | | Martin Gebser, Orkunt Sabuncu, Torsten Schaub: Finite Model Computation via Answer Set Programming. IJCAI 2011: 2626-2631 |
| c43 | | Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub: Reactive Answer Set Programming. LPNMR 2011: 54-66 |
| c42 | | Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub: Advances in gringo Series 3. LPNMR 2011: 345-351 |
| c41 | | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller: A Portfolio Solver for Answer Set Programming: Preliminary Report. LPNMR 2011: 352-357 |
| c40 | | Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub: plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR 2011: 358-363 |
| c39 | | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor: Cluster-Based ASP Solving with claspar. LPNMR 2011: 364-369 |
| c38 | | Martin Gebser, Roland Kaminski, Torsten Schaub: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. LoCoCo 2011: 12-25 |
| i4 | | Martin Gebser, Roland Kaminski, Torsten Schaub: Complex Optimization in Answer Set Programming. CoRR abs/1107.5742 (2011) |
| 2010 | ||
| c37 | | Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber: The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) 2010: 383-389 |
| c36 | | Martin Gebser, Orkunt Sabuncu, Torsten Schaub: An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010: 169-181 |
| c35 | | Martin Gebser, Torsten Grote, Torsten Schaub: Coala: A Compiler from Action Languages to ASP. JELIA 2010: 360-364 |
| c34 | | Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber: Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR 2010 |
| i3 | | Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Heuristics in Conflict Resolution. CoRR abs/1005.1716 (2010) |
| i2 | | Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. CoRR abs/1007.0134 (2010) |
| i1 | | Martin Gebser, Joohyung Lee, Yuliya Lierler: On Elementary Loops of Logic Programs. CoRR abs/1012.5847 (2010) |
| 2009 | ||
| j2 | | Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub: Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfig. Comp. 2009 (2009) |
| j1 | | Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub: Monotonic Answer Set Programming. J. Log. Comput. 19(4): 539-564 (2009) |
| c33 | | Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009: 71-86 |
| c32 | | |
| c31 | | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264 |
| c30 | | Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor: A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495 |
| c29 | | Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508 |
| c28 | | Martin Gebser, Benjamin Kaufmann, Torsten Schaub: The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR 2009: 509-514 |
| c27 | | Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub: Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. LPNMR 2009: 598-603 |
| c26 | | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski: The Second Answer Set Programming Competition. LPNMR 2009: 637-654 |
| c25 | | Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI 2009: 64-72 |
| 2008 | ||
| c24 | | Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453 |
| c23 | | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19 |
| c22 | | Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS 2008: 24-41 |
| c21 | | Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008: 130-144 |
| c20 | | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205 |
| c19 | | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432 |
| 2007 | ||
| c18 | | |
| c17 | | |
| c16 | | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386- |
| c15 | | Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski: The First Answer Set Programming System Competition. LPNMR 2007: 3-17 |
| c14 | | Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43 |
| c13 | | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148 |
| c12 | | Martin Gebser, Joohyung Lee, Yuliya Lierler: Head-Elementary-Set-Free Logic Programs. LPNMR 2007: 149-161 |
| c11 | | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265 |
| c10 | | Martin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271 |
| c9 | | Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT 2007 |
| c8 | | Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP 2007: 247-252 |
| 2006 | ||
| c7 | | |
| c6 | | Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub: What's a Head Without a Body? ECAI 2006: 769-770 |
| c5 | | |
| 2005 | ||
| c4 | | Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005 |
| c3 | | Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109 |
| c2 | | |
| c1 | | Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426 |
Data released under the ODC-BY 1.0 license — See also our legal information page