Cover Image

QR Code

Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings /

This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017. The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submission...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Everitt, Tom. (Editor, http://id.loc.gov/vocabulary/relators/edt), Goertzel, Ben. (Editor, http://id.loc.gov/vocabulary/relators/edt), Potapov, Alexey. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Lecture Notes in Artificial Intelligence ; 10414
Subjects:	Artificial intelligence. Application software. Mathematical logic. Special purpose computers. Coding theory. Information theory. Artificial Intelligence. Computer Appl. in Administrative Data Processing. Mathematical Logic and Formal Languages. Special Purpose and Application-Based Systems. Coding and Information Theory.
Online Access:	https://doi.org/10.1007/978-3-319-63703-7

Similar Items

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII International Workshops COIN 2017 and COINE 2020, Sao Paulo, Brazil, May 8-9, 2017 and Virtual Event, May 9, 2020, Revised Selected Papers / edited by Andrea Aler Tubella, Stephen Cranefield, Christopher Frantz, Felipe Meneguzzi, Wamberto Vasconcelos.
Published: (2021)

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Published: (2019)

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / edited by Ming Liu, Haoyao Chen, Markus Vincze.
Published: (2017)

Data Driven Approaches in Digital Education 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12–15, 2017, Proceedings / edited by Élise Lavoué, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar Pérez-Sanagustín.
Published: (2017)

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings / edited by Phan Cong Vinh, Nguyen Ha Huy Cuong, Emil Vassev.
Published: (2018)

Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / edited by Guillermo R. Simari, Eduardo Fermé, Flabio Gutiérrez Segura, José Antonio Rodríguez Melquiades.
Published: (2018)

6GN for Future Wireless Networks Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings / edited by Xiaofei Wang, Victor C. M. Leung, Keqiu Li, Haijun Zhang, Xiping Hu, Qiang Liu.
Published: (2020)

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III / edited by Kang Li, Yusheng Xue, Shumei Cui, Qun Niu, Zhile Yang, Patrick Luk.
Published: (2017)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings / edited by Lourdes Martínez-Villaseñor, Ildar Batyrshin, Antonio Marín-Hernández.
Published: (2019)

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings / edited by Yves Demazeau, Paul Davidsson, Javier Bajo, Zita Vale.
Published: (2017)

Ambient Intelligence 13th European Conference, AmI 2017, Malaga, Spain, April 26–28, 2017, Proceedings / edited by Andreas Braun, Reiner Wichert, Antonio Maña.
Published: (2017)

Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers / edited by Adrian David Cheok, David Levy.
Published: (2018)

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm.
Published: (2014)

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss.
Published: (2018)

Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part IV / edited by Laura Leal-Taixé, Stefan Roth.
Published: (2019)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part II / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / edited by Vasiliki Vouloutsi, José Halloy, Anna Mura, Michael Mangan, Nathan Lepora, Tony J. Prescott, Paul F.M.J. Verschure.
Published: (2018)

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III / edited by Kang Li, Jianhua Zhang, Minyou Chen, Zhile Yang, Qun Niu.
Published: (2018)

Industrial Networks and Intelligent Systems 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings / edited by Nguyen-Son Vo, Van-Phuc Hoang, Quoc-Tuan Vien.
Published: (2021)

Industrial IoT Technologies and Applications 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings / edited by Lourdes Peñalver, Lorena Parra.
Published: (2021)

Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II / edited by Kang Li, Minrui Fei, Dajun Du, Zhile Yang, Dongsheng Yang.
Published: (2018)

Intelligent Computing Methodologies 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III / edited by De-Shuang Huang, Zhi-Kai Huang, Abir Hussain.
Published: (2019)

Communication Systems and Networks 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / edited by Subir Biswas, Animesh Mukherjee, Mun Choon Chan, Sandip Chakraborty, Abhinav Kumar, Giridhar Mandyam, Rajeev Shorey.
Published: (2019)

Fuzzy Logic Recent Applications and Developments / edited by Jenny Carter, Francisco Chiclana, Arjab Singh Khuman, Tianhua Chen.
Published: (2021)

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Published: (2017)

Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers / edited by Nathalia Peixoto, Margarida Silveira, Hesham H. Ali, Carlos Maciel, Egon L. van den Broek.
Published: (2018)

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.
Published: (2020)

Logics in Artificial Intelligence 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / edited by Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak.
Published: (2021)

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II / edited by Bo Li, Lei Shu, Deze Zeng.
Published: (2018)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Ingredients for Successful System Level Design Methodology by Hiren D. Patel, Sandeep Kumar Shukla.
by: Patel, Hiren D., et al.
Published: (2008)

Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings / edited by Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou.
Published: (2017)

Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I / edited by Michael Felsberg, Anders Heyden, Norbert Krüger.
Published: (2017)

Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II / edited by Michael Felsberg, Anders Heyden, Norbert Krüger.
Published: (2017)

5G for Future Wireless Networks Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings / edited by Victor C. M. Leung, Haijun Zhang, Xiping Hu, Qiang Liu, Zhi Liu.
Published: (2019)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
Published: (2018)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur.
Published: (2013)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Published: (2016)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.
Published: (2015)