Volume 16; Issue 3-4

3

On the strength and scope of DLS

Year:
2006
Language:
english
File:
PDF, 177 KB
english, 2006
4

Linear-time temporal logics with Presburger constraints: an overview ★

Year:
2006
Language:
english
File:
PDF, 315 KB
english, 2006
6

Second-order reasoning in description logics

Year:
2006
Language:
english
File:
PDF, 117 KB
english, 2006
7

Automatic checking properties of non-classical logics

Year:
2006
Language:
english
File:
PDF, 75 KB
english, 2006
8

Foreword

Year:
2006
Language:
english
File:
PDF, 20 KB
english, 2006
11

Relational proof systems for spatial reasoning ★

Year:
2006
Language:
english
File:
PDF, 196 KB
english, 2006