Houdini (unchained): An Effective Reasoner for Defeasible Logic

No abstract is available for this paper.

• Publication year

  2022

• Venue

  AI³@AI*IA

• Publication date

  Unknown publication date

• Fields of study

  Philosophy, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Taking stock of available technologies for compliance checking on first-order knowledge

  2022cited by this paper
• Argumentation-Based Query Answering under Uncertainty with Application to Cybersecurity

  2022cited by this paper
• Towards an efficient rule-based framework for legal reasoning

  2021cited by this paper
• Rethinking Defeasible Reasoning: A Scalable Approach

  2020cited by this paper
• A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

  2018cited by this paper
• RuleRS: a rule-based architecture for decision support systems

  2018cited by this paper
• An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases

  2018cited by this paper
• Legal Representation and Reasoning in Practice: A Critical Comparison

  2018cited by this paper
• Norms

  2018cited by this paper
• A grounder for SPINdle defeasible logic reasoner

  2015cited by this paper
• The Regorous Approach to Process Compliance

  2015cited by this paper
• Large-scale Parallel Stratified Defeasible Reasoning

  2012cited by this paper
• The Making of SPINdle

  2009cited by this paper
• Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity

  2004cited by this paper
• Defeasible Logic Programming An Argumentative Approach

  2003cited by this paper
• Argumentation Semantics for Defeasible Logics

  2000cited by this paper
• A Family of Defeasible Reasoning Logics and its Implementation

  2000cited by this paper
• Representation results for defeasible logic

  2000cited by this paper
• Defeasible Logic

  1994cited by this paper

• Explainability by design: an experimental analysis of the legal coding process

  2025cites this paper
• An Experimental Analysis of the Legal Coding Process

  2025cites this paper
• Extraction of Defeasible Proofs as Explanations

  2023cites this paper