Prise décision And NotB. Chiron
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 |
000A31 | M. Munier [France] ; K. Baïna [France] ; K. Benali [France] | A negotiation model for CSCW |
This area was generated with Dilib version V0.6.33. |