اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

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

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

درجه (قاطیغوری(:

Computers - Lectures, monographs

کال:

2021

ژبه:

english

ISBN 10:

3030887081

ISBN 13:

9783030887087

لړ (سلسله):

Lecture Notes in Computer Science 13039

فایل:

PDF, 5.94 MB

IPFS:

,

english, 2021

د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ

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

— Pravin Lal

ممکن تاسی علاقمند شی

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]

مهمي جملي