A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments, is proposed. First, the derivation of arguments for standard propositional and predicate logic is addressed. Next, an extension that enables reasoning with defeasible rules is presented. Finally, reasoning by cases using an argumentation tableau is discussed
in Frontiers in Artificial Intelligence and Applications, vol. 285Abduction is a backward chaining i...
We present a high-level declarative programming language for representing argumentation schemes, whe...
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implemen...
A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments...
Until recently, little work has been dedicated to the representation and interchange of informal, se...
Introduction: Semantic tableaux are a method for determining validity of arguments in a certain clas...
International audienceThis paper aims at laying some foundations of a logic of argumentation in whic...
Argumentation schemes are structures or templates for various kinds of arguments. The argumentation ...
Abstract. Description logics are a family of knowledge representation formalisms that are descended ...
Argumentation has played a significant role in understand-ing and unifying under a common framework ...
Argumentation has played a significant role in understanding and unifying under a common framework di...
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has...
In the last years there has been and increasing demand of a variety of logical systems, prompted mos...
Defeasible reasoning based on different views of argumentation [19, 5, 15] has proven to be a succes...
Logic-based knowledge representation formalisms, such as Description Logics, constitute the basis of...
in Frontiers in Artificial Intelligence and Applications, vol. 285Abduction is a backward chaining i...
We present a high-level declarative programming language for representing argumentation schemes, whe...
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implemen...
A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments...
Until recently, little work has been dedicated to the representation and interchange of informal, se...
Introduction: Semantic tableaux are a method for determining validity of arguments in a certain clas...
International audienceThis paper aims at laying some foundations of a logic of argumentation in whic...
Argumentation schemes are structures or templates for various kinds of arguments. The argumentation ...
Abstract. Description logics are a family of knowledge representation formalisms that are descended ...
Argumentation has played a significant role in understand-ing and unifying under a common framework ...
Argumentation has played a significant role in understanding and unifying under a common framework di...
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has...
In the last years there has been and increasing demand of a variety of logical systems, prompted mos...
Defeasible reasoning based on different views of argumentation [19, 5, 15] has proven to be a succes...
Logic-based knowledge representation formalisms, such as Description Logics, constitute the basis of...
in Frontiers in Artificial Intelligence and Applications, vol. 285Abduction is a backward chaining i...
We present a high-level declarative programming language for representing argumentation schemes, whe...
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implemen...
DOI
Add to ORKG