Book title Buchtitel
Program TAASP
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Geibinger, Tobias ; Kaminski, Tobias ; Oetsch, Johannes Explanations for Guess-and-Check ASP Encodings Using an LLM (Extended Abstract)Inproceedings Konferenzbeitrag 2024