Areas of Expertise

  • Argumentation
  • Multi-agent Systems
  • Artificial Intelligence

Publications

  1. (2010). Integrated planning and control of large tracked vehicles in open terrain. , 4424-4430. doi:10.1109/ROBOT.2010.5509392
  2. & ROBOTSHARE: A GOOGLE FOR ROBOTS. International Journal of Humanoid Robotics 05(02), 311-329.
  3. & (2014). Dialogical two-agent decision making with assumption-based argumentation. , 533-540. Paris, France: International conference on Autonomous Agents and Multi-Agent Systems.
  4. & A general framework for sound assumption-based argumentation dialogues. Artificial Intelligence 216, 20-54.
  5. & On Explanations for Non-Acceptable Arguments. In Theory and Applications of Formal Argumentation. (pp. 112-127). Springer.

See more...

Teaching

  • CS-205 Declarative Programming

    This module provides an introduction to the functional and logic programming paradigms and gives students the opportunity to gain practical experience in using both.

  • CSC364 Software Testing

    Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exerercises will allow the students to gain hands-on experience.

  • CSCM64 Software Testing

    Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will provide an in-depth introduction to various test scenarios and enable students to gain hands-on experience by means of a number of practical exercises.