论文信息 - Demonstrating a Benchmark for Defeasible Reasoning

Demonstrating a Benchmark for Defeasible Reasoning

In this demonstration we focus on the task of a data engineer choosing what tool to perform defeasible reasoning with a first order logic knowledge base.

Abdelraouf Hecham | Madalina Croitoru | Pierre Bisquert

[1] Guillermo Ricardo Simari,et al. Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[2] Abdelraouf Hecham,et al. Argumentation-Based Defeasible Reasoning For Existential Rules , 2017, AAMAS.

[3] Phan Minh Dung,et al. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[4] Henry Prakken,et al. An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[5] David Billington,et al. Defeasible Logic is Stable , 1993, J. Log. Comput..

[6] Michael J. Maher,et al. Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[7] Donald Nute,et al. Defeasible Reasoning: A Philosophical Analysis in Prolog , 1988 .