Ditemukan 15 dokumen yang sesuai dengan query
Daniel Lassiter, editor
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as...
Berlin : [Springer-Verlag, ], 2012
e20410419
eBooks Universitas Indonesia Library
Denis Bechet, editor
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were...
Berlin : [Springer-Verlag, ], 2012
e20410424
eBooks Universitas Indonesia Library
This book constitutes the thoroughly reviewed post-proceedings of the 8th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2011, held in Taipei, Taiwan in May 2011 in association with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011). The 8 revised full papers taken from ArgMAS 2011....
Berlin: Springer-Verlag, 2012
e20410007
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together...
Berlin: Springer-Verlag, 2012
e20409921
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems),...
Berlin: Springer-Verlag, 2012
e20410445
eBooks Universitas Indonesia Library
