Training:Knowledge Representation Course, Paris, 2012
From Odp
(Difference between revisions)
| Line 7: | Line 7: | ||
{{Tutorial resources begin}} | {{Tutorial resources begin}} | ||
{{External Resource Template | {{External Resource Template | ||
| - | |Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/ | + | |Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_slides_informalkr.pdf |
}} | }} | ||
{{External Resource Template | {{External Resource Template | ||
|Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_TD.pdf | |Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_TD.pdf | ||
| + | }} | ||
| + | {{External Resource Template | ||
| + | |Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_TD_solutions.pdf | ||
| + | }} | ||
| + | {{External Resource Template | ||
| + | |Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_slides_propositional.pdf | ||
| + | }} | ||
| + | {{External Resource Template | ||
| + | |Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_text.pdf | ||
| + | }} | ||
| + | {{External Resource Template | ||
| + | |Location=http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_TD.pdf | ||
}} | }} | ||
{{Tutorial exercises}} | {{Tutorial exercises}} | ||
Revision as of 12:13, 3 October 2012
| Title: | Knowledge Representation Course, Paris, 2012 |
|---|---|
| Author(s): | AldoGangemi |
Goal:
An introductory course to Knowledge Representation, centered on patterns at different levels. Makes use of novel and existing ODP material by Aldo Gangemi, open source material by Johan van Benthem's group (basics of logics) , as well as by Pascal Hitzler (basics of DL and OWL).
Brief description
The course covers: informal KR; basics of Propositional, Syllogistic, Predicate, and Descriptive logics; KR for the Semantic Web; an overview of Non-classical logics; an overview of formal techniques for natural language representation into KR languages.
Resources:
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_slides_informalkr.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_TD.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC1_TD_solutions.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_slides_propositional.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_text.pdf
- http://stlab.istc.cnr.it/documents/slides/KR-Course-Paris-2012/REPC2_TD.pdf
Exercises: No exercises.
