Accepted Papers

Zoran Majkic
Functional Many-valued Logic and Global Predicate Compression

Alan Bond
A distributed modular logic programming model based on the cortex

Rajesh Kumar, Ashish Tiwari, and Bruce Krogh
EOLC: Efficiently Modelling Inconsistency for Commonsense Reasoning

Ajay Mallya
Horn-based Multi-Valued Verification

Andrew Mironov, Virendra Bhavsar
Fuzzy Modal Logics