1
0
0
(1 - 37 from 45
)
IULP : International Workshop on User-Oriented Logic Programming
www.wikicfp.com
IULP : International Workshop on User-Oriented Logic Programming
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.
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: ...
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
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
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
Answer-set programming
www.slideshare.net
ASP Rules and Ontologies Debugging in ASP Answer-Set Programming Basics, Combinations with Ontologies, and De…
Accepted Papers - WLP 2012
wlp.iai.uni-bonn.de
2. Giacoma Monreale and Ugo Montanari: Soft Constraint Logic Programming for Electric Vehicle Travel Optimization. 3. Johannes Oetsch, Jörg Pührer and Hans ... › papers
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 ...
Search results for "Advances in Knowledge Representation, Logic...
dblp.l3s.de
Stefan Ellmauthaler, Jörg Pührer: Asynchronous Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation : 2014:
Applications of Declarative Programming and Springer
link.springer.com
by H Tompits · Cited by 1 — ... Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf. Series Title: Lecture Notes in Computer Science. DOI: https://doi.org by J Pührer · · Cited by 26 — Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. Jörg Pührer,; Stijn Heymans &; Thomas Eiter. Conference paper. › book › chapter
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
Applications of Declarative Programming and Knowledge Management |...
link.springer.com
This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP...
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...
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 ... › ...
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...
[ecoop-info] [logic-programming] CFP: International Workshop ...
web.satd.uma.es
Apr 11, — ... Enrico Pontelli (New Mexico State University) * Jörg Pührer (Leipzig University) * Francesco Ricca (University of Calabria) * Kostyantyn ... › ecoop-info › April
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.
Search results for " Jörg Pührer"
www.morebooks.de
Applications of Declarative Programming and Knowledge Management. 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, ...
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, ...
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 ...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.
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.
ICLP nd International Conference on Logic Programming
software.imdea.org
ICLP, the International Conference on Logic
Programming, is the main international forum to present
research related to logic and programming. ICLP
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...
Summary of the MELO Workshop (bringing MDE and logic programming...
modeling-languages.com
VIDEAS: Supporting Answer-SET Program Development USING Model-Driven Engineering Techniques , by Johannes Oetsch, Jörg Pührer, ...
All web results to the name "Jörg Pührer"
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