Ditemukan 17 dokumen yang sesuai dengan query
Thomas Agotnes, editor
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning,...
Berlin: [Springer-Verlag, ], 2012
e20410210
eBooks Universitas Indonesia Library
Franciso Duran, editor
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and...
Berlin: Springer, 2012
e20407300
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 contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first section contains the invited contributions....
Berlin: Springer-Verlag, 2012
e20410415
eBooks Universitas Indonesia Library
Luke Ong, editor
This book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The...
Berlin: [, Springer-Verlag], 2012
e20410041
eBooks Universitas Indonesia Library
Nick Bezhanishvili, 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
e20410243
eBooks Universitas Indonesia Library
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
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 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
Amsterdam : John Benjamins B. V., 1982
401.4 ARG
Buku Teks Universitas Indonesia Library
