La logique chez khwaje nasir-e tusi

la logique chez khwaje nasir-e tusi

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Complexité de la réduction en logique combinatoire

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...

La logique modale des modèles d'équilibre

RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une séma...

La dose tolérée et toxique de la saponine chez les chèvres et les moutons