Sumários

22nd

15 maio 2019, 11:00 • Helena Sofia Andrade Nunes Pereira Pinto

Reiter's Default Logic
Default Rules and Default Theories. Closed Default Rules.
Representation of knowledge in Default Theories.
The notion of extension.
Extension Calculus: requirements, extension proposal method and verification method.
Some initial examples and exercises.

12th

15 maio 2019, 09:30 • Helena Sofia Andrade Nunes Pereira Pinto

An ontology on the cooking domain - natural language definitions of the identified concepts.

21st

10 maio 2019, 14:30 • Helena Sofia Andrade Nunes Pereira Pinto

Ontology Engineering:
building ontologies from scratch.
Life cycle, methodologies, techniques, tools

Motivation for Non Monotonic Logics.

11th

10 maio 2019, 09:30 • Helena Sofia Andrade Nunes Pereira Pinto

An ontology on the cooking domain.

20th

8 maio 2019, 11:00 • Helena Sofia Andrade Nunes Pereira Pinto

Sharing and Reusing Knowledge.
Ontologies and Ontology Engineering.