[Zurück]

@inproceedings{TUW-140239,
    author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan},
    title = {A Tool for Advanced Correspondence Checking in Answer-Set Programming},
    booktitle = {Proceedings is for the Eleventh International Workshop on Nonmonotonic Reasoning},
    year = {2006},
    url = {http://www.cs.ucl.ac.uk/staff/a.hunter/nmr/},
    note = {Vortrag: 11th International Workshop on Nonmonotonic Reasoning, Lake District, UK; 2006-05-30 -- 2006-06-01}
}



Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.