Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Thielscher
@inproceedings{DBLP:conf/acg/JiT23,
author = {James Ji and
Michael Thielscher},
editor = {Michael Hartisch and
Chu{-}Hsuan Hsueh and
Jonathan Schaeffer},
title = {{MCTS} with Dynamic Depth Minimax},
booktitle = {Advances in Computer Games - 18th International Conference, {ACG}
2023, Virtual Event, November 28-30, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14528},
pages = {63--75},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-54968-7\_6},
doi = {10.1007/978-3-031-54968-7\_6},
timestamp = {Mon, 11 Mar 2024 15:20:47 +0100},
biburl = {https://dblp.org/rec/conf/acg/JiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CunananT23,
author = {Michael Cunanan and
Michael Thielscher},
title = {On Optimal Strategies for Wordle and General Guessing Games},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {5541--5548},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/615},
doi = {10.24963/IJCAI.2023/615},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CunananT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ZammitT23,
author = {Sean Zammit and
Michael Thielscher},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {General Game Playing With State-Independent Communication},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {710--719},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/69},
doi = {10.24963/KR.2023/69},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/ZammitT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09111,
author = {Michael Cunanan and
Michael Thielscher},
title = {On Optimal Strategies for Wordle and General Guessing Games},
journal = {CoRR},
volume = {abs/2305.09111},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.09111},
doi = {10.48550/ARXIV.2305.09111},
eprinttype = {arXiv},
eprint = {2305.09111},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-09111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-12386,
author = {Bernhard Hengst and
Maurice Pagnucco and
David Rajaratnam and
Claude Sammut and
Michael Thielscher},
title = {Online Learning and Planning in Cognitive Hierarchies},
journal = {CoRR},
volume = {abs/2310.12386},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.12386},
doi = {10.48550/ARXIV.2310.12386},
eprinttype = {arXiv},
eprint = {2310.12386},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-12386.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/McEwanT22,
author = {Cameron McEwan and
Michael Thielscher},
editor = {Guodong Long and
Xinghuo Yu and
Sen Wang},
title = {Knowledge Transfer for Deep Reinforcement Agents in General Game Playing},
booktitle = {{AI} 2021: Advances in Artificial Intelligence - 34th Australasian
Joint Conference, {AI} 2021, Sydney, NSW, Australia, February 2-4,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13151},
pages = {53--66},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-97546-3\_5},
doi = {10.1007/978-3-030-97546-3\_5},
timestamp = {Wed, 23 Mar 2022 20:25:37 +0100},
biburl = {https://dblp.org/rec/conf/ausai/McEwanT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/PartridgeT22,
author = {Zachary Partridge and
Michael Thielscher},
editor = {Sankalp Khanna and
Jian Cao and
Quan Bai and
Guandong Xu},
title = {Hidden Information General Game Playing with Deep Learning and Search},
booktitle = {{PRICAI} 2022: Trends in Artificial Intelligence - 19th Pacific Rim
International Conference on Artificial Intelligence, {PRICAI} 2022,
Shanghai, China, November 10-13, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13631},
pages = {161--172},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20868-3\_12},
doi = {10.1007/978-3-031-20868-3\_12},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/PartridgeT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EngesserMNT21,
author = {Thorsten Engesser and
Robert Mattm{\"{u}}ller and
Bernhard Nebel and
Michael Thielscher},
title = {Game description language and dynamic epistemic logic compared},
journal = {Artif. Intell.},
volume = {292},
pages = {103433},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2020.103433},
doi = {10.1016/J.ARTINT.2020.103433},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EngesserMNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RajaratnamT21,
author = {David Rajaratnam and
Michael Thielscher},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Representing and Reasoning with Event Models for Epistemic Planning},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {519--528},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/49},
doi = {10.24963/KR.2021/49},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/RajaratnamT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldwaserT20,
author = {Adrian Goldwaser and
Michael Thielscher},
title = {Deep Reinforcement Learning for General Game Playing},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1701--1708},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5533},
doi = {10.1609/AAAI.V34I02.5533},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GoldwaserT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/GunawanRTN20,
author = {Alvaro Gunawan and
Ji Ruan and
Michael Thielscher and
Ajit Narayanan},
editor = {Marcus Gallagher and
Nour Moustafa and
Erandi Lakshika},
title = {Exploring a Learning Architecture for General Game Playing},
booktitle = {{AI} 2020: Advances in Artificial Intelligence - 33rd Australasian
Joint Conference, {AI} 2020, Canberra, ACT, Australia, November 29-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12576},
pages = {294--306},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64984-5\_23},
doi = {10.1007/978-3-030-64984-5\_23},
timestamp = {Fri, 27 Nov 2020 11:39:48 +0100},
biburl = {https://dblp.org/rec/conf/ausai/GunawanRTN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/degruyter/20/Thielscher20,
author = {Michael Thielscher},
editor = {G{\"{u}}nther G{\"{o}}rz and
Ute Schmid and
Tanya Braun},
title = {Universelle Spielprogramme},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 6. Auflage},
pages = {817--858},
publisher = {De Gruyter},
year = {2020},
url = {https://doi.org/10.1515/9783110659948-019},
doi = {10.1515/9783110659948-019},
timestamp = {Fri, 21 May 2021 09:50:14 +0200},
biburl = {https://dblp.org/rec/books/degruyter/20/Thielscher20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2020,
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
year = {2020},
url = {https://proceedings.kr.org/2020/},
isbn = {978-0-9992411-7-2},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SchofieldT19,
author = {Michael John Schofield and
Michael Thielscher},
title = {General Game Playing with Imperfect Information},
journal = {J. Artif. Intell. Res.},
volume = {66},
pages = {901--935},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11844},
doi = {10.1613/JAIR.1.11844},
timestamp = {Mon, 06 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SchofieldT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HengstPRST19,
author = {Bernhard Hengst and
Maurice Pagnucco and
David Rajaratnam and
Claude Sammut and
Michael Thielscher},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Perceptual Context in Cognitive Hierarchies},
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 = {352--366},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_16},
doi = {10.1007/978-3-030-22102-7\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HengstPRST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ManuelRT19,
author = {Shawn Manuel and
David Rajaratnam and
Michael Thielscher},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Encoding Epistemic Strategies for General Game Playing},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11670},
pages = {555--567},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29908-8\_44},
doi = {10.1007/978-3-030-29908-8\_44},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pricai/ManuelRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ChitizadehT18,
author = {Armin Chitizadeh and
Michael Thielscher},
editor = {Tanja Mitrovic and
Bing Xue and
Xiaodong Li},
title = {General Language Evolution in General Game Playing},
booktitle = {{AI} 2018: Advances in Artificial Intelligence - 31st Australasian
Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11320},
pages = {51--64},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03991-2\_5},
doi = {10.1007/978-3-030-03991-2\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ChitizadehT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChitizadehT18,
author = {Armin Chitizadeh and
Michael Thielscher},
editor = {Tristan Cazenave and
Abdallah Saffidine and
Nathan R. Sturtevant},
title = {Iterative Tree Search in General Game Playing with Incomplete Information},
booktitle = {Computer Games - 7th Workshop, {CGW} 2018, Held in Conjunction with
the 27th International Conference on Artificial Intelligence, {IJCAI}
2018, Stockholm, Sweden, July 13, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1017},
pages = {98--115},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-24337-1\_5},
doi = {10.1007/978-3-030-24337-1\_5},
timestamp = {Wed, 09 Feb 2022 09:38:53 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ChitizadehT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EngesserMNT18,
author = {Thorsten Engesser and
Robert Mattm{\"{u}}ller and
Bernhard Nebel and
Michael Thielscher},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Game Description Language and Dynamic Epistemic Logic Compared},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1795--1802},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/248},
doi = {10.24963/IJCAI.2018/248},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EngesserMNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2018,
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {http://www.aaai.org/Library/KR/kr18contents.php},
isbn = {978-1-57735-803-9},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-02270,
author = {Bernhard Hengst and
Maurice Pagnucco and
David Rajaratnam and
Claude Sammut and
Michael Thielscher},
title = {Perceptual Context in Cognitive Hierarchies},
journal = {CoRR},
volume = {abs/1801.02270},
year = {2018},
url = {http://arxiv.org/abs/1801.02270},
eprinttype = {arXiv},
eprint = {1801.02270},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-02270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AndersonBBBEGGI17,
author = {Monica Anderson and
Roman Bart{\'{a}}k and
John S. Brownstein and
David L. Buckeridge and
Hoda Eldardiry and
Christopher W. Geib and
Maria L. Gini and
Aaron Isaksen and
Sarah Keren and
Robert Laddaga and
Viliam Lis{\'{y}} and
Rodney Martin and
David R. Martinez and
Martin Michalowski and
Loizos Michael and
Reuth Mirsky and
Thanh Hai Nguyen and
Michael J. Paul and
Enrico Pontelli and
Scott Sanner and
Arash Shaban{-}Nejad and
Arunesh Sinha and
Shirin Sohrabi and
Kumar Sricharan and
Biplav Srivastava and
Mark Stefik and
William W. Streilein and
Nathan R. Sturtevant and
Kartik Talamadupula and
Michael Thielscher and
Julian Togelius and
Tran Cao Son and
Long Tran{-}Thanh and
Neal Wagner and
Byron C. Wallace and
Szymon Wilk and
Jichen Zhu},
title = {Reports of the Workshops of the Thirty-First {AAAI} Conference on
Artificial Intelligence},
journal = {{AI} Mag.},
volume = {38},
number = {3},
pages = {72--82},
year = {2017},
url = {https://doi.org/10.1609/aimag.v38i3.2755},
doi = {10.1609/AIMAG.V38I3.2755},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/AndersonBBBEGGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchofieldT17,
author = {Michael John Schofield and
Michael Thielscher},
editor = {Satinder Singh and
Shaul Markovitch},
title = {The Efficiency of the HyperPlay Technique Over Random Sampling},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {282--290},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10559},
doi = {10.1609/AAAI.V31I1.10559},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchofieldT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thielscher17,
author = {Michael Thielscher},
editor = {Carles Sierra},
title = {{GDL-III:} {A} Description Language for Epistemic General Game Playing},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1276--1282},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/177},
doi = {10.24963/IJCAI.2017/177},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Thielscher17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016cgw,
editor = {Tristan Cazenave and
Mark H. M. Winands and
Stefan Edelkamp and
Stephan Schiffel and
Michael Thielscher and
Julian Togelius},
title = {Computer Games - 5th Workshop on Computer Games, {CGW} 2016, and 5th
Workshop on General Intelligence in Game-Playing Agents, {GIGA} 2016,
Held in Conjunction with the 25th International Conference on Artificial
Intelligence, {IJCAI} 2016, New York City, NY, USA, July 9-10, 2016,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {705},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57969-6},
doi = {10.1007/978-3-319-57969-6},
isbn = {978-3-319-57968-9},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2016cgw.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CazenaveSST16,
author = {Tristan Cazenave and
Abdallah Saffidine and
Michael John Schofield and
Michael Thielscher},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Nested Monte Carlo Search for Two-Player Games},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {687--693},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10073},
doi = {10.1609/AAAI.V30I1.10073},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CazenaveSST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchofieldT16,
author = {Michael John Schofield and
Michael Thielscher},
editor = {Viliam Lis{\'{y}} and
Michael Thielscher and
Thanh Nguyen},
title = {The Scalability of the HyperPlay Technique for Imperfect-Information
Games},
booktitle = {Computer Poker and Imperfect Information Games, Papers from the 2016
{AAAI} Workshop, Phoenix, Arizona, USA, February 13, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-06}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12632},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchofieldT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/RajaratnamHPST16,
author = {David Rajaratnam and
Bernhard Hengst and
Maurice Pagnucco and
Claude Sammut and
Michael Thielscher},
editor = {Byeong Ho Kang and
Quan Bai},
title = {Composability in Cognitive Hierarchies},
booktitle = {{AI} 2016: Advances in Artificial Intelligence - 29th Australasian
Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9992},
pages = {42--55},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50127-7\_4},
doi = {10.1007/978-3-319-50127-7\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/RajaratnamHPST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Thielscher16,
author = {Michael Thielscher},
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 = {{GDL-III:} {A} Proposal to Extend the Game Description Language to
General Epistemic Games},
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 = {1630--1631},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1630},
doi = {10.3233/978-1-61499-672-9-1630},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Thielscher16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thielscher16,
author = {Michael Thielscher},
editor = {Subbarao Kambhampati},
title = {Sampling-Based Belief Revision},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1272--1278},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/184},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Thielscher16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ClarkHPRRST16,
author = {Keith Clark and
Bernhard Hengst and
Maurice Pagnucco and
David Rajaratnam and
Peter Robinson and
Claude Sammut and
Michael Thielscher},
editor = {Subbarao Kambhampati},
title = {A Framework for Integrating Symbolic and Sub-Symbolic Representations},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {2486--2492},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/354},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ClarkHPRRST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016poker,
editor = {Viliam Lis{\'{y}} and
Michael Thielscher and
Thanh Nguyen},
title = {Computer Poker and Imperfect Information Games, Papers from the 2016
{AAAI} Workshop, Phoenix, Arizona, USA, February 13, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-06}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/Library/Workshops/ws16-06.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2016poker.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015cgw,
editor = {Tristan Cazenave and
Mark H. M. Winands and
Stefan Edelkamp and
Stephan Schiffel and
Michael Thielscher and
Julian Togelius},
title = {Computer Games - Fourth Workshop on Computer Games, {CGW} 2015, and
the Fourth Workshop on General Intelligence in Game-Playing Agents,
{GIGA} 2015, Held in Conjunction with the 24th International Conference
on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina,
July 26-27, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {614},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39402-2},
doi = {10.1007/978-3-319-39402-2},
isbn = {978-3-319-39401-5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2015cgw.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/MorrisBCdFHKKKL15,
author = {Robert Morris and
Blai Bonet and
Marc Cavazza and
Marie desJardins and
Ariel Felner and
Nick Hawes and
Brad Knox and
Sven Koenig and
George Dimitri Konidaris and
J{\'{e}}r{\^{o}}me Lang and
Carlos Linares L{\'{o}}pez and
Daniele Magazzeni and
Amy McGovern and
Sriraam Natarajan and
Nathan R. Sturtevant and
Michael Thielscher and
William Yeoh and
Sebastian Sardi{\~{n}}a and
Kiri Wagstaff},
title = {A Summary of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence},
journal = {{AI} Mag.},
volume = {36},
number = {3},
pages = {99--106},
year = {2015},
url = {https://doi.org/10.1609/aimag.v36i3.2606},
doi = {10.1609/AIMAG.V36I3.2606},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/MorrisBCdFHKKKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/ZhangT15,
author = {Dongmo Zhang and
Michael Thielscher},
title = {Representing and Reasoning about Game Strategies},
journal = {J. Philos. Log.},
volume = {44},
number = {2},
pages = {203--236},
year = {2015},
url = {https://doi.org/10.1007/s10992-014-9334-6},
doi = {10.1007/S10992-014-9334-6},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/ZhangT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangT15,
author = {Dongmo Zhang and
Michael Thielscher},
editor = {Blai Bonet and
Sven Koenig},
title = {A Logic for Reasoning About Game Strategies},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1671--1677},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9416},
doi = {10.1609/AAAI.V29I1.9416},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchofieldT15,
author = {Michael John Schofield and
Michael Thielscher},
editor = {Blai Bonet and
Sven Koenig},
title = {Lifting Model Sampling for General Game Playing to Incomplete-Information
Models},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3585--3591},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9675},
doi = {10.1609/AAAI.V29I1.9675},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchofieldT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thielscher14,
author = {Michael Thielscher},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Simulation of Action Theories and an Application to General Game-Playing
Robots},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {33--46},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_3},
doi = {10.1007/978-3-319-14726-0\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Thielscher14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RajaratnamT15,
author = {David Rajaratnam and
Michael Thielscher},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Execution Monitoring as Meta-Games for General Game-Playing Robots},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3178--3185},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/448},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RajaratnamT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2014Genesereth,
author = {Michael R. Genesereth and
Michael Thielscher},
title = {General Game Playing},
series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
publisher = {Morgan {\&} Claypool Publishers},
year = {2014},
url = {https://doi.org/10.2200/S00564ED1V01Y201311AIM024},
doi = {10.2200/S00564ED1V01Y201311AIM024},
isbn = {978-3-031-00441-4},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2014Genesereth.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SchiffelT14,
author = {Stephan Schiffel and
Michael Thielscher},
title = {Representing and Reasoning About the Rules of General Games With Imperfect
Information},
journal = {J. Artif. Intell. Res.},
volume = {49},
pages = {171--206},
year = {2014},
url = {https://doi.org/10.1613/jair.4115},
doi = {10.1613/JAIR.4115},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SchiffelT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/RuanT14,
author = {Ji Ruan and
Michael Thielscher},
title = {Logical-Epistemic Foundations of General Game Descriptions},
journal = {Stud Logica},
volume = {102},
number = {2},
pages = {321--338},
year = {2014},
url = {https://doi.org/10.1007/s11225-014-9547-2},
doi = {10.1007/S11225-014-9547-2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/RuanT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DavilaST14,
author = {Javier Romero Davila and
Abdallah Saffidine and
Michael Thielscher},
editor = {Carla E. Brodley and
Peter Stone},
title = {Solving the Inferential Frame Problem in the General Game Description
Language},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {515--521},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8791},
doi = {10.1609/AAAI.V28I1.8791},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DavilaST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CerexheRST14,
author = {Timothy Joseph Cerexhe and
David Rajaratnam and
Abdallah Saffidine and
Michael Thielscher},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {A Systematic Solution to the (De-)Composition Problem in General Game
Playing},
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 = {195--200},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-195},
doi = {10.3233/978-1-61499-419-0-195},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CerexheRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RajaratnamLPT14,
author = {David Rajaratnam and
Hector J. Levesque and
Maurice Pagnucco and
Michael Thielscher},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Forgetting in Action},
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/7983},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/RajaratnamLPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/CerexheGT14,
author = {Timothy Joseph Cerexhe and
Martin Gebser and
Michael Thielscher},
editor = {Duc Nghia Pham and
Seong{-}Bae Park},
title = {Online Agent Logic Programming with oClingo},
booktitle = {{PRICAI} 2014: Trends in Artificial Intelligence - 13th Pacific Rim
International Conference on Artificial Intelligence, Gold Coast, QLD,
Australia, December 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8862},
pages = {945--957},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13560-1\_82},
doi = {10.1007/978-3-319-13560-1\_82},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/CerexheGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2014,
editor = {Carsten Lutz and
Michael Thielscher},
title = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German
Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8736},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11206-0},
doi = {10.1007/978-3-319-11206-0},
isbn = {978-3-319-11205-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhangT14a,
author = {Dongmo Zhang and
Michael Thielscher},
title = {Representing and Reasoning about Game Strategies},
journal = {CoRR},
volume = {abs/1407.5380},
year = {2014},
url = {http://arxiv.org/abs/1407.5380},
eprinttype = {arXiv},
eprint = {1407.5380},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhangT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/StrassT13,
author = {Hannes Strass and
Michael Thielscher},
title = {A general first-order solution to the ramification problem with cycles},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {289--308},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.05.003},
doi = {10.1016/J.JAL.2013.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/StrassT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Thielscher13,
author = {Michael Thielscher},
editor = {Marie desJardins and
Michael L. Littman},
title = {Filtering With Logic Programs and Its Application to General Game
Playing},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {890--896},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8595},
doi = {10.1609/AAAI.V27I1.8595},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Thielscher13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/HuangRT13,
author = {Xiaowei Huang and
Ji Ruan and
Michael Thielscher},
editor = {Stephen Cranefield and
Abhaya C. Nayak},
title = {Model Checking for Reasoning about Incomplete Information Games},
booktitle = {{AI} 2013: Advances in Artificial Intelligence - 26th Australasian
Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8272},
pages = {246--258},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03680-9\_27},
doi = {10.1007/978-3-319-03680-9\_27},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/HuangRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/RajaratnamT13,
author = {David Rajaratnam and
Michael Thielscher},
editor = {Stephen Cranefield and
Abhaya C. Nayak},
title = {Towards General Game-Playing Robots: Models, Architecture and Game
Controller},
booktitle = {{AI} 2013: Advances in Artificial Intelligence - 26th Australasian
Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8272},
pages = {271--276},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03680-9\_29},
doi = {10.1007/978-3-319-03680-9\_29},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/RajaratnamT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CerexheST13,
author = {Timothy Joseph Cerexhe and
Orkunt Sabuncu and
Michael Thielscher},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Evaluating Answer Set Clause Learning for General Game Playing},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {219--232},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_22},
doi = {10.1007/978-3-642-40564-8\_22},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CerexheST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PagnuccoRST13,
author = {Maurice Pagnucco and
David Rajaratnam and
Hannes Strass and
Michael Thielscher},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Implementing Belief Change in the Situation Calculus and an Application},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {439--451},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_44},
doi = {10.1007/978-3-642-40564-8\_44},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PagnuccoRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ol/13/Thielscher13,
author = {Michael Thielscher},
editor = {G{\"{u}}nther G{\"{o}}rz and
Josef Schneeberger and
Ute Schmid},
title = {Universelle Spielprogramme},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 5. Auflage},
pages = {613--650},
publisher = {Oldenbourg Wissenschaftsverlag},
year = {2013},
url = {https://doi.org/10.1524/9783486719796.613},
doi = {10.1524/9783486719796.613},
timestamp = {Fri, 21 May 2021 10:09:44 +0200},
biburl = {https://dblp.org/rec/books/ol/13/Thielscher13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HaufeST12,
author = {Sebastian Haufe and
Stephan Schiffel and
Michael Thielscher},
title = {Automated verification of state sequence invariants in general game
playing},
journal = {Artif. Intell.},
volume = {187},
pages = {1--30},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2012.04.003},
doi = {10.1016/J.ARTINT.2012.04.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HaufeST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchofieldCT12,
author = {Michael John Schofield and
Timothy Joseph Cerexhe and
Michael Thielscher},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {HyperPlay: {A} Solution to General Game Playing with Imperfect Information},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {1606--1612},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8335},
doi = {10.1609/AAAI.V26I1.8335},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchofieldCT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StrassT12,
author = {Hannes Strass and
Michael Thielscher},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {A Language for Default Reasoning about Actions},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {527--542},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_36},
doi = {10.1007/978-3-642-30743-0\_36},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/StrassT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RuanT12,
author = {Ji Ruan and
Michael Thielscher},
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 = {Strategic and Epistemic Reasoning for the Game Description Language
{GDL-II}},
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 = {696--701},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-696},
doi = {10.3233/978-1-61499-098-7-696},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/RuanT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HaufeT12,
author = {Sebastian Haufe and
Michael Thielscher},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Automated Verification of Epistemic Properties for General Game Playing},
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/4486},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HaufeT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/2012,
editor = {Michael Thielscher and
Dongmo Zhang},
title = {{AI} 2012: Advances in Artificial Intelligence - 25th Australasian
Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7691},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35101-3},
doi = {10.1007/978-3-642-35101-3},
isbn = {978-3-642-35100-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Thielscher11,
author = {Michael Thielscher},
title = {A unifying action calculus},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {120--141},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.010},
doi = {10.1016/J.ARTINT.2010.04.010},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Thielscher11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Thielscher11,
author = {Michael Thielscher},
title = {Special Issue on General Game Playing},
journal = {K{\"{u}}nstliche Intell.},
volume = {25},
number = {1},
pages = {5--7},
year = {2011},
url = {https://doi.org/10.1007/s13218-010-0084-5},
doi = {10.1007/S13218-010-0084-5},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Thielscher11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/HaufeMST11,
author = {Sebastian Haufe and
Daniel Michulke and
Stephan Schiffel and
Michael Thielscher},
title = {Knowledge-Based General Game Playing},
journal = {K{\"{u}}nstliche Intell.},
volume = {25},
number = {1},
pages = {25--33},
year = {2011},
url = {https://doi.org/10.1007/s13218-010-0073-8},
doi = {10.1007/S13218-010-0073-8},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/HaufeMST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Thielscher11a,
author = {Michael Thielscher},
title = {{GDL-II}},
journal = {K{\"{u}}nstliche Intell.},
volume = {25},
number = {1},
pages = {63--66},
year = {2011},
url = {https://doi.org/10.1007/s13218-010-0076-5},
doi = {10.1007/S13218-010-0076-5},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Thielscher11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DrescherT11,
author = {Conrad Drescher and
Michael Thielscher},
title = {ALPprolog - {A} new logic programming method for dynamic domains},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {451--468},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000111},
doi = {10.1017/S1471068411000111},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DrescherT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PagnuccoRST11,
author = {Maurice Pagnucco and
David Rajaratnam and
Hannes Strass and
Michael Thielscher},
title = {How to Plan When Being Deliberately Misled},
booktitle = {Automated Action Planning for Autonomous Mobile Robots, Papers from
the 2011 {AAAI} Workshop, San Francisco, California, USA, August 7,
2011},
series = {{AAAI} Technical Report},
volume = {{WS-11-09}},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3821},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PagnuccoRST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RuanT11,
author = {Ji Ruan and
Michael Thielscher},
editor = {Wolfram Burgard and
Dan Roth},
title = {The Epistemic Logic Behind the Game Description Language},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {840--845},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7943},
doi = {10.1609/AAAI.V25I1.7943},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RuanT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchiffelT11,
author = {Stephan Schiffel and
Michael Thielscher},
editor = {Wolfram Burgard and
Dan Roth},
title = {Reasoning About General Games Described in {GDL-II}},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {846--851},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7944},
doi = {10.1609/AAAI.V25I1.7944},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchiffelT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/RuanT11,
author = {Ji Ruan and
Michael Thielscher},
editor = {Dianhui Wang and
Mark Reynolds},
title = {A Logic for Knowledge Flow in Social Networks},
booktitle = {{AI} 2011: Advances in Artificial Intelligence - 24th Australasian
Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7106},
pages = {511--520},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25832-9\_52},
doi = {10.1007/978-3-642-25832-9\_52},
timestamp = {Fri, 02 Jul 2021 14:10:58 +0200},
biburl = {https://dblp.org/rec/conf/ausai/RuanT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thielscher11,
author = {Michael Thielscher},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Translating General Game Descriptions into an Action Language},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {300--314},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_19},
doi = {10.1007/978-3-642-20832-4\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Thielscher11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thielscher11,
author = {Michael Thielscher},
editor = {Toby Walsh},
title = {The General Game Playing Description Language Is Universal},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1107--1112},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-189},
doi = {10.5591/978-1-57735-516-8/IJCAI11-189},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Thielscher11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Thielscher11,
author = {Michael Thielscher},
editor = {Joscha Bach and
Stefan Edelkamp},
title = {General Game Playing in {AI} Research and Education},
booktitle = {{KI} 2011: Advances in Artificial Intelligence, 34th Annual German
Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7006},
pages = {26--37},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24455-1\_3},
doi = {10.1007/978-3-642-24455-1\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Thielscher11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5242,
author = {Conrad Drescher and
Michael Thielscher},
title = {ALPprolog --- {A} New Logic Programming Method for Dynamic Domains},
journal = {CoRR},
volume = {abs/1107.5242},
year = {2011},
url = {http://arxiv.org/abs/1107.5242},
eprinttype = {arXiv},
eprint = {1107.5242},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Thielscher10,
author = {Michael Thielscher},
editor = {Maria Fox and
David Poole},
title = {A General Game Description Language for Incomplete Information Games},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {994--999},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7647},
doi = {10.1609/AAAI.V24I1.7647},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Thielscher10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ThielscherV10,
author = {Michael Thielscher and
Sebastian Voigt},
editor = {Maria Fox and
David Poole},
title = {A Temporal Proof System for General Game Playing},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {1000--1005},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7646},
doi = {10.1609/AAAI.V24I1.7646},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ThielscherV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/HaufeT10,
author = {Sebastian Haufe and
Michael Thielscher},
editor = {Jiuyong Li},
title = {Pushing the Envelope: General Game Players Prove Theorems},
booktitle = {{AI} 2010: Advances in Artificial Intelligence - 23rd Australasian
Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6464},
pages = {1--10},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17432-2\_1},
doi = {10.1007/978-3-642-17432-2\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/HaufeT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/MartinT10,
author = {Yves Martin and
Michael Thielscher},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {Integrating Reasoning about Actions and Bayesian Networks},
booktitle = {{ICAART} 2010 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia,
Spain, January 22-24, 2010},
pages = {298--304},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Wed, 03 Mar 2010 08:01:07 +0100},
biburl = {https://dblp.org/rec/conf/icaart/MartinT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannBSTZ10,
author = {Ringo Baumann and
Gerhard Brewka and
Hannes Strass and
Michael Thielscher and
Vadim Zaslawski},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {State Defaults and Ramifications in the Unifying Action Calculus},
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/1247},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaumannBSTZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Thielscher10,
author = {Michael Thielscher},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Integrating Action Calculi and AgentSpeak: Closing the Gap},
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/1347},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Thielscher10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/StrassT10,
author = {Hannes Strass and
Michael Thielscher},
editor = {Andrei Voronkov and
Geoff Sutcliffe and
Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
title = {Default Reasoning in Action Domains with Conditional, Non-Local Effect
Actions},
booktitle = {Short papers for 17th International Conference on Logic for Programming,
Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
Indonesia, October 10-15, 2010},
series = {EPiC Series in Computing},
volume = {13},
pages = {58--63},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/xz7v},
doi = {10.29007/XZ7V},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/StrassT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amec/ThielscherZ09,
author = {Michael Thielscher and
Dongmo Zhang},
editor = {Esther David and
Enrico H. Gerding and
David Sarne and
Onn Shehory},
title = {From General Game Descriptions to a Market Specification Language
for General Trading Agents},
booktitle = {Agent-Mediated Electronic Commerce. Designing Trading Strategies and
Mechanisms for Electronic Markets - {AAMAS} Workshop, {AMEC} 2009,
Budapest, Hungary, May 12, 2009, and {IJCAI} Workshop, {TADA} 2009,
Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {59},
pages = {259--274},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-15117-0\_18},
doi = {10.1007/978-3-642-15117-0\_18},
timestamp = {Thu, 07 Jul 2022 17:31:33 +0200},
biburl = {https://dblp.org/rec/conf/amec/ThielscherZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/StrassT09,
author = {Hannes Strass and
Michael Thielscher},
editor = {Ann E. Nicholson and
Xiaodong Li},
title = {Simple Default Reasoning in Theories of Action},
booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5866},
pages = {31--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10439-8\_4},
doi = {10.1007/978-3-642-10439-8\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/StrassT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhaoST09,
author = {Dengji Zhao and
Stephan Schiffel and
Michael Thielscher},
editor = {Ann E. Nicholson and
Xiaodong Li},
title = {Decomposition of Multi-player Games},
booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5866},
pages = {475--484},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10439-8\_48},
doi = {10.1007/978-3-642-10439-8\_48},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhaoST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DrescherLBGPST09,
author = {Conrad Drescher and
Hongkai Liu and
Franz Baader and
Steffen Guhlemann and
Uwe Petersohn and
Peter Steinke and
Michael Thielscher},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Putting ABox Updates into Action},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {214--229},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_13},
doi = {10.1007/978-3-642-04222-5\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DrescherLBGPST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DrescherST09,
author = {Conrad Drescher and
Stephan Schiffel and
Michael Thielscher},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {A Declarative Agent Programming Language Based on Action Theories},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {230--245},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_14},
doi = {10.1007/978-3-642-04222-5\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DrescherST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SchiffelT09,
author = {Stephan Schiffel and
Michael Thielscher},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {Specifying Multiagent Environments Systems in the Game Description
Language},
booktitle = {{ICAART} 2009 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
pages = {21--28},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Tue, 19 May 2009 15:52:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SchiffelT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SchiffelT09a,
author = {Stephan Schiffel and
Michael Thielscher},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {A Multiagent Semantics for the Game Description Language},
booktitle = {Agents and Artificial Intelligence - International Conference, {ICAART}
2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {67},
pages = {44--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11819-7\_4},
doi = {10.1007/978-3-642-11819-7\_4},
timestamp = {Sat, 19 Oct 2019 20:06:54 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SchiffelT09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Thielscher09,
author = {Michael Thielscher},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Answer Set Programming for Single-Player Games in General Game Playing},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {327--341},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_28},
doi = {10.1007/978-3-642-02846-5\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Thielscher09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchiffelT09,
author = {Stephan Schiffel and
Michael Thielscher},
editor = {Craig Boutilier},
title = {Automated Theorem Proving for General Game Playing},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {911--916},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/155.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchiffelT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/StrassT09,
author = {Hannes Strass and
Michael Thielscher},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {On Defaults in Action Theories},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {298--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_38},
doi = {10.1007/978-3-642-04617-9\_38},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/StrassT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/MichulkeT09,
author = {Daniel Michulke and
Michael Thielscher},
editor = {Wray L. Buntine and
Marko Grobelnik and
Dunja Mladenic and
John Shawe{-}Taylor},
title = {Neural Networks for State Evaluation in General Game Playing},
booktitle = {Machine Learning and Knowledge Discovery in Databases, European Conference,
{ECML} {PKDD} 2009, Bled, Slovenia, September 7-11, 2009, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5782},
pages = {95--110},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04174-7\_7},
doi = {10.1007/978-3-642-04174-7\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/MichulkeT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2008,
editor = {Michael Fisher and
Fariba Sadri and
Michael Thielscher},
title = {Computational Logic in Multi-Agent Systems, 9th International Workshop,
{CLIMA} IX, Dresden, Germany, September 29-30, 2008. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5405},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02734-5},
doi = {10.1007/978-3-642-02734-5},
isbn = {978-3-642-02733-8},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2008Thielscher,
author = {Michael Thielscher},
title = {Action Programming Languages},
series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
publisher = {Morgan {\&} Claypool Publishers},
year = {2008},
url = {https://doi.org/10.2200/S00143ED1V01Y200807AIM005},
doi = {10.2200/S00143ED1V01Y200807AIM005},
isbn = {978-3-031-00419-3},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2008Thielscher.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/JinT08,
author = {Yi Jin and
Michael Thielscher},
title = {Reinforcement Belief Revision},
journal = {J. Log. Comput.},
volume = {18},
number = {5},
pages = {783--813},
year = {2008},
url = {https://doi.org/10.1093/logcom/exm094},
doi = {10.1093/LOGCOM/EXM094},
timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/JinT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DrescherT08,
author = {Conrad Drescher and
Michael Thielscher},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {A Fluent Calculus Semantics for {ADL} with Plan Constraints},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {140--152},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_13},
doi = {10.1007/978-3-540-87803-2\_13},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/DrescherT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JinT07,
author = {Yi Jin and
Michael Thielscher},
title = {Iterated belief revision, revised},
journal = {Artif. Intell.},
volume = {171},
number = {1},
pages = {1--18},
year = {2007},
url = {https://doi.org/10.1016/j.artint.2006.11.002},
doi = {10.1016/J.ARTINT.2006.11.002},
timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/JinT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/McIlraithPT07,
author = {Sheila A. McIlraith and
Pavlos Peppas and
Michael Thielscher},
title = {Preface},
journal = {J. Log. Comput.},
volume = {17},
number = {5},
pages = {847--849},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm044},
doi = {10.1093/LOGCOM/EXM044},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/McIlraithPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JinTZ07,
author = {Yi Jin and
Michael Thielscher and
Dongmo Zhang},
title = {Mutual Belief Revision: Semantics and Computation},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {440--445},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-069.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JinTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchiffelT07,
author = {Stephan Schiffel and
Michael Thielscher},
title = {Fluxplayer: {A} Successful General Game Player},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1191--1196},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-189.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchiffelT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/DrescherT07,
author = {Conrad Drescher and
Michael Thielscher},
editor = {Joachim Hertzberg and
Michael Beetz and
Roman Englert},
title = {Integrating Action Calculi and Description Logics},
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 = {68--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74565-5\_8},
doi = {10.1007/978-3-540-74565-5\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/DrescherT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/SchiffelTT07,
author = {Stephan Schiffel and
Michael Thielscher and
Doan Thu Trang},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Alessandro Ricci and
Michael Winikoff},
title = {An Agent Team Based on {FLUX} for the ProMAS Contest 2007},
booktitle = {Programming Multi-Agent Systems, 5th International Workshop, ProMAS
2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4908},
pages = {261--265},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79043-3\_19},
doi = {10.1007/978-3-540-79043-3\_19},
timestamp = {Wed, 12 Aug 2020 21:55:20 +0200},
biburl = {https://dblp.org/rec/conf/promas/SchiffelTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AchtnerAA06,
author = {Wolfgang Achtner and
Esma A{\"{\i}}meur and
Sarabjot Singh Anand and
Douglas E. Appelt and
Naveen Ashish and
Tiffany Barnes and
Joseph E. Beck and
M. Bernardine Dias and
Prashant Doshi and
Chris Drummond and
William Elazmeh and
Ariel Felner and
Dayne Freitag and
Hector Geffner and
Christopher W. Geib and
Richard Goodwin and
Robert C. Holte and
Frank Hutter and
Fair Isaac and
Nathalie Japkowicz and
Gal A. Kaminka and
Sven Koenig and
Michail G. Lagoudakis and
David B. Leake and
Lundy Lewis and
Hugo Liu and
Ted Metzler and
Rada Mihalcea and
Bamshad Mobasher and
Pascal Poupart and
David V. Pynadath and
Thomas Roth{-}Berghofer and
Wheeler Ruml and
Stefan Schulz and
Sven Schwarz and
Stephanie Seneff and
Amit P. Sheth and
Ron Sun and
Michael Thielscher and
Afzal Upal and
Jason D. Williams and
Steve J. Young and
Dmitry Zelenko},
title = {Reports on the Twenty-First National Conference on Artificial Intelligence
{(AAAI-06)} Workshop Program},
journal = {{AI} Mag.},
volume = {27},
number = {4},
pages = {92--102},
year = {2006},
url = {https://doi.org/10.1609/aimag.v27i4.1912},
doi = {10.1609/AIMAG.V27I4.1912},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/AchtnerAA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/CoradeschiIASTBMI06,
author = {Silvia Coradeschi and
Hiroshi Ishiguro and
Minoru Asada and
Stuart C. Shapiro and
Michael Thielscher and
Cynthia Breazeal and
Maja J. Mataric and
Hiroshi Ishida},
title = {Human-Inspired Robots},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {4},
pages = {74--85},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.72},
doi = {10.1109/MIS.2006.72},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/CoradeschiIASTBMI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Thielscher06,
author = {Michael Thielscher},
title = {General Game Playing},
journal = {K{\"{u}}nstliche Intell.},
volume = {20},
number = {4},
pages = {37--39},
year = {2006},
url = {http://www.kuenstliche-intelligenz.de/index.php?id=7750\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1207\&\#38;cHash=c9b975607c},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Thielscher06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchiffelT06,
author = {Stephan Schiffel and
Michael Thielscher},
title = {Reconciling Situation Calculus and Fluent Calculus},
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 = {287--292},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-046.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchiffelT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SchiffelT06,
author = {Stephan Schiffel and
Michael Thielscher},
editor = {Katsumi Inoue and
Ken Satoh and
Francesca Toni},
title = {Multi-Agent {FLUX} for the Gold Mining Domain (System Description)},
booktitle = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
{CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4371},
pages = {294--303},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69619-3\_17},
doi = {10.1007/978-3-540-69619-3\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/SchiffelT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ThielscherW06,
author = {Michael Thielscher and
Thomas Witkowski},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {The Features-and-Fluents Semantics for the Fluent Calculus},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {362--370},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-038.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ThielscherW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0013281,
author = {Michael Thielscher},
title = {Reasoning robots - the art and science of programming robotic agents},
series = {Applied logic series},
volume = {33},
publisher = {Springer},
year = {2005},
isbn = {978-1-4020-3068-0},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0013281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Thielscher05,
author = {Michael Thielscher},
title = {{FLUX:} {A} logic programming method for reasoning agents},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {4-5},
pages = {533--565},
year = {2005},
url = {https://doi.org/10.1017/S1471068405002358},
doi = {10.1017/S1471068405002358},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Thielscher05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Thielscher05,
author = {Michael Thielscher},
editor = {Peter van Beek},
title = {Handling Implication and Universal Quantification Constraints in {FLUX}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {667--681},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_49},
doi = {10.1007/11564751\_49},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Thielscher05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecml/SkubchT05,
author = {Hendrik Skubch and
Michael Thielscher},
editor = {Jo{\~{a}}o Gama and
Rui Camacho and
Pavel Brazdil and
Al{\'{\i}}pio Jorge and
Lu{\'{\i}}s Torgo},
title = {Strategy Learning for Reasoning Agents},
booktitle = {Machine Learning: {ECML} 2005, 16th European Conference on Machine
Learning, Porto, Portugal, October 3-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3720},
pages = {733--740},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564096\_75},
doi = {10.1007/11564096\_75},
timestamp = {Wed, 24 Mar 2021 17:12:00 +0100},
biburl = {https://dblp.org/rec/conf/ecml/SkubchT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JinT05,
author = {Yi Jin and
Michael Thielscher},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Iterated Belief Revision, Revised},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {478--483},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0779.pdf},
timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/JinT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/JinT05,
author = {Yi Jin and
Michael Thielscher},
editor = {James P. Delgrande and
J{\'{e}}r{\^{o}}me Lang and
Hans Rott and
Jean{-}Marc Tallon},
title = {Actions and Belief Revision: {A} Computational Approach},
booktitle = {Belief Change in Rational Agents: Perspectives from Artificial Intelligence,
Philosophy, and Economics, 7.-12. August 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05321},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/359},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/JinT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MartinNT04,
author = {Yves Martin and
Iman Narasamdya and
Michael Thielscher},
editor = {Shlomo Zilberstein and
Jana Koehler and
Sven Koenig},
title = {Knowledge of Other Agents and Communicative Actions in the Fluent
Calculus},
booktitle = {Proceedings of the Fourteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2004), June 3-7 2004, Whistler, British
Columbia, Canada},
pages = {12--22},
publisher = {{AAAI}},
year = {2004},
url = {http://www.aaai.org/Library/ICAPS/2004/icaps04-006.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/MartinNT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JinT04,
author = {Yi Jin and
Michael Thielscher},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Representing Beliefs in the Fluent Calculus},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {823--827},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/JinT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MartinNT04,
author = {Yves Martin and
Iman Narasamdya and
Michael Thielscher},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Knowledge of Other Agents and Communicative Actions in the Fluent
Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {623--633},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-065.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MartinNT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0408044,
author = {Michael Thielscher},
title = {{FLUX:} {A} Logic Programming Method for Reasoning Agents},
journal = {CoRR},
volume = {cs.AI/0408044},
year = {2004},
url = {http://arxiv.org/abs/cs.AI/0408044},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0408044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FichtnerGT03,
author = {Matthias Fichtner and
Axel Gro{\ss}mann and
Michael Thielscher},
title = {Intelligent Execution Monitoring in Dynamic Environments},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {371--392},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-12},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FichtnerGT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Thielscher03,
author = {Michael Thielscher},
editor = {Catuscia Palamidessi},
title = {Controlling Semi-automatic Systems with {FLUX}},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {515--516},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_49},
doi = {10.1007/978-3-540-24599-5\_49},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Thielscher03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KahramanogullariT03,
author = {Ozan Kahramanogullari and
Michael Thielscher},
editor = {Andreas G{\"{u}}nter and
Rudolf Kruse and
Bernd Neumann},
title = {A Formal Assessment Result for Fluent Calculus Using the Action Description
Language A\({}_{\mbox{k}}\)},
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 = {209--223},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39451-8\_16},
doi = {10.1007/978-3-540-39451-8\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/KahramanogullariT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Thielscher02,
author = {Michael Thielscher},
editor = {Peter J. Stuckey},
title = {Reasoning about Actions with CHRs and Finite Domain Constraints},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {70--84},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_6},
doi = {10.1007/3-540-45619-8\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Thielscher02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Thielscher01,
author = {Michael Thielscher},
title = {The Qualification Problem: {A} solution to the problem of anomalous
models},
journal = {Artif. Intell.},
volume = {131},
number = {1-2},
pages = {1--37},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(01)00131-X},
doi = {10.1016/S0004-3702(01)00131-X},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Thielscher01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Thielscher01,
author = {Michael Thielscher},
title = {The Concurrent, Continuous Fluent Calculus},
journal = {Stud Logica},
volume = {67},
number = {3},
pages = {315--331},
year = {2001},
url = {https://doi.org/10.1023/A:1010558931274},
doi = {10.1023/A:1010558931274},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Thielscher01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Thielscher01,
author = {Michael Thielscher},
editor = {Markus Stumptner and
Dan Corbett and
Michael J. Brooks},
title = {Planning with Noisy Actions},
booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint
Conference on Artificial Intelligence, Adelaide, Australia, December
10-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2256},
pages = {495--506},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45656-2\_43},
doi = {10.1007/3-540-45656-2\_43},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/Thielscher01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MartinT01,
author = {Yves Martin and
Michael Thielscher},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Addressing the Qualification Problem in {FLUX}},
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 = {290--304},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_21},
doi = {10.1007/3-540-45422-5\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/MartinT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Thielscher01,
author = {Michael Thielscher},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Inferring Implicit State Knowledge and Plans with Sensing Actions},
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 = {366--380},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_26},
doi = {10.1007/3-540-45422-5\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Thielscher01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Thielscher00,
author = {Michael Thielscher},
title = {Challenges for Action Theories},
series = {Lecture Notes in Computer Science},
volume = {1775},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45596-5},
doi = {10.1007/3-540-45596-5},
isbn = {3-540-67455-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Thielscher00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Thielscher00,
author = {Michael Thielscher},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Modeling Actions with Ramifications in Nondeterministic, Concurrent,
and Continuous Domains - and a Case Study},
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 = {497--502},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-076.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Thielscher00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thielscher00,
author = {Michael Thielscher},
editor = {Steffen H{\"{o}}lldobler},
title = {Nondeterministic Actions in the Fluent Calculus: Disjunctive State
Update Axioms},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
of his 60th birthday)},
series = {Applied Logic Series},
volume = {19},
pages = {327--345},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Thielscher00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/StorrT00,
author = {Hans{-}Peter St{\"{o}}rr and
Michael Thielscher},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A New Equational Foundation for the Fluent Calculus},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {733--746},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_49},
doi = {10.1007/3-540-44957-4\_49},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/StorrT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Thielscher00,
author = {Michael Thielscher},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Representing the Knowledge of a Robot},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {109--120},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/Thielscher00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Thielscher99,
author = {Michael Thielscher},
title = {From Situation Calculus to Fluent Calculus: State Update Axioms as
a Solution to the Inferential Frame Problem},
journal = {Artif. Intell.},
volume = {111},
number = {1-2},
pages = {277--299},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00033-8},
doi = {10.1016/S0004-3702(99)00033-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Thielscher99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GabbayNT99,
author = {Dov M. Gabbay and
Rolf Nossum and
Michael Thielscher},
title = {Agents in Proactive Environments},
journal = {J. Log. Comput.},
volume = {9},
number = {1},
pages = {25--45},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.1.25},
doi = {10.1093/LOGCOM/9.1.25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GabbayNT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/NossumT99,
author = {Rolf Nossum and
Michael Thielscher},
editor = {Paolo Bouquet and
Luciano Serafini and
Patrick Br{\'{e}}zillon and
Massimo Benerecetti and
F. Castellani},
title = {Counterfactual Reasoning by Means of a Calculus of Narrative Context},
booktitle = {Modeling and Using Context, Second International and Interdisciplinary
Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1688},
pages = {495--498},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48315-2\_47},
doi = {10.1007/3-540-48315-2\_47},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/context/NossumT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Thielscher99,
author = {Michael Thielscher},
editor = {Wolfram Burgard and
Thomas Christaller and
Armin B. Cremers},
title = {A Theory of First-Order Counterfactual Reasoning},
booktitle = {{KI-99:} Advances in Artificial Intelligence, 23rd Annual German Conference
on Artificial Intelligence, Bonn, Germany, September 13-15, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1701},
pages = {137--148},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48238-5\_11},
doi = {10.1007/3-540-48238-5\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Thielscher99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Thielscher98,
author = {Michael Thielscher},
title = {Reasoning About Actions: Steady Versus Stabilizing State Constraints},
journal = {Artif. Intell.},
volume = {104},
number = {1-2},
pages = {339--355},
year = {1998},
url = {https://doi.org/10.1016/S0004-3702(98)00084-8},
doi = {10.1016/S0004-3702(98)00084-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Thielscher98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/Thielscher98,
author = {Michael Thielscher},
title = {Introduction to the Fluent Calculus},
journal = {Electron. Trans. Artif. Intell.},
volume = {2},
pages = {179--192},
year = {1998},
url = {http://www.ep.liu.se/ej/etai/1998/006/},
timestamp = {Wed, 05 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/etai/Thielscher98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Thielscher98,
author = {Michael Thielscher},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Towards State Update Axioms: Reifying Successor State Axioms},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {248--263},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_17},
doi = {10.1007/3-540-49545-2\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Thielscher98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Thielscher98,
author = {Michael Thielscher},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {How (Not) To Minimize Events},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {60--73},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/Thielscher98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0091615,
author = {Michael Thielscher},
title = {Challenges for action theories - solving the ramification and qualification
problem},
year = {1997},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0091615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Thielscher97,
author = {Michael Thielscher},
title = {Ramification and Causality},
journal = {Artif. Intell.},
volume = {89},
number = {1-2},
pages = {317--364},
year = {1997},
url = {https://doi.org/10.1016/S0004-3702(96)00033-1},
doi = {10.1016/S0004-3702(96)00033-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Thielscher97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/Thielscher97,
author = {Michael Thielscher},
title = {A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial
Intelligence},
journal = {Electron. Trans. Artif. Intell.},
volume = {1},
pages = {73--104},
year = {1997},
url = {http://www.ep.liu.se/ej/etai/1997/004/},
timestamp = {Wed, 05 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/etai/Thielscher97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BornscheuerT97,
author = {Sven{-}Erik Bornscheuer and
Michael Thielscher},
title = {Explicit and Implicit Indeterminism: Reasoning About Uncertain and
Contradictory Specifications of Dynamic Systems},
journal = {J. Log. Program.},
volume = {31},
number = {1-3},
pages = {119--155},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00124-0},
doi = {10.1016/S0743-1066(96)00124-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BornscheuerT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Thielscher97,
author = {Michael Thielscher},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Qualified Ramifications},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {466--471},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-072.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Thielscher97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GabbayNT97,
author = {Dov M. Gabbay and
Rolf Nossum and
Michael Thielscher},
editor = {Gerhard Brewka and
Christopher Habel and
Bernhard Nebel},
title = {Agents in Proactive Environments},
booktitle = {{KI-97:} Advances in Artificial Intelligence, 21st Annual German Conference
on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1303},
pages = {389--392},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3540634932\_34},
doi = {10.1007/3540634932\_34},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/GabbayNT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BornscheuerT96,
author = {Sven{-}Erik Bornscheuer and
Michael Thielscher},
title = {Representing Concurrent Actions and Solving Conflicts},
journal = {Log. J. {IGPL}},
volume = {4},
number = {3},
pages = {355--368},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.3.355},
doi = {10.1093/JIGPAL/4.3.355},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BornscheuerT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Thielscher96,
author = {Michael Thielscher},
title = {On the Completeness of SLDENF-Resolution},
journal = {J. Autom. Reason.},
volume = {17},
number = {2},
pages = {199--214},
year = {1996},
url = {https://doi.org/10.1007/BF00244496},
doi = {10.1007/BF00244496},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Thielscher96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HerrmannT96,
author = {Christoph S. Herrmann and
Michael Thielscher},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Reasoning about Continuous Processes},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {639--644},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-095.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HerrmannT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/EderHT96,
author = {Kerstin Eder and
Steffen H{\"{o}}lldobler and
Michael Thielscher},
editor = {Roy Dyckhoff and
Heinrich Herre and
Peter Schroeder{-}Heister},
title = {An Abstract Machine for Reasoning about Situations, Actions, and Causality},
booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
Leipzig, Germany, March 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1050},
pages = {137--151},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60983-0\_9},
doi = {10.1007/3-540-60983-0\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/EderHT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fapr/SchaubT96,
author = {Torsten Schaub and
Michael Thielscher},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Skeptical Query-Answering in Constrained Default Logic},
booktitle = {Practical Reasoning, International Conference on Formal and Applied
Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1085},
pages = {567--581},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61313-7\_101},
doi = {10.1007/3-540-61313-7\_101},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fapr/SchaubT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Thielscher96,
author = {Michael Thielscher},
editor = {Michael J. Maher},
title = {A Nonmonotonic Disputation-Based Semantics and Proof Procedure for
Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {483--497},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278905},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Thielscher96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Thielscher96,
author = {Michael Thielscher},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Causality and the Qualification Problem},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {51--62},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Thielscher96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0078955,
author = {Michael Thielscher},
title = {Automatisiertes Schlie{\ss}en {\"{u}}ber Kausalbeziehungen mit
SLDENDF-Resolution},
school = {Darmstadt University of Technology, Germany},
year = {1995},
url = {https://d-nb.info/94324207X},
isbn = {978-3-929037-76-0},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0078955.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HolldoblerT95,
author = {Steffen H{\"{o}}lldobler and
Michael Thielscher},
title = {Computing change and specificity with equational logic programs},
journal = {Ann. Math. Artif. Intell.},
volume = {14},
number = {1},
pages = {99--133},
year = {1995},
url = {https://doi.org/10.1007/BF01530895},
doi = {10.1007/BF01530895},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/HolldoblerT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ThielscherS95,
author = {Michael Thielscher and
Torsten Schaub},
title = {Default Reasoning by Deductive Planning},
journal = {J. Autom. Reason.},
volume = {15},
number = {1},
pages = {1--40},
year = {1995},
url = {https://doi.org/10.1007/BF00881829},
doi = {10.1007/BF00881829},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ThielscherS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thielscher95,
author = {Michael Thielscher},
title = {The Logic of Dynamic Systems},
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 = {1956--1963},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/119.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Thielscher95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thielscher95a,
author = {Michael Thielscher},
title = {Computing Ramifications by Postprocessing},
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 = {1994--2000},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/124.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Thielscher95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Thielscher95,
author = {Michael Thielscher},
editor = {Ipke Wachsmuth and
Claus{-}Rainer Rollinger and
Wilfried Brauer},
title = {What Is a Skeptical Proof?},
booktitle = {{KI-95:} Advances in Artificial Intelligence, 19th Annual German Conference
on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {981},
pages = {161--172},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60343-3\_34},
doi = {10.1007/3-540-60343-3\_34},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Thielscher95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/WaalT95,
author = {D. Andre de Waal and
Michael Thielscher},
editor = {Maurizio Proietti},
title = {Solving Deductive Planning Problems Using Program Analysis and Transformation},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {189--203},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_15},
doi = {10.1007/3-540-60939-3\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/WaalT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EderHT95,
author = {Kerstin Eder and
Steffen H{\"{o}}lldobler and
Michael Thielscher},
editor = {Andreas Krall and
Ulrich Geske},
title = {A Resource-Oriented Deductive Approach Towards Hierarchical Planning},
booktitle = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
pages = {237--246},
year = {1995},
timestamp = {Thu, 21 Mar 2019 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/wlp/EderHT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/BibelT94,
author = {Wolfgang Bibel and
Michael Thielscher},
editor = {Setsuo Arikawa and
Klaus P. Jantke},
title = {Deductive Plan Generation},
booktitle = {Algorithmic Learning Theory, 4th International Workshop on Analogical
and Inductive Inference, {AII} '94, 5th International Workshop on
Algorithmic Learning Theory, {ALT} '94, Reinhardsbrunn Castle, Germany,
October 10-15, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {872},
pages = {2--5},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58520-6\_47},
doi = {10.1007/3-540-58520-6\_47},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/BibelT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Thielscher94,
author = {Michael Thielscher},
editor = {Pascal Van Hentenryck},
title = {Representing Actions in Equational Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {207--224},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Thielscher94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BornscheuerT94,
author = {Sven{-}Erik Bornscheuer and
Michael Thielscher},
editor = {Bernhard Nebel and
Leonie S. Dreschler{-}Fischer},
title = {Representing Concurrent Actions and Solving Conflicts},
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 = {16--27},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58467-6\_2},
doi = {10.1007/3-540-58467-6\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/BornscheuerT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Thielscher93,
author = {Michael Thielscher},
title = {On Prediction in Theorist},
journal = {Artif. Intell.},
volume = {60},
number = {2},
pages = {283--292},
year = {1993},
url = {https://doi.org/10.1016/0004-3702(93)90004-U},
doi = {10.1016/0004-3702(93)90004-U},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Thielscher93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HolldoblerT93,
author = {Steffen H{\"{o}}lldobler and
Michael Thielscher},
editor = {Eugenio G. Omodeo and
Gianfranco Rossi},
title = {On Logic Programming with Multisets},
booktitle = {Workshop on Logic Programming with Sets, in conjunction with {ICLP}
1993, Budapest, Hungary, June 24, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HolldoblerT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/BruningGHSST93,
author = {Stefan Br{\"{u}}ning and
Gerd Gro{\ss}e and
Steffen H{\"{o}}lldobler and
Josef Schneeberger and
Ute Cornelia Sigmund and
Michael Thielscher},
editor = {Alexander Horz},
title = {Disjunction in Plan Generation by Equational Logic Programming},
booktitle = {Beitr{\"{a}}ge zum 7. Workshop Planen und Konfigrieren, 17.2.93,
Hamburg},
series = {Arbeitspapiere der {GMD}},
volume = {723},
pages = {18--26},
publisher = {{GMD}},
year = {1993},
timestamp = {Mon, 06 Sep 2004 13:25:11 +0200},
biburl = {https://dblp.org/rec/conf/puk/BruningGHSST93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/HolldoblerT93,
author = {Steffen H{\"{o}}lldobler and
Michael Thielscher},
editor = {Dale Miller},
title = {Actions and Specificity},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {164--180},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/HolldoblerT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BruningHSTS93,
author = {Stefan Br{\"{u}}ning and
Steffen H{\"{o}}lldobler and
Ute Cornelia Sigmund and
Michael Thielscher and
Josef Schneeberger},
editor = {Dale Miller},
title = {Disjunction In Resource-Oriented Deductive Planning},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {670},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BruningHSTS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Thielscher93,
author = {Michael Thielscher},
editor = {Christoph Beierle},
title = {SLDENF-Resolution},
booktitle = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
Hagen, Germany, Informatik-Bericht 146},
pages = {100--103},
year = {1993},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Thielscher93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GrosseHSST92,
author = {Gerd Gro{\ss}e and
Steffen H{\"{o}}lldobler and
Josef Schneeberger and
Ute Cornelia Sigmund and
Michael Thielscher},
editor = {Krzysztof R. Apt},
title = {Equational Logic Programming Actions, and Change},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {177--191},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GrosseHSST92.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-21 17:41 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:
