JSAI-isAI Workshops 2009: Tokyo, Japan

Juris-Informatics

Knowledge Collaboration in Software Development

Logic and Engineering of Natural Language Semantics

Learning with Logics and Logics for Learning

maintained by Schloss Dagstuhl LZI at University of Trier