taasp 2020

Contact: taasp2020<at>easychair.org

Tools: Print page


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

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.