Chair for Automata Theory of the Institute for Theoretical Computer Science, Faculty of Computer Science at TU Dresden

Publications

2004

 A. Artale and C. Lutz. A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logic, 14(1–2):209–233, 2004.
Abstract  Paper (PS)

Bibtex Entry

@Article{ArtaleLutzJANCL04,
  author =       "A. Artale and C. Lutz",
  title =        "A Correspondence between Temporal Description Logics",
  journal =      "Journal of Applied Non-Classical Logic",
  year = 	 {2004},
  volume =       {14},
  number =       {1--2},
  pages =        {209--233}
}

F. Baader. A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. In J. Hromkovic and M. Nagl, editors, Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2004), volume 3353 of Lecture Notes in Computer Science, pages 177–188, Bad Honnef, Germany, 2004. Springer-Verlag.
Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Bibtex Entry

@InProceedings{BaaderWG04,
  author =       {F. Baader},
  title =        {A Graph-Theoretic Generalization of the Least Common Subsumer and the
                  Most Specific Concept in the Description Logic $\mathcal{EL}$},
  booktitle =    {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts
                 in Computer Science {(WG 2004)}},
  editor =       {J. Hromkovic and M. Nagl},
  year =         2004,
  series =       {Lecture Notes in Computer Science},
  volume =       {3353},
  pages =        {177--188},
  address =      {Bad Honnef, Germany},
  publisher =    {Springer-Verlag},
  springer =     {yes},
}

F. Baader, S. Ghilardi, and C. Tinelli. A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics. In D. Basin and M. Rusinowitch, editors, Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, pages 183–197. Springer-Verlag, 2004.
Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Bibtex Entry

