Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Online Proceedings - WLP 2006
View Statistics
Email Alert
RSS Feed
Book details
Book details
Buch-Details
Book title
Buchtitel
Online Proceedings - WLP 2006
Publications
Publikationen
Show/Hide filters
Author
1
Oetsch, Johannes
1
Seidl, Martina
1
Tompits, Hans
1
Woltran, Stefan
Date issued
1
2000 - 2024
Close filters
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Send via email
Preview
Authors / Editors
Title
Type
Issue Date
1
Oetsch, Johannes
;
Seidl, Martina
;
Tompits, Hans
;
Woltran, Stefan
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results
Konferenzbeitrag
Inproceedings
2006