Electronic Books

Total Books: 101 - 120 /189

Journal on Data Semantics XI

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses ...

Judges and Adjudication in Constitutional Democracies: A View from Legal Realism

offers contributions to a philosophical and realistic approach to the place of adjudication in contemporary constitutional ...

Knowledge Representation Techniques

The basis for the material in this book centers around a long term research project with autonomous unmanned aerial vehicle ...

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

Large-Scale Knowledge Resources. Construction and Application : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings

Atthestartofthe21stcentury,wearenowwellonthewaytowardsaknowled- intensive society, in which knowledge plays ever more important ...

Learning and Adaption in Multi-Agent Systems

This book contains selected and revised papers of the International Workshop on Lea- ing and Adaptation in Multi-Agent Systems ...

Logic Programming and Nonmonotonic Reasoning

Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...

Logic Programming and Nonmonotonic Reasoning

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

Logic for Programming, Aritficial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...

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

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

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

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

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Logical Aspects of Computational Linguistics

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...

Logics in Artificial Intelligence

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

Machine Ethics

This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...

Managing Virtualization of Networks and Services

This volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE ...

Total Books: 101 - 120 /189