A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

DOI10.1007/978-3-319-99906-7_6zbMATH Open1518.68362MaRDI QIDQ6104759FDOQ6104759

Authors: Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert 

Publication date: 28 June 2023

Published in: Rules and Reasoning (Search for Journal in Brave)

Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894747/file/rr-bench-raouf.pdf

Recommendations

• How to reason defeasibly
• Computing with default logic
• Proving quantified literals in defeasible logic
• scientific article; zbMATH DE number 1301973
• Large-scale parallel stratified defeasible reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Defeasible logic programming: an argumentative approach
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• On rules with existential variables: walking the decidability line
• Argumentation Semantics for Defeasible Logic
• Contributions to the Theory of Logic Programming
• Representation results for defeasible logic
• Defeasible Logic is Stable
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• Inheritance comes of age: applying nonmonotonic techniques to problems in industry
• Defeasible reasoning: A discussion of some intuitions
• Title not available (Why is that?)

This page was built for publication: A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6104759)