This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002.
The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on knowledge representation and reasoning, logic programming and constraint satisfaction, planning and scheduling, natural language processing, human-computer interaction, machine learning, intelligent Internet and multiagent systems, and...

We are pleased to present the proceedings of the 13th European Conference on Machine Learning (LNAI 2430) and the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2431). These two c- ferences were colocated in Helsinki, Finland during August 19 23, 2002. ECML and PKDD were held together for the second year in a row, following the success of the colocation in Freiburg in 2001. Machine learning and knowledge discovery are two highly related ?elds and ECML/PKDD is a unique forum to foster their collaboration. The bene't of colocation to both the...

This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, and more.

This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009.
The 13 revised full papers presented, including two invited talks, were carefully reviewed and selected from 26 submissions. These articles in this book give an overview of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

This book constitutes the refereed proceedings of the Second International Conference on Autonomous and Intelligent Systems, AIS 2011, held in Burnaby, BC, Canada, in June 2011, colocated with the International Conference on Image Analysis and Recognition, IACIAR 2011.
The 40 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on autonomous and intelligent systems, intelligent and advanced control systems, intelligent sensing and data analysis, human-machine interaction, and intelligent circuit analysis and...

This book constitutes the refereed proceedings of the Third International Conference on Mathematics and Computation in Music, MCM 2011, held in Paris, France, in June 2011. The 24 revised full papers presented and the 12 short papers were carefully reviewed and selected from 62 submissions. The MCM conference is the flagship conference of the Society for Mathematics and Computation in Music. This year's conference aimed to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory,...

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010.The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and...

This book constitutes the refereed proceedings of the 5th KES International Conference on Agent and Multi-Agent Systems, KES-AMSTA 2011, held in Manchester, UK, in June/July 2011. The 69 revised papers presented were carefully reviewed and selected for inclusion in the book. In addition the volume contains one abstract and one full paper length keynote speech. The papers are organized in topical sections on conversational agents, dialogue systems and text processing; agents and online social networks; robotics and manufacturing; agent optimisation; negotiation and security; multi-agent...

This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. The 16 revised full papers (13 technical papers, 1 application description, and 2 system descriptions) and 26 short papers (16 technical papers, 3 application description, and 7 system descriptions) which were carefully reviewed and selected from numerous submissions, are presented together with 3 invited talks. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and...