Imaxe de Portada

Prolog: The Next 50 Years

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and program...

Descrición completa

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Warren, David S. (Editor), Dahl, Veronica (Editor), Eiter, Thomas (Editor), Hermenegildo, Manuel V. (Editor), Kowalski, Robert (Editor), Rossi, Francesca (Editor)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edición:	1st ed. 2023.
Series:	Lecture Notes in Artificial Intelligence, 13900
Subjects:	Artificial intelligence. Computer science. Artificial Intelligence. Computer Science Logic and Foundations of Programming.
Acceso en liña:	https://doi.org/10.1007/978-3-031-35254-6
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
Publicado: (2024)

Prolog programming for artificial intelligence
por: Bratko, Ivan
Publicado: (2001)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Publicado: (2023)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Publicado: (2025)

Research on Modeling and Using Context Over 25 Years
por: Brézillon, Patrick
Publicado: (2023)

Prolog programming for artificial intelligence /
por: Bratko, Ivan
Publicado: (2001)

Prolog programming for artificial intelligence /
por: Bratko, Ivan
Publicado: (2001)

Prolog programming for artificial intelligence /
por: Bratko, Ivan
Publicado: (2001)

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Publicado: (2023)

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Publicado: (2025)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Publicado: (2023)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Publicado: (2024)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Publicado: (2024)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Publicado: (2025)

Computational Evolution of Neural and Morphological Development Towards Evolutionary Developmental Artificial Intelligence /
por: Jin, Yaochu
Publicado: (2023)

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10–13, 2023, Proceedings, Part IV /
Publicado: (2023)

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10–13, 2023, Proceedings, Part V /
Publicado: (2023)

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part II /
Publicado: (2025)

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I /
Publicado: (2025)

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings /
Publicado: (2024)

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations Theories and Methodologies /
por: Xu, Yejun
Publicado: (2023)

Text, Speech, and Dialogue 27th International Conference, TSD 2024, Brno, Czech Republic, September 9–13, 2024, Proceedings, Part I /
Publicado: (2024)

Text, Speech, and Dialogue 27th International Conference, TSD 2024, Brno, Czech Republic, September 9–13, 2024, Proceedings, Part II /
Publicado: (2024)

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025, Proceedings, Part I /
Publicado: (2025)

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Publicado: (2024)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Publicado: (2023)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Publicado: (2023)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Publicado: (2023)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Publicado: (2023)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Publicado: (2025)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Publicado: (2024)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Publicado: (2024)

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /
Publicado: (2023)

Intelligent Networked Things The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part II /
Publicado: (2024)

Intelligent Networked Things The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I /
Publicado: (2024)

Myopic Maculopathy Analysis MICCAI Challenge MMAC 2023, Held in Conjunction with MICCAI 2023, Virtual Event, October 8–12, 2023, Proceedings /
Publicado: (2024)

Next Generation of Internet of Things Proceedings of ICNGIoT 2022 /
Publicado: (2023)

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings /
Publicado: (2023)

A Brief History of Intelligence From the Big Bang to the Metaverse /
por: Yu, F. Richard, et al.
Publicado: (2023)

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24–26, 2025, Revised Selected Papers, Part I /
Publicado: (2025)