Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

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

Sort By: Relevance

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

Subject : [info.info-cc]computer science [cs]/computational complexity [cs.cc]

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

Item request has been placed!

Item request cannot be made.

Processing Request

Report

Raisonnement sur les actions : de Toronto à Amsterdam

Authors : van Dimarsch, Hans; Herzig, Andreas; Lima, Tiago, De ...

Subjects: raisonnement sur les actions et changement; logiques épistémique dynamique; systèmes multi-agents

Source: https://hal.science/hal-00188885 ; 2007.

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

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

Report

Logique dynamique pour le raisonnement stratégique dans les jeux extensifs

Authors : Dégremont, Cédric; Zvesper, Jonathan, A.;

Subjects: Jeux extensifs; rationalité; logique modale

Source: https://hal.science/hal-00188663 ; 2007.

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

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

Academic Journal

Décision de la cohérence des réseaux de contraintes qualitatives combinés

Authors : Cohen-Solal, Quentin; Bouzid, Maroua; Niveau, Alexandre ...

Subjects: qualitative constraint networks; consistency checking; multi-scale reasoning

Source: ISSN: 0992-499X ; EISSN: 1958-5748.

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

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

Conference

Vérification de la cohérence des multi-réseaux de contraintes qualitatives

Authors : Cohen-Solal, Quentin; Bouzid, Maroua; Niveau, Alexandre ...

Subjects: Réseaux de contraintes qualitatives; Raisonnement multi-échelle; Intégration lâcheClermont-Ferrand; France

Source: Conférence Nationale en Intelligence Artificielle ; https://hal.science/hal-01355467 ; Conférence Nationale en Intelligence Artificielle, Jun 2016, Clermont-Ferrand, France

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

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

Conference

Practical reasoning as a generalized decision making problem

Authors : Prade, Henri; Amgoud, Leila;

Subjects: Argumentation theory; Practical reasoning; Decision makingToulouse; France

Source: Annales du LAMSADE n°8 - Actes des 4èmes journées francophones sur les modèles formels de l'interaction - MFI'07 ; 4èmes Journées francophones sur les modèles formels de l'interaction (MFI

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

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

Report

The hedgehog and the fox An argumentation-based decision support system

Authors : Morge, M.; Mancarella, P.;

Subjects: Intelligence artificielle; Raisonnement pratique; Argumentation

Source: https://hal.archives-ouvertes.fr/hal-00193405 ; 2007.

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

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

Report

Fusion de bases propositionnelles : une méthode basée sur les R-ensembles

Authors : Hue, Julien; Würbel, Eric; Papini, Odile ...

Subjects: Fusion de croyances; Raisonnement sur les croyances; Représentation des connaissances

Source: https://hal.science/hal-00189349 ; 2007.

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

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

Report

Incremental Plan Recognition in an Agent programming Framework

Authors : Goultiaeva, Alexandra; Lespérance, Yves;

Subjects: Reconnaissance de plans; raisonnement sur l'action; langages de programmation d'agent

Source: https://hal.archives-ouvertes.fr/hal-00188975 ; 2007.

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

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

Dissertation/ Thesis

Practical resolution of satisfiability testing for modal logics ; Résolution pratique du test de cohérence en logiques modales

Authors : Montmirail, Valentin;

Subjects: modal logics; benchmarks; automated reasoning

Source: https://theses.hal.science/tel-02886382 ; Computer Science [cs]. Université d'Artois, 2018. English. ⟨NNT : ⟩.

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

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

Report

Geometric and computational hardness of bilevel programming

Authors : Bolte, Jérôme; Le, Quoc-Tung; Pauwels, Edouard ...

Subjects: Bilevel optimization problem; Computational complexity; Polynomial optimization

Source: https://inria.hal.science/hal-04649435 ; 2024.

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

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