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.
Jörg Pührer - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Dissertation: Stepwise Debugging in Answer-Set Programming: Theoretical Foundations and Practical Realisation. Mathematics Subject Classification: ...
Publications by Tomi Janhunen - Researchers at Aalto ...
research.ics.aalto.fi
Translating answer-set programs into bit-vector logic. In Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Hans Tompits, Masanobu Umeda, and ...
ECAI 2010: 19th European Conference on Artificial Intelligence,
books.google.de
Logic & Answer Set Programming On Testing Answer-Set Programs Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer and Hans Tompits On ...
The SeaLion has Landed: An IDE for Answer-Set Programming
arxiv.org
by J Oetsch · · Cited by 21 — From: Jörg Pührer [view email] [v1] Mon, 19 Sep :24:28 UTC (669 KB) [v2] Tue, 11 Oct :03:44 UTC (669 KB). Full-text links: ... › cs
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
Random vs. structure-based testing of answer-set programs
dl.acm.org
by T Janhunen · · Cited by 18 — Jörg Pührer. Technische Universität Wien, Institut für Informationssysteme, Vienna, Austria. Technische Universität Wien, Institut für Informationssysteme, ... › doi › abs
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 ...
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 ...
Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion...
link.springer.com
Melanie Frühstück · (21); Jörg Pührer · .ac.at (22); Gerhard Friedrich · -klu.ac.at ...
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
12 (4-5) 11 – Association for Logic Programming
www.cs.nmsu.edu
Annotating Answer-Set Programs in LANA. Marina De Vos (Univ of Bath) Doğa Gizem Kıza (Sabanci Univ) Johannes Oetsch (TU Wien) Jörg Pührer (TU Wien) › tplp › tplp-volume
Debugging Answer-Set Programs with Ouroboros – Extending ...
www.springerprofessional.de
Authors: Melanie Frühstück, Jörg Pührer, Gerhard Friedrich. Published in: Logic Programming and Nonmonotonic Reasoning. › debugging-answe...
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...
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...
Internet Archive Search: creator:"Jörg Pührer"
archive.org
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming - Johannes Oetsch Many applications ...
A Meta-Programming Technique for Debugging Answer-Set Programs
www.aaai.org
AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.
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
au:Puhrer_J in:cs - SciRate Search
scirate.com
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the ...
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.
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
Catching the Ouroboros: On debugging non-ground answer-set ...www.cambridge.org › theory-and-practice-of-logic-programming › article
www.cambridge.org
... Ouroboros: On debugging non-ground answer-set programs. Published online by Cambridge University Press: 09 July JOHANNES OETSCH ,. JÖRG PÜHRER and.
DBLP: Stefan Woltran
vldbarc.org
Jörg Pührer, Hans Tompits, Stefan Woltran: Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. ICLP 2008:
Elimination of Disjunction and Negation in Answer-Set Programs ...www.springerprofessional.de › elimination-of-disjunct...
www.springerprofessional.de
Autoren: Jörg Pührer, Hans Tompits, Stefan Woltran. Verlag: Springer Berlin Heidelberg. Erschienen in: Logic Programming.
Ilkka Niemela: Papers - Department of Computer Scienceusers.ics.aalto.fi › ini › papers
users.ics.aalto.fi
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, and Hans Tompits. On testing answer-set programs. In Proceedings of the 19th European Conference on ...
SeaLion: An eclipse-based IDE for answer-set programming with...
www.cambridge.org
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support - Volume 13 Issue PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG...
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