Electronic Books

Total Books: 61 - 80 /597

Algebraic and Proof-theoretic Aspects of Non-classical Logics

It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...

Algebraic and Proof-theoretic Aspects of Non-classical Logics

It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...

An Introduction to Language Processing with Perl and Prolog

This book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, ...

Anaphora and Type Logical Grammar

This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while ...

Anatomy Ontologies for Bioinformatics : Principles and Practice

This book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary ...

Annotating, Extracting and Reasoning about Time and Events

The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...

Annotating, Extracting and Reasoning about Time and Events

The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...

Applications of Declarative Programming and Knowledge Management

This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...

Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Architecting Systems with Trustworthy Components

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...

Argumentation in Multi-Agent Systems (vol. # 3366)

The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, ...

Artifical Intelligence for Human Computing

This book contains the thoroughly refereed post-proceedings of two events discussing AI for Human Computing.It presented ...

Artifical Intelligence for Human Computing

This book contains the thoroughly refereed post-proceedings of two events discussing AI for Human Computing.It presented ...

Artificial Intelligence Applications and Innovations

This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...

Artificial Intelligence and Simulation

This volume is the proceedings of AIS 2004. The AI, Simulation and Planning in High Autonomy Systems (AIS) 2004 C- ference ...

Artificial Intelligence for Customer Relationship Management : Keeping Customers Informed

Providing a forum for the exchange of ideas in AI, this book provides a concise yet comprehensive coverage of methodologies, ...

Artificial Intelligence in Education

This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...

Artificial Intelligence in Education

This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...

Artificial Intelligence in Theory and Practice

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Artificial Intelligence. IJCAI 2019 International Workshops : Macao, China, August 10–12, 2019, Revised Selected Best Papers

This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial ...

Total Books: 61 - 80 /597