jclassen_bib.html
@inproceedings{HofmannClassen2024b,
author = {Till Hofmann and Jens Cla{\ss}en},
title = {Strategy Synthesis for First-Order Agent Programs
over Finite Traces},
booktitle = {Proceedings of the 35th Nordic Workshop on
Programming Theory (NWPT 2024)},
pages = {39--42},
year = {2024},
editor = {Michael Kirkedal Thomsen and Maja Hanne Kirkeby and
Fritz Henglein},
url = {https://jens-classen.net/pub/HofmannClassen2024b.pdf}}
@article{HofmannClassen2024a,
author = {Till Hofmann and Jens Cla{\ss}en},
title = {{LTLf} Synthesis on First-Order Action Theories},
journal = {CoRR},
volume = {abs/2410.00726},
year = {2024},
doi = {10.48550/ARXIV.2410.00726},
url = {https://jens-classen.net/pub/HofmannClassen2024a.pdf}}
@inproceedings{LiuClassen2024,
author = {Daxin Liu and Jens Cla{\ss}en},
title = {First-Order Progression beyond Local-Effect and
Normal Actions},
booktitle = {Proceedings of the 33rd International Joint
Conference on Artificial Intelligence (IJCAI 2024)},
pages = {3475--3483},
year = {2024},
editor = {Kate Larson},
publisher = {ijcai.org},
doi = {10.24963/ijcai.2024/385},
url = {https://jens-classen.net/pub/LiuClassen2024.pdf}}
@inproceedings{ClassenDelgrande2022,
author = {Jens Cla{\ss}en and James P. Delgrande},
title = {Projection of Belief in the Presence of
Nondeterministic Actions and Fallible Sensing},
booktitle = {Proceedings of the 19th International Conference on
Principles of Knowledge Representation and Reasoning
(KR 2022)},
pages = {400--404},
year = {2022},
editor = {Gabriele Kern{-}Isberner and Gerhard Lakemeyer and
Thomas Meyer},
publisher = {ijcai.org},
doi = {10.24963/kr.2022/40},
url = {https://jens-classen.net/pub/ClassenDelgrande2022.pdf}}
@inproceedings{ClassenDelgrande2021b,
author = {Jens Cla{\ss}en and James P. Delgrande},
title = {Towards a Temporal Account of Contrary-to-Duty
Constraints over Complex Actions in the Situation
Calculus},
booktitle = {Proceedings of the 19th International Workshop on
Nonmonotonic Reasoning (NMR 2021)},
pages = {81--90},
year = {2021},
editor = {Leila Amgoud and Richard Booth},
url = {https://jens-classen.net/pub/ClassenDelgrande2021b.pdf}}
@inproceedings{ClassenDelgrande2021a,
author = {Jens Cla{\ss}en and James Delgrande},
title = {An Account of Intensional and Extensional Actions,
and its Application to Belief, Nondeterministic
Actions, and Fallible Sensors},
booktitle = {Proceedings of the 18th International Conference on
Principles of Knowledge Representation and Reasoning
(KR 2021)},
pages = {194--204},
year = {2021},
editor = {Meghyn Bienvenue and Esra Erdem and Gerhard Lakemeyer},
publisher = {ijcai.org},
doi = {10.24963/kr.2021/19},
url = {https://jens-classen.net/pub/ClassenDelgrande2021a.pdf}}
@inproceedings{ClassenDelgrande2020,
author = {Jens Cla{\ss}en and James Delgrande},
title = {Dyadic Obligations over Complex Actions as Deontic
Constraints in the Situation Calculus},
booktitle = {Proceedings of the 17th International Conference on
Principles of Knowledge Representation and Reasoning
(KR 2020)},
pages = {253--263},
year = {2020},
editor = {Diego Calvanese and Esra Erdem and Michael Thielscher},
publisher = {ijcai.org},
doi = {10.24963/kr.2020/26},
url = {https://jens-classen.net/pub/ClassenDelgrande2020.pdf}}
@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://jens-classen.net/pub/ClassenLakemeyerZarriess2019.pdf}}
@inproceedings{Classen2018,
author = {Jens Cla{\ss}en},
title = {Symbolic Verification of {G}olog Programs with
First-Order {BDD}s},
booktitle = {Proceedings of the 16th 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 = {https://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 13th International Symposium on
Commonsense Reasoning (Commonsense 2017)},
year = {2017},
editor = {Andrew S.~Gordon and Rob Miller and Gyorgy Turan},
publisher = {CEUR-WS.org},
url = {https://jens-classen.net/pub/GolovinClassenSchwering2017.pdf}}
@inproceedings{ClassenZarriess2017,
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://jens-classen.net/pub/ClassenZarriess2017.pdf}}
@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 22nd 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 = {https://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 22nd 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 = {https://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 13th AAAI Conference on Artificial
Intelligence (AAAI 2016)},
year = {2016},
editor = {Dale Schuurmans and Michael Wellman},
pages = {3346--3353},
publisher = {AAAI Press},
url = {https://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 13th AAAI Conference on Artificial
Intelligence (AAAI 2016)},
year = {2016},
editor = {Dale Schuurmans and Michael Wellman},
pages = {1109--1115},
publisher = {AAAI Press},
url = {https://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 24th International Joint
Conference on Artificial Intelligence (IJCAI 2015)},
year = {2015},
editor = {Qiang Yang and Michael Wooldridge},
pages = {3278--3284},
publisher = {AAAI Press},
url = {https://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 28th International Workshop on
Description Logics (DL 2015)},
year = {2015},
editor = {Diego Calvanese and Boris Konev},
publisher = {CEUR-WS.org},
url = {https://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 21st 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 = {https://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 28thth AAAI Conference on
Artificial Intelligence (AAAI 2014)},
year = {2014},
editor = {Carla E.~Brodley and Peter Stone},
pages = {1012--1019},
publisher = {AAAI Press},
url = {https://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 = {https://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 = {https://publications.rwth-aachen.de/record/229059}}
@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 Tenth 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 = {https://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://jens-classen.net/pub/ClassenEtAl2012.pdf}}
@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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 Eleventh 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 = {https://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 Tenth 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 = {https://jens-classen.net/pub/ClassenLakemeyer2006a.pdf}}