Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Impliqués premiers"'
Autor:
Tourret, Sophie
Ce mémoire présente le résultat de mon travail de thèse sur la génération d'impliqués premiers en logique équationnelle fermée, i.e., la génération des conséquences les plus générales de formules logiques contenants des équations et de
Externí odkaz:
http://www.theses.fr/2016GREAM006/document
Autor:
Sellami, Yanis
Publikováno v:
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM018⟩
This thesis introduces a generic method to compute the prime implicates of a logical formula, i.e., the most general clausal consequences of a given logical formula, in any given decidable theory. The principle used is to recursively add to an initia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::f339f76577a1094bd55348e0e61ab695
https://tel.archives-ouvertes.fr/tel-02990726/document
https://tel.archives-ouvertes.fr/tel-02990726/document
Autor:
Sellami, Yanis
Publikováno v:
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM018⟩
This thesis introduces a generic method to compute the prime implicates of a logical formula, i.e., the most general clausal consequences of a given logical formula, in any given decidable theory. The principle used is to recursively add to an initia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::f339f76577a1094bd55348e0e61ab695
https://tel.archives-ouvertes.fr/tel-02990726/document
https://tel.archives-ouvertes.fr/tel-02990726/document
Publikováno v:
Information Interaction Intelligence; 2009, Vol. 9 Issue 2, p51-87, 37p
Autor:
Le Berre, Daniel
Publikováno v:
Intelligence artificielle [cs.AI]. Université Toulouse III Paul Sabatier, 2000. Français
Our work concernes two major problems in propositional logic : the satisfiability of a boolean formula (SAT problem) and the computation of its prime implicants/implicates. The first one is widely studied in the Artificial Intelligence community and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::c859824ad3141f8934ac3a373eea0ffd
https://hal.archives-ouvertes.fr/tel-02881946
https://hal.archives-ouvertes.fr/tel-02881946
Autor:
Le Berre, Daniel
Publikováno v:
Intelligence artificielle [cs.AI]. Université Toulouse III Paul Sabatier, 2000. Français
Our work concernes two major problems in propositional logic : the satisfiability of a boolean formula (SAT problem) and the computation of its prime implicants/implicates. The first one is widely studied in the Artificial Intelligence community and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c859824ad3141f8934ac3a373eea0ffd
https://hal.archives-ouvertes.fr/tel-02881946
https://hal.archives-ouvertes.fr/tel-02881946
Autor:
Marie Chatry-Komarek
Un enseignement bilingue basé sur la langue maternelle des apprenants semble mieux adapté aux pays africains multilingues. La réussite de cette option suppose : - la modification et le développement de nouveaux programmes pédagogiques ; - l'éla
Autor:
LIMNIOS Nikolaos
Les arbres de défaillances constituent une technique majeure en sûreté de fonctionnement. Ils sont utilisés en tant qu'outil principal dans la plupart des études de sécurité des systèmes ainsi que dans les études de fiabilité et de disponib