Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « decision »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
decipher < decision < decisionability  Facettes :

List of bibliographic references indexed by decision

Number of relevant bibliographic references: 179.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000181 (2015-12-17) Miguel Couceiro [France] ; Didier Dubois [France] ; Henri Prade [France] ; Tamas Waldhauser [Hongrie]Decision-making with sugeno integrals
000414 (2015-08-03) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France]A Decision Procedure for (Co)datatypes in SMT Solvers
000571 (2015-04-20) Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie]Lattice-Theoretic Approach to Version Spaces in Qualitative Decision Making
000677 (2015) Didier Galmiche [France] ; Yakoub Salhi [France]Tree-sequent calculi and decision procedures for intuitionistic modal logics
000886 (2014-11-03) Hoang Nam Ho [France] ; Mourad Rabah [France] ; Samuel Nowakowski [France] ; Pascal Estraillier [France]Trace-Based Decision Making in Interactive Application: Case of Tamagotchi systems
000A10 (2014-08) Hoang Nam Ho [France] ; Mourad Rabah [France] ; Samuel Nowakowski [France] ; Pascal Estraillier [France]Trace-Based Weighting Approach for Multiple Criteria Decision Making
000C64 (2014-02-27) Hoang Nam Ho [France] ; Mourad Rabah [France] ; Pascal Estraillier [France] ; Samuel Nowakowski [France]A process for Trace-Based Criteria Weighting in Multiple Criteria Decision Making
001094 (2013-07-19) Elena Tushkanova [France]Schematic calculi for the analysis of decision procedures
001130 (2013-07-01) Manel Tagorti [France] ; Bruno Scherrer [France] ; Olivier Buffet [France] ; Joerg Hoffmann [France]Abstraction Pathologies In Markov Decision Processes
001137 (2013-06-28) Thomas Meilender [France]A Semantic Wiki for Decision Knowledge Management - Application in Oncology
001172 (2013-06-10) Manel Tagorti [France] ; Bruno Scherrer [France] ; Olivier Buffet [France] ; Joerg Hoffmann [France]Abstraction Pathologies In Markov Decision Processes
001279 (2013-03-14) Mathieu D'Aquin [Royaume-Uni] ; Jean Lieber [France] ; Amedeo Napoli [France]Decentralized case-based reasoning and Semantic Web technologies applied to decision support in oncology
001314 (2013-02-04) Mauricio Araya-L Pez [France]Near-Optimal Algorithms for Sequential Information-Gathering Decision Problems
001477 (2013) Amélie David [France]TATL: Implementation of ATL Tableau-Based Decision Procedure
001535 (2013) Ioana Ciuciu [France, Belgique] ; Yan Tang Demey [Belgique]Modelling Ontology-Based Decision Rules for Computer-Aided Design
001676 (2013) Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
001697 (2013) Conference on Logic and the foundations of Game and Decision Theory (LOFT10), Sevilla
001825 (2012-12-03) Bruno Scherrer [France] ; Boris Lesner [France]On the Use of Non-Stationary Policies for Stationary Infinite-Horizon Markov Decision Processes
001839 (2012-11-29) Bernard Roy [France] ; José Figueira [Portugal] ; Juscelino Almeida-Dias [France]Discriminating thresholds as a tool to cope with imperfect knowledge in multiple criteria decision aiding: Theoretical results and practical issues
001909 (2012-10-10) Carlos Carvajal [France] ; Thierry Viéville [France] ; Frédéric Alexandre [France]Konio Pathway: An Instinctive Visual Mechanism for Survival and Decision Making?
001990 (2012-08-27) Miguel Couceiro [France] ; Didier Dubois [France] ; Henri Prade [France] ; Tamas Waldhauser [Hongrie]Decision-making with Sugeno integrals: DMU vs. MCDM

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "decision" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "decision" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    decision
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022