FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Dirk Pattinson
Organization: The Australian National University
Web page: http://users.cecs.anu.edu.au/~dpattinson/
Pages in this Program
All Proceedings Papers
EICNCL on Thursday, July 19th
EICNCL Program
IJCAR on Sunday, July 15th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
LICS on Tuesday, July 10th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: A Resolution-Based Calculus for Preferential Logics
Paper: A van Benthem Theorem for Fuzzy Modal Logic
Program
Program for Sunday, July 15th
Program for Thursday, July 19th
Program for Tuesday, July 10th
Program for Wednesday, July 18th
VSTTE on Thursday, July 19th
VSTTE on Wednesday, July 18th
VSTTE Program