ICLP Program

ICLP PROGRAM

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

Saturday, July 14th

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-10:30 Session 93A: FLoC Keynote Lecture: Georges Gonthier

Chair:

Assia Mahboubi

Location: Maths LT1

09:00

Georges Gonthier

The Logic of Real Proofs (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 95E: Foundations I

Chair:

Ekaterina Komendantskaya

Location: Blavatnik Seminar Rooms 3 & 4

11:00	Pedro Cabalar, Jorge Fandinno, Luis Farinas Del Cerro and David Pearce Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates (abstract)
11:30	Mario Alviano, Carmine Dodaro and Marco Maratea Shared aggregate sets in answer set programming (abstract)
12:00	Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (abstract)

12:30-14:00Lunch Break

14:00-15:30 Session 96D: Foundations II

Chair:

Thomas Eiter

Location: Blavatnik Seminar Rooms 3 & 4

14:00	Frantisek Farka, Ekaterina Komendantskaya and Kevin Hammond Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (abstract)
14:30	Aleksy Schubert and Pawel Urzyczyn First-order answer set programming as constructive proof search (abstract)
15:00	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction (abstract)

15:30-16:00Coffee Break

16:00-17:00 Session 99E: ICLP Invited Talk: Thomas Eiter

Chair:

Alessandro Dal Palù

Location: Blavatnik Seminar Rooms 3 & 4

16:00

Thomas Eiter

Answer Set Programs go 30: Past and Future (abstract)

17:00-18:00 Session 100A: ASP Extensions

Chair:

Manuel Hermeneguildo

Location: Blavatnik Seminar Rooms 3 & 4

17:00	Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple and Gopal Gupta Constraint Answer Set Programming without Grounding (abstract)
17:30	Joohyung Lee and Zhun Yang 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).

Location: Oxford Town Hall

Sunday, July 15th

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-10:00 Session 101C: ICLP Invited Talk: Elvira Albert

Chair:

Paul Tarau

Location: Blavatnik Seminar Rooms 3 & 4

09:00

Elvira Albert

Avoiding redundancies in the exploration of concurrent programs (abstract)

10:00-10:30 Session 103B: ASP Applications

Chair:

Paul Tarau

Location: Blavatnik Seminar Rooms 3 & 4

10:00

Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann

Temporal Answer Set Programming on Finite Traces (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 104C: Implementation I

Chair:

Jan Wielemaker

Location: Blavatnik Seminar Rooms 3 & 4

11:00	David Scott Warren Top-down and Bottom-up Evaluation Procedurally Integrated (abstract)
11:30	Angela Bonifati, Stefania Dumbrava and Emilio Jesús Gallego Arias Certified Graph View Maintenance with Regular Datalog (abstract)
12:00	Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses (abstract)

12:30-14:00Lunch Break

14:00-15:30 Session 106C: Learning and Reasoning

Chair:

Pedro Cabalar

Location: Blavatnik Seminar Rooms 3 & 4

14:00	Tobias Kaminski, Thomas Eiter and Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (abstract)
14:30	Arindam Mitra and Chitta Baral Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples (abstract)
15:00	George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei-Wei Tsai A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (abstract)

15:30-16:00Coffee Break

16:00-18:00 Session 108C: Technical Communications I

Chair:

Neng-Fa Zhou

Location: Blavatnik Seminar Rooms 3 & 4

16:00	Farhad Shakerin and Gopal Gupta Cumulative Scoring-based Induction of Default Theories (abstract)
16:15	Patrick Kahl and Anthony Leclerc Epistemic Logic Programs with World View Constraints (abstract)
16:30	Da Shen and Yuliya Lierler SMT-based Answer Set Solver CMODELS(DIFF) (System Description) (abstract)
16:45	Zhizheng Zhang Introspecting Preferences In Answer Set Programming (abstract)
17:00	Bram Aerts and Joost Vennekens Application of Logic-Based Methods to Machine Component Design (abstract)
17:15	Joana Côrte-Real, Anton Dries, Inês Dutra and Ricardo Rocha Improving Candidate Quality of Probabilistic Logic Models (abstract)
17:30	Van Nguyen, Tran Cao Son and Enrico Pontelli Natural Language Generation From Ontologies: Application Paper (abstract)
17:45	Federico Igne, Agostino Dovier and Enrico Pontelli MASP-Reduce: a proposal for distributed computation of stable models (abstract)

Monday, July 16th

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-10:30 Session 110C: Language and Reasoning

Chair:

Alessandro Dal Palù

Location: Blavatnik LT2

09:00	Daniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney An ASP Methodology for Understanding Narratives about Stereotypical Activities (abstract)
09:30	Rolf Schwitter Specifying and Verbalising Answer Set Programs in Controlled Natural Language (abstract)
10:00	Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores (abstract)

10:30-11:00Coffee Break

11:00-11:30 Session 112D: Implementation of ASP Systems

Chair:

Alessandro Dal Palù

Location: Blavatnik LT2

11:00

Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming (abstract)

11:30-12:30 Session 113: ALP General Meeting

Chair:

Torsten Schaub

Location: Blavatnik LT2

12:30-14:00Lunch Break

14:00-15:30 Session 115: FLoC Plenary Lecture: Byron Cook

Chair:

Daniel Kroening

Location: Maths LT1

14:00

Byron Cook

Formal Reasoning about the Security of Amazon Web Services (abstract)

15:30-16:00Coffee Break

16:00-18:00 Session 116A: Oxford Union Debate: Ethics & Morality of Robotics

Public debate on "Ethics & Morality of Robotics" with panelists specializing in ethics, law, computer science, data security and privacy:

Prof Matthias Scheutz, Dr Sandra Wachter, Prof Jeannette Wing, Prof Francesca Rossi, Prof Luciano Floridi & Prof Ben Kuipers

See http://www.floc2018.org/public-debate/ for further details and to register.

Location: Oxford Union

16:00-18:00 Session 116D: Programming Competition

Chair:

Paul Fodor

Location: Blavatnik LT2

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).

