1
0
0
(1 - 25 from 28
)
taasp accepted papers - TU Wien
www.kr.tuwien.ac.at
Pierre Tassel, Martin Gebser and Mohamed Rbaia. A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem [paper]. › events › taasp20 › accepted
publish.UP xpanda: a (simple) preprocessor for adding multi-valued...
publishup.uni-potsdam.de
Martin Gebser, Henrik Hinrichs, Torsten Schaub, Sven Thiele. We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by ...
Asparagus - User Martin Gebser
asp.haiti.cs.uni-potsdam.de
Asparagus - a Web-based Benchmarking Environment for Answer Set Programming
ECAI 2020: 24th European Conference on Artificial ...
books.google.lu
[10] Martin Brain, Martin Gebser, J ̈org P ̈uhrer, Torsten Schaub, Hans Tompits, and Stefan Woltran, 'Debugging ASP programs by means of ASP', in Proc.
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 — Debugging ASP programs by means of ASP
citeseerx.ist.psu.edu
BibTeX @INPROCEEDINGS{Brain_debuggingasp, author = {Martin Brain and Martin Gebser and Jörg Pührer and Torsten Schaub and Hans Tompits and Stefan Woltran}, …
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 ...
High-level synthesis of on-chip multiprocessor architectures ...
www.sciencedirect.com
by C Bobda · · Cited by 3 — Martin Gebser is a postdoctoral researcher at Aalto University, Finland. His research interests include the theoretical and practical aspects of declarative ... › science › article › abs › pii
The Conflict-Driven Answer Set Solver clasp: Progress Report |...
link.springer.com
We summarize the salient features of the current version of the answer set solver clasp, focusing on the progress made since version RC4 of clasp. Apart from...
Multi-threaded ASP Solving with clasp : Martin Gebser : Free...
archive.org
We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and...
Wikipedia: Action language - Wikipedia
... Systems by Logic Programs". Jump up ^ Martin Gebser, Torsten Grote and Torsten Schaub, (2010) "Coala: a compiler from action languages to ASP".
Problem Domains - ASP Challenge Google Sites
sites.google.com
... Insurance Referees Assignment Problem (I) submitted by Anonymous; Automated Warehouse Scenario (W) submitted by Martin Gebser and Philipp Obermeier ... › view › aspcomp2019 › probl...
ASP Solving for Expanding Universes - HAL Grenoble Alpes
hal.univ-grenoble-alpes.fr
by M Gebser · · Cited by 15 — Martin Gebser, Toni Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub. ASP Solving for Expanding Universes. Proceedings of the Thirteenth International ... › INRIA
Debugging ASP Programs by Means of ASP - INFONA
www.infona.pl
by M Brain · Cited by 72 — Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran · Details · Contributors · Bibliography · Quotations · Similar ... › resource
Learning Boolean logic models of signaling networks with ASP
hal.inria.fr
by S Videla · · Cited by 33 — Santiago Videla 1 Carito Guziolowski 2 Federica Eduati 3 Sven Thiele 1Martin Gebser 4 Jacques Nicolas 1 Julio Saez-Rodriguez 3 Torsten Schaub 4 Anne Siegel ... › hal
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
Internet Archive Search: creator:"Martin Gebser"
archive.org
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming - Martin Gebser We present the Linux package configuration tool aspcud ...
ASP Encodings of Acyclicity Properties Martin Gebser and Tomi...
studylib.net
Free essys, homework help, flashcards, research papers, book report, term papers, history, science, politics
Inria - Ricochet Robots Reloaded: A Case-study in Multi-shot ASP...
hal.inria.fr
Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub. Ricochet Robots Reloaded: A Case-study in Multi-shot ASP Solving. T. Eiter and H. Strass ...
CSSC14
aclib.net
clasp p8, Martin Gebser, Benjamin Kaufmann and Torsten Schaub, [3]. cryptominisat, Mate Soos, [8]. lingeling, Armin Biere, [2]. minisat-HACK-999ED- ...
OfficialProblemSuite - ASP Competition 2013
www.mat.unical.it
Sokoban. N09. Ricochet Robots. Julius Höfler, Martin Gebser, Philipp Obermeier, Roland Kaminski, Torsten Schaub. Search. NP. Puzzle. view.
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 ...
[SMT-LIB] ASPCOMP 2015: First Call for Participation.
cs.nyu.edu
... Awards are presented at LPNMR For further information and submission instructions please contact us (Martin Gebser, Marco Maratea, ...
Publications | Ricochet Robots: A transverse ASP benchmark.
www.hybrid-reasoning.org
@InProceedings{gejokaobsascsc13a-2013, title = {{Ricochet Robots: A transverse ASP benchmark.}}, author = {Martin Gebser and Holger Jost and Roland ...
All web results to the name "Martin Gebser"
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