BibTeX records: Dominique Longin

download as .bib file

@article{DBLP:journals/aamas/DavilaLLM24,
  author       = {Jorge Luis Fernandez Davila and
                  Dominique Longin and
                  Emiliano Lorini and
                  Fr{\'{e}}d{\'{e}}ric Maris},
  title        = {Logic-based cognitive planning for conversational agents},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {38},
  number       = {1},
  pages        = {20},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10458-024-09646-9},
  doi          = {10.1007/S10458-024-09646-9},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aamas/DavilaLLM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/FernandezLLM24,
  author       = {Jorge Fernandez and
                  Dominique Longin and
                  Emiliano Lorini and
                  Fr{\'{e}}d{\'{e}}ric Maris},
  title        = {A logical modeling of the Y{\={o}}kai board game},
  journal      = {{AI} Commun.},
  volume       = {37},
  number       = {3},
  pages        = {265--298},
  year         = {2024},
  url          = {https://doi.org/10.3233/AIC-230050},
  doi          = {10.3233/AIC-230050},
  timestamp    = {Wed, 24 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/FernandezLLM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/0001LLM22,
  author       = {Jorge Fernandez and
                  Dominique Longin and
                  Emiliano Lorini and
                  Fr{\'{e}}d{\'{e}}ric Maris},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {An Implemented System for Cognitive Planning},
  booktitle    = {Proceedings of the 14th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2022, Volume 3, Online Streaming, February
                  3-5, 2022},
  pages        = {492--499},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0010846300003116},
  doi          = {10.5220/0010846300003116},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/0001LLM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DavilaLLM22,
  author       = {Jorge Luis Fernandez Davila and
                  Dominique Longin and
                  Emiliano Lorini and
                  Fr{\'{e}}d{\'{e}}ric Maris},
  editor       = {Jesse Heyninck and
                  Thomas Meyer and
                  Marco Ragni and
                  Matthias Thimm and
                  Gabriele Kern{-}Isberner},
  title        = {A Simple Framework for Cognitive Planning (poster)},
  booktitle    = {Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation
                  co-located with the 31st international join conference on artificial
                  intelligence {(IJCAI-ECAI} 2022), Vienna, Austria, July 23, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3251},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3251/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/DavilaLLM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DavilaLLM21,
  author       = {Jorge Luis Fernandez Davila and
                  Dominique Longin and
                  Emiliano Lorini and
                  Fr{\'{e}}d{\'{e}}ric Maris},
  title        = {A Simple Framework for Cognitive Planning},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {6331--6339},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i7.16786},
  doi          = {10.1609/AAAI.V35I7.16786},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DavilaLLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FernandezGHLLMR20,
  author       = {Jorge Fernandez and
                  Olivier Gasquet and
                  Andreas Herzig and
                  Dominique Longin and
                  Emiliano Lorini and
                  Fr{\'{e}}d{\'{e}}ric Maris and
                  Pierre R{\'{e}}gnier},
  editor       = {Christian Bessiere},
  title        = {TouIST: a Friendly Language for Propositional Logic and More},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {5240--5242},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/756},
  doi          = {10.24963/IJCAI.2020/756},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/FernandezGHLLMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/LonginLM20,
  author       = {Dominique Longin and
                  Emiliano Lorini and
                  Fr{\'{e}}d{\'{e}}ric Maris},
  editor       = {Takahiro Uchiya and
                  Quan Bai and
                  Ivan Mars{\'{a}}{-}Maestre},
  title        = {Beliefs, Time and Space: {A} Language for the Y{\={o}}kai Board Game},
  booktitle    = {{PRIMA} 2020: Principles and Practice of Multi-Agent Systems - 23rd
                  International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12568},
  pages        = {386--393},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-69322-0\_28},
  doi          = {10.1007/978-3-030-69322-0\_28},
  timestamp    = {Thu, 23 May 2024 22:02:53 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/LonginLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/Ben-NaimLL20,
  author       = {Jonathan Ben{-}Naim and
                  Dominique Longin and
                  Emiliano Lorini},
  editor       = {Pierre Marquis and
                  Odile Papini and
                  Henri Prade},
  title        = {Formalization of Cognitive-Agent Systems, Trust, and Emotions},
  booktitle    = {A Guided Tour of Artificial Intelligence Research: Volume {I:} Knowledge
                  Representation, Reasoning and Learning},
  pages        = {629--650},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-06164-7\_19},
  doi          = {10.1007/978-3-030-06164-7\_19},
  timestamp    = {Tue, 06 Aug 2024 09:23:58 +0200},
  biburl       = {https://dblp.org/rec/books/sp/20/Ben-NaimLL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NovaroGLL19,
  author       = {Arianna Novaro and
                  Umberto Grandi and
                  Dominique Longin and
                  Emiliano Lorini},
  editor       = {Edith Elkind and
                  Manuela Veloso and
                  Noa Agmon and
                  Matthew E. Taylor},
  title        = {Strategic Majoritarian Voting with Propositional Goals},
  booktitle    = {Proceedings of the 18th International Conference on Autonomous Agents
                  and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
                  2019},
  pages        = {2144--2146},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},
  year         = {2019},
  url          = {http://dl.acm.org/citation.cfm?id=3332038},
  timestamp    = {Wed, 29 May 2019 16:36:58 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/NovaroGLL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivf/DialloLV19,
  author       = {Azise Oumar Diallo and
                  Dominique Longin and
                  H{\^{o}} Tu{\`{o}}ng Vinh},
  title        = {Better Emotion Modeling by Taking into Account Environment Factors
                  and Human Profiles in Crisis Situations},
  booktitle    = {2019 {IEEE-RIVF} International Conference on Computing and Communication
                  Technologies, {RIVF} 2019, Danang, Vietnam, March 20-22, 2019},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/RIVF.2019.8713734},
  doi          = {10.1109/RIVF.2019.8713734},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rivf/DialloLV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/Gasquet18,
  author       = {Olivier Gasquet and
                  Dominique Longin and
                  Frederic Maris and
                  Pierre R{\'{e}}gnier and
                  Ma{\"{e}}l Valais},
  title        = {Compact Tree Encodings for Planning as {QBF}},
  journal      = {Inteligencia Artif.},
  volume       = {21},
  number       = {62},
  pages        = {103--114},
  year         = {2018},
  url          = {https://doi.org/10.4114/intartif.vol21iss62pp103-114},
  doi          = {10.4114/INTARTIF.VOL21ISS62PP103-114},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aepia/Gasquet18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NovaroGLL18,
  author       = {Arianna Novaro and
                  Umberto Grandi and
                  Dominique Longin and
                  Emiliano Lorini},
  editor       = {Elisabeth Andr{\'{e}} and
                  Sven Koenig and
                  Mehdi Dastani and
                  Gita Sukthankar},
  title        = {From Individual Goals to Collective Decisions},
  booktitle    = {Proceedings of the 17th International Conference on Autonomous Agents
                  and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
                  2018},
  pages        = {2028--2030},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  Richland, SC, {USA} / {ACM}},
  year         = {2018},
  url          = {http://dl.acm.org/citation.cfm?id=3238060},
  timestamp    = {Sat, 30 Sep 2023 09:34:53 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/NovaroGLL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NovaroGLL18,
  author       = {Arianna Novaro and
                  Umberto Grandi and
                  Dominique Longin and
                  Emiliano Lorini},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Goal-Based Collective Decisions: Axiomatics and Computational Complexity},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {468--474},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {https://doi.org/10.24963/ijcai.2018/65},
  doi          = {10.24963/IJCAI.2018/65},
  timestamp    = {Tue, 20 Aug 2019 16:19:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NovaroGLL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ValetteGLT18,
  author       = {Marion Valette and
                  Benoit Gaudou and
                  Dominique Longin and
                  Patrick Taillandier},
  editor       = {Tim Miller and
                  Nir Oren and
                  Yuko Sakurai and
                  Itsuki Noda and
                  Bastin Tony Roy Savarimuthu and
                  Tran Cao Son},
  title        = {Modeling a Real-Case Situation of Egress Using {BDI} Agents with Emotions
                  and Social Skills},
  booktitle    = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st
                  International Conference, Tokyo, Japan, October 29 - November 2, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11224},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03098-8\_1},
  doi          = {10.1007/978-3-030-03098-8\_1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/ValetteGLT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/TaGLH17,
  author       = {Xuan Hien Ta and
                  Benoit Gaudou and
                  Dominique Longin and
                  Tuong Vinh Ho},
  title        = {Emotional contagion model for group evacuation simulation},
  journal      = {Informatica (Slovenia)},
  volume       = {41},
  number       = {2},
  year         = {2017},
  url          = {http://www.informatica.si/index.php/informatica/article/view/1661},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/informaticaSI/TaGLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apia/BesnardDL17,
  author       = {Philippe Besnard and
                  Sylvie Doutre and
                  Dominique Longin},
  editor       = {Sandra Bringay},
  title        = {Le syst{\`{e}}me Sesame : Sp{\'{e}}cifier des s{\'{e}}mantiques
                  argumentatives},
  booktitle    = {3{\`{e}}me Conf{\'{e}}rence Nationale sur les Applications Pratiques
                  de l'Intelligence Artificielle, {APIA} 2017, Caen, France, July 3-4,
                  2017},
  year         = {2017},
  url          = {https://hal.archives-ouvertes.fr/hal-01561521/document},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apia/BesnardDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BesnardDDL17,
  author       = {Philippe Besnard and
                  Victor David and
                  Sylvie Doutre and
                  Dominique Longin},
  title        = {Subsumption and Incompatibility between Principles in Ranking-Based
                  Argumentation},
  booktitle    = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
  pages        = {853--859},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICTAI.2017.00133},
  doi          = {10.1109/ICTAI.2017.00133},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/BesnardDDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BelardinelliGHL17,
  author       = {Francesco Belardinelli and
                  Umberto Grandi and
                  Andreas Herzig and
                  Dominique Longin and
                  Emiliano Lorini and
                  Arianna Novaro and
                  Laurent Perrussel},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Relaxing Exclusive Control in Boolean Games},
  booktitle    = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017},
  series       = {{EPTCS}},
  volume       = {251},
  pages        = {43--56},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.251.4},
  doi          = {10.4204/EPTCS.251.4},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BelardinelliGHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BesnardDHL16,
  author       = {Philippe Besnard and
                  Sylvie Doutre and
                  Van Hieu Ho and
                  Dominique Longin},
  editor       = {Matthias Thimm and
                  Federico Cerutti and
                  Hannes Strass and
                  Mauro Vallati},
  title        = {{SESAME} - {A} System for Specifying Semantics in Abstract Argumentation},
  booktitle    = {Proceedings of the First International Workshop on Systems and Algorithms
                  for Formal Argumentation {(SAFA)} co-located with the 6th International
                  Conference on Computational Models of Argument {(COMMA} 2016), Potsdam,
                  Germany, September 13, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1672},
  pages        = {40--51},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1672/paper\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:13 +0100},
  biburl       = {https://dblp.org/rec/conf/comma/BesnardDHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/TaGLAH16,
  author       = {Xuan Hien Ta and
                  Benoit Gaudou and
                  Dominique Longin and
                  Edouard Amouroux and
                  Tuong Vinh Ho},
  editor       = {Huynh Quyet Thang and
                  Nguyen Manh Hung},
  title        = {Emotion in the evacuation process: formal model and simulation},
  booktitle    = {Proceedings of the Seventh Symposium on Information and Communication
                  Technology, SoICT 2016, Ho Chi Minh City, Vietnam, December 8-9, 2016},
  pages        = {107--114},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3011077.3011120},
  doi          = {10.1145/3011077.3011120},
  timestamp    = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl       = {https://dblp.org/rec/conf/soict/TaGLAH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Longin15,
  author       = {Dominique Longin},
  title        = {Communicating cognitive agents: modeling and formalization},
  year         = {2015},
  url          = {https://tel.archives-ouvertes.fr/tel-03484173},
  timestamp    = {Thu, 13 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/hal/Longin15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/TaLGH15,
  author       = {Xuan Hien Ta and
                  Dominique Longin and
                  Benoit Gaudou and
                  Tuong Vinh Ho},
  editor       = {Huynh Quyet Thang and
                  Le Anh Phuong and
                  Luc De Raedt and
                  Yves Deville and
                  Marc Bui and
                  Truong Thi Dieu Linh and
                  Thi{-}Oanh Nguyen and
                  Dinh Viet Sang and
                  Nguyen Ba Ngoc},
  title        = {Impact of group on the evacuation process: theory and simulation},
  booktitle    = {Proceedings of the Sixth International Symposium on Information and
                  Communication Technology, Hue City, Vietnam, December 3-4, 2015},
  pages        = {350--357},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2833258.2833265},
  doi          = {10.1145/2833258.2833265},
  timestamp    = {Mon, 16 Jan 2023 17:00:33 +0100},
  biburl       = {https://dblp.org/rec/conf/soict/TaLGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LoriniLM14,
  author       = {Emiliano Lorini and
                  Dominique Longin and
                  Eunate Mayor},
  title        = {A logical analysis of responsibility attribution: emotions, individuals
                  and collectives},
  journal      = {J. Log. Comput.},
  volume       = {24},
  number       = {6},
  pages        = {1313--1339},
  year         = {2014},
  url          = {https://doi.org/10.1093/logcom/ext072},
  doi          = {10.1093/LOGCOM/EXT072},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/LoriniLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/AdamL14,
  author       = {Carole Adam and
                  Dominique Longin},
  title        = {La honte. Quand {\'{e}}motion et raisonnement sont li{\'{e}}s},
  journal      = {Rev. d'Intelligence Artif.},
  volume       = {28},
  number       = {1},
  pages        = {43--66},
  year         = {2014},
  url          = {https://doi.org/10.3166/ria.28.43-66},
  doi          = {10.3166/RIA.28.43-66},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ria/AdamL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram-med/NguyenLHG14,
  author       = {Van Tho Nguyen and
                  Dominique Longin and
                  Tuong Vinh Ho and
                  Benoit Gaudou},
  editor       = {Chihab Hanachi and
                  Fr{\'{e}}d{\'{e}}rick B{\'{e}}naben and
                  Fran{\c{c}}ois Charoy},
  title        = {Integration of Emotion in Evacuation Simulation},
  booktitle    = {Information Systems for Crisis Response and Management in Mediterranean
                  Countries - First International Conference, ISCRAM-med 2014, Toulouse,
                  France, October 15-17, 2014. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {196},
  pages        = {192--205},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11818-5\_17},
  doi          = {10.1007/978-3-319-11818-5\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscram-med/NguyenLHG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GuiraudLLPR11,
  author       = {Nadine Guiraud and
                  Dominique Longin and
                  Emiliano Lorini and
                  Sylvie Pesty and
                  J{\'{e}}r{\'{e}}my Rivi{\`{e}}re},
  editor       = {Liz Sonenberg and
                  Peter Stone and
                  Kagan Tumer and
                  Pinar Yolum},
  title        = {The face of emotions: a logical formalization of expressive speech
                  acts},
  booktitle    = {10th International Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
  pages        = {1031--1038},
  publisher    = {{IFAAMAS}},
  year         = {2011},
  url          = {http://portal.acm.org/citation.cfm?id=2034416\&\#38;CFID=69154334\&\#38;CFTOKEN=45298625},
  timestamp    = {Tue, 09 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/GuiraudLLPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/RiviereAPPGLL11,
  author       = {J{\'{e}}r{\'{e}}my Rivi{\`{e}}re and
                  Carole Adam and
                  Sylvie Pesty and
                  Catherine Pelachaud and
                  Nadine Guiraud and
                  Dominique Longin and
                  Emiliano Lorini},
  editor       = {Hannes H{\"{o}}gni Vilhj{\'{a}}lmsson and
                  Stefan Kopp and
                  Stacy Marsella and
                  Kristinn R. Th{\'{o}}risson},
  title        = {Expressive Multimodal Conversational Acts for {SAIBA} Agents},
  booktitle    = {Intelligent Virtual Agents - 11th International Conference, {IVA}
                  2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6895},
  pages        = {316--323},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23974-8\_34},
  doi          = {10.1007/978-3-642-23974-8\_34},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iva/RiviereAPPGLL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BonnefonLN09,
  author       = {Jean{-}Fran{\c{c}}ois Bonnefon and
                  Dominique Longin and
                  Manh{-}Hung Nguyen},
  title        = {A Logical Framework for Trust-Related Emotions},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.22.321},
  doi          = {10.14279/TUJ.ECEASST.22.321},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BonnefonLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LoriniLGH09,
  author       = {Emiliano Lorini and
                  Dominique Longin and
                  Benoit Gaudou and
                  Andreas Herzig},
  title        = {The Logic of Acceptance: Grounding Institutions on Agents' Attitudes},
  journal      = {J. Log. Comput.},
  volume       = {19},
  number       = {6},
  pages        = {901--940},
  year         = {2009},
  url          = {https://doi.org/10.1093/logcom/exn103},
  doi          = {10.1093/LOGCOM/EXN103},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/LoriniLGH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AdamHL09,
  author       = {Carole Adam and
                  Andreas Herzig and
                  Dominique Longin},
  title        = {A logical formalization of the {OCC} theory of emotions},
  journal      = {Synth.},
  volume       = {168},
  number       = {2},
  pages        = {201--248},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11229-009-9460-9},
  doi          = {10.1007/S11229-009-9460-9},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/AdamHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GaudouHL09,
  author       = {Benoit Gaudou and
                  Andreas Herzig and
                  Dominique Longin},
  editor       = {Carles Sierra and
                  Cristiano Castelfranchi and
                  Keith S. Decker and
                  Jaime Sim{\~{a}}o Sichman},
  title        = {Logical formalization of social commitments: application to agent
                  communication languages},
  booktitle    = {8th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
                  2},
  pages        = {1293--1294},
  publisher    = {{IFAAMAS}},
  year         = {2009},
  url          = {https://dl.acm.org/citation.cfm?id=1558259},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/GaudouHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AdamHLL09,
  author       = {Carole Adam and
                  Andreas Herzig and
                  Dominique Longin and
                  Vincent Louis},
  editor       = {Matteo Baldoni and
                  Jamal Bentahar and
                  M. Birna van Riemsdijk and
                  John Lloyd},
  title        = {Unifying the Intentional and Institutional Semantics of Speech Acts},
  booktitle    = {Declarative Agent Languages and Technologies VII, 7th International
                  Workshop, {DALT} 2009, Budapest, Hungary, May 11, 2009. Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5948},
  pages        = {68--84},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11355-0\_5},
  doi          = {10.1007/978-3-642-11355-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/dalt/AdamHLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/BonnefonLN09,
  author       = {Jean{-}Fran{\c{c}}ois Bonnefon and
                  Dominique Longin and
                  Manh{-}Hung Nguyen},
  title        = {Relation of Trust and Social Emotions: {A} Logical Approach},
  booktitle    = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
                  Intelligent Agent Technology, {IAT} 2009, Milan, Italy, 15-18 September
                  2009},
  pages        = {289--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/WI-IAT.2009.166},
  doi          = {10.1109/WI-IAT.2009.166},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/BonnefonLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivf/LoriniLG09,
  author       = {Emiliano Lorini and
                  Dominique Longin and
                  Benoit Gaudou},
  title        = {Anchoring the Institutional Dimension of Speech Acts in Agents' Attitudes:
                  {A} Logical Approach},
  booktitle    = {2009 {IEEE} International Conference on Computing and Communication
                  Technologies, {RIVF} 2009, Da Nang, Vietnam, 13-17 July, 2009},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/RIVF.2009.5174622},
  doi          = {10.1109/RIVF.2009.5174622},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rivf/LoriniLG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GaudouLLT08,
  author       = {Benoit Gaudou and
                  Dominique Longin and
                  Emiliano Lorini and
                  Luca Tummolini},
  editor       = {Lin Padgham and
                  David C. Parkes and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Simon Parsons},
  title        = {Anchoring institutions in agents' attitudes: towards a logical framework
                  for autonomous multi-agent systems},
  booktitle    = {7th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
                  2},
  pages        = {728--735},
  publisher    = {{IFAAMAS}},
  year         = {2008},
  url          = {https://dl.acm.org/citation.cfm?id=1402325},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/GaudouLLT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LoriniL08,
  author       = {Emiliano Lorini and
                  Dominique Longin},
  editor       = {Gerhard Brewka and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {A Logical Account of Institutions: From Acceptances to Norms via Legislators},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
                  September 16-19, 2008},
  pages        = {38--48},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/KR/2008/kr08-005.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/LoriniL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/normas/HerzigLHBCDLV08,
  author       = {Andreas Herzig and
                  Emiliano Lorini and
                  Jomi Fred H{\"{u}}bner and
                  Jonathan Ben{-}Naim and
                  Cristiano Castelfranchi and
                  Robert Demolombe and
                  Dominique Longin and
                  Laurent Vercouter},
  editor       = {Guido Boella and
                  Gabriella Pigozzi and
                  Munindar P. Singh and
                  Harko Verhagen},
  title        = {Prolegomena for a Logic of Trust and Reputation},
  booktitle    = {Third International Workshop on Normative Multiagent Systems - NorMAS
                  2008, Luxembourg, July 15-16, 2008. Proceedings},
  pages        = {143--157},
  year         = {2008},
  timestamp    = {Tue, 20 Jan 2009 15:22:27 +0100},
  biburl       = {https://dblp.org/rec/conf/normas/HerzigLHBCDLV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/AdamHL07,
  author       = {Carole Adam and
                  Andreas Herzig and
                  Dominique Longin},
  title        = {PLEIAD, un agent {\'{e}}motionnel pour {\'{e}}valuer la
                  typologie {OCC}},
  journal      = {Rev. d'Intelligence Artif.},
  volume       = {21},
  number       = {5-6},
  pages        = {781--811},
  year         = {2007},
  url          = {https://doi.org/10.3166/ria.21.781-811},
  doi          = {10.3166/RIA.21.781-811},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ria/AdamHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/AdamL07,
  author       = {Carole Adam and
                  Dominique Longin},
  editor       = {Catherine Pelachaud and
                  Jean{-}Claude Martin and
                  Elisabeth Andr{\'{e}} and
                  G{\'{e}}rard Chollet and
                  Kostas Karpouzis and
                  Danielle Pel{\'{e}}},
  title        = {Endowing Emotional Agents with Coping Strategies: From Emotions to
                  Emotional Behaviour},
  booktitle    = {Intelligent Virtual Agents, 7th International Conference, {IVA} 2007,
                  Paris, France, September 17-19, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4722},
  pages        = {348--349},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74997-4\_32},
  doi          = {10.1007/978-3-540-74997-4\_32},
  timestamp    = {Sat, 30 Sep 2023 09:51:16 +0200},
  biburl       = {https://dblp.org/rec/conf/iva/AdamL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/AdamGHL06,
  author       = {Carole Adam and
                  Benoit Gaudou and
                  Andreas Herzig and
                  Dominique Longin},
  editor       = {J{\'{e}}r{\^{o}}me Euzenat and
                  John Domingue},
  title        = {OCC's Emotions: {A} Formalization in a {BDI} Logic},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 12th
                  International Conference, {AIMSA} 2006, Varna, Bulgaria, September
                  12-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4183},
  pages        = {24--32},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11861461\_5},
  doi          = {10.1007/11861461\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/AdamGHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GaudouHLN06,
  author       = {Benoit Gaudou and
                  Andreas Herzig and
                  Dominique Longin and
                  Matthias Nickles},
  editor       = {Gerhard Brewka and
                  Silvia Coradeschi and
                  Anna Perini and
                  Paolo Traverso},
  title        = {A New Semantics for the {FIPA} Agent Communication Language Based
                  on Social Attitudes},
  booktitle    = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
                  August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {141},
  pages        = {245--249},
  publisher    = {{IOS} Press},
  year         = {2006},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1684},
  timestamp    = {Tue, 13 Mar 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/GaudouHLN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/AdamEGHL06,
  author       = {Carole Adam and
                  Fabrice Evrard and
                  Benoit Gaudou and
                  Andreas Herzig and
                  Dominique Longin},
  editor       = {Vincent Chevrier and
                  Marc{-}Philippe Huget},
  title        = {Mod{\'{e}}lisation logique d'agents rationnels pour l'intelligence
                  ambiante},
  booktitle    = {Systemes Multi-Agents, Articulation entre l'individuel et le collectif
                  - {JFSMA} 2006 - Quatorzieme journees francophones sur les systemes
                  multi-agents, Annecy, France, October 18-20, 2006},
  pages        = {81--94},
  publisher    = {Lavoisier},
  year         = {2006},
  timestamp    = {Mon, 13 Feb 2012 15:12:26 +0100},
  biburl       = {https://dblp.org/rec/conf/jfsma/AdamEGHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GaudouHL06,
  author       = {Benoit Gaudou and
                  Andreas Herzig and
                  Dominique Longin},
  editor       = {Patrick Doherty and
                  John Mylopoulos and
                  Christopher A. Welty},
  title        = {Grounding and the Expression of Belief},
  booktitle    = {Proceedings, Tenth International Conference on Principles of Knowledge
                  Representation and Reasoning, Lake District of the United Kingdom,
                  June 2-5, 2006},
  pages        = {221--229},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/KR/2006/kr06-024.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/GaudouHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GasquetHLS05,
  author       = {Olivier Gasquet and
                  Andreas Herzig and
                  Dominique Longin and
                  Mohamad Sahade},
  editor       = {Bernhard Beckert},
  title        = {LoTREC: Logical Tableaux Research Engineering Companion},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, International
                  Conference, {TABLEAUX} 2005, Koblenz, Germany, September 14-17, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3702},
  pages        = {318--322},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11554554\_25},
  doi          = {10.1007/11554554\_25},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/GasquetHLS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaudouHL06,
  author       = {Benoit Gaudou and
                  Andreas Herzig and
                  Dominique Longin},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {A Logical Framework for Grounding-based Dialogue Analysis},
  booktitle    = {Proceedings of the Third International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2005, Edinburgh, Scotland, UK, August
                  1, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {157},
  number       = {4},
  pages        = {117--137},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.016},
  doi          = {10.1016/J.ENTCS.2006.02.016},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GaudouHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HerzigL04,
  author       = {Andreas Herzig and
                  Dominique Longin},
  editor       = {Didier Dubois and
                  Christopher A. Welty and
                  Mary{-}Anne Williams},
  title        = {C{\&}L Intention Revisited},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Ninth International Conference (KR2004), Whistler, Canada,
                  June 2-5, 2004},
  pages        = {527--535},
  publisher    = {{AAAI} Press},
  year         = {2004},
  url          = {http://www.aaai.org/Library/KR/2004/kr04-055.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/HerzigL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/HerzigL03,
  author       = {Andreas Herzig and
                  Dominique Longin},
  editor       = {Thomas D. Nielsen and
                  Nevin Lianwen Zhang},
  title        = {On Modal Probability and Belief},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  7th European Conference, {ECSQARU} 2003, Aalborg, Denmark, July 2-5,
                  2003. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2711},
  pages        = {62--73},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45062-7\_5},
  doi          = {10.1007/978-3-540-45062-7\_5},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/HerzigL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HerzigL02,
  author       = {Andreas Herzig and
                  Dominique Longin},
  title        = {A logic of intention with cooperation principles and with assertive
                  speech acts as communication primitives},
  booktitle    = {The First International Joint Conference on Autonomous Agents {\&}
                  Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
                  Proceedings},
  pages        = {920--927},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/544862.544954},
  doi          = {10.1145/544862.544954},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/HerzigL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigL02,
  author       = {Andreas Herzig and
                  Dominique Longin},
  editor       = {Frank van Harmelen},
  title        = {Sensing and revision in a modal logic of belief and action},
  booktitle    = {Proceedings of the 15th European Conference on Artificial Intelligence,
                  ECAI'2002, Lyon, France, July 2002},
  pages        = {307--311},
  publisher    = {{IOS} Press},
  year         = {2002},
  timestamp    = {Mon, 03 Jan 2022 07:50:19 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/HerzigL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CerroFGHLM01,
  author       = {Luis Fari{\~{n}}as del Cerro and
                  David Fauthoux and
                  Olivier Gasquet and
                  Andreas Herzig and
                  Dominique Longin and
                  Fabio Massacci},
  editor       = {Rajeev Gor{\'{e}} and
                  Alexander Leitsch and
                  Tobias Nipkow},
  title        = {Lotrec : The Generic Tableau Prover for Modal and Description Logics},
  booktitle    = {Automated Reasoning, First International Joint Conference, {IJCAR}
                  2001, Siena, Italy, June 18-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2083},
  pages        = {453--458},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45744-5\_38},
  doi          = {10.1007/3-540-45744-5\_38},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CerroFGHLM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsemantics/HerzigL00,
  author       = {Andreas Herzig and
                  Dominique Longin},
  title        = {Belief Dynamics in Cooperative Dialogues},
  journal      = {J. Semant.},
  volume       = {17},
  number       = {2},
  pages        = {91--115},
  year         = {2000},
  url          = {https://doi.org/10.1093/jos/17.2.91},
  doi          = {10.1093/JOS/17.2.91},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsemantics/HerzigL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HerzigLLP00,
  author       = {Andreas Herzig and
                  J{\'{e}}r{\^{o}}me Lang and
                  Dominique Longin and
                  Thomas Polacsek},
  editor       = {Henry A. Kautz and
                  Bruce W. Porter},
  title        = {A Logic for Planning under Partial Observability},
  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        = {768--773},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2000},
  url          = {http://www.aaai.org/Library/AAAI/2000/aaai00-118.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HerzigLLP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/CerroHLR98,
  author       = {Luis Fari{\~{n}}as del Cerro and
                  Andreas Herzig and
                  Dominique Longin and
                  Omar Rifi},
  editor       = {Fausto Giunchiglia},
  title        = {Belief Reconstruction in Cooperative Dialogues},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {254--266},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057450},
  doi          = {10.1007/BFB0057450},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/CerroHLR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}