TAASP - Workshop on Trends and Applications of Answer Set Programming

View Statistics Email Alert RSS Feed

Description

Event name
TAASP - Workshop on Trends and Applications of Answer Set Programming
 
Event type
Event for scientific audience
 
Start date
19-11-2018
End date
20-11-2018
 
Location
Wien
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-8 of 8 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)Präsentation Presentation2019
2Dvorak, Wolfgang ; Pührer, Jörg ; Wallner, Johannes Peter ; Woltran, Stefan ; Diller, Martin Application of ASP in formal argumentationKonferenzbeitrag Inproceedings 2018
3Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas Elaboration for Neurosymbolic CompuationPresentation Vortrag29-Nov-2022
4Saribatur, Zeynep Gözen ; Eiter, Thomas Omission-based Abstraction for Answer Set Programs (Extended Abstract)Präsentation Presentation2018
5Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022
6Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2019
7Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2018
8Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsPresentation Vortrag29-Nov-2022