Difference between revisions of "Jan Sefranek/en"
| Line 12: | Line 12: | ||
=== Teaching === | === Teaching === | ||
| − | * [[Introduction to | + | * [[Introduction to Computational Logic]] |
* [[Answer Set Programming]] | * [[Answer Set Programming]] | ||
* [[Symbolic Programming and LISP]] | * [[Symbolic Programming and LISP]] | ||
| − | * [[Semantic Fundamentals of Knowledge Systems]] | + | * [[Semantic Fundamentals of Knowledge-Based Systems]] |
* [[Knowledge Representation and Reasoning]] | * [[Knowledge Representation and Reasoning]] | ||
| − | * [[ | + | * [[Logics for Artificial Intelligence]] |
* [[Artificial Intelligence Seminar (1)]] | * [[Artificial Intelligence Seminar (1)]] | ||
* [[Representation, Knowledge and Reasoning]] | * [[Representation, Knowledge and Reasoning]] | ||
Revision as of 10:35, 23 November 2009
Ján Šefránek
|
|
Teaching
- Introduction to Computational Logic
- Answer Set Programming
- Symbolic Programming and LISP
- Semantic Fundamentals of Knowledge-Based Systems
- Knowledge Representation and Reasoning
- Logics for Artificial Intelligence
- Artificial Intelligence Seminar (1)
- Representation, Knowledge and Reasoning
- Logic and Cognitive_Science
Research
- non-monotonic logic
Publications
- none