default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: François Schwarzentruber
@article{DBLP:journals/corr/abs-2405-00205,
author = {Pierre Nunn and
Marco S{\"{a}}lzer and
Fran{\c{c}}ois Schwarzentruber and
Nicolas Troquard},
title = {A Logic for Reasoning About Aggregate-Combine Graph Neural Networks},
journal = {CoRR},
volume = {abs/2405.00205},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.00205},
doi = {10.48550/ARXIV.2405.00205},
eprinttype = {arXiv},
eprint = {2405.00205},
timestamp = {Sun, 09 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-00205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QueffelecSS23,
author = {Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
title = {Complexity of planning for connected agents in a partially known environment},
journal = {Theor. Comput. Sci.},
volume = {941},
pages = {202--220},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2022.11.015},
doi = {10.1016/J.TCS.2022.11.015},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/QueffelecSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CalviacSS23,
author = {Isse{\"{\i}}nie Calviac and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Improved Complexity Results and an Efficient Solution for Connected
Multi-Agent Path Finding},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {896--904},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598727},
doi = {10.5555/3545946.3598727},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/CalviacSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/VezinaSEM23,
author = {Michael J. Vezina and
Fran{\c{c}}ois Schwarzentruber and
Babak Esfandiari and
Sandra Morley},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic
Logic},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {2394--2396},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598945},
doi = {10.5555/3545946.3598945},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/VezinaSEM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/VezinaEMS23,
author = {Michael J. Vezina and
Babak Esfandiari and
Sandra Morley and
Fran{\c{c}}ois Schwarzentruber},
editor = {Vadim Malvone and
Aniello Murano},
title = {Qualitative Uncertainty Reasoning in AgentSpeak},
booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
pages = {32--48},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4\_3},
doi = {10.1007/978-3-031-43264-4\_3},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/VezinaEMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LimaLS23,
author = {Tiago de Lima and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Base-Based Model Checking for Multi-agent only Believing},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {437--445},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_30},
doi = {10.1007/978-3-031-43619-2\_30},
timestamp = {Thu, 28 Sep 2023 17:18:56 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LimaLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0001GGS23,
author = {Sourav Chakraborty and
Avijeet Ghosh and
Sujata Ghosh and
Fran{\c{c}}ois Schwarzentruber},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {On Simple Expectations and Observations of Intelligent Agents: {A}
Complexity Study},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {136--145},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/14},
doi = {10.24963/KR.2023/14},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/0001GGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jiaf/2023,
editor = {Zied Bouraoui and
Fran{\c{c}}ois Schwarzentruber and
Ana{\"{e}}lle Wilczynski},
title = {17{\`{e}}mes Journ{\'{e}}es d'Intelligence Artificielle Fondamentale,
{JIAF} 2023, Strasbourg, France, July 6-7, 2023},
year = {2023},
url = {https://hal.science/hal-04209856v1/document},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jiaf/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2023fcr,
editor = {Christoph Beierle and
Kai Sauerwald and
Fran{\c{c}}ois Schwarzentruber and
Frieder Stolzenburg},
title = {Proceedings of the 9th Workshop on Formal and Cognitive Reasoning
co-located with the 46th German Conference on Artificial Intelligence
{(KI} 2023), Berlin, Germany, September 26, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3500},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3500},
urn = {urn:nbn:de:0074-3500-2},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ki/2023fcr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-02769,
author = {Sourav Chakraborty and
Avijeet Ghosh and
Sujata Ghosh and
Fran{\c{c}}ois Schwarzentruber},
title = {On simple expectations and observations of intelligent agents: {A}
complexity study},
journal = {CoRR},
volume = {abs/2306.02769},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.02769},
doi = {10.48550/ARXIV.2306.02769},
eprinttype = {arXiv},
eprint = {2306.02769},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05150,
author = {Pierre Nunn and
Fran{\c{c}}ois Schwarzentruber},
title = {A Modal Logic for Explaining some Graph Neural Networks},
journal = {CoRR},
volume = {abs/2307.05150},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05150},
doi = {10.48550/ARXIV.2307.05150},
eprinttype = {arXiv},
eprint = {2307.05150},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-14893,
author = {Tiago de Lima and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
title = {Base-based Model Checking for Multi-Agent Only Believing (long version)},
journal = {CoRR},
volume = {abs/2307.14893},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.14893},
doi = {10.48550/ARXIV.2307.14893},
eprinttype = {arXiv},
eprint = {2307.14893},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-14893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/roia/BlochELS22,
author = {Isabelle Bloch and
J{\'{e}}r{\^{o}}me Euzenat and
J{\'{e}}r{\^{o}}me Lang and
Fran{\c{c}}ois Schwarzentruber},
title = {Introduction {(FR)}},
journal = {Rev. Ouverte Intell. Artif.},
volume = {3},
number = {3-4},
pages = {193--195},
year = {2022},
url = {https://doi.org/10.5802/roia.28fr},
doi = {10.5802/ROIA.28FR},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/roia/BlochELS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/roia/BlochELS22a,
author = {Isabelle Bloch and
J{\'{e}}r{\^{o}}me Euzenat and
J{\'{e}}r{\^{o}}me Lang and
Fran{\c{c}}ois Schwarzentruber},
title = {Introduction {(EN)}},
journal = {Rev. Ouverte Intell. Artif.},
volume = {3},
number = {3-4},
pages = {197--199},
year = {2022},
url = {https://doi.org/10.5802/roia.28en},
doi = {10.5802/ROIA.28EN},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/roia/BlochELS22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PinchinatRS22,
author = {Sophie Pinchinat and
Sasha Rubin and
Fran{\c{c}}ois Schwarzentruber},
title = {Formula Synthesis in Propositional Dynamic Logic with Shuffle},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9902--9909},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21227},
doi = {10.1609/AAAI.V36I9.21227},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PinchinatRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BellierPS22,
author = {Dylan Bellier and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
editor = {Anuj Dawar and
Venkatesan Guruswami},
title = {Dependency Matrices for Multiplayer Strategic Dependencies},
booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022,
{IIT} Madras, Chennai, India},
series = {LIPIcs},
volume = {250},
pages = {31:1--31:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.31},
doi = {10.4230/LIPICS.FSTTCS.2022.31},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BellierPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0001GGS22,
author = {Sourav Chakraborty and
Avijeet Ghosh and
Sujata Ghosh and
Fran{\c{c}}ois Schwarzentruber},
editor = {Luc De Raedt},
title = {On Verifying Expectations and Observations of Intelligent Agents},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2568--2574},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/356},
doi = {10.24963/IJCAI.2022/356},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/0001GGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LoriniPS22,
author = {Emiliano Lorini and
Elise Perrotin and
Fran{\c{c}}ois Schwarzentruber},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Epistemic Actions: Comparing Multi-agent Belief Bases with Action
Models},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/24/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/LoriniPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00784,
author = {Sourav Chakraborty and
Avijeet Ghosh and
Sujata Ghosh and
Fran{\c{c}}ois Schwarzentruber},
title = {On verifying expectations and observations of intelligent agents},
journal = {CoRR},
volume = {abs/2205.00784},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00784},
doi = {10.48550/ARXIV.2205.00784},
eprinttype = {arXiv},
eprint = {2205.00784},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/ArecesDFMS21,
author = {Carlos Areces and
Hans van Ditmarsch and
Raul Fervari and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
title = {Copy and remove as dynamic operators},
journal = {J. Appl. Non Class. Logics},
volume = {31},
number = {3-4},
pages = {181--220},
year = {2021},
url = {https://doi.org/10.1080/11663081.2021.1964327},
doi = {10.1080/11663081.2021.1964327},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/ArecesDFMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/QueffelecSS21,
author = {Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
editor = {Luiza Antonie and
Pooya Moradian Zadeh},
title = {Planning for Connected Agents in a Partially Known Environment},
booktitle = {Proceedings of the 34th Canadian Conference on Artificial Intelligence,
Canadian {AI} 2021, online, May 2021},
publisher = {Canadian Artificial Intelligence Association},
year = {2021},
url = {https://caiac.pubpub.org/pub/kodpxtp4},
timestamp = {Thu, 28 Sep 2023 12:27:21 +0200},
biburl = {https://dblp.org/rec/conf/ai/QueffelecSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterHS21,
author = {Thomas Eiter and
Aaron Hunter and
Fran{\c{c}}ois Schwarzentruber},
editor = {Zhi{-}Hua Zhou},
title = {How Hard to Tell? Complexity of Belief Manipulation Through Propositional
Announcements},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1866--1872},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/257},
doi = {10.24963/IJCAI.2021/257},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LoriniS21,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Zhi{-}Hua Zhou},
title = {Multi-Agent Belief Base Revision},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1959--1965},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/270},
doi = {10.24963/IJCAI.2021/270},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LoriniS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/QueffelecSS21,
author = {Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
editor = {Zhi{-}Hua Zhou},
title = {Connect Multi-Agent Path Finding: Generation and Visualization},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {5008--5011},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/714},
doi = {10.24963/IJCAI.2021/714},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/QueffelecSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LoriniS21,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {A Computationally Grounded Logic of Graded Belief},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {245--261},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_17},
doi = {10.1007/978-3-030-75775-5\_17},
timestamp = {Wed, 12 May 2021 15:58:26 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LoriniS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/CharrierQSS20,
author = {Tristan Charrier and
Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
title = {Complexity of planning for connected agents},
journal = {Auton. Agents Multi Agent Syst.},
volume = {34},
number = {2},
pages = {44},
year = {2020},
url = {https://doi.org/10.1007/s10458-020-09468-5},
doi = {10.1007/S10458-020-09468-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/CharrierQSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BolanderCPS20,
author = {Thomas Bolander and
Tristan Charrier and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
title = {DEL-based epistemic planning: Decidability and complexity},
journal = {Artif. Intell.},
volume = {287},
pages = {103304},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103304},
doi = {10.1016/J.ARTINT.2020.103304},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BolanderCPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZanuttiniLSS20,
author = {Bruno Zanuttini and
J{\'{e}}r{\^{o}}me Lang and
Abdallah Saffidine and
Fran{\c{c}}ois Schwarzentruber},
title = {Knowledge-based programs as succinct policies for partially observable
domains},
journal = {Artif. Intell.},
volume = {288},
pages = {103365},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103365},
doi = {10.1016/J.ARTINT.2020.103365},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ZanuttiniLSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MaubertMPSS20,
author = {Bastien Maubert and
Aniello Murano and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber and
Silvia Stranieri},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Dynamic Epistemic Logic Games with Epistemic Temporal Goals},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {155--162},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200088},
doi = {10.3233/FAIA200088},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MaubertMPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigLPRS20,
author = {Andreas Herzig and
Emiliano Lorini and
Elise Perrotin and
Fabi{\'{a}}n Romero and
Fran{\c{c}}ois Schwarzentruber},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {A Logic of Explicit and Implicit Distributed Belief},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {753--760},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200163},
doi = {10.3233/FAIA200163},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/HerzigLPRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gramsec/PinchinatSC20,
author = {Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber and
S{\'{e}}bastien L{\^{e}} Cong},
editor = {Harley Eades III and
Olga Gadyatskaya},
title = {Library-Based Attack Tree Synthesis},
booktitle = {Graphical Models for Security - 7th International Workshop, GraMSec
2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12419},
pages = {24--44},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62230-5\_2},
doi = {10.1007/978-3-030-62230-5\_2},
timestamp = {Tue, 10 Nov 2020 14:13:14 +0100},
biburl = {https://dblp.org/rec/conf/gramsec/PinchinatSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MaubertPSS20,
author = {Bastien Maubert and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber and
Silvia Stranieri},
editor = {Christian Bessiere},
title = {Concurrent Games in Dynamic Epistemic Logic},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1877--1883},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/260},
doi = {10.24963/IJCAI.2020/260},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MaubertPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07141,
author = {Bastien Maubert and
Aniello Murano and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber and
Silvia Stranieri},
title = {Dynamic Epistemic Logic Games with Epistemic Temporal Goals},
journal = {CoRR},
volume = {abs/2001.07141},
year = {2020},
url = {https://arxiv.org/abs/2001.07141},
eprinttype = {arXiv},
eprint = {2001.07141},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03280,
author = {Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
title = {Conflict-Based Search for Connected Multi-Agent Path Finding},
journal = {CoRR},
volume = {abs/2006.03280},
year = {2020},
url = {https://arxiv.org/abs/2006.03280},
eprinttype = {arXiv},
eprint = {2006.03280},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-03280.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CharrierPS19,
author = {Tristan Charrier and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
title = {Symbolic model checking of public announcement protocols},
journal = {J. Log. Comput.},
volume = {29},
number = {8},
pages = {1211--1249},
year = {2019},
url = {https://doi.org/10.1093/logcom/exz023},
doi = {10.1093/LOGCOM/EXZ023},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/CharrierPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KnightMS19,
author = {Sophia Knight and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
title = {Reasoning about knowledge and messages in asynchronous multi-agent
systems},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {1},
pages = {127--168},
year = {2019},
url = {https://doi.org/10.1017/S0960129517000214},
doi = {10.1017/S0960129517000214},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KnightMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CharrierQSS19,
author = {Tristan Charrier and
Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Reachability and Coverage Planning for Connected Agents},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1874--1876},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331948},
timestamp = {Wed, 29 May 2019 16:36:58 +0200},
biburl = {https://dblp.org/rec/conf/atal/CharrierQSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CharrierQSS19,
author = {Tristan Charrier and
Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
editor = {Sarit Kraus},
title = {Reachability and Coverage Planning for Connected Agents},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {144--150},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/21},
doi = {10.24963/IJCAI.2019/21},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CharrierQSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MaubertPS19,
author = {Bastien Maubert and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
editor = {Sarit Kraus},
title = {Reachability Games in Dynamic Epistemic Logic},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {499--505},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/71},
doi = {10.24963/IJCAI.2019/71},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MaubertPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CharrierGNS19,
author = {Tristan Charrier and
S{\'{e}}bastien Gamblin and
Alexandre Niveau and
Fran{\c{c}}ois Schwarzentruber},
editor = {Sarit Kraus},
title = {Hintikka's World: Scalable Higher-order Knowledge},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {6494--6496},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/934},
doi = {10.24963/IJCAI.2019/934},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CharrierGNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04300,
author = {Tristan Charrier and
Arthur Queffelec and
Ocan Sankur and
Fran{\c{c}}ois Schwarzentruber},
title = {Reachability and Coverage Planning for Connected Agents: Extended
Version},
journal = {CoRR},
volume = {abs/1903.04300},
year = {2019},
url = {http://arxiv.org/abs/1903.04300},
eprinttype = {arXiv},
eprint = {1903.04300},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12422,
author = {Bastien Maubert and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
title = {Reachability Games in Dynamic Epistemic Logic},
journal = {CoRR},
volume = {abs/1905.12422},
year = {2019},
url = {http://arxiv.org/abs/1905.12422},
eprinttype = {arXiv},
eprint = {1905.12422},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03676,
author = {Abdallah Saffidine and
S{\'{e}}bastien L{\^{e}} Cong and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
title = {The Packed Interval Covering Problem is NP-complete},
journal = {CoRR},
volume = {abs/1906.03676},
year = {2019},
url = {http://arxiv.org/abs/1906.03676},
eprinttype = {arXiv},
eprint = {1906.03676},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-03676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00102,
author = {Fran{\c{c}}ois Schwarzentruber},
title = {The Complexity of Tiling Problems},
journal = {CoRR},
volume = {abs/1907.00102},
year = {2019},
url = {http://arxiv.org/abs/1907.00102},
eprinttype = {arXiv},
eprint = {1907.00102},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SaffidineSZ18,
author = {Abdallah Saffidine and
Fran{\c{c}}ois Schwarzentruber and
Bruno Zanuttini},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Knowledge-Based Policies for Qualitative Decentralized POMDPs},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {6270--6277},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12085},
doi = {10.1609/AAAI.V32I1.12085},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SaffidineSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/CharrierS18,
author = {Tristan Charrier and
Fran{\c{c}}ois Schwarzentruber},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Complexity of Dynamic Epistemic Logic with Common Knowledge},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {103--122},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Charrier-Schwarzentruber.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/CharrierS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Doueneau-TabotP18,
author = {Ga{\"{e}}tan Dou{\'{e}}neau{-}Tabot and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Chain-Monadic Second Order Logic over Regular Automatic Trees and
Epistemic Planning Synthesis},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {237--256},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/DoueneauTabot-Pinchinat-Schwarzentruber.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Doueneau-TabotP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gramsec/AudinotPSW18,
author = {Maxime Audinot and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber and
Florence Wacheux},
editor = {George Cybenko and
David J. Pym and
Barbara Fila},
title = {Deciding the Non-emptiness of Attack Trees},
booktitle = {5th International Workshop on Graphical Models for Security, held
in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC
2018, Oxford, UK, July 8, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11086},
pages = {13--30},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-15465-3\_2},
doi = {10.1007/978-3-030-15465-3\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/gramsec/AudinotPSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CongPS18,
author = {S{\'{e}}bastien L{\^{e}} Cong and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Small Undecidable Problems in Epistemic Planning},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4780--4786},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/664},
doi = {10.24963/IJCAI.2018/664},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CongPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BodinCQS18,
author = {Fran{\c{c}}ois Bodin and
Tristan Charrier and
Arthur Queffelec and
Fran{\c{c}}ois Schwarzentruber},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Generating Plans for Cooperative Connected UAVs},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5811--5813},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/846},
doi = {10.24963/IJCAI.2018/846},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BodinCQS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schwarzentruber18,
author = {Fran{\c{c}}ois Schwarzentruber},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Hintikka's World: Agents with Higher-order Knowledge},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5859--5861},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/862},
doi = {10.24963/IJCAI.2018/862},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Schwarzentruber18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rjcia/2018,
editor = {J{\'{e}}r{\^{o}}me Euzenat and
Fran{\c{c}}ois Schwarzentruber},
title = {Actes de la Conf{\'{e}}rence Nationale d'Intelligence Artificielle
et Rencontres des Jeunes Chercheurs en Intelligence Artificielle {(CNIA+RJCIA}
2018), Nancy, France, 4-6 Juillet 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2133},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2133},
urn = {urn:nbn:de:0074-2133-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rjcia/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-06213,
author = {Tristan Charrier and
Fran{\c{c}}ois Schwarzentruber and
Eva Soulier},
title = {Dynamic Connected Cooperative Coverage Problem},
journal = {CoRR},
volume = {abs/1810.06213},
year = {2018},
url = {http://arxiv.org/abs/1810.06213},
eprinttype = {arXiv},
eprint = {1810.06213},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-06213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/PinchinatS17,
author = {Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
title = {Preface},
journal = {{FLAP}},
volume = {4},
number = {1},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/PinchinatS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArecesDFS17,
author = {Carlos Areces and
Hans van Ditmarsch and
Raul Fervari and
Fran{\c{c}}ois Schwarzentruber},
title = {The modal logic of copy and remove},
journal = {Inf. Comput.},
volume = {255},
pages = {243--261},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.01.004},
doi = {10.1016/J.IC.2017.01.004},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ArecesDFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/DitmarschEPRS17,
author = {Hans van Ditmarsch and
Jan van Eijck and
Pere Pardo and
Rahim Ramezanian and
Fran{\c{c}}ois Schwarzentruber},
title = {Epistemic protocols for dynamic gossip},
journal = {J. Appl. Log.},
volume = {20},
pages = {1--31},
year = {2017},
url = {https://doi.org/10.1016/j.jal.2016.12.001},
doi = {10.1016/J.JAL.2016.12.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/DitmarschEPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CharrierS17,
author = {Tristan Charrier and
Fran{\c{c}}ois Schwarzentruber},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {A Succinct Language for Dynamic Epistemic Logic},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {123--131},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091148},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CharrierS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LoriniS17,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {A Path in the Jungle of Logics for Multi-agent System: On the Relation
between General Game-playing Logics and Seeing-to-it-that Logics},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {687--695},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091224},
timestamp = {Thu, 11 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LoriniS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HunterST17,
author = {Aaron Hunter and
Fran{\c{c}}ois Schwarzentruber and
Eric Tsang},
editor = {Carles Sierra},
title = {Belief Manipulation Through Propositional Announcements},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1109--1115},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/154},
doi = {10.24963/IJCAI.2017/154},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HunterST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrossiLS17,
author = {Davide Grossi and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Carles Sierra},
title = {The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {5000--5004},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/710},
doi = {10.24963/IJCAI.2017/710},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrossiLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CharrierPS17,
author = {Tristan Charrier and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
editor = {Alexandre Madeira and
Mario R. F. Benevides},
title = {Model Checking Against Arbitrary Public Announcement Logic: {A} First-Order-Logic
Prover Approach for the Existential Fragment},
booktitle = {Dynamic Logic. New Trends and Applications - First International Workshop,
{DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10669},
pages = {133--152},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73579-5\_9},
doi = {10.1007/978-3-319-73579-5\_9},
timestamp = {Sat, 19 Oct 2019 20:06:19 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CharrierPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GasquetGS16,
author = {Olivier Gasquet and
Valentin Goranko and
Fran{\c{c}}ois Schwarzentruber},
title = {Big Brother Logic: visual-epistemic reasoning in stationary multi-agent
systems},
journal = {Auton. Agents Multi Agent Syst.},
volume = {30},
number = {5},
pages = {793--825},
year = {2016},
url = {https://doi.org/10.1007/s10458-015-9306-4},
doi = {10.1007/S10458-015-9306-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/GasquetGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BolanderDHLPS16,
author = {Thomas Bolander and
Hans van Ditmarsch and
Andreas Herzig and
Emiliano Lorini and
Pere Pardo and
Fran{\c{c}}ois Schwarzentruber},
title = {Announcements to Attentive Agents},
journal = {J. Log. Lang. Inf.},
volume = {25},
number = {1},
pages = {1--35},
year = {2016},
url = {https://doi.org/10.1007/s10849-015-9234-3},
doi = {10.1007/S10849-015-9234-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BolanderDHLPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CharrierMS16,
author = {Tristan Charrier and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
editor = {Subbarao Kambhampati},
title = {On the Impact of Modal Depth in Epistemic Planning},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1030--1036},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/150},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CharrierMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLMS16,
author = {Andreas Herzig and
Emiliano Lorini and
Faustine Maffre and
Fran{\c{c}}ois Schwarzentruber},
editor = {Subbarao Kambhampati},
title = {Epistemic Boolean Games Based on a Logic of Visibility and Control},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1116--1122},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/162},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schwarzentruber16,
author = {Fran{\c{c}}ois Schwarzentruber},
editor = {Subbarao Kambhampati},
title = {A Tool for Generating Interactive Euler Diagrams},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4266--4267},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/653},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Schwarzentruber16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CharrierHLMS16,
author = {Tristan Charrier and
Andreas Herzig and
Emiliano Lorini and
Faustine Maffre and
Fran{\c{c}}ois Schwarzentruber},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Building Epistemic Logic from Observations and Public Announcements},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {268--277},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12899},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/CharrierHLMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrossiLS15,
author = {Davide Grossi and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
title = {The Ceteris Paribus Structure of Logics of Game Forms},
journal = {J. Artif. Intell. Res.},
volume = {53},
pages = {91--126},
year = {2015},
url = {https://doi.org/10.1613/jair.4666},
doi = {10.1613/JAIR.4666},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GrossiLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Schwarzentruber15,
author = {Fran{\c{c}}ois Schwarzentruber},
title = {Drawing Interactive Euler Diagrams from Region Connection Calculus
Specifications},
journal = {J. Log. Lang. Inf.},
volume = {24},
number = {4},
pages = {375--408},
year = {2015},
url = {https://doi.org/10.1007/s10849-015-9230-7},
doi = {10.1007/S10849-015-9230-7},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Schwarzentruber15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CharrierS15,
author = {Tristan Charrier and
Fran{\c{c}}ois Schwarzentruber},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Arbitrary Public Announcement Logic with Mental Programs},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1471--1479},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773340},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/CharrierS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/MaSSV15,
author = {Minghui Ma and
Katsuhiko Sano and
Fran{\c{c}}ois Schwarzentruber and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Tableaux for Non-normal Public Announcement Logic},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {132--145},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_9},
doi = {10.1007/978-3-662-45824-2\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/MaSSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KnightMS15,
author = {Sophia Knight and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Asynchronous Announcements in a Public Channel},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {272--289},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_17},
doi = {10.1007/978-3-319-25150-9\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/KnightMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BolanderJS15,
author = {Thomas Bolander and
Martin Holm Jensen and
Fran{\c{c}}ois Schwarzentruber},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Complexity Results in Epistemic Planning},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2791--2797},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/395},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BolanderJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HunterS15,
author = {Aaron Hunter and
Fran{\c{c}}ois Schwarzentruber},
editor = {Richard Booth and
Giovanni Casini and
Szymon Klarman and
Gilles Richard and
Ivan Jos{\'{e}} Varzinczak},
title = {Arbitrary Announcements in Propositional Belief Revision},
booktitle = {Proceedings of the International Workshop on Defeasible and Ampliative
Reasoning, DARe 2015, co-located with the 24th International Joint
Conference on Artificial Intelligence {(IJCAI} 2015), Buenos Aires,
Argentina, July 27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1423},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1423/DARe-15\_4.pdf},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HunterS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/AucherMPS15,
author = {Guillaume Aucher and
Bastien Maubert and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Games with Communication: From Belief to Preference Change},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {670--677},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_50},
doi = {10.1007/978-3-319-25524-8\_50},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/AucherMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DitmarschEPRS15,
author = {Hans van Ditmarsch and
Jan van Eijck and
Pere Pardo and
Rahim Ramezanian and
Fran{\c{c}}ois Schwarzentruber},
title = {Dynamic Gossip},
journal = {CoRR},
volume = {abs/1511.00867},
year = {2015},
url = {http://arxiv.org/abs/1511.00867},
eprinttype = {arXiv},
eprint = {1511.00867},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DitmarschEPRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032750,
author = {Olivier Gasquet and
Andreas Herzig and
Bilal Said and
Fran{\c{c}}ois Schwarzentruber},
title = {Kripke's Worlds - An Introduction to Modal Logics via Tableaux},
series = {Studies in Universal Logic},
publisher = {Birkh{\"{a}}user},
year = {2014},
url = {https://doi.org/10.1007/978-3-7643-8504-0},
doi = {10.1007/978-3-7643-8504-0},
isbn = {978-3-7643-8503-3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/EijckS14,
author = {Jan van Eijck and
Fran{\c{c}}ois Schwarzentruber},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {Epistemic Probability Logic Simplified},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {158--177},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Eijck-Schwarzentruber.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/EijckS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GasquetGS14,
author = {Olivier Gasquet and
Valentin Goranko and
Fran{\c{c}}ois Schwarzentruber},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Big brother logic: logical modeling and reasoning about agents equipped
with surveillance cameras in the plane},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {325--332},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615786},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/GasquetGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CharrierOS14,
author = {Tristan Charrier and
Florent Ouchet and
Fran{\c{c}}ois Schwarzentruber},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Big brother logic: reasoning about agents equipped with surveillance
cameras in the plane (demonstration)},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1633--1634},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2616099},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CharrierOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SchwarzentruberS14,
author = {Fran{\c{c}}ois Schwarzentruber and
Caroline Semmling},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {{STIT} is dangerously undecidable},
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 = {1093--1094},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1093},
doi = {10.3233/978-1-61499-419-0-1093},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SchwarzentruberS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HerzigPS14,
author = {Andreas Herzig and
Pilar Pozos Parra and
Fran{\c{c}}ois Schwarzentruber},
editor = {Christoph Beierle and
Carlo Meghini},
title = {Belief Merging in Dynamic Logic of Propositional Assignments},
booktitle = {Foundations of Information and Knowledge Systems - 8th International
Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8367},
pages = {381--398},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04939-7\_19},
doi = {10.1007/978-3-319-04939-7\_19},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HerzigPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SchwarzentruberH14,
author = {Fran{\c{c}}ois Schwarzentruber and
Jin{-}Kao Hao},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Drawing Euler Diagrams from Region Connection Calculus Specifications
with Local Search},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {582--590},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_41},
doi = {10.1007/978-3-319-11558-0\_41},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/SchwarzentruberH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ArecesDFS14,
author = {Carlos Areces and
Hans van Ditmarsch and
Raul Fervari and
Fran{\c{c}}ois Schwarzentruber},
editor = {Ulrich Kohlenbach and
Pablo Barcel{\'{o}} and
Ruy J. G. B. de Queiroz},
title = {Logics with Copy and Remove},
booktitle = {Logic, Language, Information, and Computation - 21st International
Workshop, WoLLIC 2014, Valpara{\'{\i}}so, Chile, September 1-4,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8652},
pages = {51--65},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44145-9\_4},
doi = {10.1007/978-3-662-44145-9\_4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ArecesDFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BalbianiHST14,
author = {Philippe Balbiani and
Andreas Herzig and
Fran{\c{c}}ois Schwarzentruber and
Nicolas Troquard},
title = {{DL-PA} and {DCL-PC:} model checking and satisfiability problem are
indeed in {PSPACE}},
journal = {CoRR},
volume = {abs/1411.7825},
year = {2014},
url = {http://arxiv.org/abs/1411.7825},
eprinttype = {arXiv},
eprint = {1411.7825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BalbianiHST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BalbianiGS13,
author = {Philippe Balbiani and
Olivier Gasquet and
Fran{\c{c}}ois Schwarzentruber},
title = {Agents that look at one another},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {438--467},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzs052},
doi = {10.1093/JIGPAL/JZS052},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BalbianiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DitmarschHLS13,
author = {Hans van Ditmarsch and
Andreas Herzig and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Listen to Me! Public Announcements to Agents That Pay Attention -
or Not},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {96--109},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_8},
doi = {10.1007/978-3-642-40948-6\_8},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/DitmarschHLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/AucherS13,
author = {Guillaume Aucher and
Fran{\c{c}}ois Schwarzentruber},
editor = {Burkhard C. Schipper},
title = {On the Complexity of Dynamic Epistemic Logic},
booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
year = {2013},
url = {http://www.tark.org/proceedings/tark\_jan7\_13/p19-aucher.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/AucherS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/GrossiLS13,
author = {Davide Grossi and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Burkhard C. Schipper},
title = {Ceteris Paribus Structure in Logics of Game Forms},
booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
year = {2013},
url = {http://www.tark.org/proceedings/tark\_jan7\_13/p94-grossi.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/GrossiLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/dagstuhl/BroersenCEGGLPTTTS13,
author = {Jan M. Broersen and
Stephen Cranefield and
Yehia Elrakaiby and
Dov M. Gabbay and
Davide Grossi and
Emiliano Lorini and
Xavier Parent and
Leendert W. N. van der Torre and
Luca Tummolini and
Paolo Turrini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Giulia Andrighetto and
Guido Governatori and
Pablo Noriega and
Leendert W. N. van der Torre},
title = {Normative Reasoning and Consequence},
booktitle = {Normative Multi-Agent Systems},
series = {Dagstuhl Follow-Ups},
volume = {4},
pages = {33--70},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/DFU.Vol4.12111.33},
doi = {10.4230/DFU.VOL4.12111.33},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroersenCEGGLPTTTS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AucherS13,
author = {Guillaume Aucher and
Fran{\c{c}}ois Schwarzentruber},
title = {On the Complexity of Dynamic Epistemic Logic},
journal = {CoRR},
volume = {abs/1310.6406},
year = {2013},
url = {http://arxiv.org/abs/1310.6406},
eprinttype = {arXiv},
eprint = {1310.6406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AucherS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrossiLS13,
author = {Davide Grossi and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
title = {Ceteris Paribus Structure in Logics of Game Forms},
journal = {CoRR},
volume = {abs/1310.6416},
year = {2013},
url = {http://arxiv.org/abs/1310.6416},
eprinttype = {arXiv},
eprint = {1310.6416},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrossiLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Schwarzentruber12,
author = {Fran{\c{c}}ois Schwarzentruber},
title = {Complexity Results of {STIT} Fragments},
journal = {Stud Logica},
volume = {100},
number = {5},
pages = {1001--1045},
year = {2012},
url = {https://doi.org/10.1007/s11225-012-9445-4},
doi = {10.1007/S11225-012-9445-4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Schwarzentruber12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AucherMS12,
author = {Guillaume Aucher and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Generalized DEL-Sequents},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {54--66},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_5},
doi = {10.1007/978-3-642-33353-8\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AucherMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SchwarzentruberVR12,
author = {Fran{\c{c}}ois Schwarzentruber and
Srdjan Vesic and
Tjitze Rienstra},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Building an Epistemic Logic for Argumentation},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {359--371},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_28},
doi = {10.1007/978-3-642-33353-8\_28},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SchwarzentruberVR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LoriniS11,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
title = {A logic for reasoning about counterfactual emotions},
journal = {Artif. Intell.},
volume = {175},
number = {3-4},
pages = {814--847},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.11.022},
doi = {10.1016/J.ARTINT.2010.11.022},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LoriniS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Schwarzentruber11,
author = {Fran{\c{c}}ois Schwarzentruber},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Seeing, Knowledge and Common Knowledge},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {258--271},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_19},
doi = {10.1007/978-3-642-24130-7\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/Schwarzentruber11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/GasquetS11,
author = {Olivier Gasquet and
Fran{\c{c}}ois Schwarzentruber},
editor = {Patrick Blackburn and
Hans van Ditmarsch and
Mar{\'{\i}}a Manzano and
Fernando Soler{-}Toscano},
title = {Concrete Epistemic Modal Logic: Flatland},
booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6680},
pages = {70--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21350-2\_9},
doi = {10.1007/978-3-642-21350-2\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ticttl/GasquetS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/GasquetSS11,
author = {Olivier Gasquet and
Fran{\c{c}}ois Schwarzentruber and
Martin Strecker},
editor = {Patrick Blackburn and
Hans van Ditmarsch and
Mar{\'{\i}}a Manzano and
Fernando Soler{-}Toscano},
title = {Satoulouse: The Computational Power of Propositional Logic Shown to
Beginners},
booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6680},
pages = {77--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21350-2\_10},
doi = {10.1007/978-3-642-21350-2\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ticttl/GasquetSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/GasquetSS11a,
author = {Olivier Gasquet and
Fran{\c{c}}ois Schwarzentruber and
Martin Strecker},
editor = {Patrick Blackburn and
Hans van Ditmarsch and
Mar{\'{\i}}a Manzano and
Fernando Soler{-}Toscano},
title = {Panda: {A} Proof Assistant in Natural Deduction for All. {A} Gentzen
Style Proof Assistant for Undergraduate Students},
booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6680},
pages = {85--92},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21350-2\_11},
doi = {10.1007/978-3-642-21350-2\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ticttl/GasquetSS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AucherMS11,
author = {Guillaume Aucher and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Tableau Method and NEXPTIME-Completeness of DEL-Sequents},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {17--30},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.003},
doi = {10.1016/J.ENTCS.2011.10.003},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AucherMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schwarzentruber11,
author = {Fran{\c{c}}ois Schwarzentruber},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {LotrecScheme},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {187--199},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.015},
doi = {10.1016/J.ENTCS.2011.10.015},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schwarzentruber11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Schwarzentruber10,
author = {Fran{\c{c}}ois Schwarzentruber},
title = {Voir, savoir, faire : une {\'{e}}tude de cas en logique modale.
(Seeing, knowing, doing: case studies in modal logic)},
school = {Paul Sabatier University, Toulouse, France},
year = {2010},
url = {https://tel.archives-ouvertes.fr/tel-00609903},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Schwarzentruber10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/games/LoriniS10,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
title = {A Modal Logic of Epistemic Games},
journal = {Games},
volume = {1},
number = {4},
pages = {478--526},
year = {2010},
url = {https://doi.org/10.3390/g1040478},
doi = {10.3390/G1040478},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/games/LoriniS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GasquetS10,
author = {Olivier Gasquet and
Fran{\c{c}}ois Schwarzentruber},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Knowledge in lineland},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1537--1538},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838469},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/GasquetS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LoriniS09,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Craig Boutilier},
title = {A Logic for Reasoning about Counterfactual Emotions},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {867--872},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/148.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LoriniS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LoriniSH09,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber and
Andreas Herzig},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences
All Together},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {212--226},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_17},
doi = {10.1007/978-3-642-04893-7\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/LoriniSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/Schwarzentruber09,
author = {Fran{\c{c}}ois Schwarzentruber},
editor = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Guido Boella and
Massimo Cossentino and
Mehdi Dastani and
Barbara Dunin{-}Keplicz and
Giancarlo Fortino and
Marie{-}Pierre Gleizes and
Jo{\~{a}}o Leite and
Viviana Mascardi and
Julian A. Padget and
Juan Pav{\'{o}}n and
Axel Polleres and
Amal El Fallah Seghrouchni and
Paolo Torroni and
Rineke Verbrugge},
title = {Knowledge about Lights along a Line},
booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
Federated Workshops, Turin, Italy, September 7-10, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {494},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-494/famaspaper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/Schwarzentruber09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LoriniSH09,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber and
Andreas Herzig},
editor = {Giacomo Bonanno and
James P. Delgrande and
Hans Rott},
title = {Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences
all together},
booktitle = {Information processing, rational belief change and social interaction,
23.08. - 27.08.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2231/},
timestamp = {Thu, 10 Jun 2021 13:02:03 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LoriniSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HerzigS08,
author = {Andreas Herzig and
Fran{\c{c}}ois Schwarzentruber},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Properties of logics of individual and group agency},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {133--149},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Herzig-Schwarzentruber.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/HerzigS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-08-05 21:12 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:
