Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Universite D'artois

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Dissertation/ Thesis

Pseudo-Boolean Reasoning and Compilation ; Raisonnement à partir de contraintes pseudo-booléennes et compilation

Authors : Wallon, Romain;

Subjects: Artificial Intelligence; Knowledge Representation; Automated Reasoning

Source: https://theses.hal.science/tel-03716897 ; Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal Reasoning ; Contributions Algorithmiques au Raisonnement Spatial et Temporel basé sur des Contraintes Qualitatives

Authors : Sioutis, Michael;

Subjects: qualitative constraints; satisfiability problem; minimal labeling problem

Source: https://hal.science/tel-02052769 ; Artificial Intelligence [cs.AI]. Université d'Artois, 2017. English. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles

Authors : Balbiani, Philippe; Condotta, Jean-François;

Subjects: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Arras; France

Source: Actes des Journées Nationales sur les Modèles de Raisonnement 2001 ; Journées Nationales sur les Modèles de Raisonnement (JNMR 2001) ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Predictive models & reasoning with explanations ; Modèles prédictifs & raisonnement avec les explications

Authors : Boumazouza, Ryma;

Subjects: eXplainable AI (XAI); Symbolic explanations; Score-based explanation

Source: https://hal.science/tel-04507525 ; Artificial Intelligence [cs.AI]. Université d'Artois, 2022. English. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Panoramyx : une bibliothèque pour le développement de solveurs de contraintes parallèles

Authors : Falque, Thibault; Lagniez, Jean-Marie; Wallon, Romain ...

Subjects: programmation par contraintes; problème de cohérence propositionnelle; raisonnement pseudo-booléenFranceRennes (Fance), France

Source: 24e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'23)https://hal.science/hal-0404254324e Conférence ROADEF de la Société

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Logic : from a tool for language and reasoning in mathematics towards a teaching object ; La logique : d'un outil pour le langage et le raisonnement mathématique vers un objet d'enseignement

Authors : Mesnil, Zoé;

Subjects: teachers training; reasoning; teaching

Source: https://hal.science/tel-01114281 ; Histoire et perspectives sur les mathématiques [math.HO]. Université Paris Diderot, 2014. Français. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Révision par r-ensembles de bases de connaissances en DL-LiteR

Authors : Benferhat, Salem; Bouraoui, Zied; Papini, Odile ...

Subjects: Modèles de raisonnement; automatisation du raisonnement; web sémantiqueRouen; France

Source: Actes de la conférence RFIA 2014 ; Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014 ; https://hal.science/hal-00989224 ; Reconnaissance de Formes et Intelligence Artificielle (RFIA)

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Sat4j, an open reasoning platform for propositional reasoning ; Sat4j, un moteur libre de raisonnement en logique propositionnelle

Authors : Le Berre, Daniel;

Subjects: Propositional logic; practical resolution of SAT; pseudo-boolean constraints

Source: https://theses.hal.science/tel-02884327 ; Intelligence artificielle [cs.AI]. Université d'Artois, 2010.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

LA PLACE DE LA LOGIQUE DANS L’ENSEIGNEMENT DES MATHEMATIQUES AU LYCEE EN FRANCE

Authors : Mesnil, Zoé;

Subjects: logique; langage; raisonnementGenève; Switzerland

Source: EMF 2012 ; https://hal.science/hal-01570352 ; EMF 2012, Feb 2012, Genève, Suisse

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

no title in english ; Le raisonnement spontané en dynamique élémentaire.

Authors : Viennot, Laurence;

Subjects: science education; raisonnement; étudiants

Source: https://theses.hal.science/tel-01275119 ; Enseignement de la physique [physics.ed-ph]. Université Paris VII, 1977. Français. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي