Since knowledge was recognized as a crucial part of intelligent systems in the 1970s and early 1980s, the problem of the systematic and efficient acquisition of knowledge was an important research problem.
This volume contains the papers selected for presentation at the 17th Inter- tional Symposium on Methodologies for Intelligent Systems (ISMIS 2008), held in York University, Toronto, Canada, May 21-23, 2008.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 2018, collocated with the European Summer School in Logic, Language and Information in August 2018.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 2017, collocated with the European Summer School in Logic, Language and Information in July 2017.
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 2018, collocated with the European Summer School in Logic, Language and Information in August 2018.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 2017, collocated with the European Summer School in Logic, Language and Information in July 2017.
This proceedings compilation emerges from the exchange of research insights and innovative ideas among academicians, researchers, practitioners, and students in the field of computer science.
This proceedings compilation emerges from the exchange of research insights and innovative ideas among academicians, researchers, practitioners, and students in the field of computer science.
This proceedings compilation emerges from the exchange of research insights and innovative ideas among academicians, researchers, practitioners, and students in the field of computer science.
This book constitutes short papers, Doctoral Consortium and workshop papers which were presented at the 29th European Conference on New Trends in Databases and Information Systems, ADBIS 2025, which took place in Tampere, Finland, during September 23-26, 2025.
This proceedings compilation emerges from the exchange of research insights and innovative ideas among academicians, researchers, practitioners, and students in the field of computer science.
This book constitutes short papers, Doctoral Consortium and workshop papers which were presented at the 29th European Conference on New Trends in Databases and Information Systems, ADBIS 2025, which took place in Tampere, Finland, during September 23-26, 2025.
This book constitutes the refereed proceedings of the 18th International Symposium on Methodologies for Intelligent Systems, ISMIS 2009, held in Prague, Czech Republic, in September 2009.
This book constitutes the joint thoroughly refereed post-proceedings of the Second International Workshop on Modeling Social Media, MSM 2011, held in Boston, MA, USA, in October 2011, and the Second International Workshop on Mining Ubiquitous and Social Environments, MUSE 2011, held in Athens, Greece, in September 2011.
Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimization pr- lems from many areas of computer science, operations research, and engineering.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011.
This book constitutes revised selected papers from the two International Workshops on Artificial Intelligence Approaches to the Complexity of Legal Systems, AICOL IV and AICOL V, held in 2013.
The inspiring idea of this workshop series, Artificial Intelligence Approaches to the Complexity of Legal Systems (AICOL), is to develop models of legal knowledge concerning organization, structure, and content in order to promote mutual understanding and communication between different systems and cultures.
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Agents and Data Mining Interaction, ADMI 2011, held in Taipei, Taiwan, in May 2011 in conjunction with AAMAS 2011, the 10th International Joint Conference on Autonomous Agents and Multiagent Systems.
This book constitutes the refereed post-conference proceedings of the 15th International Workshop on Groupware: Design, Implementation, and Use, held in Peso da Regua, Douro, Portugal, during September 13-17, 2009.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
Privacy in statistical databases is a discipline whose purpose is to provide solutions to the tension between the increasing social, political and economical demand of accurate information, and the legal and ethical obligation to protect the privacy of the various parties involved.
This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
This volume comprises papers dedicated to data science and the extraction of knowledge from many types of data: structural, quantitative, or statistical approaches for the analysis of data; advances in classification, clustering and pattern recognition methods; strategies for modeling complex data and mining large data sets; applications of advanced methods in specific domains of practice.
