Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(45)
Stefan Woltran
55
Thomas Eiter
51
Torsten Schaub
34
Michael Fink
28
Uwe Egly
20
Conferences
(26)
LPNMR
16
WLP
8
KR
7
ICLP(JICSLP)
6
IJCAI
5
Journals
(10)
CORR
11
TPLP
8
LOGCOM
3
TOCL
3
SLOGICA
2
Keywords
(143)
Embed
Subscribe
Academic
Authors
Hans Tompits
Edit
Hans Tompits
Vienna University of Technology
Publications: 132
|
Citations: 1699
|
G-Index: 36
|
H-Index: 21
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Artificial Intelligence
,
Programming Languages
,
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
45 co-authors
from 1995 to 2011
; Cited by
743 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(132)
BibTeX
|
RIS
|
RefWorks
Download
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison
Tomi Janhunen
,
Ilkka Niemelä
,
Johannes Oetsch
,
Jörg Pührer
,
Hans Tompits
Conference:
Logic Programming and Non-monotonic Reasoning - LPNMR
, pp. 242-247, 2011
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology
Johannes Oetsch
,
Jörg Pührer
,
Martina Seidl
,
Hans Tompits
,
Patrick Zwickl
Conference:
Logic Programming and Non-monotonic Reasoning - LPNMR
, pp. 382-387, 2011
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
Jos de Bruijn
,
Thomas Eiter
,
Axel Polleres
,
Hans Tompits
Journal:
ACM Transactions on Computational Logic - TOCL
, vol. 12, no. 3, 2011
Stepping through an Answer-Set Program
Johannes Oetsch
,
Jörg Pührer
,
Hans Tompits
Conference:
Logic Programming and Non-monotonic Reasoning - LPNMR
, pp. 134-147, 2011
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
Johannes Oetsch
,
Hans Tompits
Conference:
Logic Programming and Non-monotonic Reasoning - LPNMR
, pp. 254-259, 2011
Order by:
Citations
(1699 times by 830 publications)
MWeb: A principled framework for modular web rule bases and its semantics
(
Citations: 3
)
Anastasia Analyti
,
Grigoris Antoniou
,
Carlos Viegas Damasio
Published in 2011.
Well-founded semantics for description logic programs in the semantic web
(
Citations: 4
)
Thomas Eiter
,
Giovambattista Ianni
,
Thomas Lukasiewicz
,
Roman Schindlauer
Journal:
ACM Transactions on Computational Logic - TOCL
, vol. 12, no. 2, pp. 1-41, 2011
Introducing Preferences in Planning as Satisfiability
(
Citations: 1
)
Enrico Giunchiglia
,
Marco Maratea
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 2, pp. 205-229, 2011
Local closed world reasoning with description logics under the well-founded semantics
(
Citations: 2
)
Matthias Knorr
,
José Júlio Alferes
,
Pascal Hitzler
Journal:
Artificial Intelligence - AI
, vol. 175, no. 9-10, pp. 1528-1554, 2011
Specifying and computing preferred plans
Meghyn Bienvenu
,
Christian Fritz
,
Sheila A. McIlraith
Journal:
Artificial Intelligence - AI
, vol. 175, no. 7-8, pp. 1308-1345, 2011
Comments