Taub 9

Sessions

Session 44D (Aug 02 09:00-09:15) Welcome
Session 45B (Aug 02 09:15-10:30) Semantics
Session 50D (Aug 02 14:00-15:00) Invited talk by Theresa Swift: Two Languages, One System:Tightly Connecting XSB Prolog and Python
Session 52A (Aug 02 15:00-15:30) Logic Programming & Machine Learning
Session 54D (Aug 02 16:00-17:30) Applications & Automatic Reasoning
Session 56C (Aug 03 09:00-10:30) Semantics
Session 58D (Aug 03 11:00-12:30) Semantics
Session 59C (Aug 03 14:00-15:30) Justification & Hybrid Knowledge Bases
Session 61C (Aug 03 16:00-17:30) Applications
Session 63D (Aug 04 09:00-10:00) Invited talk by Manuel Hermenegildo: 50th anniversary of the birth of Prolog: Some reflections on Prolog's Evolution, Status, and Future
Session 64 (Aug 04 10:00-10:30) Implementation & Transformations
Session 65D (Aug 04 11:00-12:30) Functional Logic Programming, Datalog & Machine Learning
Session 67D (Aug 04 14:00-14:30) Best DC Paper (Alice Tarzariol): A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming
Session 68 (Aug 04 14:30-15:00) 10-Year Test-of-Time Award (Torsten Schaub, Max Ostrowski): From "ASP modulo CSP" to "ASP modulo X", or how clingcon paved the way for clingo[X] systems
Session 69B (Aug 04 15:00-15:30) Semantics
Session 72 (Aug 04 17:10-18:10) General Assembly of the ALP
Session 73B (Aug 05 09:00-10:30) Reasoning & Solving
Session 76D (Aug 05 11:00-12:00) Invited talk by Fabrizio Riguzzi: Probabilistic Logic Programming: Semantics, Inference and Learning
Session 77 (Aug 05 12:00-12:30) ASP Optimization
Session 78B (Aug 05 14:00-15:30) Logic Programming, Constraints & Machine Learning
Session 81B (Aug 05 16:00-16:30) Scheduling & Planning
Session 82 (Aug 05 16:30-17:30) Panel: Past, Present and Future of Prolog
Session 85C (Aug 07 09:00-10:30) Opening and Query Answering
Session 90C (Aug 07 14:00-15:30) Joint NMR/DL Session (1)
Session 90E (Aug 07 14:00-15:00) Keynote NMR and DL
Session 91 (Aug 07 15:00-15:30) Joint DL/NMR Session A
Session 92C (Aug 07 16:00-17:30) Joint NMR/DL Session (2)
Session 92E (Aug 07 16:00-17:30) Joint DL/NMR Session B
Session 94C (Aug 08 09:00-10:30) Joint NMR/DL Session (3)
Session 94F (Aug 08 09:00-10:00) Keynote NMR and DL
Session 95 (Aug 08 10:00-10:30) Joint DL/NMR Session C
Session 96C (Aug 08 11:00-12:30) Joint NMR/DL Session (4)
Session 96F (Aug 08 11:00-12:30) Joint DL/NMR Session D
Session 97C (Aug 08 14:00-15:30) Query Answering & Extensions
Session 98C (Aug 08 16:00-17:30) Tractable DL
Session 100C (Aug 09 09:00-10:30) Modularity and Forgetting (1)
Session 102C (Aug 09 11:00-12:30) Expressivity & Decidability
Session 104C (Aug 09 14:00-16:00) Abduction and Explanations
Session 110C (Aug 10 09:00-10:30) Modularity and Forgetting (2)
Session 112C (Aug 10 11:00-12:30) Referring Expressions & Information Extraction
Session 113 (Aug 10 12:30-13:15) Business Meeting
Session 134E (Aug 12 09:00-10:30)
Session 137G (Aug 12 11:00-12:30)
Session 138G (Aug 12 14:00-15:30)
Session 139E (Aug 12 16:00-17:15)