Location: Ashmolean Museum

Tuesday, July 17th

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-10:30 Session 118D: Test of Time Awards and Best DC Paper

Chair:

Alessandro Dal Palù

Location: Blavatnik LT2

09:00	Tbd Tbd Test of time 20 (abstract)
09:30	Tbd Tbd TEST OF TIME 10 (abstract)
10:00	Tbd Tbd Best DC Paper (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 120C: Applications

Chair:

Marco Gavanelli

Location: Blavatnik LT2

11:00	Thanh Nguyen, Enrico Pontelli and Tran Son Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming (abstract)
11:30	Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son Experimenting with robotic intra-logistics domains (abstract)
12:00	Marc Dahlem, Anoop Bhagyanath and Klaus Schneider Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP (abstract)

12:30-14:00Lunch Break

14:00-15:30 Session 122D: Probabilistic and Constraint LP

Chair:

Paul Tarau

Location: Blavatnik LT2

14:00	Gregory Duck, Joxan Jaffar and Roland Yap Shape Neutral Analysis of Graph-based Data-structures (abstract)
14:30	Joohyung Lee and Yi Wang A Probabilistic Extension of Action Language BC+ (abstract)
15:00	Arun Nampally, Timothy Zhang and C. R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs (abstract)

15:30-16:00Coffee Break

16:00-16:30 Session 123D: 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:

Paul Fodor

Location: Blavatnik LT2

16:30-18:00 Session 124: Technical Communications II

Chair:

Martin Gebser

Location: Blavatnik LT2

16:30	Maximiliano Klemen, Nataliia Stulova, Pedro López-García, Jose F. Morales and Manuel V. Hermenegildo Towards Static Performance Guarantees for Programs with Run-time Checks (abstract)
16:45	Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo Towards Incremental and Modular Context-sensitive Analysis (abstract)
17:00	Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue Learning Commonsense Knowledge through Interactive Dialogue (abstract)
17:15	Igor Stéphan A New Proof-theoretical Linear Semantics for CHR (abstract)
17:30	Nada Sharaf, Slim Abdennadher and Thom Fruehwirth CHRvis: Syntax and Semantics (abstract)
17:45	Carlo Zaniolo, Ariyam Das, Mohan Yang, Alex Shkapsky, Matteo Interlandi and Tyson Condie Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability (abstract)