[HTML][HTML] A complete logical approach to resolve the evolution and dynamics of mitochondrial genome in bilaterians

L Oxusoff, P Préa, Y Perez - Plos one, 2018 - journals.plos.org
Investigating how recombination might modify gene order during the evolution has become
a routine part of mitochondrial genome analysis. A new method of genomic maps analysis …

L'évaluation sémantique en calcul propositionnel

L Oxusoff, A Rauzy - 1989 - theses.fr
Presentation d'un nouvel algorithme de deduction associe au calcul propositionnel: l'evaluation
semantique, obtenu en associant une propriete de coupure originale a la procedure de …

Towards a better understanding of SL-Resolution

L Oxusoff, A Rauzy - … of the Sixth International Conference on …, 1994 - World Scientific
… Rf+ l is the longest initial subsequence of Rf whose rightmost literal is a B-literal. Rf+ … Rf+
l is obtained by deleting such a literal I. Rf+ l is obtained from Rf by extension with an input …

[CITATION][C] Artificial Intelligence: Methodology, Systems, Applications: Proceedings of the Sixth International Conference

P Jorrand, V Sgurev - Artificial Intelligence: Methodology, Systems …, 1994 - World Scientific
… Association pour la Promotion de l'Informatique Avancee, France Bulgarian Association for
Pattern Recognition … A Representation of the Set of Models by Means of Symmetries L. Sais …

Revision in propositional calculus

O Papini - Symbolic and Quantitative Approaches to Uncertainty …, 1991 - Springer
… the maximal consistent subsets of C [2][L.Cholvy] or consider the minimal inconsistent subsets
of C. … We use Semantic Evaluation [5][L.Oxusoff & A.Rauzy] which is particularly efficient. …

Theoretical study of symmetries in propositional calculus and applications

B Benhamou, L Sais - Automated Deduction—CADE-11: 11th International …, 1992 - Springer
… Vp, in/, is the maximum value of its literals in L By convention we define the value of the …
Generalizing this property leads to the theorem of model partitioning(Oxusoff and Rauzy[13]…

Semantic evaluation in possibilistic logic application to min-max discrete optimisation problems

J Lang - Uncertainty in Knowledge Bases: 3rd International …, 1991 - Springer
… In the formulation of the Davis and Putnam procedure we use the notations of (Jeannicot,
Oxusoff and Rauzy, 1988) which we briefly recall : let H be a set of propositional clauses ; let p …

SEMANTIC EVALUATION IN POSSIBILISTIC LOGIC APPLICATION TO MIN-MAX DISCRETE OPTIMISATION PROBLEMS

L Jérôme - Uncertainty in Knowledge Bases: 3rd International …, 1991 - books.google.com
… In the formulation of the Davis and Putnam procedure we use the notations of (Jeannicot,
Oxusoff and Rauzy, 1988) which we briefly recall: let H be a set of propositional clauses; let p …

[PDF][PDF] Model search with equality: a language and incremental proof procedure for discourse analysis.

L Henocque - JFPL, 1993 - researchgate.net
… We shall now describe a way to extend L(RL,KL) in order to incorporate constraints constructed
on … Such heuristics have proved to be useful: Rauzy and Oxusoff ([Rau89]) showed it for …

Mitogenomes reveal alternative initiation codons and lineage-specific gene order conservation in echinoderms

ZBR Quek, JJM Chang, YCA Ip… - … Biology and Evolution, 2021 - academic.oup.com
The mitochondrial genetic code is much more varied than the standard genetic code. The
invertebrate mitochondrial code, for instance, comprises six initiation codons, including five …