Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Weiterlesen
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Weiterlesen
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
Anaphora and Type Logical Grammar
This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Applications of Declarative Programming and Knowledge Management
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...
Weiterlesen
Architecting Systems with Trustworthy Components
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Weiterlesen
Argumentation in Multi-Agent Systems (vol. # 3366)
The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Artificial Intelligence in Education
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Weiterlesen
Artificial Intelligence in Education
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Weiterlesen
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 ...
Weiterlesen
