Add to ORKGDefeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhib-iting defeasibility; thus, it is possible to combine de-feasible logic with modal operators. This paper reports on the extension of the DR-DEVICE defeasible rea-soner with modal and deontic logic operators. The aim is a practical defeasible reasoner that will take advan-tage of the expressiveness of modal logics and the flexibility to define diverse agent types and behaviors. 1
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has...
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implemen...
This paper investigates a new approach for computing the inference of defeasible logic. The algorith...
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information...
Defeasible reasoning is a nonmonotonic reasoning approach in which the gaps due to incomplete inform...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
Defeasible Deontic Logic is a simple and computationally efficient approach for the representation o...
This paper compares two ways of formalising defeasible deontic reasoning, both based on the view tha...
Historically, approaches to defeasible reasoning have been concerned mostly with one aspect of defea...
In this paper we describe an algorithmic framework for a multi-modal logic arising from the combinat...
Nonmonotonic logics are usually characterized by the pres-ence of some notion of ‘conditional ’ that...
partially_open3siDeontic Defeasible Logic (DDL) is a simple and computationally efficient approach f...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
peer reviewedDefeasible deontic logic uses techniques from non-monotonic logic to address various ch...
Argumentative systems [SL92, Vre93, Che96] are formalizations of defeasible reasoning [Pol87, Nut88]...
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has...
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implemen...
This paper investigates a new approach for computing the inference of defeasible logic. The algorith...
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information...
Defeasible reasoning is a nonmonotonic reasoning approach in which the gaps due to incomplete inform...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
Defeasible Deontic Logic is a simple and computationally efficient approach for the representation o...
This paper compares two ways of formalising defeasible deontic reasoning, both based on the view tha...
Historically, approaches to defeasible reasoning have been concerned mostly with one aspect of defea...
In this paper we describe an algorithmic framework for a multi-modal logic arising from the combinat...
Nonmonotonic logics are usually characterized by the pres-ence of some notion of ‘conditional ’ that...
partially_open3siDeontic Defeasible Logic (DDL) is a simple and computationally efficient approach f...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
peer reviewedDefeasible deontic logic uses techniques from non-monotonic logic to address various ch...
Argumentative systems [SL92, Vre93, Che96] are formalizations of defeasible reasoning [Pol87, Nut88]...
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has...
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implemen...
This paper investigates a new approach for computing the inference of defeasible logic. The algorith...