Travelled to:1 × Austria
1 × Canada
1 × Czech Republic
1 × France
1 × Italy
1 × Portugal
1 × Switzerland
1 × United Kingdom
5 × USA
Collaborated with:∅ G.Gottlob T.Eiter A.Calì A.Pieris A.Hernich C.Kupke J.Schellhase R.Schindlauer H.Tompits W.Kießling G.Köstler U.Güntzer B.Marnette C.d'Amato F.Esposito N.Fanizzi B.Fazzinga
Talks about:logic (7) probabilist (6) semant (6) descript (4) datalog (4) knowledg (3) reason (3) condit (3) answer (3) base (3)
Person: Thomas Lukasiewicz
DBLP: Lukasiewicz:Thomas
Contributed to:
2014
2013
2010
20102009
20072006200420022000
19981998
19971995Wrote 16 papers:
- KR-2014-GottlobHKL #logic #semantics
- Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
- KR-2014-GottlobLP #datalog
- Datalog+/-: Questions and Answers (GG, TL, AP).
- PODS-2013-HernichKLG #datalog #ontology #reasoning #semantics
- Well-founded semantics for extended datalog and ontological reasoning (AH, CK, TL, GG), pp. 225–236.
- LICS-2010-CaliGLMP #datalog #information management #logic #product line #query #representation
- Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (AC, GG, TL, BM, AP), pp. 228–242.
- SAC-2010-dAmatoEFFGL #induction #reasoning #semantics #web
- Inductive reasoning and semantic web search (Cd, FE, NF, BF, GG, TL), pp. 1446–1447.
- PODS-2009-CaliGL #framework #ontology #query
- A general datalog-based framework for tractable query answering over ontologies (AC, GG, TL), pp. 77–86.
- ICLP-2007-CaliL #logic programming #probability #semantics #source code #web
- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web (AC, TL), pp. 428–429.
- KR-2006-LukasiewiczS #logic
- Variable-Strength Conditional Preferences for Matchmaking in Description Logics (TL, JS), pp. 164–174.
- 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.
- KR-2004-Lukasiewicz #logic #probability
- Weak Nonmonotonic Probabilistic Logics (TL), pp. 23–33.
- KR-2002-EiterL #approach #complexity
- Complexity Results for Explanations in the Structural-Model Approach (TE, TL), pp. 49–60.
- KR-2000-EiterL #complexity #knowledge base #reasoning
- Complexity Results for Default Reasoning from Conditional Knowledge Bases (TE, TL), pp. 62–73.
- CSL-1998-Lukasiewicz #first-order #logic #probability #semantics
- Many-Valued First-Order Logics with Probabilistic Semantics (TL), pp. 415–429.
- KR-1998-Lukasiewicz #constraints #deduction #probability
- Probabilistic Deduction with Conditional Constraints over Basic Events (TL), pp. 380–393.
- CIKM-1997-Lukasiewicz #deduction #knowledge base #performance #probability #taxonomy
- Efficient Global Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events (TL), pp. 75–82.
- CIKM-1995-LukasiewiczKKG #approach #constraints #database #nondeterminism #object-oriented #taxonomy
- Taxonomic and Uncertain Integrity Constraints in Object-Oriented Databases — the TOP Approach (TL, WK, GK, UG), pp. 241–249.