Xixi Logic

Home  Deontic Logic for Autonomous Cars  Programme  Special Issue  Travel Information  Newsletter

Dates: 7-8 September 2019

Venue: 古籍所会议室（行政楼229室）Room 229, Administrative Building, Xixi Campus, Zhejiang University. 

 

SATURDAY SEPT. 7th

 

8:45 opening

 

session 1. Logic in China and logic in Poland 9:00 – 10:20

9:00 – 9:40 Fenrong Liu, Do We Reason Alike? Difference and Similarities between Chinese and Western Logical Traditions

9:40 – 10:20  Tomasz Jarmużek, Piotr Kulicki, Mateusz Klonowski, Jacek Malinowski, Polish logic: past, present and future

 

10:20 – 10:50 coffee break

 

session 2. 10:50 – 12:10

 

10:50 – 11:30 Kai Li, Formalizing Legal Reasoning Based on Answer Set Programming

11:30 – 12:10 Fengkui Ju, Subset Neighborhood Semantics for Coalition Logic

 

session 3. Deontic logic for autonomous cars 13:40 – 18:00 

13:30 – 14:10 Piotr Kulicki, Why we try to develop deontic logic for autonomous cars?

14:10 – 14:50 Ryutaro Ichise, Ontology-based Advanced Driver-Assistance Systems

14:50 – 15:30 Robert Trypuz, (teleconference mode)  How do autonomous cars learn and what does it mean for their ethics and logic?

 

15:30 – 16:00 coffee break

 

16:00-18:00

16:00 – 16:40 Réka Markovich, From Applied Logic and Legal Theory to Applied Ethics

16:40 – 17:20 Tomasz Kwarciński, Autonomous cars and the possibility of ethical imperialism

 

SUNDAY SEPT. 8th

 

Session 1. 9:00 – 12:10

9:00 – 9:40  Leon van der Torre, Huimin Dong, Beishui Liao, Reka Markovich, From Classical to Non-Monotonic Deontic Logic using ASPIC+

9:40 -10:20 Mehdi Dastani, Norm Enforcement in Multiagent Systems

 

10:20 – 10:50 coffee break

 

10:50 – 11:30 Marek Sergot, On the underlying assumptions of STIT logics

11:30 – 12:10 Jiahong Guo, Analysis on Two Kinds of Classical Paradoxes from the Perspective of ‘Levels of Truth’

 

12:10 – 13:30 lunch break

 

Session 2. 13:30 – 15:30 

 

13:30  – 14:10 Tomasz Jarmużek, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek, Jacek Malinowski, Social Ontologies in a Language of Positional Logic

14:10 – 14:50 Beishui Liao, Interdisciplinary Research in AI, Logic and Cognition at Zhejiang University

14:50 – 15:30 Xin Sun, Logic for smart contracts on quantum blockchain

15:30 – 16:10 Nov Gabby  (+co-authors), Machine Argumentation: Can We Replace Taxi Drivers by Robots?

 

16:10 Closing