Steen Nikolaj Oldager
Former employee
Publications
(2)- Published
Conceptual Knowledge Representation and Reasoning
Publication: Research › Ph.d. thesis – Annual report year: 2003
- Published
Logic program synthesis as problem reduction using combining forms
Publication: Research - peer-review › Journal article – Annual report year: 2001
Projects
(2)- Completed
Sprog og logikker for ontologier
Project: PhD
- Completed
ID: 2179241