FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mario Alviano
Organization: Department of Mathematics and Computer Science, University of Calabria
Web page: http://www.alviano.net
Pages in this Program
All Proceedings Papers
ASPOCP on Wednesday, July 18th
ASPOCP Program
ICLP on Monday, July 16th
ICLP on Saturday, July 14th
ICLP on Sunday, July 15th
ICLP Proceedings of ICLP 2018
ICLP Proceedings of ICLP 2018: Papers with Abstracts
ICLP Program
Paper: A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Paper: Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores
Paper: Shared aggregate sets in answer set programming
Program
Program for Monday, July 16th
Program for Saturday, July 14th
Program for Sunday, July 15th
Program for Wednesday, July 18th