Declare 2017 - Conference on Declarative Programming

Book title Buchtitel

Editor Herausgeber_in

Seipel, Dietmar
Hanus, Michael
Abreu, Salvador

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.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Tompits, Hans ; Fang, Min	An Approach for Representing Answer Sets in Natural Language	Konferenzbeitrag Inproceedings	2017
	2		Leutgeb, Lorenz ; Weinzierl, Antonius	Techniques for Efficient Lazy-Grounding ASP Solving	Konferenzbeitrag Inproceedings	2017