Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Gebser" ( http://dblp.L3S.de/Authors/Martin_Gebser )

  Author page on DBLP  Author page in RDF  Community of Martin Gebser in ASPL-2

Publication years (Num. hits)
2005-2007 (18) 2008-2009 (17) 2010-2011 (23) 2012 (1)
Publication types (Num. hits)
article(12) inproceedings(46) phdthesis(1)
Venues (Conferences, Journals, ...)
LPNMR(18) ICLP(7) CoRR(4) TPLP(3) AAAI(2) AI Commun.(2) ECAI(2) IJCAI(2) JELIA(2) KR(2) Answer Set Programming(1) Artif. Intell.(1) CENT(1) CPAIOR(1) FoIKS(1) ICLP (Technical Communications...(1) More (+10 of total 24)
Authors
Martin Gebser(59) Torsten Schaub(52) Benjamin Kaufmann(18) Roland Kaminski(16) André Neumann(8) Sven Thiele(8) Hans Tompits(5) Max Ostrowski(5) Philippe Veber(5) Christian Anger(4) Joohyung Lee(4) Stefan Woltran(4) Yuliya Lierler(4) Arne König(3) Bettina Schnor(3) Jörg Pührer(3) More (+10 of total 44)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 59 publication records. Showing 59 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub Conflict-driven answer set solving: From theory to practice. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Gebser Proof theory and algorithms for answer set programming. Search on Bibsonomy 2011   RDF
1Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider Potassco: The Potsdam Answer Set Solving Collection. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Orkunt Sabuncu, Torsten Schaub An incremental answer set programming based system for finite model computation. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Complex Optimization in Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub aspcud: A Linux Package Configuration Tool Based on Answer Set Programming Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Complex optimization in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber Detecting inconsistencies in large biological networks with answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler On elementary loops of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Orkunt Sabuncu, Torsten Schaub Finite Model Computation via Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-Criteria Optimization in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub Reactive Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller A Portfolio Solver for Answer Set Programming: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor Cluster-Based ASP Solving with claspar. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub Advances in gringo Series 3. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub plasp: A Prototype for PDDL-Based Planning in ASP. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Challenges in Answer Set Solving. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub Heuristics in Conflict Resolution Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber Detecting Inconsistencies in Large Biological Networks with Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler On Elementary Loops of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Gebser, Torsten Grote, Torsten Schaub Coala: A Compiler from Action Languages to ASP. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Orkunt Sabuncu, Torsten Schaub An Incremental Answer Set Programming Based System for Finite ModelComputation. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin 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. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber The BioASP Library: ASP Solutions for Systems Biology. Search on Bibsonomy ICTAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub Monotonic Answer Set Programming. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Harold 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. Search on Bibsonomy Int. J. Reconfig. Comp. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Max Ostrowski, Torsten Schaub Constraint Answer Set Solving. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski The Second Answer Set Programming Competition. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele On the Input Language of ASP Grounder Gringo. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Enrico 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. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub The Conflict-Driven Answer Set Solver clasp: Progress Report. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub Solution Enumeration for Projected Boolean Search Problems. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Experiences Running a Parallel Answer Set Solver on Blue Gene. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Applications based on Message-Passing, Performance evaluation, Answer Set Programming
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Advanced Preprocessing for Answer Set Solving. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele Engineering an Incremental ASP Solver. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. Search on Bibsonomy FoIKS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub Conflict-Driven Disjunctive Answer Set Solving. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits A Meta-Programming Technique for Debugging Answer-Set Programs. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Conflict-Driven Answer Set Solving. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Martin Gebser Advanced Techniques for Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub Generic Tableaux for Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran Debugging ASP Programs by Means of ASP. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Conflict-Driven Answer Set Enumeration. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler Head-Elementary-Set-Free Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub clasp : A Conflict-Driven Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Sven Thiele GrinGo : A New Grounder for Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski The First Answer Set Programming System Competition. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub What's a Head Without a Body? Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Martin Gebser, Torsten Schaub Tableau Calculi for Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler Elementary Sets of Logic Programs. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ Approach to Answer Set Solving. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub Loops: Relevant or Redundant? Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ System. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ Approach to Answer Set Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.