taasp 2020

Contact: taasp2020<at>easychair.org

Tools: Print page

Accepted Papers/Abstracts

Pierre Tassel, Martin Gebser and Mohamed Rbaia. A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem [paper]
Marco De Bortoli, Felicitas Fabricius, Selmair Maximilian, Michael Reip, Gerald Steinbauer and Martin Gebser. Towards ASP-based Scheduling for Industrial Transport Vehicles [paper]
Alice Tarzariol, Martin Gebser and Konstantin Schekotihin. Lifting Symmetry Breaking Constraints with Inductive Logic Programming [paper]
Mohammed El-Kholany and Martin Gebser. Job Shop Scheduling with Multi-shot ASP [paper]
Shutao Zhang, Zhizheng Zhang, Bin Wang and Jun Shen. Answer Set Programming with Epistemic Defaults [paper]
Yi-Dong Shen and Thomas Eiter. Constraint Monotonicity, Epistemic Splitting and Foundedness Can in General Be Too Strong in Answer Set Programming [paper]
Richard Taupe, Antonius Weinzierl and Gerhard Friedrich. Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints (Extended Abstract) [paper]
Markus Hecher. Treewidth-Aware Reductions of normal ASP to SAT - Is normal ASP harder than SAT after All? [paper]
Flavio Everardo, Markus Hecher and Ankit Shukla. An Approximate Model Counter for ASP [paper]
Flavio Everardo. Over a Decade of Producing Music with Answer Set Programming. A Survey [paper]
Lukas Chrpa, Wolfgang Faber, Daniel Fišer and Michael Morak. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming [paper]

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.