The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Torsten Schaub" ( http://dblp.L3S.de/Authors/Torsten_Schaub )

URL (Homepage):  http://www.cs.uni-potsdam.de/~torsten/  Author page on DBLP  Author page in RDF  Community of Torsten Schaub in ASPL-2

Publication years (Num. hits)
1991-1995 (19) 1996-1998 (19) 1999-2000 (15) 2001-2002 (18) 2003-2004 (26) 2005 (15) 2006-2007 (21) 2008-2009 (26) 2010-2011 (34) 2012-2013 (32) 2014-2015 (26) 2016 (18) 2017 (17) 2018 (26) 2019 (16)
Publication types (Num. hits)
article(117) book(3) inproceedings(201) phdthesis(1) proceedings(6)
Venues (Conferences, Journals, ...)
LPNMR(50) CoRR(37) TPLP(23) KI(13) IJCAI(12) ICLP(11) JELIA(11) ECSQARU(10) ICLP (Technical Communications...(10) KR(10) Artif. Intell.(9) ECAI(8) AAAI(7) Answer Set Programming(5) Fundam. Inform.(5) NMR(5) More (+10 of total 86)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords

Results
Found 329 publication records. Showing 328 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Search on Bibsonomy Annals OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Gelfond-Zhang aggregates as propositional formulas. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philipp Obermeier, Javier Romero 0003, Torsten Schaub Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report. Search on Bibsonomy OJDB The full citation details ... 2019 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid metabolic network completion. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Torsten Schaub Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, Torsten Schaub Temporal Logic Programs with Temporal Description Logic Axioms. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub telingo = ASP + Time. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko Train Scheduling with Hybrid ASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Torsten Schaub Towards Dynamic Answer Set Programming over Finite Traces. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub The Return of xorro. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Patrick Lühne, Torsten Schaub Verifying Strong Equivalence of Programs in the Input Language of gringo. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Lower Bound Founded Logic of Here-and-There. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh 0001 Generalized Target Assignment and Path Finding Using Answer Set Programming. Search on Bibsonomy SOCS The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Javier Romero 0003, Torsten Schaub On the Integration of CP-nets in ASPRIN. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Torsten Schaub, Stefan Woltran Special Issue on Answer Set Programming. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko The Potsdam Answer Set Solving Collection 5.0. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Torsten Schaub, Stefan Woltran Interview with Vladimir Lifschitz. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Torsten Schaub, Stefan Woltran Answer set programming unleashed! Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko Design Space Exploration with Answer Set Programming. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Torsten Schaub, Stefan Woltran Interview with Gerhard Brewka. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Steffen Schieweck Advanced Solving Technology for Dynamic and Reactive Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub High-level synthesis of on-chip multiprocessor architectures based on answer set programming. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vladimir Lifschitz, Patrick Lühne, Torsten Schaub anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid Metabolic Network Completion. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son Experimenting with robotic intra-logistics domains. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son Experimenting with robotic intra-logistics domains. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt Exact multi-objective design space exploration using ASPmT. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. Search on Bibsonomy ASP-DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub On leveraging approximations for exact system-level design space exploration: work-in-progress. Search on Bibsonomy CODES+ISSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Misbah Razzaq, Roland Kaminski, Javier Romero 0003, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Javier Romero 0003, Torsten Schaub Preference Relations by Approximation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub Introducing Temporal Stable Models for Linear Dynamic Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub ASP-Based Time-Bounded Planning for Logistics Robots. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub Evaluation Techniques and Systems for Answer Set Programming: a Survey. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marius Lindauer, Holger H. Hoos, Kevin Leyton-Brown, Torsten Schaub Automatic construction of parallel portfolios via algorithm configuration. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub Clingcon: The Next Generation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko Clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub Clingo goes linear constraints over reals and integers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub Clingcon: The next generation. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Romero 0003, Torsten Schaub, Tran Cao Son Generalized Answer Set Planning with Incomplete Information. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid Metabolic Network Completion. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Gelfond-Zhang Aggregates as Propositional Formulas. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roland Kaminski, Torsten Schaub, Philipp Wanko A Tutorial on Hybrid Answer Set Solving with clingo. Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh 0001 Generalized Target Assignment and Path Finding Using Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran Shift Design with Answer Set Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub Answer Set Programming Modulo Acyclicity. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Search on Bibsonomy Biosystems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub Grounding and Solving in Answer Set Programming. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Torsten Schaub Modeling and Language Extensions. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Grounding Recursive Aggregates: Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. Search on Bibsonomy EGC (best of volume) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub Fouille de motifs séquentiels avec ASP. Search on Bibsonomy EGC The full citation details ... 2016 DBLP  BibTeX  RDF
1Javier Romero 0003, Torsten Schaub, Philipp Wanko Computing Diverse Optimal Stable Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko Theory Solving Made Easy with Clingo 5. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero 0003, Torsten Schaub Answer Set Solving with Generalized Learned Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh 0001 Solving Goal Recognition Design Using ASP. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Paul Vicol, James P. Delgrande, Torsten Schaub A Minimization-Based Approach to Iterated Multi-Agent Belief Change. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi Writing Declarative Specifications for Clauses. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero 0003, Torsten Schaub Knowledge-Based Sequence Mining with ASP. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran ASP for Anytime Dynamic Programming on Tree Decompositions. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub An ASP Semantics for Default Reasoning with Constraints. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez, Torsten Schaub, Anne Siegel Learning Boolean logic models of signaling networks with ASP. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marius Thomas Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub AutoFolio: An Automatically Configured Algorithm Selector. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Torsten Schaub Interactive Answer Set Programming - Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract Gringo. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract gringo. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Holger H. Hoos, Roland Kaminski, Marius Thomas Lindauer, Torsten Schaub aspeed: Solver scheduling via answer set programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Alexander Biewer, Javier Romero 0003, Christian Haubelt, Torsten Schaub Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, James P. Delgrande, Javier Romero 0003, Torsten Schaub Implementing Preferences with asprin. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub Answer Set Programming Modulo Acyclicity. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero 0003, Torsten Schaub Progress in clasp Series 3. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub ASP Solving for Expanding Universes. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran Shift Design with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub Integrating ASP into ROS for Reasoning in Robots. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Vicol, James P. Delgrande, Torsten Schaub An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, James P. Delgrande, Javier Romero 0003, Torsten Schaub asprin: Customizing Answer Set Preferences without a Headache. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub AutoFolio: Algorithm Configuration for Algorithm Selection. Search on Bibsonomy AAAI Workshop: Algorithm Configuration The full citation details ... 2015 DBLP  BibTeX  RDF
1Marijn Heule, Torsten Schaub What's Hot in the SAT and ASP Competitions. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski Boolean Network Identification from Multiplex Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Holger H. Hoos, Marius Thomas Lindauer, Torsten Schaub claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Holger H. Hoos, Roland Kaminski, Marius Thomas Lindauer, Torsten Schaub Solver Scheduling via Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 328 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license