OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Laboratoire Lorrain de Recherche en Informatique et ses Applications - LORIA (Nancy, France)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.

Article

Couceiro, Miguel and Dubois, Didier and Prade, Henri and Waldhauser, Tamas. Decision-Making with sugeno integrals - bridging the gap between multicriteria evaluation and decision under uncertainty. (2016) Order, 33 (3). 517-535. ISSN 0167-8094

Bolander, Thomas and van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Pardo, Pere and Schwarzentruber, François. Announcements to Attentive Agents. (2015) Journal of Logic, Language and Information, 25 (1). 1-35. ISSN 0925-8531

Balbiani, Philippe and van Ditmarsch, Hans. A simple proof of the completeness of APAL. (2015) Studies in Logic, 8. 65-78. ISSN 1674-3202

Saqui-Sannes, Pierre de and Villemur, Thierry and Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, 6 (1-2). 125-133. ISSN 1614-5046

Conference or Workshop Item

Balbiani, Philippe and Galmiche, Didier. About intuitionistic public announcement logic. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Balbiani, Philippe and van Ditmarsch, Hans and Herzig, Andreas. Before announcement. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Schwarzentruber, François. Listen to me! Public announcements to agents that pay attention - or not. (2013) In: 4th International Workshop on Logic, Rationality and Interaction (LORI IV), 9 October 2013 - 12 October 2013 (Hangzhou, China).

Balbiani, Philippe and Van Ditmarsch, Hans and Kudinov, Andrey. Subset space logic with arbitrary announcements. (2013) In: 5th Indian Conference on Logics and its Applications (ICLA), 10 January 2013 - 12 January 2013 (Chennai, India).

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

Gaucherel, Cedric and Martinet, Vincent and Inchausti, Pablo and Schaller, Noémie and Bamière, Laure and Sheeren, David and Gibon, Annick and Joannon, Alexandre and Castellazzi, Marie and Boussard, Hugues and Barraquand, Frédéric and Lazrak, El-Ghali and Mari, Jean-Francois and Houet, Thomas and Bretagnolle, Vincent. A multidisciplinary modelling approach to understand the effects of landscape dynamics on biodiversity. (2010) In: 2010 International Conference on Integrative Landscape Modelling, 3 February 2010 - 5 February 2010 (Montpellier, France). (Unpublished)

This list was generated on Tue Aug 14 16:00:40 2018 CEST.