1

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

by: Fermüller, Christian G.; Voronkov, Andrei
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
E-Book Conference Proceedings
2

On matrices, Nmatrices and games

E-Article
3
4

From Games to Truth Functions: A Generalization of Giles’s Game

E-Article
5

Review: Vagueness and Degrees of Truth

E-Article
6

Giles’s Game and the Proof Theory of Łukasiewicz Logic

E-Article
7
8
9
10
11

Resolution-based Theorem Proving for Many-valued Logics

E-Article
12
13

Computer Science Logic: Model building by resolution

E-Chapter
14
15
16