in Frontiers in Artificial Intelligence and Applications, vol. 285International audienceAbduction is a backward chaining inference, finding the best explanations of an observation with regard to a knowledge base in a two-steps process: i) hypotheses generation, and ii) explanations selection according to a minimality criterion
Tableau-based decision procedures have been successfully used for solving a wide variety of problems...
International audienceAbduction is a fundamental form of nonmonotonic reasoning that aims at finding...
International audienceWe define an inference system to capture explanations based on causal statemen...
in Frontiers in Artificial Intelligence and Applications, vol. 285Abduction is a backward chaining i...
International audienceImage interpretation is a dynamic research domain involving not only the detec...
Tackling Natural Language Inference with a logic-based method is becoming less and less common. Whil...
The adoption of Description Logics for modeling real world domains within the Semantic Web is expone...
A semantic tableau method, called an argumentation tableau,that enables the derivation of arguments,...
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a ...
Traditional Machine Learning approaches are based on single inference mechanisms. A step forward con...
AbstractAbduction — from observations and a theory, find using hypotheses an explanation for the obs...
International audienceWe develop a model of abduction in abstract argumentation, where changes to an...
Research note. \coreaInternational audienceWe address the problem of propositional logic-based abduc...
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a n...
Tableau-based decision procedures have been successfully used for solving a wide variety of problems...
International audienceAbduction is a fundamental form of nonmonotonic reasoning that aims at finding...
International audienceWe define an inference system to capture explanations based on causal statemen...
in Frontiers in Artificial Intelligence and Applications, vol. 285Abduction is a backward chaining i...
International audienceImage interpretation is a dynamic research domain involving not only the detec...
Tackling Natural Language Inference with a logic-based method is becoming less and less common. Whil...
The adoption of Description Logics for modeling real world domains within the Semantic Web is expone...
A semantic tableau method, called an argumentation tableau,that enables the derivation of arguments,...
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a ...
Traditional Machine Learning approaches are based on single inference mechanisms. A step forward con...
AbstractAbduction — from observations and a theory, find using hypotheses an explanation for the obs...
International audienceWe develop a model of abduction in abstract argumentation, where changes to an...
Research note. \coreaInternational audienceWe address the problem of propositional logic-based abduc...
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a n...
Tableau-based decision procedures have been successfully used for solving a wide variety of problems...
International audienceAbduction is a fundamental form of nonmonotonic reasoning that aims at finding...
International audienceWe define an inference system to capture explanations based on causal statemen...
DOI
Add to ORKG