Be familiar with the techniques of defeasible logics, associated research issues, ad the scope of their application.

The course will present defeasible logics, a particular approach to
nonmonotonic reasoning. Theoretical aspects will be covered, imple,ented
sustems provided for exercises, and cutting-edge research problems
presented and discussed with the students. Specific topics include:

- Motivation
- Basic defeasible logic: syntax, proof theory, properties
- Variations of the basic defeasible logic
- Arguentation semantics
- Computational complexity analysis
- Modal and temporal extensions
- Applications: e-business, ambient intelligence, semantic web
- Related approaches: defeasible logic prograsmming, systems of
  argumentation
- Implemented systems
- Research problems: forgetting, explanation

This is a course of the PhD School.

The course will be held by Prof.Antoniou.