Eiter, Thomas

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Eiter, Thomas
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  Antwortmengenprogrammierung

Results 1-3 of 3 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Artem, Konev Reasoning with RDF(S) and F-logicThesis Hochschulschrift2012
2Antic Christian - 2012 - Uniform approximation-theoretic semantics for logic...pdf.jpgAntic, Christian Uniform approximation-theoretic semantics for logic programs with external atomsThesis Hochschulschrift 2012
3Drescher Christian - 2010 - Symmetry breaking for answer set programming.pdf.jpgDrescher, ChristianSymmetry breaking for answer set programmingThesis Hochschulschrift 2010