Knowledge-Based Intelligent Information and Engineering Systems (vol. # 3682)
Dear delegates, friendsand membersofthe growingKES professionalcommunity, w- come to the proceedings of the 9th International ...
Continue reading
Knowledge-Based Intelligent Information and Engineering Systems (vol. # 4253)
Delegates and friends, we are very pleased to extend to you the sincerest of welcomes to this, the 10th International Conference ...
Continue reading
Knowledge-Based Intelligent Information and Engineering Systems : 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III
The three volume set LNAI 5177, LNAI 5178, and LNAI 5179, constitutes the refereed proceedings of the 12th International ...
Continue reading
Language Technologies for the Challenges of the Digital Age
This open access volume constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational ...
Continue reading
Language, Meaning, Interpretation
Philosophy of logic and language, and of meaning and communication are central to this volume. The discussion of these issues ...
Continue reading
Languages and Compilers for High Performance Computing
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ...
Continue reading
Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, ...
Continue reading
Law and the Semantic Web
by Roberto Cencioni At the Lisbon Summit in March 2000, European heads of state and government set a new goal for the European ...
Continue reading
Leveraging the Semantics of Topics Maps
The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, ...
Continue reading
Linked Democracy : Foundations, Tools, and Applications
This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...
Continue readingLinked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project
Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, ...
Continue reading
Logic Based Program Synthesis and Transformation (vol. # 3573)
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Continue reading
Logic Programming
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...
Continue reading
Logic Programming (vol. # 3668)
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Continue reading
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue reading
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Continue reading
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Continue reading
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Continue reading
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
