BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Germany
1 × India
1 × Portugal
1 × United Kingdom
2 × Italy
3 × Austria
4 × Canada
8 × USA
Collaborated with:
M.Fink G.Gottlob H.Tompits T.Lukasiewicz T.Krennwallner K.Makino S.Woltran G.Pfeifer C.Redl M.Dao-Tran C.Baral G.Brewka N.Leone W.Faber M.Baaz H.Veith J.Moura J.d.Bruijn T.Schwentick Y.Gurevich M.Cadoli H.Mannila G.Greco D.Lembo P.Schüller A.Weinzierl E.Erdem H.Erdogan R.Schindlauer G.Sabbatini P.Traxler A.Polleres C.Mateis F.Scarcello G.Ianni V.Lio G.Terracina R.Rosati M.Lenzerini M.Ruzzi E.Kalka B.Nowicki W.Staniszkis
Talks about:
logic (13) program (12) set (8) answer (7) complex (6) system (5) knowledg (4) disjunct (4) semant (4) result (4)

Person: Thomas Eiter

DBLP DBLP: Eiter:Thomas

Facilitated 4 volumes:

ICLP TC 2015Ed
ICLP 2015Ed
KR 2014Ed
KR 2012Ed

Contributed to:

KR 20142014
ICLP 20122012
PADL 20112011
KR 20102010
ICLP 20092009
ICLP 20082008
KR 20082008
ICLP 20072007
KR 20062006
SIGMOD 20052005
KR 20042004
CSL 20032003
ICLP 20032003
KR 20022002
STOC 20022002
DLT 20012001
CL 20002000
KR 20002000
KR 19981998
LICS 19981998
KR 19941994
PODS 19941994
ILPS 19931993
PODS 19931993
PODS 19921992

Wrote 34 papers:

KR-2014-BaazEV #logic
Vienna Summer of Logic (MB, TE, HV).
ICLP-J-2012-EiterFKR
Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.
PADL-2011-RedlEK #declarative #set #using
Declarative Belief Set Merging Using Merging Plans (CR, TE, TK), pp. 99–114.
KR-2010-Dao-TranEFK #distributed #multi
Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).
KR-2010-EiterFM #programming #set
Paracoherent Answer Set Programming (TE, MF, JM).
KR-2010-EiterFSW #consistency #multi #nondeterminism
Finding Explanations of Inconsistency in Multi-Context Systems (TE, MF, PS, AW).
ICLP-2009-Dao-TranEFK #composition #logic programming #revisited
Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.
ICLP-2009-EiterEEF #programming #set
Finding Similar or Diverse Solutions in Answer Set Programming (TE, EE, HE, MF), pp. 342–356.
ICLP-2008-Eiter #question
SMS and ASP: Hype or TST? (TE), pp. 77–82.
KR-2008-BruijnET #logic #ontology
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic (JdB, TE, HT), pp. 485–495.
ICLP-2007-Eiter #programming #semantics #set #web
Answer Set Programming for the Semantic Web (TE), pp. 23–26.
KR-2006-EiterFTTW #programming
Replacements in Non-Ground Answer-Set Programming (TE, MF, HT, PT, SW), pp. 340–351.
SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration
The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.
KR-2004-BaralE #algorithm #policy #polynomial
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies (CB, TE), pp. 720–730.
KR-2004-EiterFFPW #bound #complexity #model checking #programming #set
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (TE, WF, MF, GP, SW), pp. 377–387.
KR-2004-EiterFTW #logic programming #on the
On Eliminating Disjunctions in Stable Logic Programming (TE, MF, HT, SW), pp. 447–458.
KR-2004-EiterLST #logic #programming #semantics #set #web
Combining Answer Set Programming with Description Logics for the Semantic Web (TE, TL, RS, HT), pp. 141–151.
CSL-2003-EiterM #abduction #generative #query
Generating All Abductive Explanations for Queries on Propositional Horn Theories (TE, KM), pp. 197–211.
ICLP-2003-EiterF #equivalence #logic programming #semantics #source code
Uniform Equivalence of Logic Programs under the Stable Model Semantics (TE, MF), pp. 224–238.
ICLP-2003-EiterFGL #evaluation #integration #logic programming #performance #query #source code
Efficient Evaluation of Logic Programs for Querying Data Integration Systems (TE, MF, GG, DL), pp. 163–177.
KR-2002-EiterFST #approach #knowledge-based
A Generic Approach for Knowledge-Based Information-Site Selection (TE, MF, GS, HT), pp. 459–469.
KR-2002-EiterL #approach #complexity
Complexity Results for Explanations in the Structural-Model Approach (TE, TL), pp. 49–60.
STOC-2002-EiterGM #generative
New results on monotone dualization and generating hypergraph transversals (TE, GG, KM), pp. 14–22.
DLT-2001-EiterGS #higher-order #logic #string
Second-Order Logic over Strings: Regular and Non-regular Fragments (TE, GG, TS), pp. 37–56.
CL-2000-EiterFLPP #information management
Planning under Incomplete Knowledge (TE, WF, NL, GP, AP), pp. 807–821.
KR-2000-EiterL #complexity #knowledge base #reasoning
Complexity Results for Default Reasoning from Conditional Knowledge Bases (TE, TL), pp. 62–73.
KR-1998-BrewkaE #logic programming #set #source code
Preferred Answer Sets for Extended Logic Programs (GB, TE), pp. 86–97.
KR-1998-EiterLMPS #benchmark #metric
The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.
LICS-1998-EiterGG #higher-order #logic #string
Existential Second-Order Logic over Strings (TE, GG, YG), pp. 16–27.
KR-1994-CadoliEG #logic #query
Default Logic as a Query Language (MC, TE, GG), pp. 99–108.
PODS-1994-EiterGM #datalog
Adding Disjunction to Datalog (TE, GG, HM), pp. 267–278.
ILPS-1993-EiterG #complexity #logic #logic programming
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics (TE, GG), pp. 266–278.
PODS-1993-EiterG #aspect-oriented #complexity #database #semantics
Complexity Aspects of Various Semantics for Disjunctive Databases (TE, GG), pp. 158–167.
PODS-1992-EiterG #complexity #knowledge base #on the
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals (TE, GG), pp. 261–273.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.