FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ICLP PROGRAM

Days: Saturday, July 14th Sunday, July 15th Monday, July 16th Tuesday, July 17th

Saturday, July 14th

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

10:30-11:00Coffee Break
11:00-12:30 Session 92E: Foundations I
11:00
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (abstract)
11:30
Shared aggregate sets in answer set programming (abstract)
12:00
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 93D: Foundations II
14:00
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (abstract)
14:30
First-order answer set programming as constructive proof search (abstract)
15:00
Solving Horn Clauses on Inductive Data Types Without Induction (abstract)
15:30-16:00Coffee Break
17:00-18:00 Session 97A: ASP Extensions
17:00
Constraint Answer Set Programming without Grounding (abstract)
17:30
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs (abstract)
19:00-21:30 FLoC reception at Oxford Town Hall

FLoC reception at Oxford Town Hall. Drinks and canapés available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Sunday, July 15th

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

09:00-10:00 Session 98C: ICLP Invited Talk: Elvira Albert
Chair:
09:00
Avoiding redundancies in the exploration of concurrent programs (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 100C: Implementation I
11:00
Top-down and Bottom-up Evaluation Procedurally Integrated (abstract)
11:30
Certified Graph View Maintenance with Regular Datalog (abstract)
12:00
An iterative approach to precondition inference using constrained Horn clauses (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 102C: Learning and Reasoning
14:00
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (abstract)
14:30
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (abstract)
15:00
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 104C: Technical Communications I
16:00
Cumulative Scoring-based Induction of Default Theories (abstract)
16:15
Epistemic Logic Programs with World View Constraints (abstract)
16:30
SMT-based Answer Set Solver CMODELS(DIFF) (System Description) (abstract)
16:45
Introspecting Preferences In Answer Set Programming (abstract)
17:00
Application of Logic-Based Methods to Machine Component Design (abstract)
17:15
Improving Candidate Quality of Probabilistic Logic Models (abstract)
17:30
Natural Language Generation From Ontologies: Application Paper (abstract)
17:45
MASP-Reduce: a proposal for distributed computation of stable models (abstract)
Monday, July 16th

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

09:00-10:30 Session 106C: Language and Reasoning
09:00
An ASP Methodology for Understanding Narratives about Stereotypical Activities (abstract)
09:30
Specifying and Verbalising Answer Set Programs in Controlled Natural Language (abstract)
10:00
Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (abstract)
10:30-11:00Coffee Break
12:30-14:00Lunch Break
14:00-15:30 Session 111: FLoC Plenary Lecture: Byron Cook
Location: Maths LT1
14:00
Formal Reasoning about the Security of Amazon Web Services (abstract)
15:30-16:00Coffee Break
19:00-21:30 FLoC banquet at Ashmolean Museum

FLoC banquet at Ashmolean Museum. Drinks and food available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Tuesday, July 17th

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

10:30-11:00Coffee Break
11:00-12:30 Session 116C: Applications
11:00
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (abstract)
11:30
Experimenting with robotic intra-logistics domains (abstract)
12:00
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 118D: Probabilistic and Constraint LP
14:00
Shape Neutral Analysis of Graph-based Data-structures (abstract)
14:30
A Probabilistic Extension of Action Language BC+ (abstract)
15:00
Constraint-Based Inference in Probabilistic Logic Programs (abstract)
15:30-16:00Coffee Break
16:00-16:30 Session 119D: Doctoral Consortium teaser talks

The session hosts 3 minutes summaries by each Doctoral Consortium Ph.D. student who will give the longer presentation during the ICLP-DC on 18th of July.

Chair:
16:30-18:00 Session 120: Technical Communications II
16:30
Towards Static Performance Guarantees for Programs with Run-time Checks (abstract)
16:45
Towards Incremental and Modular Context-sensitive Analysis (abstract)
17:00
Learning Commonsense Knowledge through Interactive Dialogue (abstract)
17:15
A New Proof-theoretical Linear Semantics for CHR (abstract)
17:30
CHRvis: Syntax and Semantics (abstract)
17:45
Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (abstract)