publish.UP Kato: a plagiarism-detection tool for answer-set programs
publishup.uni-potsdam.de
Metadaten; Author: Johannes Oetsch, Martin Schwengerer, Hans Tompits: URN: urn:nbn:de:kobv:517-opus : Document Type: Conference Proceeding: Language:
Publications
people.sabanciuniv.edu
Martin Brain, Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz, “Event-Sequence Testing Using Answer-Set ...
Publications by Tomi Janhunen - Research
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 ...
CiteSeerX — Event-Sequence Testing using Answer-Set Programming
citeseerx.ist.psu.edu
@MISC{Brain_event-sequencetesting, author = {Martin Brain and Esra Erdem and Katsumi Inoue and Johannes Oetsch and Jörg Pührer and Hans Tompits and ...
D Institut für Informatik
www.informatik.uni-leipzig.de
[36] Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, and Stefan Woltran Johannes Oetsch, Jörg Pührer, Peter Skocovsky, and Hans Tompits.
Is Bit-Vector Reasoning as Hard as NExpTime in Practice?
smt2015.csl.sri.com
[18] Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, and Armin Wolf, editors. Revised Selected Papers of the ...
All web results to the name "Hans Tompits"
Internet Archive Search: creator:"Hans Tompits"
archive.org
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming - Johannes Oetsch Many applications ...
12 (4-5) 11 – Association for Logic Programming
www.cs.nmsu.edu
Marina De Vos (Univ of Bath) Doğa Gizem Kıza (Sabanci Univ) Johannes Oetsch (TU Wien) Jörg Pührer (TU Wien) Hans Tompits (TU Wien) ...
Annotating answer-set programs in Lana — the University of...
researchportal.bath.ac.uk
Annotating answer-set programs in Lana. Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jorg Puehrer, Hans Tompits. Department of Computer Science ...
Christoph Wernhard – Papers
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 ...
Ilkka Niemela: Papers
users.ics.aalto.fi
[Link]. Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, and Hans Tompits. Random vs. Structure-Based Testing of Answer-Set Programs: ...
IOS Press Ebooks - On Testing Answer-Set Programs
ebooks.iospress.nl
loader loading subjects... cover. On Testing Answer-Set Programs. Authors. Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits. Pages.
ICS - Research - MCM
www.tcs.hut.fi
Hans Tompits, M.Sc. Jörg Pührer, and M.Sc. Johannes Oetsch, Vienna University of Technology, Austria, December , Prof.
LPNMR 2011: Accepted papers – Association for Logic Programming
www.cs.nmsu.edu
Johannes Oetsch, Jörg Pührer and Hans Tompits: Stepping through an Answer-Set Program * Mario Alviano, Gianluigi Greco and Nicola ...
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...
Students | ARiSE
arise.or.at
Johannes Oetsch Advisor: Uwe Egly Co-advisor: Hans Tompits University: TU Wien Topic: Incremental QBF solving, methods for verifying answer-set programs ...
Related search requests for Hans Tompits
Roman Schindlauer Masanobu Umeda Cemal Yilmaz | Torsten Schaub James Delgrande Tomi Janhunen | Emilia Oikarinen Thomas Eiter Jörg Pührer |
People Forename "Hans" (24388) Name "Tompits" (1) |
sorted by relevance / date