Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings - Hoek, Wiebe van der (Springer, 2015)
Keywords: Computer science; Computer logic; Mathematical logic; Computer science / Mathematics; Computer Science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Logics and Meanings of Programs; Informatik; Mathematik; Semantik; Problemlösen; Logik; Spieltheorie; Rationalität; Schlussfolgern; Wissensrevision; Künstliche Intelligenz; Lernendes System; Mathematische Logik; Kognitionswissenschaft; Konferenzschrift