It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
اقرأ المزيدThis is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
اقرأ المزيدIt profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
اقرأ المزيدIt profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
اقرأ المزيدThis book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, ...
اقرأ المزيدThis book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while ...
اقرأ المزيدThis book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary ...
اقرأ المزيدThe book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
اقرأ المزيدThe book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
اقرأ المزيدThis volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...
اقرأ المزيدAs software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
اقرأ المزيدThe theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, ...
اقرأ المزيدThis book contains the thoroughly refereed post-proceedings of two events discussing AI for Human Computing.It presented ...
اقرأ المزيدThis book contains the thoroughly refereed post-proceedings of two events discussing AI for Human Computing.It presented ...
اقرأ المزيدThis 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...
اقرأ المزيدThis volume is the proceedings of AIS 2004. The AI, Simulation and Planning in High Autonomy Systems (AIS) 2004 C- ference ...
اقرأ المزيدProviding a forum for the exchange of ideas in AI, this book provides a concise yet comprehensive coverage of methodologies, ...
اقرأ المزيدThis two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
اقرأ المزيدThis two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
اقرأ المزيد