Clemens Kupke : Publications

Click here to download all publications in a single bibtex file

@article{JACM-GHKL-2021,
  title = "Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity",
  author = "Georg Gottlob and Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz",
  year = "2021",
  journal = "Journal of the ACM",
  month = "October",
  number = "5",
  pages = "35:1--87",
  url = "https://doi.org/10.1145/3447508",
  volume = "68",
}

@inproceedings{DBLP:conf/kr/GHKL2014,
  title = "Stable Model Semantics for Guarded Existential Rules and Description Logics",
  author = "Georg Gottlob and André Hernich and Clemens Kupke and Thomas Lukasiewicz",
  year = "2014",
  booktitle = "Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2014‚ Vienna‚ Austria, July 20-24, 2014",
  editor = "Chitta Baral and Giuseppe De Giacomo",
  month = "July",
  pages = "258-267",
  publisher = "AAAI Press",
  url = "http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8011",
}

@inproceedings{DBLP:conf/dl/HerKLG2013,
  title = "Well-Founded Semantics for Extended Datalog and Ontological Reasoning",
  author = "Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz and Georg Gottlob",
  year = "2013",
  booktitle = "Proceedings of the 26th International Workshop on Description Logics, DL 2013, Ulm, Germany, July 23-26, 2013",
  editor = "Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"o}tzsch",
  pages = "209-220",
  publisher = "CEUR-WS.org",
  series = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1014/paper_78.pdf",
  volume = "1014",
}

@inproceedings{DBLP:conf/pods/GottlobHKL13,
  title = "Well-Founded Semantics for Extended Datalog and Ontological Reasoning",
  author = "Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz and Georg Gottlob",
  year = "2013",
  booktitle = "Proceedings of the 32nd ACM Symposium on Principles of Database Systems, PODS 2013, New York, New York, USA, June 22-27, 2013",
  editor = "Richard Hull and Wenfei Fan",
  pages = "225-236",
  publisher = "ACM Press",
  url = "http://doi.acm.org/10.1145/2463664.2465229",
}

@inproceedings{DBLP:conf/dlog/GottlobHKL12,
  title = "Equality-Friendly Well-Founded Semantics and Applications to Description Logics",
  author = "Georg Gottlob and Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz",
  year = "2012",
  booktitle = "Proceedings of the 25th International Workshop on Description Logics, DL 2012, Rome, Italy, June 7-10, 2012",
  editor = "Yevgeny Kazakov and Domenico Lembo and Frank Wolter",
  publisher = "CEUR-WS.org",
  series = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-846/paper_5.pdf",
  volume = "846",
}

@inproceedings{AAAI12-GHKL-2012,
  title = "Equality-Friendly Well-Founded Semantics and Applications to Description Logics",
  author = "Georg Gottlob and André Hernich and Clemens Kupke and Thomas Lukasiewicz",
  year = "2012",
  booktitle = "Proceedings of the 26th National Conference on Artificial Intelligence, AAAI 2012, Toronto, Ontario, Canada, July 2012",
  editor = "J. Hoffmann and B. Selman",
  publisher = "AAAI Press",
  url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5100/5267",
}

@article{5599,
  title = "Coalgebraic semantics of modal logics: An overview",
  author = "Clemens Kupke and Dirk Pattinson",
  year = "2011",
  journal = "Theoretical Computer Science",
  number = "38",
  pages = "5070--5094",
  publisher = "Elsevier",
  url = "http://www.sciencedirect.com/science/article/pii/S0304397511003215",
  volume = "412",
}

@article{5598,
  title = "EXPTIME Tableaux for the Coalgebraic mu-Calculus",
  author = "Corina Cirstea and Clemens Kupke and Dirk Pattinson",
  year = "2011",
  journal = "Logical Methods in Computer Science",
  number = "3",
  url = "http://arxiv.org/pdf/1105.2246",
  volume = "7",
}

@techreport{5600,
  title = "On the final coalgebra of automatic sequences",
  author = "Clemens Kupke and Jan Rutten",
  year = "2011",
  institution = "CWI Amsterdam",
  number = "SEN-1112",
  pages = "1-14",
  url = "http://oai.cwi.nl/oai/asset/18604/18604D.pdf",
}

@techreport{RR-11-10,
  title = "Stream Differential Equations: concrete formats for coinductive definitions",
  author = "Clemens Kupke and Milad Niqui and Jan Rutten",
  year = "2011",
  affiliation = "DCS",
  number = "RR-11-10",
  pages = "28",
}