Stefan Woltran papers and PDFs - OA.mg
oa.mg
Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran. Computer science. Debugging. Programming language. › author
Model-Based Recasting in Answer-Set Programming. - PhilPapersphilpapers.org › rec › EITMRI
philpapers.org
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran · Journal of Applied Non-Classical Logics 23 (1-2): (2013). Like. Recommend.
(none)
www.kr.tuwien.ac.at
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran. In Dietmar Seipel, Michael Hanus, Armin Wolf, and Joachim Baumeister ...
20 Best-Selling Declarative Programming Books of All Time
bookauthority.org
Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer. | | | Estimated 5K+ Copies Sold. This book constitutes revised selected papers of the ... › books › best-selling-declarat...
Applications of Declarative Programming and Knowledge ...
books.google.es
Hans Tompits• Salvador Abreu Johannes Oetsch • Jörg Pührer Dietmar Seipel • Masanobu Umeda Armin Wolf (Eds.) Applications of Declarative Programming and ...
Logic Programming and Nonmonotonic Reasoning: 11th ...
books.google.es
382 Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, and Patrick Zwickl ASP Competition The Third Answer Set Programming Competition: Preliminary ...
Buch: Applications of Declarative Programming and Knowledge ...www.bookshop.fraunhofer.de › buch › applications-o...
www.bookshop.fraunhofer.de
Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf 2013, XIII, 365 S., 67 SW-Abb cm, Softcover
19th International Conference, INAP 2011, and 25th ...
researchr.org
Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, editors, Applications of Declarative Programming and ... › publication › inap-2011
A Dynamic Programming Reasoner for Abstract Argumentation
www.cs.ox.ac.uk
Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf. ISBN. 978−3−642−41523−4. › Research › Publications
Annotating Answer-Set Programs in LANA
purehost.bath.ac.uk
by M DE VOS · Cited by 20 — Marina De Vos, Do˘ga Kıza, Johannes Oetsch, Jörg Pührer, Hans Tompits of ASP solvers, and (iii) case studies and applications involving ASP. › files › TPLP
Table of Contents
digilib2.stekom.ac.id
spock: A Debugging Support Tool for Logic Programs under the. Answer-Set Semantics. Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and. › dokumen › ebook
Model-based recasting in answer-set programming: Ingenta Connect
www.ingentaconnect.com
To cite this article: Thomas Eiter , Michael Fink , Jörg Pührer , Hans Tompits & Stefan Woltran ... Jörg Pührer, Hans Tompits and Stefan Woltran.
DBLP - Jörg Pührer
dblp.cloudmining.net
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran : Model-based recasting in answer-set programming. Journal of Applied ...
TUD - Faculty of Computer Science - KRR Group - Publications
www.wv.inf.tu-dresden.de
In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, and Armin Wolf, editors, Applications of Declarative ...
Forum Algebra
www.algebra.uni-linz.ac.at
Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl. VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven ...
Applications of Declarative Programming and WorldCat
www.worldcat.org
Authors: Hans Tompits (Editor), Salvador Abreu (Editor), Johannes Oetsch (Editor), Jörg Pührer (Editor), Dietmar Seipel (Editor), Masanobu Umeda (Editor), ... › title › oclc
A Debugging Support Tool for Logic Programs under the Answer ...link.springer.com › chapter
link.springer.com
Martin Gebser · Jörg Pührer · Torsten Schaub · Hans Tompits · Stefan Woltran.
8 - IOS Press Ebooks
ebooks.iospress.nl
less. Download PDF. On Testing Answer-Set Programs. Authors. Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits. Pages
All web results to the name "Jörg Pührer"
accepted - LPNMR Google Sites
sites.google.com
Johannes Oetsch, Jörg Pührer and Hans Tompits: Stepping through an. Answer-Set Program * Mario Alviano, Gianluigi Greco and Nicola Leone: Dynamic Magic Sets › site › lpnmr11 › accepted
IARIA Journals
www.iariajournals.org
Jörg Pührer, Vienna University of Technology, Austria Hans Tompits, Vienna University of Technology, Austria Cemal Yilmaz, Sabanci University, Turkey. › software
ICS - Research - MCM
www.tcs.hut.fi
Apr 9, — Hans Tompits, M.Sc. Jörg Pührer, and M.Sc. Johannes Oetsch, Vienna University of Technology, Austria, December , Prof. › Research › Logic › MCM
Kara - Mathematical software - swMATH
www.swmath.org
Keywords for this software · URL: arxiv.org/abs · InternetArchive · Authors: Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits · Add ... › software
Koha › Detalles MARC del registro nro Biblioteca EPN
biblioteca.epn.edu.ec
edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf #1 - PRODUCTION, PUBLICATION, DISTRIBUTION ... › koha
Lecture Notes in Computer Science Vol (1)
www.bookshop.fraunhofer.de
Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf Applications of Declarative Programming and Knowledge ... › ...
Libros Electrónicos - Biblioteca Digital - Universidad de Sonora
www.bidi.uson.mx
... Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, Springer Berlin Heidelberg, › libros
MELO Model-Driven Engineering, Logic and Optimization
web.imt-atlantique.fr
Jun 6, — ... Development using Model-Driven Engineering Techniques, by Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits and Patrick Zwickl. › x-info › idmpp
Presentations and Authors
www.aaai.org
On the Small-Scope Hypothesis for Testing Answer-Set Programs · PDF. Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits ... › ocs › index.php › schedConf › p...
References - cgi .cse. unsw. edu.a u
cgi.cse.unsw.edu.au
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran (2013): Model-based recasting in answer-set programming. › ~eptcs › references › ICLP...
SeaLion: An eclipse-based IDE for answer-set programming ...
www.cambridge.org
by PA BUSONIU · · Cited by 30 — Copyright. Copyright © [PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG PÜHRER, PETER SKOČOVSKÝ and HANS TOMPITS]. References. Calimeri, F., Faber, W., ... › core › journals › article › se...
The ToyElim System - Christoph Wernhard
cs.christophwernhard.com
In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, and Armin Wolf, editors, Applications of Declarative ... › toyelim
VALID Awards - IARIA
www.iaria.org
Answer-Set Programming as a new Approach to Event-Sequence Testing Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jörg Pührer, Hans Tompits, Cemal Yilmaz ... › conferences2011 › AwardsVAL...
VALID 2011, The Third International Conference on UPV
personales.upv.es
Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jörg Pührer, Hans Tompits, and Cemal Yilmaz keywords: event-sequence testing, combinatorial interaction testing, ... › thinkmind › VALID_2011
The system Kato: Detecting cases of plagiarism for answer-set...
www.cambridge.org
The system Kato: Detecting cases of plagiarism for answer-set programs - Volume 10 Issue JOHANNES OETSCH, JÖRG PÜHRER, MARTIN SCHWENGERER, HANS TOMPITS
LPNMR 2011: Accepted papers – Association for Logic Programming
www.cs.nmsu.edu
LPNMR 2011: Accepted papers by Editors • ... * Johannes Oetsch, Jörg Pührer and Hans Tompits: Stepping through an Answer-Set Program * Mario Alviano, ...
[PDF] Annotating answer-set programs in Lana* | Semantic Scholar
www.semanticscholar.org
Annotating answer-set programs in Lana. Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits · TPLP; View PDF; Cite; Save.
ThinkMind(TM) Digital Library
www.thinkmind.org
Jörg Pührer Hans Tompits Cemal Yilmaz. Keywords: event-sequence testing, combinatorial interaction testing, answer-set programming.
SPOCK
www.kr.tuwien.ac.at
Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran. In Chitta Baral, Gerhard Brewka, and John Schlipf , editors, ...
Catching the Ouroboros: On debugging non-ground answer-set programs |...
www.cambridge.org
Catching the Ouroboros: On debugging non-ground answer-set programs - Volume 10 Issue JOHANNES OETSCH, JÖRG PÜHRER, HANS TOMPITS
Related search requests for Jörg Pührer
Torsten Schaub Masanobu Umeda Cemal Yilmaz | Thomas Eiter Katsumi Inoue João Leite | Martin Gebser Gerhard Brewka Stefan Woltran |
People Forename "Jörg" (7791) Name "Pührer" (2) |
sorted by relevance / date