Logic-Based Artificial Intelligence
www.cs.utexas.edu
sets; Martin Gebser, Ronald Kaminski, Benjamin Kaufmann, Max Ostrowski, ...
Potassco - the Potsdam Answer Set Solving Collection
potassco.sourceforge.net
Answer Set Solving in Practice. by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub Synthesis Lectures on Artificial Intelligence and …
ParamILS: Applications
www.cs.ubc.ca
Martin Gebser, Benjamin Kaufmann, and Torsen Schaub - Proceedings of SAT ... Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsin Schaub, Marius ...
Answer Set Solving in Practice - Google Books
books.google.de
Martin Gebser, Roland Kaminski, Benjamin Kaufmann. Morgan & Claypool Publishers, Computers pages. 0 Reviews. Reviews aren't verified, ... › ... › General
Martin Gebser - AbeBooks
www.abebooks.co.uk
Answer Set Solving in Practice by Gebser, Martin|Kaminski, Roland|Kaufmann, Benjamin|Schaub, Torsten and a great selection of related books, art and...
Answer Set Solving in Practice / Edition 1 by Martin Gebser, Roland...
www.barnesandnoble.com
The Paperback of the Answer Set Solving in Practice by Martin Gebser, Roland Kaminski, Benjamin Kaufmann | at Barnes & Noble. FREE Shipping on $35.0
A User's Guide to gringo, clasp, clingo, and iclingo - CiteSeerX
citeseerx.ist.psu.edu
by M Gebser · Cited by 104 — by Martin Gebser , Roland Kaminski , Benjamin Kaufmann , Max Ostrowski , Torsten Schaub , Sven Thiele. Citations: self ... › viewdoc › summary
[ ] Clingo = ASP + Control: Preliminary Report
arxiv.org
May 14, · Title: Clingo = ASP + Control: Preliminary Report. Authors: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub (Submitted on 14 …
CiteSeerX — Multi-threaded ASP Solving with clasp
citeseerx.ist.psu.edu
by Martin Gebser , Benjamin Kaufmann , Torsten Schaub ... author = {Martin Gebser and Benjamin Kaufmann and Torsten Schaub}, title = {Under consideration ...
CiteSeerX — clasp: A conflict-driven answer set solver
citeseerx.ist.psu.edu
by Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub ... author = {Martin Gebser and Benjamin Kaufmann and André Neumann and ...
Foundations of Logic Programming - International Center for...
iccl.inf.tu-dresden.de
Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub. Answer Set Solving in Practice. Morgan and Claypool
Medienarten und Ausgaben von Answer set solving in practice...
www.worldcat.org
Answer set solving in practice by Martin Gebser · Answer set solving in practice. by Martin Gebser; Roland Kaminski; Benjamin Kaufmann;. eBook : Document.
All web results to the name "Martin Gebser"
Advanced Preprocessing for Answer Set Solving
ebooks.iospress.nl
by M Gebser · · Cited by 37 — loader loading subjects... cover. Advanced Preprocessing for Answer Set Solving. Authors. Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. › volumearticle
Multi-Criteria Optimization in Answer Set Programming - DROPS
drops.dagstuhl.de
by M Gebser · · Cited by 36 — @InProceedings{gebser_et_al:LIPIcs:2011:3161, author = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub}, ... › opus › volltexte
clasp - Potassco
potassco.org
Martin Gebser, Benjamin Kaufmann, André Neumann and Torsten Schaub, clasp: A Conflict-Driven Answer Set Solver, LPNMR'07, [Experiments]; Martin Gebser, ... › clasp
Martin Gebser - Citações do Google Acadêmico
scholar.google.com.br
M Gebser, B Kaufmann, R Kaminski, M Ostrowski, T Schaub, M Schneider. Ai Communications 24 (2), Gringo: A new grounder for ...
CSSC14
aclib.net
clasp p8, Martin Gebser, Benjamin Kaufmann and Torsten Schaub, [3]. cryptominisat, Mate Soos, [8]. lingeling, Armin Biere, [2]. minisat-HACK-999ED- ...
ppfolio solver
www.cril.univ-artois.fr
clasp (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub): cryptominisat (Mate Soos): lingeling/plingeling (Armin Biere): march_hi (Marijn Heule and ...
Related search requests for Martin Gebser
Benjamin Andres Benjamin Kaufmann Torsten Grote | Anna Ryabokon Francesco Ricca Damien Eveillard | Anne Siegel Armin Biere Roland Kaminski |
People Forename "Martin" (73549) Name "Gebser" (9) |
sorted by relevance / date