Programme
The TAASP 2020 workshop will be held online using the browser-based
BigBlueButton platform hosted at the University of Klagenfurt, where
meeting recordings will become available after the workshop sessions:
Both virtual meeting rooms can be accessed without prior registration or
password: just entering your name and checking the box to confirm
recordings is needed. Please choose "Microphone" for joining a room,
where the microphone will be muted by default and can be turned on once
you joined.
Schedule 23.11.2020
| Time |
Title |
| 13:45 |
Welcome |
| 14:00-14:20 |
Markus Hecher: Treewidth-Aware Reductions of normal ASP to SAT – Is normal ASP harder than SAT after All?
|
| 14:20-14:40
|
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko:
Implementing HTC using Constraint ASP: A Prototype (invited)
|
|
14:40-15:00
|
Richard Taupe, Antonius Weinzierl and Gerhard Friedrich:
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
|
|
15:00-15:20
|
Alice Tarzariol, Martin Gebser and Konstantin Schekotihin:
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
|
|
15:20-15:50
|
Break
|
|
15:50-16:10
|
Pierre Tassel, Martin Gebser and Mohamed Rbaia:
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
|
|
16:10-16:30
|
Mohammed El-Kholany and Martin Gebser:
Job Shop Scheduling with Multi-shot ASP
|
|
16:30-16:50
|
Flavio Everardo: Over a Decade of Producing Music with Answer Set Programming: A Survey
|
Schedule 24.11.2020
| Time |
Title |
|
14:00-14:20
|
Shutao Zhang, Zhizheng Zhang, Bin Wang and Jun Shen:
Answer Set Programming with Epistemic Defaults
|
|
14:20-14:40
|
Yi-Dong Shen and Thomas Eiter:
Constraint Monotonicity, Epistemic Splitting and Foundedness Can in General Be Too Strong in Answer Set Programming
|
|
14:40-15:00
|
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo: A solver for Epistemic Logic Programs (invited)
|
|
15:00-15:20
|
Lukas Chrpa, Wolfgang Faber, Daniel Fišer and Michael Morak:
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
|
|
15:20-15:50
|
Break
|
|
15:50-16:10
|
Marco De Bortoli, Felicitas Fabricius, Selmair Maximilian, Michael Reip, Gerald Steinbauer and Martin Gebser:
Towards ASP-based Scheduling for Industrial Transport Vehicles
|
|
16:10-16:30
|
Flavio Everardo, Markus Hecher and Ankit Shukla:
An Approximate Model Counter for ASP
|
|
16:40-17:30
|
Discussion session
|
|
17:30
|
Closing and Feedback round
|