FT
Fayçal Touazi
15
Documents
Affiliation actuelle
- Universite m’hamed bougera boumerdes (Algerie)
Identifiants chercheurs
Publications
Publications
|
|
Symbolic possibilistic logic: completeness and inference methodsJournal of Logic and Computation, 2018, 28 (1), pp.219-244. ⟨10.1093/logcom/exx046⟩
Article dans une revue
hal-02378367
v1
|
|
|
Possibilistic reasoning from partially ordered belief bases with the sure thing principleIfColog Journal of Logics and their Applications (FLAP), 2018, 5 (1), pp.5-40
Article dans une revue
hal-02378368
v1
|
|
|
Possibilistic reasoning with partially ordered beliefsJournal of Applied Logic, 2015, 13 (4), pp.770-798. ⟨10.1016/j.jal.2015.09.002⟩
Article dans une revue
hal-01280081
v1
|
|
|
Symbolic Possibilistic Logic: Completeness and Inference Methods13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2015), Jul 2015, Compiègne, France. pp.485-495, ⟨10.1007/978-3-319-20807-7_44⟩
Communication dans un congrès
hal-01334712
v1
|
|
|
La logique possibiliste avec poids symboliques : une preuve de complétude24eme Conference Francophone sur la Logique Floue et ses Applications (LFA 2015), Nov 2015, Poitiers, France. pp. 169-176
Communication dans un congrès
hal-01316851
v1
|
|
|
On the deductive closure of a partially ordered propositional belief base8èmes Journées d'Intelligence Artificielle Fondamentale (JAIF 2014), en conjonction avec les Journées Francophones de Programmation par Contraintes., Jun 2014, Angers, France
Communication dans un congrès
hal-03236156
v1
|
|
|
On the Semantics of Partially Ordered Bases8th International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 136-153
Communication dans un congrès
hal-01147243
v1
|
|
|
Conditional Preference Nets and Possibilistic Logic12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), Jul 2013, Utrecht, Netherlands. pp.181-193, ⟨10.1007/978-3-642-39091-3_16⟩
Communication dans un congrès
hal-01212933
v1
|
|
|
Conditional Preference-Nets, Possibilistic Logic, and the Transitivity of PrioritiesSGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence ( AI 2013), British Computer Society's Specialist Group on Artificial Intelligence (SGAI), Dec 2013, Cambridge, United Kingdom. pp.173-184, ⟨10.1007/978-3-319-02621-3_12⟩
Communication dans un congrès
hal-04082728
v1
|
|
|
A Possibilistic Logic Approach to Conditional Preference Queries10th International Conference Flexible Query Answering (FQAS 2013), Sep 2013, Granada, Spain. pp. 376-388
Communication dans un congrès
hal-01212939
v1
|
|
|
Proceedings of the Second Conference on Applications of Artificial Intelligence (A2I'25)The Second Conference on Applications of Artificial Intelligence (A2IA'25), Apr 2025, Boumerdès, Algeria. 1 (1), Faculté des sciences - Université de Boumerdes, 2025, 978-9969-9650-0-1. ⟨10.5281/zenodo.17550449⟩
Proceedings/Recueil des communications
hal-05355089
v1
|
Inférence sur des bases partiellement ordonnées : Implémentation[Rapport de recherche] RR - - 2015 - - 08 - -FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2015
Rapport
(rapport de recherche)
hal-03193098
v1
|
|
Fermeture déductive d'une base partiellement ordonnée[Rapport de recherche] RR- -2014-08- -FR, IRIT : Institut de Recherche Informatique de Toulouse. 2014, pp.1-71
Rapport
(rapport de recherche)
hal-03260608
v1
|
|
Ordres Partiels entre Sous-Ensembles d'un Ensemble Partiellement Ordonné[Rapport de recherche] RR- -2014-02- -FR, IRIT: Institut en Recherche Informatique de Toulouse. 2014, pp.1-52
Rapport
(rapport de recherche)
hal-03224116
v1
|
|
|
Raisonnement avec des croyances partiellement ordonnéesAutre [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2016. Français. ⟨NNT : 2016INPT0003⟩
Thèse
tel-04233210
v1
|
Chargement...
Chargement...