6 citations · 6 across the 6 of their papers we have counts for
6 papers
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
Thomas Guyet, Yves Moinard, René Quiniou +1
This article presents the use of Answer Set Programming (ASP) to mine sequential patterns. ASP is a high-level declarative logic programming paradigm for high level encoding combin…
Using Answer Set Programming for pattern mining
Thomas Guyet, Yves Moinard, René Quiniou
Serial pattern mining consists in extracting the frequent sequential patterns from a unique sequence of itemsets. This paper explores the ability of a declarative language, such as…
Arguments using ontological and causal knowledge
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
We investigate an approach to reasoning about causes through argumentation. We consider a causal model for a physical system, and look for arguments about facts. Some arguments are…
Using ASP with recent extensions for causal explanations
Yves Moinard
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal exp…
A formalism for causal explanations with an Answer Set Programming translation
Yves Moinard
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations…
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Yves Moinard
About ten years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main competitor…