Program

All sessions will take place in Suite 3002 unless otherwise indicated.

Monday, August 21st

Monday's program is also available with abstracts or side by side with other meetings.

11:30‑12:30  Session 1

11:30	Ajay Mallya Horn-based Multi-Valued Verification
12:00	Zoran Majkic Functional Many-valued Logic and Global Predicate Compression

12:30‑14:00  Lunch break

14:00‑15:30  Session 2: Invited Talk

14:00	Michael Gelfond (Texas Tech University) Probabilistic Reasoning with Answer Sets
15:00	Rajesh Kumar , Ashish Tiwari and Bruce Krogh EOLC: Efficiently Modelling Inconsistency for Commonsense Reasoning

15:30‑16:00  Break

16:00‑17:30  Session 3

16:00	Ajay Mallya Four-Valued Models and Abstract Game Structures
16:30	Alan Bond A distributed modular logic programming model based on the cortex
17:00	Andrew Mironov and Virendra Bhavsar Fuzzy Modal Logics