封面图片

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamen...

Saved in:

书目详细资料
企业作者:	SpringerLink (Online service)
其他作者:	Meier, Arne (Editor), Ortiz, Magdalena (Editor)
格式:	电子电子书
语言:	英语
出版:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
版:	1st ed. 2024.
丛编:	Lecture Notes in Computer Science, 14589
主题:	Machine theory. Logic programming. Expert systems (Computer science). Artificial intelligence. Application software. Programming languages (Electronic computers). Formal Languages and Automata Theory. Logic in AI. Knowledge Based Systems. Artificial Intelligence. Computer and Information Systems Applications. Programming Language.
在线阅读:	https://doi.org/10.1007/978-3-031-56940-1
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
出版: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
出版: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
出版: (2025)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
出版: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
出版: (2024)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
出版: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
出版: (2024)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
出版: (2023)

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

R-Calculus, IV: Propositional Logic
由: Li, Wei, et al.
出版: (2023)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
出版: (2024)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
出版: (2024)

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

R-Calculus, V: Description Logics
由: Li, Wei, et al.
出版: (2024)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
出版: (2023)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
出版: (2025)

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

Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26–28, 2024, Proceedings /
出版: (2025)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
出版: (2025)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
出版: (2023)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
出版: (2023)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
出版: (2025)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
出版: (2024)

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

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

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
出版: (2025)

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

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

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
出版: (2023)

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

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
出版: (2023)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
出版: (2024)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
出版: (2025)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
由: Morazán, Marco T.
出版: (2024)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
出版: (2023)

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
出版: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
由: Hoffmann, Dirk W.
出版: (2025)

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings /
出版: (2024)

Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings /
出版: (2023)

Metadata and Semantic Research 18th Research Conference, MTSR 2024, Athens, Greece, November 19–22, 2024, Revised Selected Papers /
出版: (2025)