jclassen_bib.html

@incollection{ClassenLakemeyerZarriess2019,
  author = {Jens Cla{\ss}en and Gerhard Lakemeyer and Benjamin
                  Zarrie{\ss}},
  title = {Situation Calculus Meets Description Logics},
  booktitle = {Description Logic, Theory Combination, and All That -
                  Essays Dedicated to Franz Baader on the Occasion of
                  His 60th Birthday},
  pages = {240--265},
  year = {2019},
  editor = {Carsten Lutz and Uli Sattler and Cesare Tinelli and
                  Anni-Yasmin Turhan and Frank Wolter},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {11560},
  doi = {10.1007/978-3-030-22102-7_11},
  url = {https://link.springer.com/chapter/10.1007/978-3-030-22102-7_11}}
@inproceedings{Classen2018,
  author = {Jens Cla{\ss}en},
  title = {Symbolic Verification of {G}olog Programs with
                  First-Order {BDD}s},
  booktitle = {Proceedings of the Sixteenth International Conference
                  on Principles of Knowledge Representation and
                  Reasoning (KR 2018)},
  pages = {524--528},
  year = {2018},
  editor = {Michael Thielscher and Francesca Toni and Frank Wolter},
  publisher = {AAAI Press},
  url = {http://jens-classen.net/pub/Classen2018.pdf}}
@inproceedings{GolovinClassenSchwering2017,
  author = {Denis Golovin and Jens Cla{\ss}en and Christoph
                  Schwering},
  title = {Reasoning about Conditional Beliefs for the
                  {Winograd} Schema Challenge},
  booktitle = {Proceedings of the Thirteenth International Symposium
                  on Commonsense Reasoning (Commonsense 2017)},
  year = {2017},
  editor = {Andrew S.~Gordon and Rob Miller and Gyorgy Turan},
  publisher = {CEUR-WS.org},
  url = {http://jens-classen.net/pub/GolovinClassenSchwering2017.pdf}}
@inproceedings{ZarriessClassen2017,
  author = {Jens Cla{\ss}en and Benjamin Zarrie{\ss}},
  title = {Decidable Verification of Decision-Theoretic {G}olog},
  booktitle = {Proceedings of the Eleventh International Symposium
                  on Frontiers of Combining Systems (FroCoS 2017)},
  pages = {227--243},
  year = {2017},
  editor = {Clare Dixon and Marcelo Finger},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {10483},
  doi = {10.1007/978-3-319-66167-4_13},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-66167-4_13}}
@inproceedings{GierseEtAl2016,
  author = {Gesche Gierse and Tim Niemueller and Jens Cla{\ss}en
                  and Gerhard Lakemeyer},
  title = {Interruptible Task Execution with Resumption in
                  {G}olog},
  booktitle = {Proceedings of the Twenty-Second European Conference
                  on Artificial Intelligence (ECAI 2016)},
  pages = {1265--1273},
  year = {2016},
  editor = {Gal A.~Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"u}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen},
  publisher = {IOS Press},
  doi = {10.3233/978-1-61499-672-9-1265},
  url = {http://jens-classen.net/pub/GierseEtAl2016.pdf}}
@inproceedings{ClassenNeuss2016,
  author = {Jens Cla{\ss}en and Malte Neuss},
  title = {Knowledge-Based Programs with Defaults in a Modal
                  Situation Calculus},
  booktitle = {Proceedings of the Twenty-Second European Conference
                  on Artificial Intelligence (ECAI 2016)},
  pages = {1309--1317},
  year = {2016},
  editor = {Gal A.~Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"u}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen},
  publisher = {IOS Press},
  doi = {10.3233/978-1-61499-672-9-1309},
  url = {http://jens-classen.net/pub/ClassenNeuss2016.pdf}}
@inproceedings{HofmannEtAl2016,
  author = {Till Hofmann and Tim Niemueller and Jens Cla{\ss}en
                  and Gerhard Lakemeyer},
  title = {Continual Planning in {G}olog},
  booktitle = {Proceedings of the Thirtieth AAAI Conference on
                  Artificial Intelligence (AAAI 2016)},
  year = {2016},
  editor = {Dale Schuurmans and Michael Wellman},
  pages = {3346--3353},
  publisher = {AAAI Press},
  url = {http://jens-classen.net/pub/HofmannEtAl2016.pdf}}
@inproceedings{ZarriessClassen2016a,
  author = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title = {Decidable Verification of {G}olog Programs over
                  Non-Local Effect Actions},
  booktitle = {Proceedings of the Thirtieth AAAI Conference on
                  Artificial Intelligence (AAAI 2016)},
  year = {2016},
  editor = {Dale Schuurmans and Michael Wellman},
  pages = {1109--1115},
  publisher = {AAAI Press},
  url = {http://jens-classen.net/pub/ZarriessClassen2016a.pdf}}
@inproceedings{ZarriessClassen2015b,
  author = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title = {Verification of Knowledge-Based Programs over Description Logic Actions},
  booktitle = {Proceedings of the Twenty-Fourth International Joint
                  Conference on Artificial Intelligence (IJCAI 2015)},
  year = {2015},
  editor = {Qiang Yang and Michael Wooldridge},
  pages = {3278--3284},
  publisher = {AAAI Press},
  url = {http://www.jens-classen.net/pub/ZarriessClassen2015b.pdf}}
@inproceedings{ZarriessClassen2015a,
  author = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title = {Decidable Verification of Knowledge-Based Programs
                  over Description Logic Actions with Sensing},
  booktitle = {Proceedings of the Twenty-Eighth International
                  Workshop on Description Logics (DL 2015)},
  year = {2015},
  editor = {Diego Calvanese and Boris Konev},
  publisher = {CEUR-WS.org},
  url = {http://www.jens-classen.net/pub/ZarriessClassen2015a.pdf}}
@inproceedings{ZarriessClassen2014b,
  author = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title = {Verifying {CTL*} Properties of {G}olog Programs over
                  Local-Effect Actions},
  booktitle = {Proceedings of the Twenty-First European Conference
                  on Artificial Intelligence (ECAI 2014)},
  year = {2014},
  editor = {Hector Geffner and Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
  pages = {939-944},
  publisher = {IOS Press},
  url = {http://www.jens-classen.net/pub/ZarriessClassen2014b.pdf}}
@inproceedings{ClassenEtAl2014,
  author = {Jens Cla{\ss}en and Martin Liebenberg and Gerhard
                  Lakemeyer and Benjamin Zarrie{\ss}},
  title = {Exploring the Boundaries of Decidable Verification of
                  Non-Terminating {G}olog Programs},
  booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on
                  Artificial Intelligence (AAAI 2014)},
  year = {2014},
  editor = {Carla E.~Brodley and Peter Stone},
  pages = {1012--1019},
  publisher = {AAAI Press},
  url = {http://www.jens-classen.net/pub/ClassenEtAl2014.pdf}}
@inproceedings{ZarriessClassen2014a,
  author = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title = {On the Decidability of Verifying {LTL} Properties of
                  {G}olog Programs},
  booktitle = {Proceedings of the AAAI 2014 Spring Symposium:
                  Knowledge Representation and Reasoning in Robotics
                  (KRR'14)},
  year = {2014},
  editor = {Mohan Sridharan},
  publisher = {AAAI Press},
  url = {http://www.jens-classen.net/pub/ZarriessClassen2014a.pdf}}
@phdthesis{Classen2013,
  author = {Jens Cla{\ss}en},
  title = {Planning and Verification in the Agent Language
                  {G}olog},
  school = {Department of Computer Science, RWTH Aachen
                  University},
  year = {2013},
  url = {http://darwin.bth.rwth-aachen.de/opus3/volltexte/2013/4809/}}
@inproceedings{ClassenLiebenbergLakemeyer2013,
  title = {On Decidable Verification of Non-terminating {G}olog
                  Programs},
  author = {Jens Cla{\ss}en and Martin Liebenberg and Gerhard
                  Lakemeyer},
  booktitle = {Proceedings of the 10th International Workshop on
                  Nonmonotonic Reasoning, Action and Change (NRAC
                  2013)},
  year = {2013},
  editor = {Jianmin Ji and Hannes Strass and Xun Wang},
  pages = {13--20},
  url = {http://jens-classen.net/pub/ClassenLiebenbergLakemeyer2013.pdf}}
@article{ClassenEtAl2012,
  title = {{PLATAS} -- Integrating Planning and the Action
                  Language {G}olog},
  author = {Jens Cla{\ss}en and Gabriele R{\"o}ger and Gerhard
                  Lakemeyer and Bernhard Nebel},
  journal = {{KI} -- K{\"u}nstliche Intelligenz},
  year = {2012},
  volume = {26},
  number = {1},
  pages = {61--67},
  publisher = {Springer},
  doi = {10.1007/s13218-011-0155-2},
  url = {https://link.springer.com/article/10.1007%2Fs13218-011-0155-2}}
@inproceedings{ClassenLakemeyer2010,
  title = {On the Verification of Very Expressive Temporal
                  Properties of Non-terminating {G}olog Programs},
  author = {Jens Cla{\ss}en and Gerhard Lakemeyer},
  booktitle = {Proceedings of the 19th European Conference on
                  Artificial Intelligence (ECAI 2010)},
  year = {2010},
  editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
  pages = {887--892},
  publisher = {IOS Press},
  doi = {10.3233/978-1-60750-606-5-887},
  url = {http://www.jens-classen.net/pub/ClassenLakemeyer2010.pdf}}
@inproceedings{ClassenLakemeyer2009,
  title = {Tractable First-Order {G}olog with Disjunctive Knowledge
                  Bases},
  author = {Jens Cla{\ss}en and Gerhard Lakemeyer},
  booktitle = {Proceedings of the Ninth International Symposium on
                  Logical Formalizations of Commonsense Reasoning
                  (Commonsense 2009)},
  year = {2009},
  editor = {Gerhard Lakemeyer and Leora Morgenstern and Mary-Anne
                  Williams},
  pages = {27--33},
  publisher = {UTSePress},
  url = {http://jens-classen.net/pub/ClassenLakemeyer2009.pdf}}
@inproceedings{ClassenLakemeyer2008,
  title = {A Logic for Non-Terminating {G}olog Programs},
  author = {Jens Cla{\ss}en and Gerhard Lakemeyer},
  booktitle = {Proceedings of the 11th International Conference on the
                  Principles of Knowledge Representation and Reasoning
                  (KR 2008)},
  year = {2008},
  editor = {Gerhard Brewka and J{\'e}r{\^o}me Lang},
  pages = {589--599},
  publisher = {AAAI Press},
  url = {http://jens-classen.net/pub/ClassenLakemeyer2008.pdf}}
@inproceedings{ClassenEtAl2008,
  title = {Integrating {G}olog and Planning: An Empirical Evaluation},
  author = {Jens Cla{\ss}en and Viktor Engelmann and Gerhard
                  Lakemeyer and Gabriele R{\"o}ger},
  booktitle = {Proceedings of the 12th International Workshop on
                  Nonmonotonic Reasoning (NMR 2008)},
  year = {2008},
  editor = {Maurice Pagnucco and Michael Thielscher},
  pages = {10--18},
  series = {School of Computer Science and Engineering, The
                  University of New South Wales, Technical Report
                  Series},
  number = {UNSW-CSE-TR-0819},
  url = {http://jens-classen.net/pub/ClassenEtAl2008.pdf}}
@inproceedings{ClassenHuLakemeyer2007,
  title = {A Situation-Calculus Semantics for an Expressive
                  Fragment of {PDDL}},
  author = {Jens Cla{\ss}en and Yuxiao Hu and Gerhard Lakemeyer},
  booktitle = {Proceedings of the 22nd Conference on Artificial
                  Intelligence (AAAI 2007)},
  year = {2007},
  editor = {Adele Howe and Robert Holt},
  pages = {956--961},
  publisher = {AAAI Press},
  url = {http://jens-classen.net/pub/ClassenHuLakemeyer2007.pdf}}
@inproceedings{ClassenEtAl2007,
  title = {Towards an Integration of {G}olog and Planning},
  author = {Jens Cla{\ss}en and Patrick Eyerich and Gerhard
                  Lakemeyer and Bernhard Nebel},
  booktitle = {Proceedings of the 20th International Joint Conference
                  on Artificial Intelligence (IJCAI 2007)},
  year = {2007},
  editor = {Manuela M. Veloso},
  pages = {1846--1851},
  publisher = {AAAI Press},
  url = {http://jens-classen.net/pub/ClassenEtAl2007.pdf}}
@inproceedings{EyerichEtAl2006,
  title = {{G}olog and {PDDL}: What is the Relative Expressiveness?},
  author = {Patrick Eyerich and Bernhard Nebel and Gerhard
                  Lakemeyer and Jens Cla{\ss}en},
  booktitle = {Proceedings of the 2006 International Symposium on
                  Practical Cognitive Agents and Robots (PCAR 2006)},
  year = {2006},
  editor = {Xiaoping Chen and Wei Liu and Mary-Anne Williams},
  pages = {93--104},
  publisher = {University of Western Australia Press},
  doi = {10.1145/1232425.1232440},
  url = {http://jens-classen.net/pub/EyerichEtAl2006.pdf}}
@inproceedings{ClassenLakemeyer2006b,
  title = {A Semantics for {ADL} as Progression in the Situation
                  Calculus},
  author = {Jens Cla{\ss}en and Gerhard Lakemeyer},
  booktitle = {Proceedings of the 11th Workshop on Nonmonotonic
                  Reasoning (NMR 2006)},
  year = {2006},
  editor = {J{\"u}rgen Dix and Anthony Hunter},
  pages = {334--341},
  publisher = {Institut f{\"u}r Informatik, TU Clausthal},
  url = {http://jens-classen.net/pub/ClassenLakemeyer2006b.pdf}}
@inproceedings{ClassenLakemeyer2006a,
  title = {Foundations for Knowledge-Based Programs using {ES}},
  author = {Jens Cla{\ss}en and Gerhard Lakemeyer},
  booktitle = {Proceedings of the 10th Conference on Principles of
                  Knowledge Representation and Reasoning (KR 2006)},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher
                  A. Welty},
  pages = {318--328},
  publisher = {AAAI Press},
  url = {http://jens-classen.net/pub/ClassenLakemeyer2006a.pdf}}