Prise décision And NotK. Baïna
List of bibliographic references
Number of relevant bibliographic references: 11.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000313 | Laurent Peret [France] ; Frédérick Garcia [France] | Recherche en ligne pour les processus décisionnels de Markov |
| 000317 | Paul Weng [France] | Processus de décision markoviens et préférences non classiques |
| 000318 | Sébastien Paquet [Canada] ; Ludovic Tobin [Canada] ; Brahim Chaib-Draa [Canada] | Prise de décision en temps-réel pour des POMDP de grande taille |
| 000329 | Iadine Chades [France] | Algorithmes de co-évolution pour la résolution approchée de PDM multi-agent |
| 000385 | Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France] | Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants |
| 000397 | Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
| 000401 | Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France] | Computationally sound symbolic secrecy in the presence of hash functions |
| 000438 | Olivier Buffet [Australie, France] ; Alain Dutech [France] ; Francois Charpillet [France] | Développement autonome des comportements de base d'un agent |
| 000500 | Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient satisfiability modulo theories via delayed theory combination |
| 000536 | Audrey Knauf [France] ; Amos David [France] | Vers une meilleure caractérisation des rôles et compétences de l'infomédiaire dans le processus d'intelligence économique |
| 000A42 | A. Mille [France] ; B. Fuchs [France] ; B. Chiron [France] | Raisonnement fondé sur l'expérience en supervision industrielle |
| This area was generated with Dilib version V0.6.33. |  |