|
Browse our site
Browse member's work
|
M. Sc. dissertations
- Tobias Kaminski, Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web, João Alexandre Leite and Matthias Knorr (superv.), FCT/UNL, October 2014.
- Peter Skocovsky, Realisation of Stepping for Real-World ASP Languages, João Alexandre Leite (superv.), FCT/UNL, April 2014.
|
CENTRIA member
|