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: Eiter:Thomas
Facilitated 4 volumes:
EdEd
EdEdContributed to:
20142012
2011201020092008200820072006
20052004
200320032002
2002
2001
200020001998
19981994
1994199319931992Wrote 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.