Declare 2017 - Conference on Declarative Programming
Book title Buchtitel
Declare 2017 - Conference on Declarative Programming
Editor Herausgeber_in
Publisher Herausgeber
Technical Report, Institute of Computer Science, University of Würzburg
Place of publishing Erscheinungsort
499
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Tompits, Hans ; Fang, Min ; Seipel, Dietmar ; Hanus, Michael ; Abreu, Salvador | An Approach for Representing Answer Sets in Natural Language | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Leutgeb, Lorenz ; Weinzierl, Antonius ; Seipel, Dietmar ; Hanus, Michael ; Abreu, Salvador | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2017 |