[Zurück]

@inproceedings{TUW-140237,
    author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan},
    title = {A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results},
    booktitle = {Online Proceedings - WLP 2006},
    year = {2006},
    url = {http://www.kr.tuwien.ac.at/wlp06/},
    note = {Vortrag: 20th Workshop on Logic Programming, Wien; 2006-02-22 -- 2006-02-24}
}



Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.