FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ASPOCP PROGRAM
Wednesday, July 18th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 124B
09:00
Invited Talk: Optimization Problems in Answer Set Programming (abstract)
10:00
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report) (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 126B
11:00
A Survey of Advances in Epistemic Logic Program Solvers (abstract)
11:30
selp: A Single-Shot Epistemic Logic Program Solver (abstract)
12:00
Partial Evaluation of Logic Programs in Vector Spaces (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 127B
14:00
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies (abstract)
14:30
Datalog for Static Analysis Involving Logical Formulae (abstract)
15:00
Syntactic Conditions for Antichain Property in Consistency Restoring Prolog (abstract)
15:30-16:00Coffee Break
19:15-21:30 Workshops dinner at Magdalen College

Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).