Zbornik radova, Tome 12 (2009) no. 20

Geodesic

Parcourir par

Tome 12 (2009) no. 20

Sommaire

Preface

Zoran Ognjanović

p. 3

Bicartesian coherence revisited

Kosta Došen ; Zoran Petrić

p. 5

Probability Logics

Zoran Ognjanović ; Miodrag Rašković ; Zoran Marković

p. 35

Reasoning in Basic Description Logics and Description Logics with Modal Operators

Milenko Mosurović ; Tatjana Stojanović ; Ana Kaplarević-Mališić

p. 113

Computational Interrpretations of Logics

Silvia Ghilezan ; Silvia Likavec

p. 159