Philippe Besnard

Learn More
We explore a framework for argumentation (based on classical logic) in which an argument is a pair where the first item in the pair is a minimal consistent set of formulae that proves the second item (which is a formula). We provide some basic definitions for arguments, and various kinds of counter-arguments (defeaters). This leads us to the definition of(More)
systems These are based on the seminal proposal by Dung [Dun95] that assumes a constellation of arguments and counterarguments can be captured by a set of arguments and a binary ‘‘attacks’’ relation between pairs of arguments. The attacks relation captures the situation where one argument undermines the credibility of another. This setup can be viewed as a(More)
Free fatty acids provide an important energy source as nutrients, and act as signalling molecules in various cellular processes. Several G-protein-coupled receptors have been identified as free-fatty-acid receptors important in physiology as well as in several diseases. GPR120 (also known as O3FAR1) functions as a receptor for unsaturated long-chain free(More)
Rats and mice exhibit a spontaneous attraction for lipids. Such a behavior raises the possibility that an orosensory system is responsible for the detection of dietary lipids. The fatty acid transporter CD36 appears to be a plausible candidate for this function since it has a high affinity for long-chain fatty acids (LCFAs) and is found in lingual papillae(More)
A. Appriou,1† A. Ayoun,2‡ S. Benferhat,3§ P. Besnard,3 L. Cholvy,5¶ R. Cooke,6# F. Cuppens,5 ** D. Dubois,3†† H. Fargier,3‡‡ M. Grabisch,7§§ R. Kruse,9¶¶ J. Lang,3## S. Moral,10 *** H. Prade,3††† A. Saffiotti,11‡‡‡ P. Smets,12§§§ C. Sossai13 1ONERA, BP 72, 92322 Chatillon Cedex, France 2Thomson-CSF-ISR/ACC, France 3IRIT-UPS, 118 route de Narbonne, 31062(More)
Conjugated linoleic acids (CLA) are a class of positional, geometric, conjugated dienoic isomers of linoleic acid (LA). Dietary CLA supplementation results in a dramatic decrease in body fat mass in mice, but also causes considerable liver steatosis. However, little is known of the molecular mechanisms leading to hepatomegaly. Although c9,t11- and(More)
Dung’s argumentation system takes as input a set of arguments and a binary relation encoding attacks among these arguments, and returns different extensions of arguments. However, no indication is given on how to instantiate this setting, i.e. how to build arguments from a knowledge base and how to choose an appropriate attack relation. This leads in some(More)
Here we present a new paraconsistent logic, called quasi-classical logic (or QC logic) that allows the derivation of non-trivializable classical inferences. For this it is necessary that queries are in conjunc-tive normal form and the reasoning process is essentially that of clause nding. We present a proof-theoretic deenition, and semantics, and show that(More)
Intestinal bile acid-binding protein (I-BABP) is a cytosolic protein that binds bile acids (BAs) with a high affinity. In the small intestine, its expression is restricted to the ileum where it is involved in the enterohepatic circulation of BAs. Using the human enterocyte-like Caco-2 cell line, we have recently shown that BAs increased I-BABP gene(More)