@InProceedings{BaaderEtAlIJCAR04,
  author = 	 {F. Baader and S. Ghilardi and C. Tinelli},
  title = 	 {A New Combination Procedure for the Word Problem
                  that Generalizes Fusion Decidability Results in Modal Logics},
  booktitle = 	 {Proceedings of the 2nd International 
                  Joint Conference on Automated Reasoning ({IJCAR'04})},
  pages     = {183--197},
  volume    = {3097},
  year = 	 {2004},
  editor = 	 {D. Basin and M. Rusinowitch},
  series = 	 {Lecture Notes in Artificial Intelligence},
  publisher = {Springer-Verlag},
  springer =     {yes},
}

F. Baader, I. Horrocks, and U. Sattler. Description Logics. In S. Staab and R. Studer, editors, Handbook on Ontologies, International Handbooks in Information Systems, pages 3–28. Springer–Verlag, Berlin, Germany, 2004.
Abstract

Bibtex Entry

@incollection{BaHoSaOntologyHB,
        author = {Baader, F. and Horrocks, I. and Sattler, U.},
        title = {Description Logics},
        booktitle = {Handbook on Ontologies},
        series = {International Handbooks in Information Systems},
        editor = {S. Staab and R. Studer},
        publisher = {Springer--Verlag},
        address = {Berlin, Germany},
        pages = {3--28},
        year = {2004}
}

F. Baader and B. Sertkaya. Applying Formal Concept Analysis to Description Logics. In P. Eklund, editor, Proceedings of the 2nd International Conference on Formal Concept Analysis (ICFCA 2004), volume 2961 of Lecture Notes in Artificial Intelligence, pages 261–286. Springer, 2004.
Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Bibtex Entry

@InProceedings{BaaderSertkayaICFCA04,
  author = 	 {F. Baader and B. Sertkaya},
  title = 	 {Applying Formal Concept Analysis to Description Logics},
  booktitle = 	 {Proceedings of the 2nd International Conference on Formal Concept
                  Analysis ({ICFCA 2004})},
  year = 	 {2004},
  editor = 	 {P. Eklund},
  series = 	 {Lecture Notes in Artificial Intelligence},
  publisher = {Springer},
  springer =     {yes},
  pages =        {261--286},
  volume =       {2961},
}

F. Baader, B. Sertkaya, and A.-Y. Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in Computer Science, pages 400–412, Lisbon, Portugal, 2004. Springer-Verlag.
Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Bibtex Entry

@InProceedings{BaaderSertkayaTurhan04,
  author = {F. Baader and B. Sertkaya and A.-Y. Turhan},
  title = {Computing the Least Common Subsumer w.r.t.\ a Background Terminology},
  booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence {(JELIA 2004)}},
  editor = {Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Alexandre Leite},
  year =  2004,
  series = {Lecture Notes in Computer Science},
  volume =  {3229},
  address = {Lisbon, Portugal},
  pages = {400--412},
  springer = {yes},
  publisher = {Springer-Verlag},
}

Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan. Computing the Least Common Subsumer w.r.t. a Background Terminology. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Abstract  Paper (PS)  Paper (PDF)

Bibtex Entry

@InProceedings{BaaderSertkayaTurhanDL2004,
  author = {Franz Baader and Baris Sertkaya and Anni-Yasmin Turhan},
  title = {Computing the Least Common Subsumer w.r.t. a Background Terminology},
  booktitle = {Proceedings of the 2004 International Workshop on Description Logics ({DL2004})},
  year = {2004},
  series = {CEUR-WS}
}

Sebastian Brandt. On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Abstract  Paper (PDF)

Bibtex Entry

@InProceedings{Brandt-DL-2004,
  author = 	 {Sebastian Brandt},
  title = 	 {On Subsumption and Instance Problem in $\mathcal{E\!LH}$ w.r.t. General TBoxes},
  booktitle = 	 {Proceedings of the 2004 International Workshop on Description Logics ({DL2004})},
  year = 	 {2004},
  series = 	 {CEUR-WS},
}

Sebastian Brandt. Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?. In R. López de Mantáras and L. Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), pages 298–302. IOS Press, 2004.
Abstract  Paper (PDF)

Bibtex Entry

@InProceedings{Brandt-ECAI-2004,
  author =       {Sebastian Brandt},
  title =        {Polynomial Time Reasoning in a Description Logic with Existential
  Restrictions, {GCI} Axioms, and---What Else?},
  booktitle =    {Proceedings of the 16th European Conference on
                  Artificial Intelligence (ECAI-2004)},
  year =         2004,
  editor =       {R.~L{\'o}pez de Mant{\'a}ras and L.~Saitta},
  pages =        {298--302},
  publisher =    {IOS Press}
}

Sebastian Brandt and Hongkai Liu. Implementing Matching in ALN. In Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04), CEUR-WS, Ulm, Germany, September 2004.
Abstract  Paper (PDF)

Bibtex Entry

@InProceedings{BrandtLiu-KIADL-04,  
  author =       {Sebastian Brandt and Hongkai Liu},
  title =        {Implementing Matching in {{\mathcal ALN}}},
  booktitle =    {Proceedings of the KI-2004 Workshop on Applications of 
                  Description Logics {(KI-ADL'04)}},
  address =      {Ulm, Germany},
  month =        {September},
  year =         2004,
  series =       {CEUR-WS},  
}

Mitchell A. Harris and Edward R. Reingold. Line Drawing, Leap Years, and Euclid. ACM Computing Surveys, 36:68–80, 2004.
Abstract  Paper (PDF)

Bibtex Entry

@Article{Harris-ACMCS2004,
  author =       {Mitchell A.~Harris and Edward R.~Reingold},
  title =        {Line {D}rawing, {L}eap {Y}ears, and {E}uclid},
  journal =      {ACM Computing Surveys},
  year =         {2004},
  volume =       {36},
  OPTnumber =    {},
  pages =        {68-80},
}

T. Hinze and M. Sturm. Rechnen mit DNA - Eine Einführung in Theorie und Praxis. R. Oldenbourg Wissenschaftsverlag München, ISBN 3-486-27530-5, 2004.
Abstract  Paper (PDF)

Bibtex Entry

@Book{HinzeSturm-04,
  author = 	 {T. Hinze and M. Sturm},
  title = 	 {Rechnen mit DNA - Eine Einf\"uhrung in Theorie und Praxis},
  publisher = 	 {R. Oldenbourg Wissenschaftsverlag M\"unchen},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {ISBN 3-486-27530-5},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

J. Hladik. Spinoza's Ontology. In G. Büchel, B. Klein, and T. Roth-Berghofer, editors, Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004), number RR-04-02 in DFKI Research Reports. DFKI, 2004.
Abstract  Paper (PDF)

Bibtex Entry

@InProceedings{Hladik-WSPI-04,
  author = 	 {J. Hladik},
  title = 	 {Spinoza's Ontology},
  booktitle = 	 {Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004)},
  year =	 2004,
  editor =	 {G. B\"uchel and B. Klein and T. Roth-Berghofer},
  number =	 {RR-04-02},
  series =	 {DFKI Research Reports},
  organization = {DFKI}
}

J. Hladik. A Tableau System for the Description Logic SHIO. In Ulrike Sattler, editor, Contributions to the Doctoral Programme of IJCAR 2004. CEUR, 2004. Available from ceur-ws.org.
Abstract  Paper (PS)

Bibtex Entry

@InProceedings{Hladik-IJCAR-04,
  author = 	 {J. Hladik},
  title = 	 {A Tableau System for the Description Logic {SHIO}},
  booktitle = 	 {Contributions to the Doctoral Programme of {IJCAR} 2004},
  year =	 2004,
  editor =	 {Ulrike Sattler},
  publisher =	 {CEUR},
  note =	 {Available from \texttt{ceur-ws.org}}
}

J. Hladik and J. Model. Tableau Systems for SHIO and SHIQ. In V. Haarslev and R. Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL 2004). CEUR, 2004. Available from ceur-ws.org.
Abstract  Paper (PDF)

Bibtex Entry

@InProceedings{HladikModel-DL-04,
  author = 	 {J. Hladik and J. Model},
  title = 	 {Tableau Systems for {SHIO} and {SHIQ}},
  booktitle = 	 {Proceedings of the 2004 International Workshop on Description Logics (DL 2004)},
  year =	 2004,
  editor =	 {V. Haarslev and R. M\"oller},
  publisher =	 {CEUR},
  note =	 {Available from \texttt{ceur-ws.org}}
}

E. Karabaev and C. Lutz. Mona as a DL Reasoner. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Abstract  Paper (PS)

Bibtex Entry

@InProceedings{KarabaevLutz-DL2004,
  author = 	 {E. Karabaev and C. Lutz},
  title = 	 {Mona as a DL Reasoner},
  booktitle = 	 {Proceedings of the 2004 International Workshop on Description Logics ({DL2004})},
  year = 	 {2004},
  series = 	 {CEUR-WS},
}

R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporal Tableaux. Studia Logica, 76(1):91–134, 2004.
Abstract  Paper (PS)

Bibtex Entry

@Article{KoLuWoZa-04,
  author =       "R. Kontchakov and C. Lutz and F. Wolter and M. Zakharyaschev",
  title =        "Temporal Tableaux",
  journal =      "Studia Logica",
  year =         "2004",
  volume =       "76",
  number =       "1",
  pages =        "91--134"
}

O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-Connections of Abstract Description Systems. Artificial Intelligence, 156(1):1–73, 2004.
Abstract  Paper (PS)

Bibtex Entry

@Article{KuLuWoZa-AI-03,
  author =       "O. Kutz and C. Lutz and F. Wolter and M. Zakharyaschev",
  title =        "E-Connections of Abstract Description Systems",
  journal =      "Artificial Intelligence",
  year =         "2004",
  volume =       "156",
  number =       "1",
  pages =        "1--73"
}

C. Lutz. Combining Interval-based Temporal Reasoning with General TBoxes. Artificial Intelligence, 152(2):235–274, 2004.
Abstract  Paper (PS)

Bibtex Entry

@Article{Lutz-AI-04,
  author =       "C. Lutz",
  title =        "Combining Interval-based Temporal Reasoning with General TBoxes",
  journal =      "Artificial Intelligence",
  year =         "2004",
  volume =       "152",
  number =       "2",
  pages =        "235--274"
}

C. Lutz and M. Milicic. Description Logics with Concrete Domains and Functional Dependencies. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), 2004. To appear.
Abstract  Paper (PS)

Bibtex Entry

@InProceedings{LutzMilicic-ECAI-2004,
  author =       {C.~Lutz and M.~Milicic},
  title =        {Description Logics with Concrete Domains and Functional Dependencies},
  booktitle =    {Proceedings of the 16th European Conference on
                  Artificial Intelligence (ECAI-2004)},
  year =         2004,
  note =         {To appear}
}

C. Lutz and D. Walther. PDL with Negation of Atomic Programs. In Proceedings of the 2nd International Joint Conference on Automated Reasoning IJCAR'04, Lecture Notes in Artificial Intelligence. Springer Verlag, 2004. To appear.
Abstract  Paper (PS)  ©Springer-Verlag

Bibtex Entry

@InProceedings{LutzWaltherIJCAR04,
  author =	 {C. Lutz and D. Walther},
  title =	 {PDL with Negation of Atomic Programs},
  booktitle =	 "Proceedings of the 2nd International Joint Conference on
                  Automated Reasoning {IJCAR'04}",
  year =	 "2004",
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer Verlag},
  note =         {To appear},
  springer = {yes}
}

C. Lutz and F. Wolter. Modal Logics of Topological Relations. In Proceedings of Advances in Modal Logics 2004, 2004.
Abstract  Paper (PS)

Bibtex Entry

@InProceedings{Lutz-Wolter-AiML-04,
  author =       {C. Lutz and F. Wolter},
  title =        {Modal Logics of Topological Relations},
  booktitle =    {Proceedings of Advances in Modal Logics 2004},
  year =         {2004},
}

Carsten Lutz. NExpTime-complete Description Logics with Concrete Domains. ACM Transactions on Computational Logic, 5(4):669–705, 2004.
Abstract

Bibtex Entry

@Article{Lutz-ToCL-04,
  author = 	 {Carsten Lutz},
  title = 	 {{NExpTime}-complete Description Logics with Concrete Domains},
  journal = 	 {{ACM} Transactions on Computational Logic},
  year = 	 {2004},
  volume =       {5},
  number =       {4},
  pages =        {669--705}
}

Baris Sertkaya and Halit Oguztuzun. Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL. In C. Aykanat, T. Dayar, and I. Korpeoglu, editors, Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS2004), volume 3280 of Lecture Notes in Computer Science, pages 976–985. Springer, 2004.
Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Bibtex Entry

@InProceedings{SertkayaOguztuzunISCIS2004,
  author = {Baris Sertkaya and Halit Oguztuzun},
  title = {Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL},
  booktitle = {Proceedings of the 19th International Symposium on Computer and Information Sciences ({ISCIS2004})},
  year = {2004},
  editor = {C. Aykanat and T. Dayar and I. Korpeoglu },
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  springer = {yes},
  volume = {3280},
		pages = {976--985},
}

Anni-Yasmin Turhan and Christian Kissig. Sonic—Non-standard Inferences go OilEd. In D. Basin and M. Rusinowitch, editors, Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2004.
Abstract  Paper (PS)  Paper (PDF)  ©Springer-Verlag

Bibtex Entry

@InProceedings{TurhanKissigIJCAR04,
  author = 	 {Anni-Yasmin Turhan and Christian Kissig},
  title = 	 {{\sc Sonic}---Non-standard Inferences go {\sc OilEd}},
  booktitle = 	 {Proceedings of the 2nd International 
                  Joint Conference on Automated Reasoning ({IJCAR'04})},
  year = 	 {2004},
  editor = 	 {D. Basin and M. Rusinowitch},
  series = 	 {Lecture Notes in Artificial Intelligence},
  volume = {3097},
  publisher = {Springer-Verlag},
  springer =     {yes}
}

Anni-Yasmin Turhan and Christian Kissig. Sonic—System Description. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
Abstract  Paper (PS)  Paper (PDF)

Bibtex Entry

@InProceedings{TurhanKissigDL2004,
  author = 	 {Anni-Yasmin Turhan and Christian Kissig},
  title = 	 {{\sc Sonic}---System Description},
  booktitle = 	 {Proceedings of the 2004 International Workshop on Description Logics ({DL2004})},
  year = 	 {2004},
  series = 	 {CEUR-WS}
}

home Back to the homepage of the Chair for Automata Theory.
Generated at Mon Apr 30 13:36:07 CEST 2012.