Modules/Courses I took in UNL:
- Foundations of Computational Logic
- Complexity Theory
- Science of Computational Logic
- Logic and Constraint Programming
- Logic Programming Engineering
- Logic and Constraint Programming
- Integrated Logic Systems
- WAM
- XSB
- Petisco
- Advanced Logics
- Type Theory
- Modal Logic
- Knowledge, Reasoning and Agents
- Knowledge Representation and Reasonging
- Agents
- Semantic Web
- XML Technology
- Reasoning in the Semantic Web