Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Logic, Rationality, and Interaction 8th International...

Main
Computers - Lectures, monographs
Logic, Rationality, and Interaction 8th...

Logic, Rationality, and Interaction 8th International Workshop, LORI 2021 Xi'an, China, October 16–18, 2021 Proceedings

Sujata Ghosh • Thomas Icard (Eds.

0 / 5.0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Catégories:

Computers - Lectures, monographs

Année:

2021

Langue:

english

ISBN 10:

3030887081

ISBN 13:

9783030887087

Collection:

Lecture Notes in Computer Science 13039

Fichier:

PDF, 5.94 MB

IPFS:

,

english, 2021

Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Cela peut vous intéresser

Michael Brückner — Lecture Notes Educational Innovations and Information Technology

Christina Nicole Giannikas, Elis Kakoulli Constantinou, and Salomi Papadima-Sophocleous — Professional development in CALL: a selection of papers

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib (auth.), Xiangdong He, John Horty, Eric Pacuit (eds.) — Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Dov M. Gabbay, John Woods — Handbook of the history of logic: Logic and the Modalities in the Twentieth Century

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi — Dynamic Epistemic Logic

Walter Carnielli, Claudio Pizzi — Modalities and Multimodalities

Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Ruy J. G. B. de Queiroz (editor); Alexandra Martins da Silva (editor); Renata Wassermann (editor) — Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

Carlos Areces, Diana Costa, (eds.) — Dynamic Logic: New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Carlos Areces; Diana Costa — Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Sergei Artemov,Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Alexandre Madeira,Mário Benevides (eds.) — Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

José Carmo (auth.), Lou Goble, John-Jules Ch. Meyer (eds.) — Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

Sašo Džeroski (auth.), Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.) — Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.) — Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Nuel Belnap (auth.), Ron van der Meyden, Leendert van der Torre (eds.) — Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Ying Daniel, Linköpings universitet. Matematiska institutionen — On the moduli space of cyclic trigonal Riemann surfaces of genus 4

Dietmar Berwanger (auth.), Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.) — Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney (auth.), João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.) — Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

Olaf Beyersdorff, Oliver Kutz (auth.), Nick Bezhanishvili, Valentin Goranko (eds.) — Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.) — Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Natasha Alechina (auth.), Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.) — Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge (auth.), Davide Grossi, Olivier Roy, Huaxin Huang (eds.) — Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.) — Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.) — Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28–31, 2015, Proceedings

Patrick Blackburn, Emiliano Lorini, Meiyun Guo — Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Balder ten Cate — Model Theory for Extended Modal Languages [PhD Thesis]

Mots Clefs