Brafman, Ronen I. (ed.) & Roberts, Fred S. (ed.) & Tsoukiàs, Alexis (ed.)Algorithmic Decision Theory
Algorithmic decision theory: second international conference, ADT 2011. Piscataway, NJ, USA, october 26-28, 2011: proceedings. - Springer Verlag, 2011. - (Lecture Notes in Artificial Intelligence; 6992).
Groote, Philippe de (ed) & Morrill, Glyn (ed) & Retoré, Christian (ed)Logical Aspects of Computational Linguistics , 2001
Logical Aspects of Computational Linguistics (LACL). Proceedings of the 4th International Conference, held June 27-29, 2001 in Le Croisic, France. - Springer Verlag, 2001. - (Lecture Notes in Artificial Intelligence; 2099).
Moortgat, Michael (ed)Logical Aspects of Computational Linguistics , 1998
Logical Aspects of Computational Linguistics. Third international conference, LACL '98, Grenoble, France, December 14-16, 1998. Selected papers. - Springer Verlag, 2001. - (Lecture Notes in Artificial Intelligence; 2014).
Parigot, Michel (ed) & Voronkov, Andrei (ed)Logic for programming and automated reasonning. 7th International conference, LPAR 2000. Reunion Island, France, november 2000. Proceedings. - Springer Verlag, 2000. - (Lecture Notes in Artificial Intelligence; 1955).
Braffort, A. (ed) & Gherbi, R. (ed) & Gibet, S. (ed) & Richardson, J. (ed) & alGesture Workshop (international) , 1999
Gesture-based communication in human-computer interaction. International Gesture Workshop, GW '99, held in Giff-sur-Yvette, France, on March 17-19, 1999. Proceedings. - Springer Verlag, 1999. - (Lecture Notes in Artificial Intelligence; 1739).
Lecomte, Alain (ed) & Lamarche, François (ed) & Perrier, Guy (ed)Logical Aspects of Computational Linguistics , 1997
Logical Aspects of Computational Linguistics (LACL). Selected papers of the second international conference, LACL '97, Nancy, France, September 22-24, 1997. - Springer Verlag, 1999. - (Lecture Notes in Artificial Intelligence; 1582).
Wachsmuth, Ipke (ed) & Frölich, Martin (ed)Gesture and sign-language in human-computer interaction. International gesture workshop, held in Bielefeld, Germany, september 17-19, 1997. Proceedings. - Springer Verlag, 1998. - (Lecture Notes in Artificial Intelligence; 1371).
Retoré, ChistianLogical Aspects of Computational Linguistics , 1996
Logical Aspects of Computational Linguistics (LACL). Selected papers of the first international conference, held in Nancy, France, from September 23 to 25,1996. - Springer Verlag, 1997. - (Lecture Notes in Artificial Intelligence; 1328).
Gabbay, Dov M. (ed) & Ohlbach, Hans Jürgen (ed)Temporal logic. 1st international conference, ICTL'94, Bonn, Germany, July 11-14, 1994. Proceedings. - Springer Verlag, 1994. - (Lecture Notes in Artificial Intelligence; 827).
Fermüller, C. & Leitsch, A. & Tammet, T. & Zamov, N.Resolution methods for the decision problem. - Springer Verlag, 1993. - (Lecture Notes in Artificial Intelligence; 679).
Bürckert, H.-J.A resolution principle for a logic with restricted quantifiers. - Springer Verlag, 1991. - (Lecture Notes in Artificial Intelligence; 568).
Plümer, LutzTermination proofs for logic programs. - Springer Verlag, 1990. - (Lecture Notes in Artificial Intelligence; 446).
Ramani, S. (ed) Chandrasekar, R. (ed) & Anjaneyulu, K.S.R. (ed)Knowledge based computer systems , 1989
Knowledge Based Computer Systems. International conference KBCS '89, Bombay, India, december 11-13, 1989, Proceedings. - Springer Verlag, 1990. - (Lecture Notes in Artificial Intelligence; 444).
Furukawa, K. (ed) & Tanaka, H. (ed) & Fujisaki, T. (ed)Logic Programming - conferences , 1988
Logic programming '88. Symposium. Proceedings of the 7th conference, Tokyo, Japan, april 11-14, 1988. - Springer Verlag, 1989. - (Lecture Notes in Artificial Intelligence; 383).