taasp 2019

Contact: taasp2019<at>easychair.org

Tools: Print page


Schedule 18.11.2019 in Room 1.02 (1st floor of House 4)

Time Title
12:30 Welcome
12:40-13:40 Invited Talk by Pedro Cabalar: Functional ASP from a Practical Perspective
13:40-14:00 Sebastian Schellhorn, Bart Bogaerts and Torsten Schaub: Towards a Lower Bound Founded Fixpoint Semantics: Working Abstract [paper]
14:00-14:20 François Laferriere and Torsten Schaub: Dynamic Answer Set Programming [paper]
14:20-14:40 Flavio Everardo: The return of xorro [paper]
14:40-15:10 Coffee break
15:10-16:10 Invited Talk by Katinka Becker (from the group of Alexander Bockmayr): Logical Data Analysis of Biological Data Sets using ASP
16:10-16:30 Philipp Wanko, Torsten Schaub, Max Ostrowski, Dirk Abels, Julian Jordi and Ambra Toletti: Train scheduling with Hybrid ASP [paper]
16:30-16:50 Philipp Obermeier and Torsten Schaub: Prioritized Planning for Robotic Intra-Logistics in Answer Set Programming: Working Abstract [paper]
16:50-17:30 Discussion session
17:30 Moving for dinner
19:00-23:00 Social Program: Cafe Heider

Schedule 19.11.2019 in Room 1.02 (1st floor of House 4)

Time Title
09:00-09:20 Thomas Eiter, Paul Ogris and Konstantin Schekotihin: Distributed Stream Reasoning with LARS and ASP [paper]
09:20-09:40 Marco De Bortoli: Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring [paper]
09:40-10:00 Richard Taupe, Antonius Weinzierl and Gerhard Friedrich: Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving (Extended Abstract) [paper]
10:00-10:30 Coffee break
10:30-10:50 Markus Hecher, Michael Morak and Stefan Woltran: Structural Decompositions of Epistemic Logic Programs [paper]
10:50-11:10 Alice Tarzariol: Evolution of Algorithm Portfolio Methods for Combinatorial Search and Optimization Strategies [paper]
11:10-11:30 Erich Teppan and Markus Zanker: Exploiting Answer Set Programming for Building Explainable Recommendations [paper]
11:30-11:50 Thomas Eiter, Zeynep G. Saribatur and Peter Schüller: Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) [paper]
11:50-12:10 Mario Alviano, Javier Romero and Torsten Schaub: On the Integration of CP-nets in ASPRIN [paper]
12:10-13:40 Lunch break
13:40-14:00 Pedro Cabalar, Jorge Fandinno and Luis Farinas Del Cerro: On Some Desirable Properties of Epistemic Specifications [paper]
14:00-14:20 Yi-Dong Shen and Thomas Eiter: Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) [paper]
14:20-14:40 Pedro Cabalar, Jorge Fandinno, Luis Farinas Del Cerro, David Pearce and Agustin Valverde: Atom Definability and Well-Supportedness [paper]
14:40-15:00 Seemran Mishra, Jorge Fandinno, Javier Romero, Torsten Schaub and Abhaya Nayak: An alternative paradigm for Answer Set Programming [paper]
15:00-15:30 Coffee break
15:30-16:15 Discussion session
16:15 Closing and Feedback round

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.