Electronic Books

Total Books: 321 - 340 /599

Knowledge Science, Engineering and Management

This two-volume set of LNAI 12274 and LNAI 12275 constitutes the refereed proceedings of the 13th International Conference ...

Knowledge Science, Engineering and Management

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...

Knowledge-Based Intelligent Information and Engineering Systems (vol. # 3682)

Dear delegates, friendsand membersofthe growingKES professionalcommunity, w- come to the proceedings of the 9th International ...

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 ...

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 ...

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 ...

Language, Meaning, Interpretation

Philosophy of logic and language, and of meaning and communication are central to this volume. The discussion of these issues ...

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 ...

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, ...

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 ...

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, ...

Linked Democracy : Foundations, Tools, and Applications

This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...

Linked 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, ...

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. ...

Logic Programming

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

Logic Programming (vol. # 3668)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

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 ...

Logic Programming and Nonmonotonic Reasoning

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Total Books: 321 - 340 /599