Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gerhard Lakemeyer
@article{DBLP:journals/corr/abs-2402-03164,
author = {Till Hofmann and
Stefan Schupp and
Gerhard Lakemeyer},
title = {Decidable Reasoning About Time in Finite-Domain Situation Calculus
Theories},
journal = {CoRR},
volume = {abs/2402.03164},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.03164},
doi = {10.48550/ARXIV.2402.03164},
eprinttype = {arXiv},
eprint = {2402.03164},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-03164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/MitrevskiPL23,
author = {Alex Mitrevski and
Paul G. Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {A hybrid skill parameterisation model combining symbolic and subsymbolic
elements for introspective robots},
journal = {Robotics Auton. Syst.},
volume = {161},
pages = {104350},
year = {2023},
url = {https://doi.org/10.1016/j.robot.2022.104350},
doi = {10.1016/J.ROBOT.2022.104350},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ras/MitrevskiPL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Feng0BL23,
author = {Qihui Feng and
Daxin Liu and
Vaishak Belle and
Gerhard Lakemeyer},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {A Logic of Only-Believing over Arbitrary Probability Distributions},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {355--363},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598658},
doi = {10.5555/3545946.3598658},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/Feng0BL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/BeheryGKZLB23,
author = {Mohamed Behery and
Felix Glawe and
Istv{\'{a}}n Koren and
Martina Ziefle and
Gerhard Lakemeyer and
Philipp Brauner},
editor = {Jingrui He and
Themis Palpanas and
Xiaohua Hu and
Alfredo Cuzzocrea and
Dejing Dou and
Dominik Slezak and
Wei Wang and
Aleksandra Gruca and
Jerry Chun{-}Wei Lin and
Rakesh Agrawal},
title = {Vision Paper: Leveraging Industrial Big Data - Past, Present, and
Future of the World Wide Lab},
booktitle = {{IEEE} International Conference on Big Data, BigData 2023, Sorrento,
Italy, December 15-18, 2023},
pages = {1308--1313},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/BigData59044.2023.10386257},
doi = {10.1109/BIGDATA59044.2023.10386257},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/BeheryGKZLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/0002HBL23,
author = {Daxin Liu and
Qinfei Huang and
Vaishak Belle and
Gerhard Lakemeyer},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Verifying Belief-Based Programs via Symbolic Dynamic Programming},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1497--1504},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230429},
doi = {10.3233/FAIA230429},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/0002HBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/TrinhDBBHGCKNLGB23,
author = {Minh Trinh and
Hannah Dammers and
Mohamed Behery and
Ralph Baier and
Thomas Henn and
Daniel Gossen and
Burkhard Corves and
Stefan Kowalewski and
Verena Nitsch and
Gerhard Lakemeyer and
Thomas Gries and
Christian Brecher},
editor = {Fiona Nah and
Keng Siau},
title = {Safety of Human-Robot Collaboration within the Internet of Production},
booktitle = {{HCI} in Business, Government and Organizations - 10th International
Conference, {HCIBGO} 2023, Held as Part of the 25th {HCI} International
Conference, {HCII} 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14039},
pages = {86--103},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36049-7\_7},
doi = {10.1007/978-3-031-36049-7\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/TrinhDBBHGCKNLGB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/RafieiBPPHLA23,
author = {Majid Rafiei and
Duygu Bayrak and
Mahsa Pourbafrani and
Gyunam Park and
Hayyan Helal and
Gerhard Lakemeyer and
Wil M. P. van der Aalst},
editor = {Johannes De Smedt and
Pnina Soffer},
title = {Extracting Rules from Event Data for Study Planning},
booktitle = {Process Mining Workshops - {ICPM} 2023 International Workshops, Rome,
Italy, October 23-27, 2023, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {503},
pages = {361--374},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-56107-8\_28},
doi = {10.1007/978-3-031-56107-8\_28},
timestamp = {Mon, 15 Apr 2024 16:40:33 +0200},
biburl = {https://dblp.org/rec/conf/icpm/RafieiBPPHLA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0002FBL23,
author = {Daxin Liu and
Qihui Feng and
Vaishak Belle and
Gerhard Lakemeyer},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Concerning Measures in a First-order Logic with Actions and Meta-beliefs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {451--460},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/44},
doi = {10.24963/KR.2023/44},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/0002FBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/BeheryTBL23,
author = {Mohamed Behery and
Minh Trinh and
Christian Brecher and
Gerhard Lakemeyer},
title = {Self-Optimizing Agents Using Mixed Initiative Behavior Trees},
booktitle = {18th {IEEE/ACM} Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2023, Melbourne, Australia, May 15-16,
2023},
pages = {97--103},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SEAMS59076.2023.00023},
doi = {10.1109/SEAMS59076.2023.00023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seams/BeheryTBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05177,
author = {Mohamed Behery and
Minh Trinh and
Christian Brecher and
Gerhard Lakemeyer},
title = {Assistive Robot Teleoperation Using Behavior Trees},
journal = {CoRR},
volume = {abs/2303.05177},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05177},
doi = {10.48550/ARXIV.2303.05177},
eprinttype = {arXiv},
eprint = {2303.05177},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-02126,
author = {Mohamed Behery and
Gerhard Lakemeyer},
title = {Digital Shadows of Safety for Human Robot Collaboration in the World-Wide
Lab},
journal = {CoRR},
volume = {abs/2304.02126},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.02126},
doi = {10.48550/ARXIV.2304.02126},
eprinttype = {arXiv},
eprint = {2304.02126},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-14660,
author = {Hayyan Helal and
Gerhard Lakemeyer},
title = {Multi-Valued Partial Order Plans in Numeric Planning},
journal = {CoRR},
volume = {abs/2307.14660},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.14660},
doi = {10.48550/ARXIV.2307.14660},
eprinttype = {arXiv},
eprint = {2307.14660},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-14660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-02735,
author = {Majid Rafiei and
Duygu Bayrak and
Mahsa Pourbafrani and
Gyunam Park and
Hayyan Helal and
Gerhard Lakemeyer and
Wil M. P. van der Aalst},
title = {Extracting Rules from Event Data for Study Planning},
journal = {CoRR},
volume = {abs/2310.02735},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.02735},
doi = {10.48550/ARXIV.2310.02735},
eprinttype = {arXiv},
eprint = {2310.02735},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BeheryBZL23,
author = {Mohamed Behery and
Philipp Brauner and
Martina Ziefle and
Gerhard Lakemeyer},
title = {Behaviour Trees for Representing Human-Robot Collaboration Processes
in the World-Wide Lab},
journal = {{ERCIM} News},
volume = {2023},
number = {132},
year = {2023},
url = {https://ercim-news.ercim.eu/en132/special/behaviour-trees-for-representing-human-robot-collaboration-processes-in-the-world-wide-lab},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BeheryBZL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiot/BraunerDJKKLLMP22,
author = {Philipp Brauner and
Manuela Dalibor and
Matthias Jarke and
Ike Kunze and
Istv{\'{a}}n Koren and
Gerhard Lakemeyer and
Martin Liebenberg and
Judith Michael and
Jan Pennekamp and
Christoph Quix and
Bernhard Rumpe and
Wil M. P. van der Aalst and
Klaus Wehrle and
Andreas Wortmann and
Martina Ziefle},
title = {A Computer Science Perspective on Digital Transformation in Production},
journal = {{ACM} Trans. Internet Things},
volume = {3},
number = {2},
pages = {15:1--15:32},
year = {2022},
url = {https://doi.org/10.1145/3502265},
doi = {10.1145/3502265},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tiot/BraunerDJKKLLMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/BaierDMBGNPSTBC22,
author = {Ralph Baier and
Hannah Dammers and
Alexander Mertens and
Mohamed Behery and
Daniel Gossen and
Srikanth Nouduri and
Lukas Pelzer and
Amir Shahidi and
Minh Trinh and
Christian Brecher and
Burkhard Corves and
Thomas Gries and
Christian Hopmann and
Mathias H{\"{u}}sing and
Gerhard Lakemeyer and
Verena Nitsch},
editor = {Masaaki Kurosu},
title = {A Framework for the Classification of Human-Robot Interactions Within
the Internet of Production},
booktitle = {Human-Computer Interaction. Technological Innovation - Thematic Area,
{HCI} 2022, Held as Part of the 24th {HCI} International Conference,
{HCII} 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {13303},
pages = {427--454},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05409-9\_33},
doi = {10.1007/978-3-031-05409-9\_33},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/BaierDMBGNPSTBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/WagnerHRJDGSLSA22,
author = {Miriam Wagner and
Hayyan Helal and
Rene Roepke and
Sven Judel and
Jens Doveren and
Sergej G{\"{o}}rzen and
Pouya Soudmand and
Gerhard Lakemeyer and
Ulrik Schroeder and
Wil M. P. van der Aalst},
editor = {Marco Montali and
Arik Senderovich and
Matthias Weidlich},
title = {A Combined Approach of Process Mining and Rule-Based {AI} for Study
Planning and Monitoring in Higher Education},
booktitle = {Process Mining Workshops - {ICPM} 2022 International Workshops, Bozen-Bolzano,
Italy, October 23-28, 2022, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {468},
pages = {513--525},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27815-0\_37},
doi = {10.1007/978-3-031-27815-0\_37},
timestamp = {Fri, 26 May 2023 07:40:33 +0200},
biburl = {https://dblp.org/rec/conf/icpm/WagnerHRJDGSLSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DelgrandeSLP22,
author = {James P. Delgrande and
Joshua Sack and
Gerhard Lakemeyer and
Maurice Pagnucco},
editor = {Luc De Raedt},
title = {Epistemic Logic of Likelihood and Belief},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2599--2605},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/360},
doi = {10.24963/IJCAI.2022/360},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DelgrandeSLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/TrinhBELSB22,
author = {Minh Trinh and
Mohamed Behery and
Mahmoud Emara and
Gerhard Lakemeyer and
Simon Storms and
Christian Brecher},
title = {Dynamics Modeling of Industrial Robots Using Transformer Networks},
booktitle = {Sixth {IEEE} International Conference on Robotic Computing, {IRC}
2022, Naples, Italy, December 5-7, 2022},
pages = {164--171},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IRC55401.2022.00035},
doi = {10.1109/IRC55401.2022.00035},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irc/TrinhBELSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/ViehmannLHHFL22,
author = {Tarik Viehmann and
Nicolas Limpert and
Till Hofmann and
Mike Henning and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Amy Eguchi and
Nuno Lau and
Maike Paetzel{-}Pr{\"{u}}smann and
Thanapat Wanichanon},
title = {Winning the RoboCup Logistics League with Visual Servoing and Centralized
Goal Reasoning},
booktitle = {RoboCup 2022: - Robot World Cup {XXV} [Bangkok, Thailand, July 11-17,
2022]},
series = {Lecture Notes in Computer Science},
volume = {13561},
pages = {300--312},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-28469-4\_25},
doi = {10.1007/978-3-031-28469-4\_25},
timestamp = {Wed, 24 May 2023 15:08:30 +0200},
biburl = {https://dblp.org/rec/conf/robocup/ViehmannLHHFL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2022,
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://doi.org/10.24963/kr.2022},
doi = {10.24963/KR.2022},
isbn = {978-1-956792-01-0},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-12562,
author = {Daxin Liu and
Gerhard Lakemeyer},
title = {On the Verification of Belief Programs},
journal = {CoRR},
volume = {abs/2204.12562},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.12562},
doi = {10.48550/ARXIV.2204.12562},
eprinttype = {arXiv},
eprint = {2204.12562},
timestamp = {Thu, 22 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-12562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-09864,
author = {Daniel Swoboda and
Till Hofmann and
Tarik Viehmann and
Gerhard Lakemeyer},
title = {Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning},
journal = {CoRR},
volume = {abs/2206.09864},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.09864},
doi = {10.48550/ARXIV.2206.09864},
eprinttype = {arXiv},
eprint = {2206.09864},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-09864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-10017,
author = {Timo Rohrer and
Anahita Farhang Ghahfarokhi and
Mohamed Behery and
Gerhard Lakemeyer and
Wil M. P. van der Aalst},
title = {Predictive Object-Centric Process Monitoring},
journal = {CoRR},
volume = {abs/2207.10017},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.10017},
doi = {10.48550/ARXIV.2207.10017},
eprinttype = {arXiv},
eprint = {2207.10017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-10017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-12190,
author = {Miriam Wagner and
Hayyan Helal and
Rene Roepke and
Sven Judel and
Jens Doveren and
Sergej G{\"{o}}rzen and
Pouya Soudmand and
Gerhard Lakemeyer and
Ulrik Schroeder and
Wil M. P. van der Aalst},
title = {A Combined Approach of Process Mining and Rule-based {AI} for Study
Planning and Monitoring in Higher Education},
journal = {CoRR},
volume = {abs/2211.12190},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.12190},
doi = {10.48550/ARXIV.2211.12190},
eprinttype = {arXiv},
eprint = {2211.12190},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HeintzLM22,
author = {Fredrik Heintz and
Gerhard Lakemeyer and
Sheila A. McIlraith},
title = {Cognitive Robotics (Dagstuhl Seminar 22391)},
journal = {Dagstuhl Reports},
volume = {12},
number = {9},
pages = {200--219},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.9.200},
doi = {10.4230/DAGREP.12.9.200},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HeintzLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/XingSMLMW20,
author = {Yiran Xing and
Zai Shi and
Zhao Meng and
Gerhard Lakemeyer and
Yunpu Ma and
Roger Wattenhofer},
editor = {Chengqing Zong and
Fei Xia and
Wenjie Li and
Roberto Navigli},
title = {{KM-BART:} Knowledge Enhanced Multimodal {BART} for Visual Commonsense
Generation},
booktitle = {Proceedings of the 59th Annual Meeting of the Association for Computational
Linguistics and the 11th International Joint Conference on Natural
Language Processing, {ACL/IJCNLP} 2021, (Volume 1: Long Papers), Virtual
Event, August 1-6, 2021},
pages = {525--535},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.acl-long.44},
doi = {10.18653/V1/2021.ACL-LONG.44},
timestamp = {Mon, 09 Aug 2021 16:25:37 +0200},
biburl = {https://dblp.org/rec/conf/acl/XingSMLMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/HofmannVGHNL21,
author = {Till Hofmann and
Tarik Viehmann and
Mostafa Gomaa and
Daniel Habering and
Tim Niemueller and
Gerhard Lakemeyer},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Multi-Agent Goal Reasoning with the {CLIPS} Executive in the RoboCup
Logistics League},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial
Intelligence, {ICAART} 2021, Volume 1, Online Streaming, February
4-6, 2021},
pages = {80--91},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010252600800091},
doi = {10.5220/0010252600800091},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/HofmannVGHNL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/MatareVHLF021,
author = {Victor Matar{\'{e}} and
Tarik Viehmann and
Till Hofmann and
Gerhard Lakemeyer and
Alexander Ferrein and
Stefan Schiffer},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Portable High-level Agent Programming with golog++},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial
Intelligence, {ICAART} 2021, Volume 2, Online Streaming, February
4-6, 2021},
pages = {218--227},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010253902180227},
doi = {10.5220/0010253902180227},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/MatareVHLF021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MitrevskiPL21,
author = {Alex Mitrevski and
Paul G. Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {Robot Action Diagnosis and Experience Correction by Falsifying Parameterised
Execution Models},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {11025--11031},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9561710},
doi = {10.1109/ICRA48506.2021.9561710},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/MitrevskiPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HaberingHL21,
author = {Daniel Habering and
Till Hofmann and
Gerhard Lakemeyer},
editor = {Zhi{-}Hua Zhou},
title = {Using Platform Models for a Guided Explanatory Diagnosis Generation
for Mobile Robots},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1908--1914},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/263},
doi = {10.24963/IJCAI.2021/263},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HaberingHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiuL21,
author = {Daxin Liu and
Gerhard Lakemeyer},
editor = {Zhi{-}Hua Zhou},
title = {Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive
Probabilistic Action Logic},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1951--1958},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/269},
doi = {10.24963/IJCAI.2021/269},
timestamp = {Thu, 22 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LiuL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ViehmannHL21,
author = {Tarik Viehmann and
Till Hofmann and
Gerhard Lakemeyer},
editor = {Zhi{-}Hua Zhou},
title = {Transforming Robotic Plans with Timed Automata to Solve Temporal Platform
Constraints},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {2083--2089},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/287},
doi = {10.24963/IJCAI.2021/287},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ViehmannHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/MitrevskiPL21,
author = {Alex Mitrevski and
Paul G. Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {Ontology-Assisted Generalisation of Robot Action Execution Knowledge},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
pages = {6763--6770},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IROS51168.2021.9636791},
doi = {10.1109/IROS51168.2021.9636791},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/MitrevskiPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2021,
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
year = {2021},
url = {https://doi.org/10.24963/kr.2021},
doi = {10.24963/KR.2021},
isbn = {978-1-956792-99-7},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09837,
author = {Till Hofmann and
Gerhard Lakemeyer},
title = {Controller Synthesis for Golog Programs over Finite Domains with Metric
Temporal Constraints},
journal = {CoRR},
volume = {abs/2102.09837},
year = {2021},
url = {https://arxiv.org/abs/2102.09837},
eprinttype = {arXiv},
eprint = {2102.09837},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-09837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-09599,
author = {Alex Mitrevski and
Paul G. Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {Robot Action Diagnosis and Experience Correction by Falsifying Parameterised
Execution Models},
journal = {CoRR},
volume = {abs/2105.09599},
year = {2021},
url = {https://arxiv.org/abs/2105.09599},
eprinttype = {arXiv},
eprint = {2105.09599},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-09599.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-09353,
author = {Alex Mitrevski and
Paul G. Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {Ontology-Assisted Generalisation of Robot Action Execution Knowledge},
journal = {CoRR},
volume = {abs/2107.09353},
year = {2021},
url = {https://arxiv.org/abs/2107.09353},
eprinttype = {arXiv},
eprint = {2107.09353},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-09353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/GleimPLBNKESTBB20,
author = {Lars Christoph Gleim and
Jan Pennekamp and
Martin Liebenberg and
Melanie Buchsbaum and
Philipp Niemietz and
Simon Knape and
Alexander Epple and
Simon Storms and
Daniel Trauth and
Thomas Bergs and
Christian Brecher and
Stefan Decker and
Gerhard Lakemeyer and
Klaus Wehrle},
title = {FactDAG: Formalizing Data Interoperability in an Internet of Production},
journal = {{IEEE} Internet Things J.},
volume = {7},
number = {4},
pages = {3243--3253},
year = {2020},
url = {https://doi.org/10.1109/JIOT.2020.2966402},
doi = {10.1109/JIOT.2020.2966402},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/GleimPLBNKESTBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HofmannNL20,
author = {Till Hofmann and
Tim Niemueller and
Gerhard Lakemeyer},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Macro Operator Synthesis for {ADL} Domains},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {761--768},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200164},
doi = {10.3233/FAIA200164},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HofmannNL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/MitrevskiPL20,
author = {Alex Mitrevski and
Paul G. Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {Representation and Experience-Based Learning of Explainable Models
for Robot Action Execution},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021},
pages = {5641--5647},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IROS45743.2020.9341470},
doi = {10.1109/IROS45743.2020.9341470},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/MitrevskiPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL20,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A First-Order Logic of Limited Belief Based on Possible Worlds},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {624--635},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/62},
doi = {10.24963/KR.2020/62},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BeheryTRHL20,
author = {Mohamed Behery and
Matteo Tschesche and
Fridtjof Rudolph and
Gerhard Hirt and
Gerhard Lakemeyer},
title = {Action Discretization for Robot Arm Teleoperation in Open-Die Forging},
booktitle = {2020 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2020, Toronto, ON, Canada, October 11-14, 2020},
pages = {2100--2105},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SMC42975.2020.9283043},
doi = {10.1109/SMC42975.2020.9283043},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/BeheryTRHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GannouniSBML20,
author = {Aymen Gannouni and
Vladimir Samsonov and
Mohamed Behery and
Tobias Meisen and
Gerhard Lakemeyer},
title = {Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent
Setup Waste},
booktitle = {2020 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2020, Toronto, ON, Canada, October 11-14, 2020},
pages = {2640--2647},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SMC42975.2020.9282869},
doi = {10.1109/SMC42975.2020.9282869},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/GannouniSBML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/SamsonovBL20,
author = {Vladimir Samsonov and
Mohamed Behery and
Gerhard Lakemeyer},
title = {Reinforcement Learning for Short-Term Production Scheduling with Sequence-Dependent
Setup Waste},
journal = {{ERCIM} News},
volume = {2020},
number = {122},
year = {2020},
url = {https://ercim-news.ercim.eu/en122/special/reinforcement-learning-for-short-term-production-scheduling-with-sequence-dependent-setup-waste},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/SamsonovBL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/LeofanteANLT19,
author = {Francesco Leofante and
Erika {\'{A}}brah{\'{a}}m and
Tim Niemueller and
Gerhard Lakemeyer and
Armando Tacchella},
title = {Integrated Synthesis and Execution of Optimal Plans for Multi-Robot
Systems in Logistics},
journal = {Inf. Syst. Frontiers},
volume = {21},
number = {1},
pages = {87--107},
year = {2019},
url = {https://doi.org/10.1007/s10796-018-9858-3},
doi = {10.1007/S10796-018-9858-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isf/LeofanteANLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/NiemuellerHL19,
author = {Tim Niemueller and
Till Hofmann and
Gerhard Lakemeyer},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Goal Reasoning in the {CLIPS} Executive for Integrated Planning and
Execution},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {754--763},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3544},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/NiemuellerHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClassenLZ19,
author = {Jens Cla{\ss}en and
Gerhard Lakemeyer and
Benjamin Zarrie{\ss}},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
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},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {240--265},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_11},
doi = {10.1007/978-3-030-22102-7\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClassenLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Lakemeyer19,
author = {Gerhard Lakemeyer},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Decidable Verification of Golog Programs: Situation Calculus Meets
Description Logic},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/invited-3.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/Lakemeyer19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL19,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Sarit Kraus},
title = {A Tractable, Expressive, and Eventually Complete First-Order Logic
of Limited Belief},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1764--1771},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/244},
doi = {10.24963/IJCAI.2019/244},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/HofmannLMFL19,
author = {Till Hofmann and
Nicolas Limpert and
Victor Matar{\'{e}} and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Stephan K. Chalup and
Tim Niem{\"{u}}ller and
Jackrit Suthakorn and
Mary{-}Anne Williams},
title = {Winning the RoboCup Logistics League with Fast Navigation, Precise
Manipulation, and Robust Goal Reasoning},
booktitle = {RoboCup 2019: Robot World Cup {XXIII} [Sydney, NSW, Australia, July
8, 2019]},
series = {Lecture Notes in Computer Science},
volume = {11531},
pages = {504--516},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35699-6\_41},
doi = {10.1007/978-3-030-35699-6\_41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/HofmannLMFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BrewkaL18,
author = {Gerhard Brewka and
Gerhard Lakemeyer},
title = {Hybrid Reasoning for Intelligent Systems: {A} Focus of {KR} Research
in Germany},
journal = {{AI} Mag.},
volume = {39},
number = {4},
pages = {80--83},
year = {2018},
url = {https://doi.org/10.1609/aimag.v39i4.2838},
doi = {10.1609/AIMAG.V39I4.2838},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BrewkaL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/HofmannM0FL18,
author = {Till Hofmann and
Victor Matar{\'{e}} and
Stefan Schiffer and
Alexander Ferrein and
Gerhard Lakemeyer},
title = {Constraint-Based Online Transformation of Abstract Plans into Executable
Robot Actions},
booktitle = {2018 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 26-28, 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17563},
timestamp = {Tue, 08 Jan 2019 14:37:15 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/HofmannM0FL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SchapersNLGS18,
author = {Bj{\"{o}}rn Sch{\"{a}}pers and
Tim Niemueller and
Gerhard Lakemeyer and
Martin Gebser and
Torsten Schaub},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {ASP-Based Time-Bounded Planning for Logistics Robots},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {509--517},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17777},
timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
biburl = {https://dblp.org/rec/conf/aips/SchapersNLGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HofmannL18,
author = {Till Hofmann and
Gerhard Lakemeyer},
editor = {Gerald Steinbauer and
Alexander Ferrein},
title = {A Logic for Specifying Metric Temporal Constraints for Golog Programs},
booktitle = {Proceedings of the 11th Cognitive Robotics Workshop 2018, co-located
with 16th International Conference on Principles of Knowledge Representation
and Reasoning, CogRob@KR 2018, Tempe, AZ, USA, October 27th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2325},
pages = {36--46},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2325/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/HofmannL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SchweringLP17,
author = {Christoph Schwering and
Gerhard Lakemeyer and
Maurice Pagnucco},
title = {Belief revision and projection in the epistemic situation calculus},
journal = {Artif. Intell.},
volume = {251},
pages = {62--97},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2017.07.004},
doi = {10.1016/J.ARTINT.2017.07.004},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SchweringLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Lakemeyer17,
author = {Gerhard Lakemeyer},
title = {{DFG} Research Unit (Forschergruppe) {FOR} 1513 Hybrid Reasoning for
Intelligent Systems},
journal = {K{\"{u}}nstliche Intell.},
volume = {31},
number = {1},
pages = {91--92},
year = {2017},
url = {https://doi.org/10.1007/s13218-016-0474-4},
doi = {10.1007/S13218-016-0474-4},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Lakemeyer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HofmannNL17,
author = {Till Hofmann and
Tim Niemueller and
Gerhard Lakemeyer},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Initial Results on Generating Macro Actions from a Plan Database for
Planning on Autonomous Mobile Robots},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {498--503},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15762},
timestamp = {Tue, 26 Sep 2017 07:30:03 +0200},
biburl = {https://dblp.org/rec/conf/aips/HofmannNL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelleL17,
author = {Vaishak Belle and
Gerhard Lakemeyer},
editor = {Carles Sierra},
title = {Reasoning about Probabilities in Unbounded First-Order Dynamical Domains},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {828--836},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/115},
doi = {10.24963/IJCAI.2017/115},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BelleL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/LeofanteANLT17,
author = {Francesco Leofante and
Erika {\'{A}}brah{\'{a}}m and
Tim Niemueller and
Gerhard Lakemeyer and
Armando Tacchella},
editor = {Chengcui Zhang and
Balaji Palanisamy and
Latifur Khan and
Sahra Sedigh Sarvestani},
title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
Scenarios via Optimization Modulo Theories},
booktitle = {2017 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
pages = {403--410},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRI.2017.67},
doi = {10.1109/IRI.2017.67},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/LeofanteANLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istar/LiebenbergRL17,
author = {Martin Liebenberg and
Kerstin Ro{\ss}maier and
Gerhard Lakemeyer},
editor = {Sepideh Ghanavati and
Lin Liu and
Lidia L{\'{o}}pez},
title = {An iStar 2.0 Editor Based on the Eclipse Modelling Framework},
booktitle = {Proceedings of the 10th International i* Workshop co-located with
the 29th International Conference on Advanced Information Systems
Engineering (CAiSE 2017), Essen, Germany, June 12-13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1829},
pages = {55--60},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1829/iStar17\_paper\_18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:56 +0100},
biburl = {https://dblp.org/rec/conf/istar/LiebenbergRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/HofmannMNSHLNFJ17,
author = {Till Hofmann and
Victor Matar{\'{e}} and
Tobias Neumann and
Sebastian Sch{\"{o}}nitz and
Christoph Henke and
Nicolas Limpert and
Tim Niemueller and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Hidehisa Akiyama and
Oliver Obst and
Claude Sammut and
Flavio Tonidandel},
title = {Enhancing Software and Hardware Reliability for a Successful Participation
in the RoboCup Logistics League 2017},
booktitle = {RoboCup 2017: Robot World Cup {XXI} [Nagoya, Japan, July 27-31, 2017]},
series = {Lecture Notes in Computer Science},
volume = {11175},
pages = {486--497},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-00308-1\_40},
doi = {10.1007/978-3-030-00308-1\_40},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/HofmannMNSHLNFJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04259,
author = {Francesco Leofante and
Erika {\'{A}}brah{\'{a}}m and
Tim Niemueller and
Gerhard Lakemeyer and
Armando Tacchella},
title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
Scenarios via Optimization Modulo Theories},
journal = {CoRR},
volume = {abs/1711.04259},
year = {2017},
url = {http://arxiv.org/abs/1711.04259},
eprinttype = {arXiv},
eprint = {1711.04259},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/SchweringNLAB16,
author = {Christoph Schwering and
Tim Niemueller and
Gerhard Lakemeyer and
Nichola Abdo and
Wolfram Burgard},
title = {Sensor fusion in the epistemic situation calculus},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {28},
number = {5},
pages = {871--887},
year = {2016},
url = {https://doi.org/10.1080/0952813X.2016.1148075},
doi = {10.1080/0952813X.2016.1148075},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/SchweringNLAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tciaig/0002JL16,
author = {Stefan Schiffer and
Maxim Jourenko and
Gerhard Lakemeyer},
title = {Akbaba - An Agent for the Angry Birds {AI} Challenge Based on Search
and Simulation},
journal = {{IEEE} Trans. Comput. Intell. {AI} Games},
volume = {8},
number = {2},
pages = {116--127},
year = {2016},
url = {https://doi.org/10.1109/TCIAIG.2015.2478703},
doi = {10.1109/TCIAIG.2015.2478703},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tciaig/0002JL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelleLL16,
author = {Vaishak Belle and
Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {A First-Order Logic of Probability and Only Knowing in Unbounded Domains},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {893--899},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10108},
doi = {10.1609/AAAI.V30I1.10108},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelleLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HofmannNCL16,
author = {Till Hofmann and
Tim Niemueller and
Jens Cla{\ss}en and
Gerhard Lakemeyer},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Continual Planning in Golog},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3346--3353},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10414},
doi = {10.1609/AAAI.V30I1.10414},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HofmannNCL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GierseNCL16,
author = {Gesche Gierse and
Tim Niemueller and
Jens Cla{\ss}en and
Gerhard Lakemeyer},
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},
title = {Interruptible Task Execution with Resumption in Golog},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1265--1273},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1265},
doi = {10.3233/978-1-61499-672-9-1265},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GierseNCL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SchweringL16,
author = {Christoph Schwering and
Gerhard Lakemeyer},
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},
title = {Decidable Reasoning in a First-Order Logic of Limited Conditional
Belief},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1379--1387},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1379},
doi = {10.3233/978-1-61499-672-9-1379},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SchweringL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL16,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Decidable Reasoning in a Logic of Limited Belief with Function Symbols},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {288--297},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12912},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/MatareNL16,
author = {Victor Matar{\'{e}} and
Tim Niemueller and
Gerhard Lakemeyer},
editor = {Sven Behnke and
Raymond Sheh and
Sanem Sariel and
Daniel D. Lee},
title = {Robust Multi-modal Detection of Industrial Signal Light Towers},
booktitle = {RoboCup 2016: Robot World Cup {XX} [Leipzig, Germany, June 30 - July
4, 2016]},
series = {Lecture Notes in Computer Science},
volume = {9776},
pages = {416--427},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-68792-6\_35},
doi = {10.1007/978-3-319-68792-6\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/robocup/MatareNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/NiemuellerNHSRF16,
author = {Tim Niemueller and
Tobias Neumann and
Christoph Henke and
Sebastian Sch{\"{o}}nitz and
Sebastian Reuter and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Sven Behnke and
Raymond Sheh and
Sanem Sariel and
Daniel D. Lee},
title = {Improvements for a Robust Production in the RoboCup Logistics League
2016},
booktitle = {RoboCup 2016: Robot World Cup {XX} [Leipzig, Germany, June 30 - July
4, 2016]},
series = {Lecture Notes in Computer Science},
volume = {9776},
pages = {589--600},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-68792-6\_49},
doi = {10.1007/978-3-319-68792-6\_49},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/NiemuellerNHSRF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/NiemuellerNHSRF16a,
author = {Tim Niemueller and
Tobias Neumann and
Christoph Henke and
Sebastian Sch{\"{o}}nitz and
Sebastian Reuter and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Sven Behnke and
Raymond Sheh and
Sanem Sariel and
Daniel D. Lee},
title = {International Harting Open Source Award 2016: Fawkes for the RoboCup
Logistics League},
booktitle = {RoboCup 2016: Robot World Cup {XX} [Leipzig, Germany, June 30 - July
4, 2016]},
series = {Lecture Notes in Computer Science},
volume = {9776},
pages = {634--642},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-68792-6\_53},
doi = {10.1007/978-3-319-68792-6\_53},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/NiemuellerNHSRF16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelleL15,
author = {Vaishak Belle and
Gerhard Lakemeyer},
title = {Semantical considerations on multiagent only knowing},
journal = {Artif. Intell.},
volume = {223},
pages = {1--26},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.02.005},
doi = {10.1016/J.ARTINT.2015.02.005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BelleL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/urban/BaierMLL15,
author = {Klaus Baier and
Victor Matare and
Martin Liebenberg and
Gerhard Lakemeyer},
title = {Towards integrated intentional agent simulation and semantic geodata
management in complex urban systems modeling},
journal = {Comput. Environ. Urban Syst.},
volume = {51},
pages = {47--58},
year = {2015},
url = {https://doi.org/10.1016/j.compenvurbsys.2015.01.006},
doi = {10.1016/J.COMPENVURBSYS.2015.01.006},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/urban/BaierMLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchweringL15,
author = {Christoph Schwering and
Gerhard Lakemeyer},
editor = {Blai Bonet and
Sven Koenig},
title = {Projection in the Epistemic Situation Calculus with Belief Conditionals},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1583--1589},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9407},
doi = {10.1609/AAAI.V29I1.9407},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchweringL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/RensML15,
author = {Gavin Rens and
Thomas Andreas Meyer and
Gerhard Lakemeyer},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {A Modal Logic for the Decision-Theoretic Projection Problem},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {5--16},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/RensML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/RensML15a,
author = {Gavin Rens and
Thomas Andreas Meyer and
Gerhard Lakemeyer},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {A Logic for Reasoning About Decision-Theoretic Projections},
booktitle = {Agents and Artificial Intelligence - 7th International Conference,
{ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9494},
pages = {79--99},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27947-3\_5},
doi = {10.1007/978-3-319-27947-3\_5},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/RensML15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/Goeckel0WL15,
author = {Tom Goeckel and
Stefan Schiffer and
Hermann Wagner and
Gerhard Lakemeyer},
editor = {Honghai Liu and
Naoyuki Kubota and
Xiangyang Zhu and
R{\"{u}}diger Dillmann and
Dalin Zhou},
title = {The Video Conference Tool Robot ViCToR},
booktitle = {Intelligent Robotics and Applications - 8th International Conference,
{ICIRA} 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9245},
pages = {61--73},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22876-1\_6},
doi = {10.1007/978-3-319-22876-1\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icira/Goeckel0WL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelleL15,
author = {Vaishak Belle and
Gerhard Lakemeyer},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Only Knowing Meets Common Knowledge},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2755--2761},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/390},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BelleL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchweringLP15,
author = {Christoph Schwering and
Gerhard Lakemeyer and
Maurice Pagnucco},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Belief Revision and Progression of Knowledge Bases in the Epistemic
Situation Calculus},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3214--3220},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/453},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchweringLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/NiemuellerRFJL15,
author = {Tim Niemueller and
Sebastian Reuter and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Lu{\'{\i}}s Almeida and
Jianmin Ji and
Gerald Steinbauer and
Sean Luke},
title = {Evaluation of the RoboCup Logistics League and Derived Criteria for
Future Competitions},
booktitle = {RoboCup 2015: Robot World Cup {XIX} [papers from the 19th Annual RoboCup
International Symposium, Hefei, China, July 23, 2015]},
series = {Lecture Notes in Computer Science},
volume = {9513},
pages = {31--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29339-4\_3},
doi = {10.1007/978-3-319-29339-4\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/NiemuellerRFJL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/NiemuellerREFJL15,
author = {Tim Niemueller and
Sebastian Reuter and
Daniel Ewert and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Lu{\'{\i}}s Almeida and
Jianmin Ji and
Gerald Steinbauer and
Sean Luke},
title = {The Carologistics Approach to Cope with the Increased Complexity and
New Challenges of the RoboCup Logistics League 2015},
booktitle = {RoboCup 2015: Robot World Cup {XIX} [papers from the 19th Annual RoboCup
International Symposium, Hefei, China, July 23, 2015]},
series = {Lecture Notes in Computer Science},
volume = {9513},
pages = {47--59},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29339-4\_4},
doi = {10.1007/978-3-319-29339-4\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/NiemuellerREFJL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BelleL14,
author = {Vaishak Belle and
Gerhard Lakemeyer},
title = {Multiagent Only Knowing in Dynamic Systems},
journal = {J. Artif. Intell. Res.},
volume = {49},
pages = {363--402},
year = {2014},
url = {https://doi.org/10.1613/jair.4192},
doi = {10.1613/JAIR.4192},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BelleL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/RensML14,
author = {Gavin Rens and
Thomas Meyer and
Gerhard Lakemeyer},
title = {{SLAP:} Specification logic of actions with probability},
journal = {J. Appl. Log.},
volume = {12},
number = {2},
pages = {128--150},
year = {2014},
url = {https://doi.org/10.1016/j.jal.2013.09.001},
doi = {10.1016/J.JAL.2013.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/RensML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcns/GoeckelFLW14,
author = {Tom Goeckel and
Hartmut F{\"{u}}hr and
Gerhard Lakemeyer and
Hermann Wagner},
title = {Side peak suppression in responses of an across-frequency integration
model to stimuli of varying bandwidth as demonstrated analytically
and by implementation},
journal = {J. Comput. Neurosci.},
volume = {36},
number = {1},
pages = {1--17},
year = {2014},
url = {https://doi.org/10.1007/s10827-013-0460-x},
doi = {10.1007/S10827-013-0460-X},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcns/GoeckelFLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/KustenmacherAPL14,
author = {Anastassia K{\"{u}}stenmacher and
Naveed Akhtar and
Paul{-}Gerhard Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {Towards Robust Task Execution for Domestic Service Robots},
journal = {J. Intell. Robotic Syst.},
volume = {76},
number = {1},
pages = {5--33},
year = {2014},
url = {https://doi.org/10.1007/s10846-013-0005-6},
doi = {10.1007/S10846-013-0005-6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jirs/KustenmacherAPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ClassenLLZ14,
author = {Jens Cla{\ss}en and
Martin Liebenberg and
Gerhard Lakemeyer and
Benjamin Zarrie{\ss}},
editor = {Carla E. Brodley and
Peter Stone},
title = {Exploring the Boundaries of Decidable Verification of Non-Terminating
Golog Programs},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1012--1019},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8875},
doi = {10.1609/AAAI.V28I1.8875},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ClassenLLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KustenmacherAPL14,
author = {Anastassia K{\"{u}}stenmacher and
Naveed Akhtar and
Paul{-}Gerhard Pl{\"{o}}ger and
Gerhard Lakemeyer},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Towards Robust Task Execution for Domestic Service Robots},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/8284},
timestamp = {Thu, 19 Nov 2015 08:52:28 +0100},
biburl = {https://dblp.org/rec/conf/aips/KustenmacherAPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SchweringL14,
author = {Christoph Schwering and
Gerhard Lakemeyer},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {A Semantic Account of Iterated Belief Revision in the Situation Calculus},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {801--806},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-801},
doi = {10.3233/978-1-61499-419-0-801},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SchweringL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/RensML14,
author = {Gavin Rens and
Thomas Meyer and
Gerhard Lakemeyer},
editor = {Christoph Beierle and
Carlo Meghini},
title = {A Logic for Specifying Stochastic Actions and Observations},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {305--323},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_15},
doi = {10.1007/978-3-319-04939-7\_15},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foiks/RensML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istar/LiebenbergMBL14,
author = {Martin Liebenberg and
Victor Matare and
Klaus Baier and
Gerhard Lakemeyer},
editor = {Fabiano Dalpiaz and
Jennifer Horkoff},
title = {Towards Using i* for Modeling Mega-Urban Processes},
booktitle = {Proceedings of the Seventh International i* Workshop co-located with
the 26th International Conference on Advanced Information Systems
Engineering (CAiSE 2014), Thessaloniki, Greece, June 16-17, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1157},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1157/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:56 +0100},
biburl = {https://dblp.org/rec/conf/istar/LiebenbergMBL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelleL14a,
author = {Vaishak Belle and
Gerhard Lakemeyer},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {On the Progression of Knowledge in Multiagent Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7996},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelleL14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL14,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Decidable Reasoning in a Fragment of the Epistemic Situation Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/NiemuellerREFJL14,
author = {Tim Niemueller and
Sebastian Reuter and
Daniel Ewert and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Reinaldo A. C. Bianchi and
H. Levent Akin and
Subramanian Ramamoorthy and
Komei Sugiura},
title = {Decisive Factors for the Success of the Carologistics RoboCup Team
in the RoboCup Logistics League 2014},
booktitle = {RoboCup 2014: Robot World Cup {XVIII} [papers from the 18th Annual
RoboCup International Symposium, Jo{\~{a}}o Pessoa, Brazil, July 15},
series = {Lecture Notes in Computer Science},
volume = {8992},
pages = {155--167},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-18615-3\_13},
doi = {10.1007/978-3-319-18615-3\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/NiemuellerREFJL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/ZwillingNL14,
author = {Frederik Zwilling and
Tim Niemueller and
Gerhard Lakemeyer},
editor = {Reinaldo A. C. Bianchi and
H. Levent Akin and
Subramanian Ramamoorthy and
Komei Sugiura},
title = {Simulation for the RoboCup Logistics League with Real-World Environment
Agency and Multi-level Abstraction},
booktitle = {RoboCup 2014: Robot World Cup {XVIII} [papers from the 18th Annual
RoboCup International Symposium, Jo{\~{a}}o Pessoa, Brazil, July 15},
series = {Lecture Notes in Computer Science},
volume = {8992},
pages = {220--232},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-18615-3\_18},
doi = {10.1007/978-3-319-18615-3\_18},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/ZwillingNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AgotnesLLN14,
author = {Thomas {\AA}gotnes and
Gerhard Lakemeyer and
Benedikt L{\"{o}}we and
Bernhard Nebel},
title = {Planning with epistemic goals (Dagstuhl Seminar 14032)},
journal = {Dagstuhl Reports},
volume = {4},
number = {1},
pages = {83--103},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.1.83},
doi = {10.4230/DAGREP.4.1.83},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AgotnesLLN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lakemeyer13,
author = {Gerhard Lakemeyer},
title = {First competition section paper published},
journal = {Artif. Intell.},
volume = {198},
pages = {72},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2012.09.008},
doi = {10.1016/J.ARTINT.2012.09.008},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lakemeyer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/FerreinN0L13,
author = {Alexander Ferrein and
Tim Niemueller and
Stefan Schiffer and
Gerhard Lakemeyer},
title = {Lessons Learnt from Developing the Embodied {AI} Platform {CAESAR}
for Domestic Service Robotics},
booktitle = {Designing Intelligent Robots: Reintegrating {AI} II, Papers from the
2013 {AAAI} Spring Symposium, Palo Alto, California, USA, March 25-27,
2013},
series = {{AAAI} Technical Report},
volume = {{SS-13-04}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS13/paper/view/5750},
timestamp = {Mon, 09 Sep 2013 15:13:13 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/FerreinN0L13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/NiemuellerLF13,
author = {Tim Niemueller and
Gerhard Lakemeyer and
Alexander Ferrein},
title = {Incremental Task-Level Reasoning in a Competitive Factory Automation
Scenario},
booktitle = {Designing Intelligent Robots: Reintegrating {AI} II, Papers from the
2013 {AAAI} Spring Symposium, Palo Alto, California, USA, March 25-27,
2013},
series = {{AAAI} Technical Report},
volume = {{SS-13-04}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS13/paper/view/5748},
timestamp = {Mon, 09 Sep 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/NiemuellerLF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icar/AkhtarKPL13,
author = {Naveed Akhtar and
Anastassia K{\"{u}}stenmacher and
Paul{-}Gerhard Pl{\"{o}}ger and
Gerhard Lakemeyer},
title = {Simulation-based approach for avoiding external faults},
booktitle = {16th International Conference on Advanced Robotics, {ICAR} 2013, 25-29
November 2013, Montevideo, Uruguay},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICAR.2013.6766551},
doi = {10.1109/ICAR.2013.6766551},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icar/AkhtarKPL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL13,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Francesca Rossi},
title = {Decidable Reasoning in a Logic of Limited Belief with Introspection
and Unknown Individuals},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {969--975},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6638},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/NiemuellerERKFJL13,
author = {Tim Niemueller and
Daniel Ewert and
Sebastian Reuter and
Ulrich Karras and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Ingo J. Timm and
Matthias Thimm},
title = {Towards Benchmarking Cyber-Physical Systems in Factory Automation
Scenarios},
booktitle = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8077},
pages = {296--299},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40942-4\_28},
doi = {10.1007/978-3-642-40942-4\_28},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/NiemuellerERKFJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/KustenmacherAPL13,
author = {Anastassia K{\"{u}}stenmacher and
Naveed Akhtar and
Paul{-}Gerhard Pl{\"{o}}ger and
Gerhard Lakemeyer},
editor = {Sven Behnke and
Manuela M. Veloso and
Arnoud Visser and
Rong Xiong},
title = {Unexpected Situations in Service Robot Environment: Classification
and Reasoning Using Naive Physics},
booktitle = {RoboCup 2013: Robot World Cup {XVII} [papers from the 17th Annual
RoboCup International Symposium, Eindhoven, The Netherlands, July
1, 2013]},
series = {Lecture Notes in Computer Science},
volume = {8371},
pages = {219--230},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-44468-9\_20},
doi = {10.1007/978-3-662-44468-9\_20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/KustenmacherAPL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/NiemuellerERFJL13,
author = {Tim Niemueller and
Daniel Ewert and
Sebastian Reuter and
Alexander Ferrein and
Sabina Jeschke and
Gerhard Lakemeyer},
editor = {Sven Behnke and
Manuela M. Veloso and
Arnoud Visser and
Rong Xiong},
title = {RoboCup Logistics League Sponsored by Festo: {A} Competitive Factory
Automation Testbed},
booktitle = {RoboCup 2013: Robot World Cup {XVII} [papers from the 17th Annual
RoboCup International Symposium, Eindhoven, The Netherlands, July
1, 2013]},
series = {Lecture Notes in Computer Science},
volume = {8371},
pages = {336--347},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-44468-9\_30},
doi = {10.1007/978-3-662-44468-9\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/NiemuellerERFJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5154,
author = {Radhakrishnan Delhibabu and
Gerhard Lakemeyer},
title = {A Rational and Efficient Algorithm for View Revision in Databases},
journal = {CoRR},
volume = {abs/1301.5154},
year = {2013},
url = {http://arxiv.org/abs/1301.5154},
eprinttype = {arXiv},
eprint = {1301.5154},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BeckL12,
author = {Daniel Beck and
Gerhard Lakemeyer},
title = {Reinforcement learning for Golog programs with first-order state-abstraction},
journal = {Log. J. {IGPL}},
volume = {20},
number = {5},
pages = {909--942},
year = {2012},
url = {https://doi.org/10.1093/jigpal/jzs011},
doi = {10.1093/JIGPAL/JZS011},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BeckL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isrob/0002FL12,
author = {Stefan Schiffer and
Alexander Ferrein and
Gerhard Lakemeyer},
title = {Caesar: an intelligent domestic service robot},
journal = {Intell. Serv. Robotics},
volume = {5},
number = {4},
pages = {259--273},
year = {2012},
url = {https://doi.org/10.1007/s11370-012-0118-y},
doi = {10.1007/S11370-012-0118-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isrob/0002FL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/0002FL12,
author = {Stefan Schiffer and
Alexander Ferrein and
Gerhard Lakemeyer},
title = {Reasoning with Qualitative Positional Information for Domestic Domains
in the Situation Calculus},
journal = {J. Intell. Robotic Syst.},
volume = {66},
number = {1-2},
pages = {273--300},
year = {2012},
url = {https://doi.org/10.1007/s10846-011-9606-0},
doi = {10.1007/S10846-011-9606-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jirs/0002FL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/ClassenRLN12,
author = {Jens Cla{\ss}en and
Gabriele R{\"{o}}ger and
Gerhard Lakemeyer and
Bernhard Nebel},
title = {Platas - Integrating Planning and the Action Language Golog},
journal = {K{\"{u}}nstliche Intell.},
volume = {26},
number = {1},
pages = {61--67},
year = {2012},
url = {https://doi.org/10.1007/s13218-011-0155-2},
doi = {10.1007/S13218-011-0155-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/ClassenRLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchweringB0L12,
author = {Christoph Schwering and
Daniel Beck and
Stefan Schiffer and
Gerhard Lakemeyer},
editor = {Wolfram Burgard and
Kurt Konolige and
Maurice Pagnucco and
Stavros Vassos},
title = {Plan Recognition by Program Execution in Continuous Temporal Domains},
booktitle = {Cognitive Robotics, Papers from the 2012 {AAAI} Workshop, CogRob@AAAI
2012, Toronto, Ontario, Canada, July 22-23, 2012},
series = {{AAAI} Technical Report},
volume = {{WS-12-06}},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW12/paper/view/5281},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchweringB0L12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LevesqueL12,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The Truth about Defaults},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {422--435},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_29},
doi = {10.1007/978-3-642-30743-0\_29},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LevesqueL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Lakemeyer12,
author = {Gerhard Lakemeyer},
editor = {Michael Fisher and
Leon van der Torre and
Mehdi Dastani and
Guido Governatori},
title = {Multi-agent Only-Knowing},
booktitle = {Computational Logic in Multi-Agent Systems - 13th International Workshop,
{CLIMA} XIII, Montpellier, France, August 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7486},
pages = {25},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32897-8\_2},
doi = {10.1007/978-3-642-32897-8\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/Lakemeyer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BeckL12,
author = {Daniel Beck and
Gerhard Lakemeyer},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Representing Value Functions with Recurrent Binary Decision Diagrams},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {139--144},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-139},
doi = {10.3233/978-1-61499-098-7-139},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BeckL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LakemeyerL12,
author = {Gerhard Lakemeyer and
Yves Lesp{\'{e}}rance},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Efficient Reasoning in Multiagent Epistemic Logics},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {498--503},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-498},
doi = {10.3233/978-1-61499-098-7-498},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LakemeyerL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SchifferHL12,
author = {Stefan Schiffer and
Niklas Hoppe and
Gerhard Lakemeyer},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Flexible Command Interpretation on an Interactive Domestic Service
Robot},
booktitle = {{ICAART} 2012 - Proceedings of the 4th International Conference on
Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
Vilamoura, Algarve, Portugal, 6-8 February, 2012},
pages = {26--35},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 04 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SchifferHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/0002HL12,
author = {Stefan Schiffer and
Niklas Hoppe and
Gerhard Lakemeyer},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Natural Language Interpretation for an Interactive Service Robot in
Domestic Domains},
booktitle = {Agents and Artificial Intelligence - 4th International Conference,
{ICAART} 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {358},
pages = {39--53},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36907-0\_3},
doi = {10.1007/978-3-642-36907-0\_3},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/0002HL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/NiemuellerLS12,
author = {Tim Niemueller and
Gerhard Lakemeyer and
Siddhartha S. Srinivasa},
title = {A generic robot database and its application in fault analysis and
performance evaluation},
booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
2012},
pages = {364--369},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IROS.2012.6385940},
doi = {10.1109/IROS.2012.6385940},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/NiemuellerLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SchweringB0L12,
author = {Christoph Schwering and
Daniel Beck and
Stefan Schiffer and
Gerhard Lakemeyer},
editor = {Birte Glimm and
Antonio Kr{\"{u}}ger},
title = {Plan Recognition by Program Execution in Continuous Temporal Domains},
booktitle = {{KI} 2012: Advances in Artificial Intelligence - 35th Annual German
Conference on AI, Saarbr{\"{u}}cken, Germany, September 24-27,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7526},
pages = {156--167},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33347-7\_14},
doi = {10.1007/978-3-642-33347-7\_14},
timestamp = {Sat, 30 Sep 2023 09:51:50 +0200},
biburl = {https://dblp.org/rec/conf/ki/SchweringB0L12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL12,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Only-Knowing Meets Nonmonotonic Modal Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/RensLM12,
author = {Gavin Rens and
Gerhard Lakemeyer and
Thomas Meyer},
editor = {Kristian Kersting and
Marc Toussaint},
title = {A Logic for Specifying Agent Actions and Observations with Probability},
booktitle = {{STAIRS} 2012 - Proceedings of the Sixth Starting {AI} Researchers'
Symposium, Montpellier, France, 27-28 August 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {241},
pages = {252--263},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-096-3-252},
doi = {10.3233/978-1-61499-096-3-252},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stairs/RensLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LakemeyerL11,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
title = {A semantic characterization of a useful fragment of the situation
calculus with knowledge},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {142--164},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.005},
doi = {10.1016/J.ARTINT.2010.04.005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LakemeyerL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelleL11,
author = {Vaishak Belle and
Gerhard Lakemeyer},
editor = {Wolfram Burgard and
Dan Roth},
title = {A Semantical Account of Progression in the Presence of Uncertainty},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {165--170},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7858},
doi = {10.1609/AAAI.V25I1.7858},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelleL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/SchifferFL11,
author = {Stefan Schiffer and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Sabina Jeschke and
Honghai Liu and
Daniel Schilberg},
title = {Fuzzy Representations and Control for Domestic Service Robots in Golog},
booktitle = {Intelligent Robotics and Applications - 4th International Conference,
{ICIRA} 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {7102},
pages = {241--250},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25489-5\_24},
doi = {10.1007/978-3-642-25489-5\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icira/SchifferFL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/SchifferBL11,
author = {Stefan Schiffer and
Tobias Baumgartner and
Gerhard Lakemeyer},
editor = {Sabina Jeschke and
Honghai Liu and
Daniel Schilberg},
title = {A Modular Approach to Gesture Recognition for Interaction with a Domestic
Service Robot},
booktitle = {Intelligent Robotics and Applications - 4th International Conference,
{ICIRA} 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {7102},
pages = {348--357},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25489-5\_34},
doi = {10.1007/978-3-642-25489-5\_34},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icira/SchifferBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelleL11,
author = {Vaishak Belle and
Gerhard Lakemeyer},
editor = {Toby Walsh},
title = {On Progression and Query Evaluation in First-Order Knowledge Bases
with Function Symbols},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {744--749},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-131},
doi = {10.5591/978-1-57735-516-8/IJCAI11-131},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BelleL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/11/GansJKLS11,
author = {G{\"{u}}nter Gans and
Matthias Jarke and
Stefanie Kethers and
Gerhard Lakemeyer and
Dominik Schmitz},
editor = {Eric S. K. Yu and
Paolo Giorgini and
Neil A. M. Maiden and
John Mylopoulos},
title = {Requirements Engineering for Trust-Based Interorganizational Networks},
booktitle = {Social Modeling for Requirements Engineering},
series = {Cooperative information systems},
pages = {187--218},
publisher = {{MIT} Press},
year = {2011},
timestamp = {Fri, 22 May 2020 12:08:24 +0200},
biburl = {https://dblp.org/rec/books/mit/11/GansJKLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Lakemeyer10,
author = {Gerhard Lakemeyer},
title = {The Situation Calculus: {A} Case for Modal Logic},
journal = {J. Log. Lang. Inf.},
volume = {19},
number = {4},
pages = {431--450},
year = {2010},
url = {https://doi.org/10.1007/s10849-009-9117-6},
doi = {10.1007/S10849-009-9117-6},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Lakemeyer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelleL10,
author = {Vaishak Belle and
Gerhard Lakemeyer},
editor = {Maria Fox and
David Poole},
title = {Reasoning about Imperfect Information Games in the Epistemic Situation
Calculus},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {255--260},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7596},
doi = {10.1609/AAAI.V24I1.7596},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelleL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/admi/SchmitzAJL10,
author = {Dominik Schmitz and
Thomas Arzdorf and
Matthias Jarke and
Gerhard Lakemeyer},
editor = {Longbing Cao and
Ana L. C. Bazzan and
Vladimir Gorodetsky and
Pericles A. Mitkas and
Gerhard Weiss and
Philip S. Yu},
title = {Analyzing Agent-Based Simulations of Inter-organizational Networks},
booktitle = {Agents and Data Mining Interaction, 6th International Workshop on
Agents and Data Mining Interaction, {ADMI} 2010, Toronto, ON, Canada,
May 11, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5980},
pages = {87--102},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15420-1\_8},
doi = {10.1007/978-3-642-15420-1\_8},
timestamp = {Tue, 08 Mar 2022 10:12:50 +0100},
biburl = {https://dblp.org/rec/conf/admi/SchmitzAJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ClassenL10,
author = {Jens Cla{\ss}en and
Gerhard Lakemeyer},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {On the Verification of Very Expressive Temporal Properties of Non-terminating
Golog Programs},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {887--892},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-887},
doi = {10.3233/978-1-60750-606-5-887},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ClassenL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelleL10,
author = {Vaishak Belle and
Gerhard Lakemeyer},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Multi-Agent Only-Knowing Revisited},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1361},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelleL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpar/NiemullerFBL10,
author = {Tim Niem{\"{u}}ller and
Alexander Ferrein and
Daniel Beck and
Gerhard Lakemeyer},
editor = {Noriaki Ando and
Stephen Balakirsky and
Thomas Hemker and
Monica Reggiani and
Oskar von Stryk},
title = {Design Principles of the Component-Based Robot Software Framework
Fawkes},
booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - Second
International Conference, {SIMPAR} 2010, Darmstadt, Germany, November
15-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6472},
pages = {300--311},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17319-6\_29},
doi = {10.1007/978-3-642-17319-6\_29},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simpar/NiemullerFBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10081,
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10081/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/0002WL10,
author = {Stefan Schiffer and
Andreas Wortmann and
Gerhard Lakemeyer},
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {Self-Maintenance for Autonomous Robots in the Situation Calculus},
booktitle = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2636/},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/0002WL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LakemeyerLP10,
author = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {10081 Abstracts Collection - Cognitive Robotics},
booktitle = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2777/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LakemeyerLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LevesqueL10,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {Cognitive Robotics},
booktitle = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2633/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LevesqueL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LiuL10,
author = {Yongmei Liu and
Gerhard Lakemeyer},
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {On First-Order Definability and Computability of Progression for Local-Effect
Actions and Beyond},
booktitle = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2638/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LiuL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2041,
author = {Vaishak Belle and
Gerhard Lakemeyer},
title = {Multi-Agent Only-Knowing Revisited},
journal = {CoRR},
volume = {abs/1009.2041},
year = {2010},
url = {http://arxiv.org/abs/1009.2041},
eprinttype = {arXiv},
eprint = {1009.2041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LakemeyerL09,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Paolo Giorgini and
Eric S. K. Yu},
title = {A Semantical Account of Progression in the Presence of Defaults},
booktitle = {Conceptual Modeling: Foundations and Applications - Essays in Honor
of John Mylopoulos},
series = {Lecture Notes in Computer Science},
volume = {5600},
pages = {82--98},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02463-4\_6},
doi = {10.1007/978-3-642-02463-4\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LakemeyerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/FerreinSL09,
author = {Alexander Ferrein and
Stefan Schiffer and
Gerhard Lakemeyer},
title = {Embedding fuzzy controllers in golog},
booktitle = {{FUZZ-IEEE} 2009, {IEEE} International Conference on Fuzzy Systems,
Jeju Island, Korea, 20-24 August 2009, Proceedings},
pages = {894--899},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FUZZY.2009.5277161},
doi = {10.1109/FUZZY.2009.5277161},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/FerreinSL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL09,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Craig Boutilier},
title = {A Semantical Account of Progression in the Presence of Defaults},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {842--847},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/144.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiuL09,
author = {Yongmei Liu and
Gerhard Lakemeyer},
editor = {Craig Boutilier},
title = {On First-Order Definability and Computability of Progression for Local-Effect
Actions and Beyond},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {860--866},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/147.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiuL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/JacobsFSBL09,
author = {Stefan Jacobs and
Alexander Ferrein and
Stefan Schiffer and
Daniel Beck and
Gerhard Lakemeyer},
editor = {Jacky Baltes and
Michail G. Lagoudakis and
Tadashi Naruse and
Saeed Shiry Ghidary},
title = {Robust Collision Avoidance in Unknown Domestic Environments},
booktitle = {RoboCup 2009: Robot Soccer World Cup {XIII} [papers from the 13th
annual RoboCup International Symposium, Graz, Austria, June 29 - July
5, 2009]},
series = {Lecture Notes in Computer Science},
volume = {5949},
pages = {116--127},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11876-0\_11},
doi = {10.1007/978-3-642-11876-0\_11},
timestamp = {Sat, 22 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/JacobsFSBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/NiemullerFL09,
author = {Tim Niem{\"{u}}ller and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Jacky Baltes and
Michail G. Lagoudakis and
Tadashi Naruse and
Saeed Shiry Ghidary},
title = {A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao},
booktitle = {RoboCup 2009: Robot Soccer World Cup {XIII} [papers from the 13th
annual RoboCup International Symposium, Graz, Austria, June 29 - July
5, 2009]},
series = {Lecture Notes in Computer Science},
volume = {5949},
pages = {240--251},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11876-0\_21},
doi = {10.1007/978-3-642-11876-0\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/NiemullerFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LiuL08,
author = {Yongmei Liu and
Gerhard Lakemeyer},
title = {On the Expressiveness of Levesque's Normal Form},
journal = {J. Artif. Intell. Res.},
volume = {31},
pages = {259--272},
year = {2008},
url = {https://doi.org/10.1613/jair.2428},
doi = {10.1613/JAIR.2428},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/LiuL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/FerreinL08,
author = {Alexander Ferrein and
Gerhard Lakemeyer},
title = {Logic-based robot control in highly dynamic domains},
journal = {Robotics Auton. Syst.},
volume = {56},
number = {11},
pages = {980--991},
year = {2008},
url = {https://doi.org/10.1016/j.robot.2008.08.010},
doi = {10.1016/J.ROBOT.2008.08.010},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ras/FerreinL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RoesliSLJ08,
author = {Aristama Roesli and
Dominik Schmitz and
Gerhard Lakemeyer and
Matthias Jarke},
editor = {George A. Vouros and
Alexander Artikis and
Kostas Stathis and
Jeremy V. Pitt},
title = {Modelling Actor Evolution in Agent-Based Simulations},
booktitle = {Organized Adaption in Multi-Agent Systems, First International Workshop,
{OAMAS} 2008, Estoril, Portugal, May 13, 2008. Revised and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {5368},
pages = {126--144},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02377-4\_8},
doi = {10.1007/978-3-642-02377-4\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/RoesliSLJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/FerreinSL08,
author = {Alexander Ferrein and
Stefan Schiffer and
Gerhard Lakemeyer},
editor = {Caihua Xiong and
Honghai Liu and
Yongan Huang and
Youlun Xiong},
title = {A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus},
booktitle = {Intelligent Robotics and Applications, First International Conference,
{ICIRA} 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {5314},
pages = {498--509},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88513-9\_54},
doi = {10.1007/978-3-540-88513-9\_54},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icira/FerreinSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istar/JarkeKLS08,
author = {Matthias Jarke and
Ralf Klamma and
Gerhard Lakemeyer and
Dominik Schmitz},
editor = {Jaelson Brelaz de Castro and
Xavier Franch and
Anna Perini and
Eric S. K. Yu},
title = {Continuous, Requirements-Driven Support for Organizations, Networks,
and Communities},
booktitle = {Proceedings of the 3rd International i* Workshop, Recife, Brazil,
February 11-12, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {322},
pages = {47--50},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-322/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:56 +0100},
biburl = {https://dblp.org/rec/conf/istar/JarkeKLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MiesFL08,
author = {Christoph Mies and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Andreas Dengel and
Karsten Berns and
Thomas M. Breuel and
Frank Bomarius and
Thomas Roth{-}Berghofer},
title = {Repairing Decision-Theoretic Policies Using Goal-Oriented Planning},
booktitle = {{KI} 2008: Advances in Artificial Intelligence, 31st Annual German
Conference on AI, {KI} 2008, Kaiserslautern, Germany, September 23-26,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5243},
pages = {267--275},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85845-4\_33},
doi = {10.1007/978-3-540-85845-4\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MiesFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ClassenL08,
author = {Jens Cla{\ss}en and
Gerhard Lakemeyer},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Logic for Non-Terminating Golog Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {589--599},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-058.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ClassenL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/VassosLL08,
author = {Stavros Vassos and
Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {First-Order Strong Progression for Local-Effect Basic Action Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {662--672},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-065.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/VassosLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/DoostdarSL08,
author = {Masrur Doostdar and
Stefan Schiffer and
Gerhard Lakemeyer},
editor = {Luca Iocchi and
Hitoshi Matsubara and
Alfredo Weitzenfeld and
Changjiu Zhou},
title = {A Robust Speech Recognition System for Service-Robotics Applications},
booktitle = {RoboCup 2008: Robot Soccer World Cup {XII} [papers from the 12th annual
RoboCup International Symposium, Suzhou, China, July 15-18, 2008]},
series = {Lecture Notes in Computer Science},
volume = {5399},
pages = {1--12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02921-9\_1},
doi = {10.1007/978-3-642-02921-9\_1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/DoostdarSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/BeckFL08,
author = {Daniel Beck and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Luca Iocchi and
Hitoshi Matsubara and
Alfredo Weitzenfeld and
Changjiu Zhou},
title = {Landmark-Based Representations for Navigating Holonomic Soccer Robots},
booktitle = {RoboCup 2008: Robot Soccer World Cup {XII} [papers from the 12th annual
RoboCup International Symposium, Suzhou, China, July 15-18, 2008]},
series = {Lecture Notes in Computer Science},
volume = {5399},
pages = {25--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02921-9\_3},
doi = {10.1007/978-3-642-02921-9\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/BeckFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/LevesqueL08,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Cognitive Robotics},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {869--886},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03023-4},
doi = {10.1016/S1574-6526(07)03023-4},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/LevesqueL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ClassenHL07,
author = {Jens Cla{\ss}en and
Yuxiao Hu and
Gerhard Lakemeyer},
title = {A Situation-Calculus Semantics for an Expressive Fragment of {PDDL}},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {956--961},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-152.php},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/ClassenHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GabaldonL07,
author = {Alfredo Gabaldon and
Gerhard Lakemeyer},
title = {{ESP:} {A} Logic of Only-Knowing, Noisy Sensing and Acting},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {974--979},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-155.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GabaldonL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CalmesWSL07,
author = {Laurent Calmes and
Hermann Wagner and
Stefan Schiffer and
Gerhard Lakemeyer},
title = {Combining Sound Localization and Laser-based Object Recognition},
booktitle = {Multidisciplinary Collaboration for Socially Assistive Robotics, Papers
from the 2007 {AAAI} Spring Symposium, Technical Report SS-07-07,
Stanford, California, USA, March 26-28, 2007},
pages = {1--6},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-07-001.php},
timestamp = {Sat, 18 Feb 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CalmesWSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ClassenELN07,
author = {Jens Cla{\ss}en and
Patrick Eyerich and
Gerhard Lakemeyer and
Bernhard Nebel},
editor = {Manuela M. Veloso},
title = {Towards an Integration of Golog and Planning},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1846--1851},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/298.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ClassenELN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BohnstedtFL07,
author = {Lutz B{\"{o}}hnstedt and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Joachim Hertzberg and
Michael Beetz and
Roman Englert},
title = {Options in Readylog Reloaded - Generating Decision-Theoretic Plan
Libraries in Golog},
booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German
Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September
10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4667},
pages = {352--366},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74565-5\_27},
doi = {10.1007/978-3-540-74565-5\_27},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/BohnstedtFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/BeckFL07,
author = {Daniel Beck and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Ubbo Visser and
Fernando Ribeiro and
Takeshi Ohashi and
Frank Dellaert},
title = {A Simulation Environment for Middle-Size Robots with Multi-level Abstraction},
booktitle = {RoboCup 2007: Robot Soccer World Cup XI, July 9-10, 2007, Atlanta,
GA, {USA}},
series = {Lecture Notes in Computer Science},
volume = {5001},
pages = {136--147},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-68847-1\_12},
doi = {10.1007/978-3-540-68847-1\_12},
timestamp = {Sat, 30 Sep 2023 09:55:24 +0200},
biburl = {https://dblp.org/rec/conf/robocup/BeckFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/robocup/2006,
editor = {Gerhard Lakemeyer and
Elizabeth Sklar and
Domenico G. Sorrenti and
Tomoichi Takahashi},
title = {RoboCup 2006: Robot Soccer World Cup {X}},
series = {Lecture Notes in Computer Science},
volume = {4434},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74024-7},
doi = {10.1007/978-3-540-74024-7},
isbn = {978-3-540-74023-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LakemeyerL06,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
title = {Towards an Axiom System for Default Logic},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {263--268},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-042.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LakemeyerL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aois/SchmitzLJ06,
author = {Dominik Schmitz and
Gerhard Lakemeyer and
Matthias Jarke},
editor = {Manuel Kolp and
Brian Henderson{-}Sellers and
Haralambos Mouratidis and
Alessandro Garcia and
Aditya Ghose and
Paolo Bresciani},
title = {Comparing Three Formal Analysis Approaches of the Tropos Family},
booktitle = {Agent-Oriented Information Systems IV, 8th International Bi-Conference
Workshop, {AOIS} 2006, Hakodate, Japan, May 9, 2006 and Luxembourg,
Luxembourg, June 6, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4898},
pages = {164--182},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77990-2\_10},
doi = {10.1007/978-3-540-77990-2\_10},
timestamp = {Fri, 06 Nov 2020 10:10:14 +0100},
biburl = {https://dblp.org/rec/conf/aois/SchmitzLJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ClassenL06,
author = {Jens Cla{\ss}en and
Gerhard Lakemeyer},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Foundations for Knowledge-Based Programs using {ES}},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {318--328},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-034.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ClassenL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/GansJLS05,
author = {G{\"{u}}nter Gans and
Matthias Jarke and
Gerhard Lakemeyer and
Dominik Schmitz},
title = {Deliberation in a metadata-based modeling and simulation environment
for inter-organizational networks},
journal = {Inf. Syst.},
volume = {30},
number = {7},
pages = {587--607},
year = {2005},
url = {https://doi.org/10.1016/j.is.2004.11.006},
doi = {10.1016/J.IS.2004.11.006},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/GansJLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/FerreinFL05,
author = {Alexander Ferrein and
Christian Fritz and
Gerhard Lakemeyer},
title = {Using Golog for Deliberation and Team Coordination in Robotic Soccer},
journal = {K{\"{u}}nstliche Intell.},
volume = {19},
number = {1},
pages = {24},
year = {2005},
url = {http://www.kuenstliche-intelligenz.de/index.php?id=no-6423\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1056\&\#38;cHash=50221fbd77},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/FerreinFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LakemeyerL05,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Only-Knowing: Taking It Beyond Autoepistemic Reasoning},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {633--638},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-099.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LakemeyerL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/JacobsFL05,
author = {Stefan Jacobs and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {R. Michael Young and
John E. Laird},
title = {Controlling Unreal Tournament 2004 Bots with the Logic-based Action
Language {GOLOG}},
booktitle = {Proceedings of the First Artificial Intelligence and Interactive Digital
Entertainment Conference, June 1-5, 2005, Marina del Rey, California,
{USA}},
pages = {151--152},
publisher = {{AAAI} Press},
year = {2005},
timestamp = {Sat, 22 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiide/JacobsFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL05,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Semantics for a useful fragment of the situation calculus},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {490--496},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0973.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/AmiranashviliL05,
author = {Vazha Amiranashvili and
Gerhard Lakemeyer},
editor = {Ulrich Furbach},
title = {Distributed Multi-robot Localization Based on Mutual Path Detection},
booktitle = {{KI} 2005: Advances in Artificial Intelligence, 28th Annual German
Conference on AI, {KI} 2005, Koblenz, Germany, September 11-14, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3698},
pages = {279--290},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11551263\_23},
doi = {10.1007/11551263\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/AmiranashviliL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/FerreinHL05,
author = {Alexander Ferrein and
Lutz Hermanns and
Gerhard Lakemeyer},
editor = {Ansgar Bredenfeld and
Adam Jacoff and
Itsuki Noda and
Yasutake Takahashi},
title = {Comparing Sensor Fusion Techniques for Ball Position Estimation},
booktitle = {RoboCup 2005: Robot Soccer World Cup {IX}},
series = {Lecture Notes in Computer Science},
volume = {4020},
pages = {154--165},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11780519\_14},
doi = {10.1007/11780519\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/FerreinHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/StrackFL05,
author = {Andreas Strack and
Alexander Ferrein and
Gerhard Lakemeyer},
editor = {Ansgar Bredenfeld and
Adam Jacoff and
Itsuki Noda and
Yasutake Takahashi},
title = {Laser-Based Localization with Sparse Landmarks},
booktitle = {RoboCup 2005: Robot Soccer World Cup {IX}},
series = {Lecture Notes in Computer Science},
volume = {4020},
pages = {569--576},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11780519\_55},
doi = {10.1007/11780519\_55},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/StrackFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aois/GansSAJL04,
author = {G{\"{u}}nter Gans and
Dominik Schmitz and
Thomas Arzdorf and
Matthias Jarke and
Gerhard Lakemeyer},
editor = {Paolo Bresciani and
Paolo Giorgini and
Brian Henderson{-}Sellers and
Graham Low and
Michael Winikoff},
title = {SNet Reloaded: Roles, Monitoring and Agent Evolution},
booktitle = {Agent-Oriented Information Systems II, 6th International Bi-Conference
Workshop, {AOIS} 2004, Riga, Latvia, June 8, 2004 and New York, NY,
USA, July 20, 2004,Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3508},
pages = {68--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11426714\_5},
doi = {10.1007/11426714\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aois/GansSAJL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FerreinFL04,
author = {Alexander Ferrein and
Christian Fritz and
Gerhard Lakemeyer},
editor = {Susanne Biundo and
Thom W. Fr{\"{u}}hwirth and
G{\"{u}}nther Palm},
title = {On-Line Decision-Theoretic Golog for Unpredictable Domains},
booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {322--336},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30221-6\_25},
doi = {10.1007/978-3-540-30221-6\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/FerreinFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL04,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Situations, Si! Situation Terms, No!},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {516--526},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-054.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiuLL04,
author = {Yongmei Liu and
Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {A Logic of Limited Belief for Reasoning with Disjunctive Information},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {587--597},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-061.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LiuLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SchmitzLGJ04,
author = {Dominik Schmitz and
Gerhard Lakemeyer and
G{\"{u}}nter Gans and
Matthias Jarke},
editor = {Robert Meersman and
Zahir Tari and
Angelo Corsaro},
title = {Using {BPEL} Process Descriptions for Building Up Strategic Models
of Inter-organizational Networks},
booktitle = {On the Move to Meaningful Internet Systems 2004: {OTM} 2004 Workshops:
{OTM} Confederated International Workshops and Posters, GADA, JTRES,
MIOS, WORM, WOSE, PhDS, and {INTEROP} 2004, Agia Napa, Cyprus, October
25-29, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3292},
pages = {520--532},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30470-8\_65},
doi = {10.1007/978-3-540-30470-8\_65},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/SchmitzLGJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/DyllaFLMORSVW04,
author = {Frank Dylla and
Alexander Ferrein and
Gerhard Lakemeyer and
Jan Murray and
Oliver Obst and
Thomas R{\"{o}}fer and
Frieder Stolzenburg and
Ubbo Visser and
Thomas Wagner},
editor = {Daniele Nardi and
Martin A. Riedmiller and
Claude Sammut and
Jos{\'{e}} Santos{-}Victor},
title = {Towards a League-Independent Qualitative Soccer Theory for RoboCup},
booktitle = {RoboCup 2004: Robot Soccer World Cup {VIII}},
series = {Lecture Notes in Computer Science},
volume = {3276},
pages = {611--618},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32256-6\_58},
doi = {10.1007/978-3-540-32256-6\_58},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/DyllaFLMORSVW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/KoehlerL03,
author = {Jana Koehler and
Gerhard Lakemeyer},
title = {The Twenty-Fifth Annual German Conference on Artificial Intelligence
{(KI-2002)}},
journal = {{AI} Mag.},
volume = {24},
number = {2},
pages = {97--98},
year = {2003},
url = {https://doi.org/10.1609/aimag.v24i2.1707},
doi = {10.1609/AIMAG.V24I2.1707},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/KoehlerL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GrosskreutzL03,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
title = {Probabilistic Complex Actions in {GOLOG}},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {167--192},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GrosskreutzL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GrosskreutzL03,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
title = {ccGolog -- {A} Logical Language Dealing with Continuous Change},
journal = {Log. J. {IGPL}},
volume = {11},
number = {2},
pages = {179--221},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.2.179},
doi = {10.1093/JIGPAL/11.2.179},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GrosskreutzL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/GansJKL03,
author = {G{\"{u}}nter Gans and
Matthias Jarke and
Stefanie Kethers and
Gerhard Lakemeyer},
title = {Continuous requirements management for organisation networks: a (dis)trust-based
approach},
journal = {Requir. Eng.},
volume = {8},
number = {1},
pages = {4--22},
year = {2003},
url = {https://doi.org/10.1007/s00766-002-0163-8},
doi = {10.1007/S00766-002-0163-8},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/GansJKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/GansJLS03,
author = {G{\"{u}}nter Gans and
Matthias Jarke and
Gerhard Lakemeyer and
Dominik Schmitz},
editor = {Johann Eder and
Michele Missikoff},
title = {Deliberation in a Modeling and Simulation Environment for Inter-organizational
Networks},
booktitle = {Advanced Information Systems Engineering, 15th International Conference,
CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2681},
pages = {242--257},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45017-3\_18},
doi = {10.1007/3-540-45017-3\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/GansJLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FerreinFL03,
author = {Alexander Ferrein and
Christian Fritz and
Gerhard Lakemeyer},
editor = {Georg Gottlob and
Toby Walsh},
title = {Extending {DTGOLOG} with Options},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1394--1395},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/213.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FerreinFL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/HornungLT03,
author = {Alexander Hornung and
Gerhard Lakemeyer and
Georg Trogemann},
editor = {Thomas Rist and
Ruth Aylett and
Daniel Ballin and
Jeff Rickel},
title = {An Autonomous Real-Time Camera Agent for Interactive Narratives and
Games},
booktitle = {Intelligent Agents, 4th International Workshop, {IVA} 2003, Kloster
Irsee, Germany, September 15-17, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2792},
pages = {236--243},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39396-2\_40},
doi = {10.1007/978-3-540-39396-2\_40},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/iva/HornungLT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/IwanL03,
author = {Gero Iwan and
Gerhard Lakemeyer},
editor = {Andreas G{\"{u}}nter and
Rudolf Kruse and
Bernd Neumann},
title = {What Observations Really Tell Us},
booktitle = {{KI} 2003: Advances in Artificial Intelligence, 26th Annual German
Conference on AI, {KI} 2003, Hamburg, Germany, September 15-18, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2821},
pages = {194--208},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39451-8\_15},
doi = {10.1007/978-3-540-39451-8\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/IwanL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/GansLJV02,
author = {G{\"{u}}nter Gans and
Gerhard Lakemeyer and
Matthias Jarke and
Thomas Vits},
editor = {Anne Banks Pidduck and
John Mylopoulos and
Carson C. Woo and
M. Tamer {\"{O}}zsu},
title = {SNet: {A} Modeling and Simulation Environment for Agent Networks Based
on i* and ConGolog},
booktitle = {Advanced Information Systems Engineering, 14th International Conference,
CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2348},
pages = {328--343},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47961-9\_24},
doi = {10.1007/3-540-47961-9\_24},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/GansLJV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lakemeyer02,
author = {Gerhard Lakemeyer},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Evaluation-Based Reasoning with Disjunctive Information in First-Order
Knowledge Bases},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {73--81},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lakemeyer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2002,
editor = {Matthias Jarke and
Jana Koehler and
Gerhard Lakemeyer},
title = {{KI} 2002: Advances in Artificial Intelligence, 25th Annual German
Conference on AI, {KI} 2002, Aachen, Germany, September 16-20, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2479},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45751-8},
doi = {10.1007/3-540-45751-8},
isbn = {3-540-44185-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HalpernL01,
author = {Joseph Y. Halpern and
Gerhard Lakemeyer},
title = {Multi-agent Only Knowing},
journal = {J. Log. Comput.},
volume = {11},
number = {1},
pages = {41--70},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.1.41},
doi = {10.1093/LOGCOM/11.1.41},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HalpernL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrosskreutzL01,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
editor = {Bernhard Nebel},
title = {On-Line Execution of cc-Golog Plans},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {12--18},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrosskreutzL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GrosskreutzL01,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Belief Update in the pGOLOG Framework},
booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2174},
pages = {213--228},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_16},
doi = {10.1007/3-540-45422-5\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/GrosskreutzL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GansJKLEFM01,
author = {G{\"{u}}nter Gans and
Matthias Jarke and
Stefanie Kethers and
Gerhard Lakemeyer and
Lutz Ellrich and
Christiane Funken and
Martin Meister},
title = {Requirements Modeling for Organization Networks: {A} (Dis-)Trust-Based
Approach},
booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
2001), 27-31 August 2001, Toronto, Canada},
pages = {154--165},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISRE.2001.948555},
doi = {10.1109/ISRE.2001.948555},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/GansJKLEFM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0005127,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
title = {The logic of knowledge bases},
publisher = {{MIT} Press},
year = {2000},
url = {https://mitpress.mit.edu/books/logic-knowledge-bases},
isbn = {978-0-262-12232-0},
timestamp = {Mon, 03 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0005127.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/GrosskreutzL00,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
title = {Towards more Realistic Logic-based Robot Controllers in the {GOLOG}
Framework},
journal = {K{\"{u}}nstliche Intell.},
volume = {14},
number = {4},
pages = {11--15},
year = {2000},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/GrosskreutzL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrosskreutzL00,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {cc-Golog: Towards More Realistic Logic-Based Robot Controllers},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {476--482},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-073.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GrosskreutzL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LakemeyerL00,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Steffen H{\"{o}}lldobler},
title = {Querying {AOL} Knowledge Bases},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
of his 60th birthday)},
series = {Applied Logic Series},
volume = {19},
pages = {225--244},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LakemeyerL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GrosskreutzL00,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
editor = {Werner Horn},
title = {Turning High-Level Plans into Robot Programs in Uncertain Domains},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {548--552},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GrosskreutzL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0001015,
author = {Joseph Y. Halpern and
Gerhard Lakemeyer},
title = {Multi-Agent Only Knowing},
journal = {CoRR},
volume = {cs.AI/0001015},
year = {2000},
url = {https://arxiv.org/abs/cs/0001015},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0001015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003032,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
title = {cc-Golog: Towards More Realistic Logic-Based Robot Controllers},
journal = {CoRR},
volume = {cs.AI/0003032},
year = {2000},
url = {https://arxiv.org/abs/cs/0003032},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BurgardCFHLSST99,
author = {Wolfram Burgard and
Armin B. Cremers and
Dieter Fox and
Dirk H{\"{a}}hnel and
Gerhard Lakemeyer and
Dirk Schulz and
Walter Steiner and
Sebastian Thrun},
title = {Experiences with an Interactive Museum Tour-Guide Robot},
journal = {Artif. Intell.},
volume = {114},
number = {1-2},
pages = {3--55},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00070-3},
doi = {10.1016/S0004-3702(99)00070-3},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BurgardCFHLSST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL99,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Thomas Dean},
title = {Query Evaluation and Progression in {AOL} Knowledge Bases},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {124--131},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/019.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BurgardCFHLSST98,
author = {Wolfram Burgard and
Armin B. Cremers and
Dieter Fox and
Dirk H{\"{a}}hnel and
Gerhard Lakemeyer and
Dirk Schulz and
Walter Steiner and
Sebastian Thrun},
editor = {Jack Mostow and
Chuck Rich},
title = {The Interactive Museum Tour-Guide Robot},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {11--18},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-002.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BurgardCFHLSST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ams/BurgardCFHLSST98,
author = {Wolfram Burgard and
Armin B. Cremers and
Dieter Fox and
Dirk H{\"{a}}hnel and
Gerhard Lakemeyer and
Dirk Schulz and
Walter Steiner and
Sebastian Thrun},
editor = {Heinz W{\"{o}}rn and
R{\"{u}}diger Dillmann and
Dominik Henrich},
title = {The Museum Tour-Guide Robot {RHINO}},
booktitle = {Autonome Mobile Systeme 1998, 14. Fachgespr{\"{a}}ch, Karlsruhe,
30. November - 1. Dezember 1998},
series = {Informatik Aktuell},
pages = {245--254},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-642-60043-2\_29},
doi = {10.1007/978-3-642-60043-2\_29},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ams/BurgardCFHLSST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HahnelBL98,
author = {Dirk H{\"{a}}hnel and
Wolfram Burgard and
Gerhard Lakemeyer},
editor = {Otthein Herzog and
Andreas G{\"{u}}nter},
title = {{GOLEX} - Bridging the Gap between Logic {(GOLOG)} and a Real Robot},
booktitle = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1504},
pages = {165--176},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095437},
doi = {10.1007/BFB0095437},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/HahnelBL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL98,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {{AOL:} {A} logic of Acting, Sensing, Knowing, and Only Knowing},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {316--329},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lakemeyer97,
author = {Gerhard Lakemeyer},
title = {Relevance from an Epistemic Perspective},
journal = {Artif. Intell.},
volume = {97},
number = {1-2},
pages = {137--167},
year = {1997},
url = {https://doi.org/10.1016/S0004-3702(97)00038-6},
doi = {10.1016/S0004-3702(97)00038-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lakemeyer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lakemeyer96,
author = {Gerhard Lakemeyer},
title = {Limited Reasoning in First-Order Knowledge Bases with Full Introspection},
journal = {Artif. Intell.},
volume = {84},
number = {1-2},
pages = {209--255},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(95)00063-1},
doi = {10.1016/0004-3702(95)00063-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lakemeyer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/LakemeyerL96,
author = {Gerhard Lakemeyer and
Wilfried Lang},
editor = {G{\"{u}}nther G{\"{o}}rz and
Steffen H{\"{o}}lldobler},
title = {Belief Revision in a Nonclassical Logic},
booktitle = {{KI-96:} Advances in Artificial Intelligence, 20th Annual German Conference
on Artificial Intelligence, Dresden, Germany, September 17-19, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1137},
pages = {199--211},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61708-6\_61},
doi = {10.1007/3-540-61708-6\_61},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/LakemeyerL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lakemeyer96,
author = {Gerhard Lakemeyer},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Only Knowing in the Situation Calculus},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {14--25},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lakemeyer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/HalpernL96,
author = {Joseph Y. Halpern and
Gerhard Lakemeyer},
editor = {Yoav Shoham},
title = {Multi-Agent Only Knowing},
booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
pages = {251--265},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
biburl = {https://dblp.org/rec/conf/tark/HalpernL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HalpernL95,
author = {Joseph Y. Halpern and
Gerhard Lakemeyer},
title = {Levesque's Axiomatization of only Knowing is Incomplete},
journal = {Artif. Intell.},
volume = {74},
number = {2},
pages = {381--387},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(95)00007-2},
doi = {10.1016/0004-3702(95)00007-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HalpernL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/FurbachBHNBLSP95,
author = {Ulrich Furbach and
Hans{-}J{\"{u}}rgen B{\"{u}}rckert and
Joachim Hertzberg and
Bernhard Nebel and
Gerhard Brewka and
Gerhard Lakemeyer and
Torsten Schaub and
Frank Puppe},
title = {Ist die Wissensrepr{\"{a}}sentation tot?},
journal = {K{\"{u}}nstliche Intell.},
volume = {9},
number = {5},
pages = {18--26},
year = {1995},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/FurbachBHNBLSP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lakemeyer95,
author = {Gerhard Lakemeyer},
title = {A Logical Account of Relevance},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {853--861},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/110.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lakemeyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lakemeyer94,
author = {Gerhard Lakemeyer},
title = {Limited Reasoning in First-Order Knowledge Bases},
journal = {Artif. Intell.},
volume = {71},
number = {2},
pages = {213--255},
year = {1994},
url = {https://doi.org/10.1016/0004-3702(94)90044-2},
doi = {10.1016/0004-3702(94)90044-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lakemeyer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BeckerL94,
author = {Andreas Becker and
Gerhard Lakemeyer},
editor = {Bernhard Nebel and
Leonie S. Dreschler{-}Fischer},
title = {Epistemic Queries in Classic},
booktitle = {{KI-94:} Advances in Artificial Intelligence, 18th Annual German Conference
on Artificial Intelligence, Saarbr{\"{u}}cken, Germany, September
18-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {861},
pages = {190--201},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58467-6\_17},
doi = {10.1007/3-540-58467-6\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/BeckerL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerM94,
author = {Gerhard Lakemeyer and
Susanne Meyer},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Enhancing the Power of a Decidable First-Order Reasoner},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {403--414},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/1992w1,
editor = {Gerhard Lakemeyer and
Bernhard Nebel},
title = {Foundation of Knowledge Representation and Reasoning [the book grew
out of an {ECAI-92} workshop]},
series = {Lecture Notes in Computer Science},
volume = {810},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58107-3},
doi = {10.1007/3-540-58107-3},
isbn = {3-540-58107-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/1992w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lakemeyer93,
author = {Gerhard Lakemeyer},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {All They Know About},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {662--667},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-099.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lakemeyer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lakemeyer93,
author = {Gerhard Lakemeyer},
editor = {Ruzena Bajcsy},
title = {All They Know: {A} Study in Multi-Agent Autoepistemic Reasoning},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {376--381},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/053.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lakemeyer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Lakemeyer92,
author = {Gerhard Lakemeyer},
title = {On perfect introspection with Quantifying-in},
journal = {Fundam. Informaticae},
volume = {17},
number = {1-2},
pages = {75--98},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Lakemeyer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LakemeyerN92,
author = {Gerhard Lakemeyer and
Bernhard Nebel},
editor = {Gerhard Lakemeyer and
Bernhard Nebel},
title = {Foundations of Knowledge Representation and Reasoning},
booktitle = {Foundation of Knowledge Representation and Reasoning [the book grew
out of an {ECAI-92} workshop]},
series = {Lecture Notes in Computer Science},
volume = {810},
pages = {1--12},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-58107-3\_1},
doi = {10.1007/3-540-58107-3\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LakemeyerN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lakemeyer92,
author = {Gerhard Lakemeyer},
editor = {Bernhard Nebel and
Charles Rich and
William R. Swartout},
title = {All You Ever Wanted to Know about Tweety (But Were Afraid to Ask)},
booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge
Representation and Reasoning (KR'92). Cambridge, MA, USA, October
25-29, 1992},
pages = {639--648},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Fri, 22 Jun 2018 07:35:19 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lakemeyer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Lakemeyer92,
author = {Gerhard Lakemeyer},
editor = {Yoram Moses},
title = {On Perfect Introspection With Quantifying-in},
booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1992},
pages = {199--213},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Thu, 21 Jun 2018 07:51:09 +0200},
biburl = {https://dblp.org/rec/conf/tark/Lakemeyer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lakemeyer91,
author = {Gerhard Lakemeyer},
editor = {John Mylopoulos and
Raymond Reiter},
title = {A Model of Decidable Introspective Reasoning with Quantifying-In},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {492--497},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/076.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lakemeyer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lakemeyer91,
author = {Gerhard Lakemeyer},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {On the Relation between Explicit and Implicit Belief},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {368--375},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lakemeyer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nil/Lakemeyer91,
author = {Gerhard Lakemeyer},
editor = {Gerhard Brewka and
Klaus P. Jantke and
Peter H. Schmitt},
title = {All {I} Know About Tweety},
booktitle = {Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn
Castle, Germany, December 2-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {659},
pages = {241--253},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0030396},
doi = {10.1007/BFB0030396},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/nil/Lakemeyer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Lakemeyer90,
author = {Gerhard Lakemeyer},
title = {Models of belief for decidable reasoning in incomplete knowledge bases},
school = {University of Toronto, Canada},
year = {1990},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106386354506196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Lakemeyer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lakemeyer90,
author = {Gerhard Lakemeyer},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {531--537},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-080.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lakemeyer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Lakemeyer90,
author = {Gerhard Lakemeyer},
editor = {Jan van Eijck},
title = {A Computationally Attractive First-Order Logic of Belief},
booktitle = {Logics in AI, European Workshop, {JELIA} '90, Amsterdam, The Netherlands,
September 10-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {478},
pages = {333--347},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0018451},
doi = {10.1007/BFB0018451},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Lakemeyer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/LakemeyerL88,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Moshe Y. Vardi},
title = {A Tractable Knowledge Representation Service with Full Introspection},
booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1988},
pages = {145--159},
publisher = {Morgan Kaufmann},
year = {1988},
timestamp = {Thu, 21 Jun 2018 07:50:39 +0200},
biburl = {https://dblp.org/rec/conf/tark/LakemeyerL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lakemeyer87,
author = {Gerhard Lakemeyer},
editor = {John P. McDermott},
title = {Tractable Meta-Reasoning in Propositional Logics of Belief},
booktitle = {Proceedings of the 10th International Joint Conference on Artificial
Intelligence. Milan, Italy, August 23-28, 1987},
pages = {401--408},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://ijcai.org/Proceedings/87-1/Papers/081.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lakemeyer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Lakemeyer86,
author = {Gerhard Lakemeyer},
editor = {Joseph Y. Halpern},
title = {Steps Towards a First-Order Logic of Explicit and Implicit Belief},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {325--340},
publisher = {Morgan Kaufmann},
year = {1986},
timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},
biburl = {https://dblp.org/rec/conf/tark/Lakemeyer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
