1
0
0
News
Award of Excellence - Staatspreis für die besten Dissertationen
www.tuwien.at
Dec 11, — v.l.n.r. Univ.-Prof. Dr. Gottfried Strasser (TU Wien), Dr. Georg Schnabel, Dr. Doris Österreicher, Dr. Jörg Pührer, Dr. Peter Reininger (TU ... › news › news
Workshop: Formale Argumentation in Online-Diskussionen – DIID –...
diid.hhu.de
... Claudia Schulz (Imperial College London), Christian Straßer (Ruhr-Universität Bochum), Dunja Šešelja (Ruhr-Universität Bochum), Jörg Pührer (Universität ...
IULP : International Workshop on User-Oriented Logic Programming
www.wikicfp.com
IULP : International Workshop on User-Oriented Logic Programming
Network Profiles
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
Jörg Pührer | Semantic Web Dog Food
data.semanticweb.org
Jörg Pührer 22fb78977f259d ada115a3c221c402dba Jörg Pührer Joerg Puehrer Puehrer Joerg 22fb78977f259d ada115a3c221c402dba ...
Jörg Pührer | Papers With Codepaperswithcode.com › author › jorg-puhrer
paperswithcode.com
Weighted Abstract Dialectical Frameworks: Extended and Revised Report · 20 Jun · Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner, ; Stepwise ...
Jörg Pührer | Semantic Scholarwww.semanticscholar.org › author › Jörg-Pührer
www.semanticscholar.org
Semantic Scholar profile for Jörg Pührer, with 59 highly influential citations and 51 scientific research papers.
Interests
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.
Business Profiles
Researchgate: Jörg Pührer
Leipzig, Saxony, Germany
Employees
(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 ...
Heritage
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: ...
Books & Literature
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...
Gerhard Brewka - Papers With Code
paperswithcode.com
no code implementations • 12 Sep • Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer. › search
Answer Set Solving in Practice - Page xxi - Google Books Result
books.google.es
... Javier Romero, Jean Gressmann, Jim Delgrande, Joachim Selbig, Joohyung Lee, Jörg Pührer, Kathrin Konczak, Katsumi Inoue, Kewen Wang, Lars Schneidenbach, ...
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 ...
Related Documents
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
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
Scientific Publications
Characterizing Realizability in Abstract Argumentation
iccl.inf.tu-dresden.de
Thomas Linsbichler, Jörg Pührer, Hannes Straß. Characterizing Realizability in Abstract Argumentation. In Gabriele Kern-Isberner and Renata Wassermann, ... Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer Reactive multi-context systems: Heterogeneous reasoning in ... › web › web › Publikationen
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
[fg-arc] CFP International Workshop on Practical Aspects of ...
lists.uni-paderborn.de
Feb 10, — ... France * Simona Perri, University of Calabria, Italy * Luca Pulina, University of Sassari, Italy * Jörg Pührer, University of Leipzig, ... › fg-arc › February
Publications
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...
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
Reports & Statements
[UAI] ECAI Workshops
www.mail-archive.com
Stefan Ellmauthaler and Jörg Pührer W7 - COmbining COnstraint solving with MIning and LEarning (CoCoMiLe) Lars Kotthoff, Barry ...
DBWorld Message
research.cs.wisc.edu
... Stefan Ellmauthaler, and Jörg Pührer Multi-Context Systems for Reactive Reasoning in Dynamic Environments Harald Beck, Minh Dao-Tran, ...
Miscellaneous
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...
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
ICLP nd International Conference on Logic ...
software.imdea.org
Jörg Pührer, Leipzig University, Germany. Ricardo Rocha, University of Porto, Portugal. Zoltan Somogyi, Independent Researcher, Australia. › Conferences › ICLP2016
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
Kara: A System for Visualising and Visual Editing of arXiv
arxiv-web3.library.cornell.edu
From: Jörg Pührer [view email] [v1] Mon, 19 Sep :09:21 UTC (936 KB) [v2] Tue, 11 Oct :03:57 UTC (936 KB). Full-text links: ... › abs
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
LPNMR 2017
lpnmr2017.aalto.fi
Aug 15, — Best System Description: Jörg Pührer: ArgueApply: A Mobile App for Argumentation. Best Application Paper: Peter Schüller: Adjudication of ...
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...
Program — Aitami'15
aitami2015.mondragon.edu
Jul 27, — 14:45, Invited Talk II by Jörg Pührer. 15:30, Coffee Break. 16:00, Poster Session (5 posters). 16:40, Debate. 17:00, Closing ... › aitami15 › program
Reactive multi-context systems: Heterogeneous reasoning in ...
novaresearch.unl.pt
Mar 1, — ... reasoning in dynamic environments. Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer. › publications › reactive-mul...
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...
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