1
0
0
News
H,Tompits;"Vienna University of Technology..., Oct. 5, 13:40," |...
cs.sabanciuniv.edu
Hans Tompits Vienna University of Technology. Abstract: Answer-set programming (ASP) is a well-known formalism for declarative problem solving based on ...
Top cited papers in Journal of Web Semantics and Artificial...
www.cs.ox.ac.uk
Top cited papers in Journal of Web Semantics and Artificial Intelligence
Network Profiles
LinkedIn: Hans Tompits | LinkedIn
Hans Tompits' berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Hans Tompits dabei hilft, ...
DBLife: Hans Tompits
dblife.cs.wisc.edu
Hans Tompits Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo! News Archive
Interests
Works by Hans Tompits - PhilPapers
philpapers.org
Hans Tompits, Ken Satoh, Arnold Beckmann, Carlos Caleiro, Thomas Eiter, Sylvain Salvati, Taisuke Sato & Frank Wolter (2010). 16th Workshop on Logic, Language
Uwe Egly & Hans Tompits, On different proof-search strategies for...
philpapers.org
In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces....
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan...
philpapers.org
As is well known, answer-set programs do not satisfy the replacement property in general, i.e., programs and that are equivalent may cease to be so when they...
Hans Tompits, Ken Satoh, Arnold Beckmann, Carlos Caleiro, Thomas...
philpapers.org
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions
Business Profiles
Researchgate: Hans Tompits
Vienna, Vienna, Austria
Employees
Hans Tompits - Vienna University of Technology
www.kr.tuwien.ac.at
Path: KBS > staff > Hans Tompits > Tools: Drucken. a.o. Univ.-Prof. Dr. Hans Tompits: email: tompits at kr.tuwien.ac.at: Phone: +43 (1) : Fax: +43 (1
BELIEF Invited Talks
cms.brookes.ac.uk
Web Store Theme - free CSS template provided by templatemo.com
Education
User:Petesko - Protege Wiki
protegewiki.stanford.edu
He worked with João Leite and Hans Tompits. In he worked on Constraint Satisfaction Problems at [NICTA http://www.nicta.com.au/] ...
Heritage
Hans Tompits - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Hans Tompits has 1 student and 1 descendant. We welcome any additional information. If you have additional information or
Uwe Egly - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Hans Tompits: Technische Universität Wien: 1998: 1: Stefan Woltran: Technische Universität Wien: 2003: 3: According to our current on-line database, Uwe Egly has 3
Books & Literature
Applications of Declarative Programming and Knowledge Management,...
www.fishpond.com.au
... Vienna, Austria, September , 2011, Revised Selected Papers (Lecture Notes in Computer Scienc by Salvador Abreu (Edited ) Hans Tompits (Edited ).
bokus.com: Hans Tompits - Böcker | Bokus bokhandel
Köp böcker av Hans Tompits:
Hans Tompits on Apple Books
books.apple.com
Preview and download books by Hans Tompits, including Applications of Declarative Programming and Knowledge Management.
Related Documents
[ ] A general approach to belief change in answer set...
arxiv.org
Dec 29, · Title: A general approach to belief change in answer set programming Torsten Schaub, Hans Tompits, Stefan Woltran (Submitted on 30 Dec 2009)
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 ...
Alternative Characterizations for Program Equivalence ...
ceur-ws.org
Martin Gebser, Torsten Schaub, Hans Tompits, and Stefan Woltran characterization and our approach is that we refer to (Y \ X) rather than to X itself. As.
DISSERTATION Declarative Logic-Programming OCG
ocg.at
O.Univ.Prof. Dipl.-Ing. Dr.techn. Thomas Eiter und. Univ.Ass. Mag.rer.nat. Dr. techn. Hans Tompits als verantwortlich mitwirkendem Universitätsassistenten
Scientific Publications
Model-based recasting in answer-set programming: Ingenta Connect
www.ingentaconnect.com
Thomas Eiter , Michael Fink , Jörg Pührer , Hans Tompits & Stefan Woltran. To cite this article: Thomas Eiter , Michael Fink , Jörg Pührer , Hans ...
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.
Publications
Hans Tompits - semanticweb.org.edu
semanticweb.org
Hans Tompits. From semanticweb.org.edu. Jump to: navigation, search. vCard Hans Tompits Affiliation: TU Vienna, Austria: Homepage: www.kr.tuwien.ac.at/staff/tompits
Stepping through an Answer-Set Program | SpringerLink
link.springer.com
We introduce a framework for interactive stepping through an answer-set program as a means for debugging. In procedural languages, stepping is a widespread and...
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 ...
TU Wien:Logik für Wissensrepräsentation VO (Tompits) – VoWi
vowi.fsinf.at
Vortragender/LVA-Leiter: Hans Tompits, Michael Fink; ECTS: 3 (SWS: 2); HP der LVA: [1]; Institut: Knowledge-based systems group (KBS); Begleitende Übung ...
Reports & Statements
Tompits, Hans | Wissenschaftler | Wissenschaft im Austria-Forum
austria-forum.org
Prof. Mag.rer.nat. Dr.techn. Hans Tompits#. kein Foto vorhanden. Position: Univ.Dozent; Universität: Technische Universität Wien; Institut: E
Miscellaneous
Hans Tompits | LinkedIn
www.linkedin.com
View Hans Tompits's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Hans Tompits discover inside
Dr. Emilia Oikarinen - Publications
sites.google.com
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran (2009). Journal of Artificial Intelligence Research, 35: [doi: jair.2810] ...
Torsten Schaub - Google Scholar -sitaatit
scholar.google.fi
Martin Gebser,; Hans Tompits,; Sven Thiele,; Miroslaw Truszczynski,; Anne Siegel,; Tomi Janhunen,; Benjamin Andres,; Leopoldo Bertossi,; Holger Hoos, ...
REWERSE - Hans Tompits
rewerse.net
Hans Tompits. Associated Member of REWERSE participant. Vienna. Involvement in REWERSE packages. I2, I4, A3. Former and current ...
REWERSE - Hans Tompits
www.macs.hw.ac.uk
Hans Tompits Associated Member of REWERSE participant. Vienna. Involvement in REWERSE packages. I2, I4, A3. Former and current employments. Associate Professor at the
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 ...
Thomas Eiter - Google Scholar
scholar.google.at
Georg Gottlob,; Hans Tompits,; Nicola Leone,; Wolfgang Faber,; Giovambattista Ianni,; Thomas Krennwallner,; Axel Polleres,; V.S. Subrahmanian,; Thomas ...
accepted - lpnmr2007
sites.google.com
Complexity of Default Logic on Generalized Conjunctive Queries; James Delgrande, Torsten Schaub and Hans Tompits. A Preference-Based Framework for ...
LogiCS | Hans Tompits
logic-cs.at
Research Interests Knowledge representation, Logic-based artificial intelligence, Nonmonotonic reasoning, Answer-set programming, Preference handling
TDGS - "Hans Tompits"
juliette.lsi.us.es
Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna
Hans Tompits
easychair.org
vsl 2014: vienna summer of logic vsl program indexes. vsl | floc | cav | csf | csl-lics | iclp | ijcar | itp | rta-tlca | sat | lc | latd | kr | dl | nmr | 2fc
ReaSoN
hypatia.cs.ualberta.ca
Hans Tompits: : AICOM (2003) 10 : 0 Backjumping for Quantified Boolean Logic satisfiability. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: : AI
13th International Conference on Logic Programming and Non-monotonic...
www.satlive.org
Updated deadlines.
2nd Call for Workshop Proposals ICLP 2013: 29th International...
lists.w3.org
Feb 21, · From: Hans Tompits Date: Fri, 22 Feb :16:16 +0100 (CET) Message-Id:
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) ...
2002 Digital Symposium Collection
sigmod.org
98 Thomas Eiter, Volker Klotz , Hans Tompits , Stefan Woltran : Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
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 ...
ICLP International Conference on Logic Programming
www.iclp2013.org
ICLP International Conference on Logic Programming, August Istanbul/Turkey
Benjamin Kiesl
benjaminkiesl.github.io
Before, I did a PhD in computer science under the supervision of Martina Seidl and Hans Tompits at TU Wien. I have a background in automated reasoning, ...
Blockedness in Propositional Logic: Are You Satisfied With Your...
www.ijcai.org
Electronic proceedings of IJCAI 2017
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