BibSLEIGH — Carsten

Travelled to:

1 × Austria
1 × Canada
1 × China
1 × Denmark
1 × Germany
1 × Ireland
1 × Portugal
1 × United Kingdom
2 × Australia
2 × France
3 × USA
4 × Italy

Collaborated with:

F.Wolter ∅ F.Baader M.Bienvenu L.Schröder B.t.Cate S.Ghilardi U.Sattler P.A.Bonatti B.Konev D.Walther M.Zakharyaschev Y.A.Ibáñez-García T.Schneider I.Seylan S.Göller M.Lohrey B.Suntisrivaraporn L.Tendera V.Haarslev R.Möller J.C.Jung S.Goncharov A.Ozaki D.K.Ponomaryov A.Murano M.Y.Vardi H.Liu M.Milicic H.Sturm R.Kontchakov D.Toman

Talks about:

logic (21) descript (19) queri (6) ontolog (5) complex (5) reason (4) fragment (3) answer (3) pdl (3) probabilist (2)

Person: Carsten Lutz

DBLP: Lutz:Carsten

Contributed to:

2014

2013

2012

2010

2008

2007

2006

2005

2004

2003

2002

2001

1998

Wrote 30 papers:

ICALP-v2-2014-JungLGS #first-order #logic #probability: Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.
KR-2014-GarciaLS #finite #logic #reasoning: Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).
KR-2014-KonevLOW #learning #lightweight #logic #ontology: Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).
PODS-2013-BienvenuCLW #case study #csp #data access #datalog #ontology: Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP (MB, BtC, CL, FW), pp. 213–224.
KR-2012-BienvenuLW #logic #query: Query Containment in Description Logics Reconsidered (MB, CL, FW).
KR-2012-LutzSW #approach #approximate #logic: An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).
KR-2012-LutzW #complexity #logic #query: Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).
KR-2010-BaaderBLW #logic #query: Query and Predicate Emptiness in Description Logics (FB, MB, CL, FW).
KR-2010-KonevLPW #logic #ontology: Decomposing Description Logic Ontologies (BK, CL, DKP, FW).
KR-2010-KontchakovLTWZ #approach #query: The Combined Approach to Query Answering in DL-Lite (RK, CL, DT, FW, MZ).
KR-2010-LutzS #logic #nondeterminism #probability: Probabilistic Description Logics for Subjective Uncertainty (CL, LS).
IJCAR-2008-Lutz #complexity #logic #query: The Complexity of Conjunctive Query Answering in Expressive Description Logics (CL), pp. 179–193.
KR-2008-BaaderGL #axiom #logic #ltl: LTL over Description Logic Axioms (FB, SG, CL), pp. 684–694.
CADE-2007-LutzW #lightweight #logic: Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.
FoSSaCS-2007-GollerLL: PDL with Intersection and Converse Is 2 EXP-Complete (SG, ML, CL), pp. 198–212.
PODS-2007-CateL #complexity #query #xpath: The complexity of query containment in expressive fragments of XPath 2.0 (BtC, CL), pp. 73–82.
ICALP-v2-2006-BonattiLMV #calculus #complexity #μ-calculus: The Complexity of Enriched μ-Calculi (PAB, CL, AM, MYV), pp. 540–551.
IJCAR-2006-BaaderLS #named #ontology #polynomial: CEL — A Polynomial-Time Reasoner for Life Science Ontologies (FB, CL, BS), pp. 287–291.
KR-2006-BonattiLW #logic: Description Logics with Circumscription (PAB, CL, FW), pp. 400–410.
KR-2006-GhilardiLW #logic #ontology: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.
KR-2006-LiuLMW #logic: Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.
CSL-2005-Lutz #decidability: PDL with Intersection and Converse Is Decidable (CL), pp. 413–427.
IJCAR-2004-LutzW #source code: PDL with Negation of Atomic Programs (CL, DW), pp. 259–273.
CADE-2003-LutzST #complexity #finite #logic #reasoning: The Complexity of Finite Model Reasoning in Description Logics (CL, US, LT), pp. 60–74.
KR-2002-Lutz #logic: Adding Numbers to the SHIQ Description Logic: First Results (CL), pp. 191–202.
CSL-2001-LutzSW #logic: Modal Logic and the Two-Variable Fragment (CL, US, FW), pp. 247–261.
IJCAR-2001-Lutz #logic: NEXPTIME-Complete Description Logics with Concrete Domains (CL), pp. 45–60.
IJCAR-2001-LutzSWZ #constant #logic: Tableaux for Temporal Description Logic with Constant Domains (CL, HS, FW, MZ), pp. 121–136.
KR-1998-HaarslevLM #logic #reasoning: Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.