 |
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
|