DC Field
Value
Language
dc.contributor.author
Oetsch, Johannes
-
dc.contributor.author
Seidl, Martina
-
dc.contributor.author
Tompits, Hans
-
dc.contributor.author
Woltran, Stefan
-
dc.contributor.editor
Erdem, Esra
-
dc.contributor.editor
Lin, Fangzhen
-
dc.contributor.editor
Schaub, Torsten
-
dc.date.accessioned
2022-08-04T10:44:44Z
-
dc.date.available
2022-08-04T10:44:44Z
-
dc.date.issued
2009
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Oetsch, J., Seidl, M., Tompits, H., &#38; Woltran, S. (2009). ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. In E. Erdem, F. Lin, &#38; T. Schaub (Eds.), <i>Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings</i> (pp. 382–395). Springer. https://doi.org/10.1007/978-3-642-04238-6_32</div> </div>
-
dc.identifier.isbn
9783642042379
-
dc.identifier.isbn
9783642042386
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/52745
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.isbn
978-3-642-04237-9
-
dc.relation.doi
10.1007/978-3-642-04238-6
-
dc.relation.issn
0302-9743
-
dc.description.startpage
382
-
dc.description.endpage
395
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
5753
-
tuw.booktitle
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.project.title
Methods and Methodologies for Developing Answer-Set Programs
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-03 - Forschungsbereich Business Informatics
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.1007/978-3-642-04238-6_32
-
dc.description.numberOfPages
14
-
tuw.event.name
10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
-
tuw.event.startdate
14-09-2009
-
tuw.event.enddate
18-09-2009
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Potsdam, Germany
-
tuw.event.place
Potsdam, Germany
-
tuw.event.country
EU
-
tuw.event.presenter
Oetsch, Johannes
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
wb.presentation.type
science to science/art to art
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
restricted
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E188 - Institut für Softwaretechnik und Interaktive Systeme
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.orcid
0000-0001-5673-2460
-
crisitem.author.orcid
0000-0003-1594-8972
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.grantno
P 21698-N23
-
Appears in Collections:
Conference Paper
Show simple item record

Page view(s)

160
checked on Nov 23, 2023

Google ScholarTM

Check