Anaphora and Type Logical Grammar
This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while ...
اقرأ المزيد
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 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, ...
اقرأ المزيد
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 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. 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 ...
اقرأ المزيد
Artificial Neural Networks: Biological Inspirations – ICANN 2005
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial ...
اقرأ المزيد
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network ...
اقرأ المزيد
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis ...
اقرأ المزيد
Aspectual Inquiries
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
اقرأ المزيد
Attitudes and Changing Contexts
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes ...
اقرأ المزيد
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيد
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيد
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
اقرأ المزيد
Biological and Medical Data Analysis (vol. # 4345)
This book constitutes the refereed proceedings of the 7th International Symposium on Biological and Medical Data Analysis, ...
اقرأ المزيد
