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
|