Program of the workshop

Computational Aspects of Arguments and LogiC 2017

(Click here to download .pdf version)

Thursday, July 6th

• 11.00 - 11.20 Gathering
• 11.20 - 12.20 Invited talk: Leila Amgoud:
  Argumentation-based defeasible reasoning


• 12.20 - 14.30 lunch break


• 14.30 - 15.00 Aleksandar Perović:
  Completeness vs cardinality of the object language in probability logics
• 15.00 - 15.30 Caterina Sisti:
  Ramsey tests and Ramsey's test: what has remained of the original footnote?


• 15.30 - 16.00 coffee break


• 16.00 - 16.30 Nenad Savić:
  Towards Relevant Justifications
• 16.30 - 17.00 Tin Perkov:
  Formal proofs using natural deduction for modal logic of social choice
• 17.00 - 17.30 Ali Farjami:
  Implementation of a Modern Dyadic Deontic Logic in Isabelle/HOL

Friday, July 7th

• 10.00 - 10.30 Srdjan Vesić:
  Postulates and Acceptability Semantics for Weighted Argumentation Frameworks
• 10.30 - 11.00 Cristiana Santos:
  Using a Semantic Web Language to Model Complaints


• 11.00 - 11.30 coffee break


• 11.30 - 12.00 Nataša Glišović:
  System for Decision Making when Reasoning is under Uncertainty
• 12.00 - 12.30 Giovanni Casini:
  Belief Change in a Preferential Non-monotonic Framework


• 12.30 - 14.30 lunch break


• 14.30 - 15.00 Dragan Doder:
  On Probability and Preferences in Argumentation Frameworks
• 15.00 - 15.30 Tatjana Davidović:
  Applying Meta-heuristics to Decision Making Under Uncertainty


• 15.30 - 16.00 coffee break


• 16.00 - 17.00 Invited talk: Leon van der Torre:
  Dynamic Argumentation Semantics

Abstracts of all talks can be found here.