Filter
Matematisk databehandlingsteori
Filter
This book constitutes the thoroughly refereed post-workshop proceedings of the 16th Chinese Lexical Semantics Workshop, CLSW 2015, held in Beijing, China, in May 2015. The 64 …
EsTAL - Espana " for Natural Language Processing - continued on from the three previous conferences: FracTAL, held at the Universit' e de Franch-Comt' e, Besan, con (France) in …
The 5-volume proceedings, LNAI 12457 until 12461 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD …
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD …
TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti?cial Intelligence Planning and Scheduling. They developed from a series of European …
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October …
This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in …
Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the …
ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an …
This book constitutes the refereed proceedings of the 12th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2011, held in Palermo, Italy, in …