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, ...
اقرأ المزيد
An introduction to description logics, Franz Baader, Ian Horrocks, Karsten Lutz, Ulli Sattler
Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently ...
اقرأ المزيد
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical ...
اقرأ المزيد
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 ...
اقرأ المزيد
