Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical ...
Lire la suiteThis book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while ...
Lire la suiteThis book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary ...
Lire la suiteThe book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
Lire la suiteThe book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
Lire la suiteThis volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...
Lire la suiteAs software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Lire la suiteThe theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, ...
Lire la suiteThis book contains the thoroughly refereed post-proceedings of two events discussing AI for Human Computing.It presented ...
Lire la suiteThis book contains the thoroughly refereed post-proceedings of two events discussing AI for Human Computing.It presented ...
Lire la suiteThis 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...
Lire la suiteThis volume is the proceedings of AIS 2004. The AI, Simulation and Planning in High Autonomy Systems (AIS) 2004 C- ference ...
Lire la suiteProviding a forum for the exchange of ideas in AI, this book provides a concise yet comprehensive coverage of methodologies, ...
Lire la suiteThis two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Lire la suiteThis two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial ...
Lire la suiteThe AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central ...
Lire la suiteThis book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September ...
Lire la suite