%% BibBreeze.bib % Author: Amir Mohammad Tahsiri % contact: https://github.com/mamadgit/BibBreeze %% Copyright 2025 Amir Mohammad Tahsiri % % This work may be distributed and/or modified under the % conditions of the LaTeX Project Public License, either version 1.3c % of this license or (at your option) any later version. % The latest version of this license is in % https://www.latex-project.org/lppl.txt % and version 1.3c or later is part of all distributions of LaTeX % version 2008 or later. % % This work has the LPPL maintenance status `maintained'. % % The Current Maintainer of this work is Amir Mohammad Tahsiri. % % This work consists of the files BibBreeze.tex, BibBreeze.bbx, BibBreeze-authoryear.cbx, BibBreeze.dbx, BibBreeze.bib, BibBreeze.def, Instructions-Descriptions.md, README.md and the derived file LICENSE.txt. \ProvidesFile{BibBreeze.bib}[version 1.0] @inproceedings{DBLP:conf/mallow/AlechinaL10, author = {Natasha Alechina and Brian Logan}, editor = {Olivier Boissier and Amal El Fallah Seghrouchni and Salima Hassas and Nicolas Maudet}, title = {Computationally Grounded Account of Belief and Awareness for {AI} Agents}, booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September 2, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {627}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-627/lrba\_1.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:29 +0100}, biburl = {https://dblp.org/rec/conf/mallow/AlechinaL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, pages = {1--14} } @book{DBLP:books/mit/FHMV1995, author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi}, title = {Reasoning About Knowledge}, publisher = {{MIT} Press}, year = {1995}, doi = {https://doi.org/10.7551/mitpress/5803.001.0001}, isbn = {9780262562003}, timestamp = {Tue, 18 Aug 2020 16:05:04 +0200}, biburl = {https://dblp.org/rec/books/mit/FHMV1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @book{alma990002228290206881, author = {Hintikka, Jaakko}, address = {Ithaca, N.Y}, title = {Knowledge and belief : an introduction to the logic of the two notions}, keywords = {Knowledge, Theory of}, language = {eng}, lccn = {62014461}, publisher = {Cornell University Press}, series = {Contemporary philosophy}, year = {1962}, } @inproceedings{10.1007/978-3-642-02658-4_55, author="Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco", editor="Bouajjani, Ahmed and Maler, Oded", title="MCMAS: A Model Checker for the Verification of Multi-Agent Systems", booktitle="Computer Aided Verification", year="2009", publisher="Springer Berlin Heidelberg", address="Berlin, Heidelberg", pages="682--688", isbn="978-3-642-02658-4" } @phdthesis{DBLP:phd/ethos/Raimondi06, author = {Franco Raimondi}, title = {Model checking multi-agent systems}, school = {University College London, {UK}}, year = {2006}, url = {http://discovery.ucl.ac.uk/5627/}, timestamp = {Tue, 05 Apr 2022 10:59:16 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Raimondi06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/cie/AlechinaL16, author = {Natasha Alechina and Brian Logan}, editor = {Arnold Beckmann and Laurent Bienvenu and Natasa Jonoska}, title = {Verifying Systems of Resource-Bounded Agents}, booktitle = {Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9709}, pages = {3--12}, publisher = {Springer}, year = {2016}, doi = {10.1007/978-3-319-40189-8\_1}, timestamp = {Wed, 08 Dec 2021 09:19:07 +0100}, biburl = {https://dblp.org/rec/conf/cie/AlechinaL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/igpl/HoekW03a, author = {Wiebe van der Hoek and Michael J. Wooldridge}, title = {Towards a Logic of Rational Agency}, journal = {Log. J. {IGPL}}, volume = {11}, number = {2}, pages = {135--159}, year = {2003}, doi = {10.1093/jigpal/11.2.135}, timestamp = {Fri, 06 Mar 2020 22:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/HoekW03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{10.1145/585265.585270, author = {Alur, Rajeev and Henzinger, Thomas A. and Kupferman, Orna}, title = {Alternating-time temporal logic}, year = {2002}, issue_date = {September 2002}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {49}, number = {5}, issn = {0004-5411}, url = {https://doi.org/10.1145/585265.585270}, doi = {10.1145/585265.585270}, journal = {J. ACM}, month = {sep}, pages = {672–713}, numpages = {42}, keywords = {temporaxl logic, model checking, games, Alternation} } @article{COHEN1990213, title = {Intention is choice with commitment}, journal = {Artificial Intelligence}, volume = {42}, number = {2}, pages = {213-261}, year = {1990}, issn = {0004-3702}, doi = {https://doi.org/10.1016/0004-3702(90)90055-5}, url = {https://www.sciencedirect.com/science/article/pii/0004370290900555}, author = {Philip R. Cohen and Hector J. Levesque}, } @inproceedings{10.5555/3087158.3087205, author = {Rao, Anand S. and Georgeff, Michael P.}, editor = {Allen James and Fikes Richard and Sandewall Erik}, title = {Modeling rational agents within a BDI-architecture}, year = {1991}, isbn = {1558601651}, publisher = {Morgan Kaufmann Publishers Inc.}, address = {San Francisco, CA, USA}, booktitle = {Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}, pages = {473–484}, numpages = {12}, location = {Cambridge, MA, USA}, series = {KR'91} } @article{DRAWEL2017632, title = {Reasoning about Trust and Time in a System of Agents}, journal = {Procedia Computer Science}, volume = {109}, pages = {632-639}, year = {2017}, note = {8th International Conference on Ambient Systems, Networks and Technologies, ANT-2017 and the 7th International Conference on Sustainable Energy Information Technology, SEIT 2017, 16-19 May 2017, Madeira, Portugal}, issn = {1877-0509}, doi = {https://doi.org/10.1016/j.procs.2017.05.369}, url = {https://www.sciencedirect.com/science/article/pii/S1877050917310384}, author = {Nagat Drawel and Jamal Bentahar and Elhadi Shakshuki}, keywords = {Multi-Agent Systems (MASs), trust, temporal logic}, } @article{DRAWEL20201047, title = {Specification and automatic verification of trust-based multi-agent systems}, journal = {Future Generation Computer Systems}, volume = {107}, pages = {1047-1060}, year = {2020}, issn = {0167-739X}, doi = {https://doi.org/10.1016/j.future.2018.01.040}, url = {https://www.sciencedirect.com/science/article/pii/S0167739X17321349}, author = {Nagat Drawel and Hongyang Qu and Jamal Bentahar and Elhadi Shakshuki}, keywords = {Trust, Multi-agent systems, Temporal logic, Model checking, Reasoning postulates, MCMAS-T, VISPL}, } @article{DBLP:journals/jetai/Elgot-DrapkinP90, author = {Jennifer J. Elgot{-}Drapkin and Donald Perlis}, title = {Reasoning situated in time {I:} basic concepts}, journal = {J. Exp. Theor. Artif. Intell.}, volume = {2}, number = {1}, pages = {75--98}, year = {1990}, doi = {10.1080/09528139008953715}, timestamp = {Thu, 18 May 2017 09:50:38 +0200}, biburl = {https://dblp.org/rec/journals/jetai/Elgot-DrapkinP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/prima/LiuL17, author = {Fenrong Liu and Emiliano Lorini}, editor = {Bo An and Ana L. C. Bazzan and Jo{\~{a}}o Leite and Serena Villata and Leendert W. N. van der Torre}, title = {Reasoning About Belief, Evidence and Trust in a Multi-agent Setting}, booktitle = {{PRIMA} 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10621}, pages = {71--89}, publisher = {Springer}, year = {2017}, doi = {10.1007/978-3-319-69131-2\_5}, timestamp = {Fri, 07 Aug 2020 08:55:19 +0200}, biburl = {https://dblp.org/rec/conf/prima/LiuL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/ijcai/DrawelBLR20, author = {Nagat Drawel and Jamal Bentahar and Amine Laarej and Gaith Rjoub}, editor = {Christian Bessiere}, title = {Formalizing Group and Propagated Trust in Multi-Agent Systems}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, pages = {60--66}, publisher = {ijcai.org}, year = {2020}, doi = {10.24963/ijcai.2020/9}, timestamp = {Mon, 20 Jul 2020 12:38:52 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/DrawelBLR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/icmas/Wooldridge00, author = {Michael J. Wooldridge}, title = {Computationally Grounded Theories of Agency}, booktitle = {4th International Conference on Multi-Agent Systems, {ICMAS} 2000, Boston, MA, USA, July 10-12, 2000}, pages = {13--22}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ICMAS.2000.858426}, doi = {10.1109/ICMAS.2000.858426}, timestamp = {Thu, 23 Mar 2023 23:59:57 +0100}, biburl = {https://dblp.org/rec/conf/icmas/Wooldridge00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:journals/entcs/RaimondiL04, author = {Franco Raimondi and Alessio Lomuscio}, editor = {Wiebe van der Hoek and Alessio Lomuscio and Erik P. de Vink and Michael J. Wooldridge}, title = {A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems}, booktitle = {1st International Workshop on Logic and Communication in Multi-Agent Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {85}, pages = {176--191}, publisher = {Elsevier}, year = {2003}, doi = {10.1016/S1571-0661(05)82609-X}, timestamp = {Thu, 08 Dec 2022 14:13:49 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RaimondiL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{ijcai2020p1, title = {An Algorithm for Multi-Attribute Diverse Matching}, author = {Ahmadi, Saba and Ahmed, Faez and Dickerson, John P. and Fuge, Mark and Khuller, Samir}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI-20}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Christian Bessiere}, pages = {3--9}, year = {2020}, month = {7}, note = {Main track}, doi = {10.24963/ijcai.2020/1}, url = {https://doi.org/10.24963/ijcai.2020/1}, } @inproceedings{10.5555/3491440.3491441, author = {Ahmadi, Saba and Ahmed, Faez and Dickerson, John P. and Fuge, Mark and Khuller, Samir}, title = {An algorithm for multi-attribute diverse matching}, year = {2021}, isbn = {9780999241165}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence}, articleno = {1}, pages = {7--11}, location = {Yokohama, Yokohama, Japan}, series = {IJCAI'20} }