Defeasible logic

Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

Attributing a cyber-operation through the use of multiple pieces of technical evidence (i.e., malware reverse-engineering and…

2013

We investigate the complexity of temporal defeasible logic, and propose an efficient algorithm to compute the extension of any…

2007

In agent communication languages, the inferences that can be made on the basis of a communicative action are inherently…

2005

Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic…

2005

This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modifications. We show how to express…

2004

We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason…

2002

Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation…

1998

In this chapter, we will concentrate on the defeasible approach to nonmonotonic reasoning , as opposed to the minimalist approach…

1995

Defeasibility is a concept of interest to lawyers and to logicians. Sometimes legal arrangements are said to be defeasible in the…

1989

A novel nonmonotonic system called defeasible logic is presented that disarms the Yale shooting problem and other familiar…