-
Argumentation in Multi-Agent Systems – 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
McBurney, Peter ; Parsons, Simon ; Rahwan, Iyad 2012 Springer Berlin Heidelberg
-
KI 2012: Advances in Artificial Intelligence – 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings
Glimm, Birte ; Krüger, Antonio 2012 Springer Berlin Heidelberg
-
Computational Intelligence for Multimedia Understanding – International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers
Salerno, Emanuele ; Cetin, A. Enis ; Salvetti, Ovidio 2012 Springer Berlin Heidelberg
-
Data Warehousing and Knowledge Discovery – 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012. Proceedings
Cuzzocrea, Alfredo ; Dayal, Umeshwar 2012 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
-
Coalgebraic Methods in Computer Science – 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Pattinson, Dirk ; Schröder, Lutz 2012 Springer Berlin Heidelberg
-
Computational Logic in Multi-Agent Systems – 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Fisher, Michael ; Torre, Leendert van der ; Dastani, Mehdi ; Governatori, Guido 2012 Springer Berlin Heidelberg
-
New Frontiers in Artificial Intelligence – JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers
Okumura, Manabu ; Bekki, Daisuke ; Satoh, Ken 2012 Springer Berlin Heidelberg
-
Text, Speech and Dialogue – 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012. Proceedings
Sojka, Petr ; Horak, Aleš ; Kopecek, Ivan ; Pala, Karel 2012 Springer Berlin Heidelberg
-
New Directions in Logic, Language and Computation – ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers
Lassiter, Daniel ; Slavkovik, Marija 2012 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Vidal, Germán 2012 Springer Berlin Heidelberg
-
Formal Grammar – 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
Groote, Philippe de ; Nederhof, Mark-Jan 2012 Springer Berlin Heidelberg
-
Deontic Logic in Computer Science – 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Ågotnes, Thomas ; Broersen, Jan M. ; Elgesem, Dag 2012 Springer Berlin Heidelberg
-
Formal Methods for Model-Driven Engineering – 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer Berlin Heidelberg
-
Logic, Language and Meaning – 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers
Aloni, Maria ; Kimmelman, Vadim ; Roelofsen, Floris ; Sassoon, Galit W. ; Schulz, Katrin ; Westera, Matthijs 2012 Springer Berlin Heidelberg
-
Logical Aspects of Computational Linguistics – 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
Béchet, Denis ; Dikovsky, Alexander 2012 Springer Berlin Heidelberg
-
Mobile and Ubiquitous Systems: Computing, Networking, and Services – 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers
Puiatti, Alessandro ; Gu, Tao 2012 Springer Berlin Heidelberg
-
Mobile and Ubiquitous Systems: Computing, Networking, and Services – 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Sénac, Patrick ; Ott, Max ; Seneviratne, Aruna 2012 Springer Berlin Heidelberg
-
Web and Wireless Geographical Information Systems – 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings
Di Martino, Sergio ; Peron, Adriano ; Tezuka, Taro 2012 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Birkedal, Lars 2012 Springer Berlin Heidelberg