Carsten Lutz

From Tetherless World Wiki

Jump to: navigation, search
Carsten Lutz [ Edit ]
Photo:
Name: Carsten Lutz
Occupation:
Affiliation(s):
Homepage(s):
Email(s):
Phone:
Fax:
Interests:
Other tags:
Alias:
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Carsten Lutz. Two Upper Bounds for Conjunctive Query Answering in SHIQ, In Description Logics, , 2008 .
  2. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. The Complexity of Enriched Mu-Calculi, In CoRR, abs/0809.0360, 2008 .
  3. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. Logical Difference and Module Extraction with CEX and MEX, In Description Logics, , 2008 .
  4. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL, In OWL: Experiences and Directions (OWLED), pp. online, 2008 .
  5. Carsten Lutz. The Complexity of Conjunctive Query Answering in Expressive Description Logics, In IJCAR, pp. 179-193, 2008 .
  6. Hongkai Liu, Carsten Lutz, Maja Milicic. The Projection Problem for EL Actions, In Description Logics, , 2008 .
  7. Franz Baader, Silvio Ghilardi, Carsten Lutz. LTL over Description Logic Axioms, In Description Logics, , 2008 .
  8. Franz Baader, Carsten Lutz, Sebastian Brandt. Pushing the EL Envelope Further, In OWL: Experiences and Directions (OWLED), pp. online, 2008 .
  9. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporal Description Logics: A Survey, In TIME, pp. 3-14, 2008 .
  10. Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporalising Tractable Description Logics, In TIME, pp. 11-22, 2007 .
  11. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. Conjunctive Query Answering for the Description Logic SHIQ, In IJCAI, pp. 399-404, 2007 (Download) .
  12. Stefan G \"o ller, Markus Lohrey, Carsten Lutz. PDL with Intersection and Converse Is 2 EXP-Complete, In FoSSaCS, pp. 198-212, 2007 .
  13. Adila Krisnadhi, Carsten Lutz. Data Complexity in the EL family of DLs, In Description Logics, , 2007 .
  14. Christof L \"o ding, Carsten Lutz, Olivier Serre. Propositional dynamic logic with recursive programs, In J. Log. Algebr. Program., 73(1-2):51-69, 2007 .
  15. Alessandro Artale, Carsten Lutz, David Toman. A Description Logic of Change, In IJCAI, pp. 218-223, 2007 (Download) .
  16. Stefan G \"o ller, Markus Lohrey, Carsten Lutz. PDL with Intersection and Converse is 2EXP-complete, In Algorithmic-Logical Theory of Infinite Structures, , 2007 .
  17. Carsten Lutz, Dirk Walther, Frank Wolter. Quantitative temporal logics over the reals: PSpace and below, In Inf. Comput., 205(1):99-123, 2007 .
  18. Balder ten Cate, Carsten Lutz. The complexity of query containment in expressive fragments of XPath 2.0, In PODS, pp. 73-82, 2007 .
  19. Carsten Lutz. Inverse Roles Make Conjunctive Queries Hard, In Description Logics, , 2007 .
  20. Carsten Lutz, Frank Wolter. Conservative Extensions in the Lightweight Description Logic EL, In CADE, pp. 84-99, 2007 .
  21. Carsten Lutz, Maja Milicic. A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes, In J. Autom. Reasoning, 38(1-3):227-259, 2007 .
  22. Carsten Lutz, Dirk Walther, Frank Wolter. Conservative Extensions in Expressive Description Logics, In IJCAI, pp. 453-458, 2007 (Download) .
  23. Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. CEL - A Polynomial-Time Reasoner for Life Science Ontologies, In IJCAR, pp. 287-291, 2006 .
  24. Carsten Lutz. Complexity and succinctness of public announcement logic, In AAMAS, pp. 137-143, 2006 .
  25. Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge. ATL Satisfiability is Indeed EXPTIME-complete, In J. Log. Comput., 16(6):765-787, 2006 .
  26. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. Updating Description Logic ABoxes, In KR, pp. 46-56, 2006 .
  27. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. Reasoning About Actions Using Description Logics with General TBoxes, In JELIA, pp. 266-279, 2006 .
  28. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. DL Actions with GCIs: a Pragmatic Approach, In Description Logics, , 2006 .
  29. Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Conservative extensions in modal logic, In Advances in Modal Logic, pp. 187-207, 2006 .
  30. Carsten Lutz, Frank Wolter. Modal Logics of Topological Relations, In CoRR, abs/cs/0605064, 2006 .
  31. Silvio Ghilardi, Carsten Lutz, Frank Wolter. Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics, In KR, pp. 187-197, 2006 .
  32. Piero A. Bonatti, Carsten Lutz, Frank Wolter. Description Logics with Circumscription, In KR, pp. 400-410, 2006 .
  33. Carsten Lutz, Dirk Walther, Frank Wolter. Quantitative Temporal Logics: PSPACE and Below, In TIME, pp. 138-146, 2005 .
  34. Carsten Lutz, Maja Milicic. A Tableau Algorithm for DLs with Concrete Domains and GCIs, In Description Logics, , 2005 .
  35. Carsten Lutz, Ulrike Sattler, Lidia Tendera. The complexity of finite model reasoning in description logics, In Inf. Comput., 199(1-2):132-171, 2005 .
  36. Carsten Lutz, Dirk Walther. PDL with Negation of Atomic Programs, In Journal of Applied Non-Classical Logics, 15(2):189-213, 2005 .
  37. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains, In J. Artif. Intell. Res. (JAIR), 23:667-726, 2005 (Download) .
  38. Carsten Lutz, Maja Milicic. A Tableau Algorithm for Description Logics with Concrete Domains and GCIs, In TABLEAUX, pp. 201-216, 2005 .
  39. Franz Baader, Sebastian Brandt, Carsten Lutz. Pushing the EL Envelope, In IJCAI, pp. 364-369, 2005 (Download) .
  40. Carsten Lutz. PDL with Intersection and Converse Is Decidable, In CSL, pp. 413-427, 2005 .
  41. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter. Integrating Description Logics and Action Formalisms: First Results, In AAAI, pp. 572-577, 2005 (Download) .
  42. Alessandro Artale, Carsten Lutz. A Correspondence between Temporal Description Logics, In Journal of Applied Non-Classical Logics, 14(1-2):209-233, 2004 .
  43. Carsten Lutz. Combining interval-based temporal reasoning with general TBoxes, In Artif. Intell., 152(2):235-274, 2004 .
  44. Carsten Lutz, Maja Milicic. Description Logics with Concrete Domains and Functional Dependencies, In ECAI, pp. 378-382, 2004 .
  45. Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporalising Tableaux, In Studia Logica, 76(1):91-134, 2004 .
  46. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. E-connections of abstract description systems, In Artif. Intell., 156(1):1-73, 2004 .
  47. Carsten Lutz. NEXP TIME-complete description logics with concrete domains, In ACM Trans. Comput. Log., 5(4):669-705, 2004 .
  48. Eldar Karabaev, Carsten Lutz. Mona as a DL Reasoner, In Description Logics, , 2004 .
  49. Carsten Lutz, Ulrike Sattler, Lidia Tendera. Finite Model Reasoning in ALCQI is EXPTIME Logics, In Description Logics, , 2003 .
  50. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. A Tableau Algorithm for Reasoning about Concepts and Similarity, In TABLEAUX, pp. 134-149, 2003 .
  51. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Resasoning about Concepts and Similarity, In Description Logics, , 2003 .
  52. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains, In IJCAI, pp. 349-354, 2003 (Download) .
  53. Carsten Lutz, Ulrike Sattler, Lidia Tendera. The Complexity of Finite Model Reasoning in Description Logics, In CADE, pp. 60-74, 2003 .
  54. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter. From Tableaux to Automata for Description Logics, In LPAR, pp. 1-32, 2003 .
  55. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. E-connections of Description Logics, In Description Logics, , 2003 .
  56. Carsten Lutz. PSpace Reasoning with the Description Logic ALCF(D), In Logic Journal of the IGPL, 10(5):535-568, 2002 .
  57. Carsten Lutz. Adding Numbers to the SHIQ Description Logic: First Results, In KR, pp. 191-202, 2002 .
  58. Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev. A Tableau Decision Algorithm for Modalized ALC with Constant Domains, In Studia Logica, 72(2):199-232, 2002 .
  59. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Fusions of Description Logics and Abstract Description Systems, In J. Artif. Intell. Res. (JAIR), 16:1-58, 2002 .
  60. Carsten Lutz. Description Logics with Concrete Domains-A Survey, In Advances in Modal Logic, pp. 265-296, 2002 .
  61. Carsten Lutz, Ulrike Sattler, Frank Wolter. Description Logics and the Two-Variable Fragment, In Description Logics, , 2001 .
  62. Carsten Lutz. Interval-based Temporal Reasoning with General TBoxes, In IJCAI, pp. 89-96, 2001 (Download) .
  63. Carsten Lutz. NEXPTIME-Complete Description Logics with Concrete Domains, In IJCAR, pp. 45-60, 2001 .
  64. Carsten Lutz, Ulrike Sattler, Frank Wolter. Modal Logic and the Two-Variable Fragment, In CSL, pp. 247-261, 2001 .
  65. Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev. Tableaux for Temporal Description Logic with Constant Domains, In IJCAR, pp. 121-136, 2001 .
  66. Carsten Lutz, Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics, In Advances in Modal Logic, pp. 329-348, 2000 .
  67. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Fusions of Description Logics, In Description Logics, pp. 21-30, 2000 .
  68. Carsten Lutz, Ulrike Sattler. Mary Likes all Cats, In Description Logics, pp. 213-226, 2000 .
  69. Carsten Lutz. Complexity of Terminological Reasoning Revisited, In LPAR, pp. 181-200, 1999 .
  70. Carsten Lutz, Ulrike Sattler, Stephan Tobies. A Suggestion for an n-ary Description Logic, In Description Logics, , 1999 .
  71. Carsten Lutz. Reasoning with Concrete Domains, In IJCAI, pp. 90-95, 1999 (Download) .
  72. Volker Haarslev, Carsten Lutz, Ralf M \"o ller. A Description Logic with Concrete Domains and a Role-forming Predicate Operator, In J. Log. Comput., 9(3):351-384, 1999 .
  73. Volker Haarslev, Carsten Lutz, Ralf M \"o ller. Foundations of Spatioterminological Reasoning with Description Logics, In KR, pp. 112-123, 1998 .
  74. Carsten Lutz, Ralf M \"o ller. Defined Topological Relations in Description Logics, In Description Logics, , 1997 .

External Links

More information on Google, and DBLP

Facts about Carsten LutzRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Carsten  +
Foaf:name Carsten Lutz  +
Foaf:surname Lutz  +
Has identifier Carsten Lutz  +
Retrieved from "http://tw.rpi.edu/wiki/Carsten_Lutz"
Personal tools