518 citations
- Centre National de la Recherche ScientifiqueFR197 papers
- Université Toulouse III - Paul SabatierFR132 papers
- Institut de Recherche en Informatique de ToulouseFR131 papers
- Université Toulouse-I-CapitoleFR131 papers
- Université Toulouse - Jean JaurèsFR131 papers
- Université de BordeauxFR119 papers
- Institut de Mathématiques de MarseilleFR115 papers
- Château GombertFR78 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR70 papers
- Aix-Marseille UniversitéFR41 papers
- Centrale MéditerranéeFR39 papers
- Institut de Mécanique et d'Ingénierie de BordeauxFR35 papers
4 papers · 2 filters
The complexity of unsupervised learning of lexicographic preferences
Hélène Fargier, Pierre-François Gimenez, Jérôme Mengin +1
This paper considers the task of learning users' preferences on a combinatorial set of alternatives, as generally used by online configurators, for example. In many settings, only…
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)
Avishkar Mahajan, Martin Strecker, Meng Weng Wong
We present a method for generating possible proofs of a query with respect to a given Answer Set Programming (ASP) rule set using an abductive process where the space of abducibles…
Automating Defeasible Reasoning in Law
How Khang Lim, Avishkar Mahajan, Martin Strecker +1
The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they…
On Deciding Feature Membership in Explanations of SDD & Related Classifiers
Xuanxiang Huang, Joao Marques-Silva
When reasoning about explanations of Machine Learning (ML) classifiers, a pertinent query is to decide whether some sensitive features can serve for explaining a given prediction.…