Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings /
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edició: | 1st ed. 2025. |
| Col·lecció: | Lecture Notes in Artificial Intelligence,
15245 |
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-031-74209-5 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Introduction to Compiler Design
per: Mogensen, Torben Ægidius
Publicat: (2024)
per: Mogensen, Torben Ægidius
Publicat: (2024)
Programming Languages: Principles and Paradigms
per: Gabbrielli, Maurizio, et al.
Publicat: (2023)
per: Gabbrielli, Maurizio, et al.
Publicat: (2023)
Learn coding with Python and JavaScript A practical introduction for beginners /
per: Zuckarelli, Joachim L.
Publicat: (2024)
per: Zuckarelli, Joachim L.
Publicat: (2024)
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Publicat: (2025)
Publicat: (2025)
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Principles of compiler design : with a foreword and suggested exercises by S. Biswas
per: Aho, Alfred V.
per: Aho, Alfred V.
The Essence of Compilers /
per: Hunter, Robin
Publicat: (2007)
per: Hunter, Robin
Publicat: (2007)
The Essence of Compilers /
per: Hunter, Robin
Publicat: (2007)
per: Hunter, Robin
Publicat: (2007)
The Essence of Compilers /
per: Hunter, Robin
Publicat: (2007)
per: Hunter, Robin
Publicat: (2007)
Principles of compiler design : with a foreword and suggested exercises by S. Biswas
per: Aho, Alfred V.
per: Aho, Alfred V.
Principles of compiler design : with a foreword and suggested exercises by S. Biswas
per: Aho, Alfred V.
per: Aho, Alfred V.
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Publicat: (2024)
Publicat: (2024)
Guide to Java A Concise Introduction to Programming /
per: Streib, James T., et al.
Publicat: (2023)
per: Streib, James T., et al.
Publicat: (2023)
Design Patterns with Java An Introduction /
per: Musch, Olaf
Publicat: (2023)
per: Musch, Olaf
Publicat: (2023)
Advanced Guide to Python 3 Programming
per: Hunt, John
Publicat: (2023)
per: Hunt, John
Publicat: (2023)
A Beginners Guide to Python 3 Programming
per: Hunt, John
Publicat: (2023)
per: Hunt, John
Publicat: (2023)
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Publicat: (2023)
Publicat: (2023)
Modern compiler design
per: Grune, Dick
Publicat: (2000)
per: Grune, Dick
Publicat: (2000)
Compiler Construction Fundamentals and Applications /
per: Mössenböck, Hanspeter
Publicat: (2025)
per: Mössenböck, Hanspeter
Publicat: (2025)
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings /
Publicat: (2024)
Publicat: (2024)
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Publicat: (2024)
Publicat: (2024)
AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings /
Publicat: (2025)
Publicat: (2025)
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Publicat: (2024)
Publicat: (2024)
Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Prolog programming for artificial intelligence
per: Bratko, Ivan
Publicat: (2001)
per: Bratko, Ivan
Publicat: (2001)
AIxIA 2022 – Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings /
Publicat: (2023)
Publicat: (2023)
AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Publicat: (2024)
Publicat: (2024)
Compilers : Principles , Techniques , and Tool /
per: Aho, Alfred V.
Publicat: (2017)
per: Aho, Alfred V.
Publicat: (2017)
Compilers : Principles , Techniques , and Tool /
per: Aho, Alfred V.
Publicat: (2017)
per: Aho, Alfred V.
Publicat: (2017)
Compilers : Principles , Techniques , and Tool /
per: Aho, Alfred V.
Publicat: (2017)
per: Aho, Alfred V.
Publicat: (2017)
Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings /
Publicat: (2024)
Publicat: (2024)
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28–30, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Principles of compiler design /
per: Aho, Alfred V
Publicat: (1998)
per: Aho, Alfred V
Publicat: (1998)
Principles of compiler design /
per: Aho, Alfred V
Publicat: (1998)
per: Aho, Alfred V
Publicat: (1998)