OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Institut de Recherche en Informatique et Systèmes Aléatoires - IRISA (Rennes, 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: 19.

Article

Gasquet, Olivier and Goranko, Valentin and Schwarzentruber, François. Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. (2016) Journal of Autonomous Agents and Multi-Agent Systems, 30 (5). 793-825. ISSN 1387-2532

Ghouaiel, Nehla and Garbaya, Samir and Cieutat, Jean-Marc and Jessel, Jean-Pierre. Mobile Augmented Reality in Museums : Towards Enhancing Visitor's Learning Experience. (2016) The International Journal of Virtual Reality, 17 (1). 21-31. ISSN 1081-1451

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

Kuhn, Nicolas and Mehani, Olivier and Bui, Huyen Chi and Lochin, Emmanuel and Lacan, Jérôme and Radzik, José and Boreli, Roksana. Improving web experience on DVB-RCS2 links. (2015) Annals of Telecommunications. 1-20. ISSN 0003-4347

Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François. The Ceteris Paribus Structure of Logics of Game Forms. (2015) Journal of Artificial Intelligence Research, 53. 91-126. ISSN 1076-9757

Dubois, Didier and Hadj Ali, Allel and Kaci, Souhila and Prade, Henri. Erratum to: Database preference queries - a possibilistic logic approach with symbolic priorities. (2015) Annals of Mathematics and Artificial Intelligence, 73 (3-4). 359-363. ISSN 1012-2443

Conference or Workshop Item

Charrier, Tristan and Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Schwarzentruber, François. Building epistemic logic from observations and public announcements. (2016) In: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, 25 April 2016 - 29 April 2016 (Capetown, South Africa).

Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Schwarzentruber, François. Epistemic boolean games based on a logic of visibility and control. (2016) In: 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 9 July 2016 - 15 July 2016 (New York, United States).

Kritikakou, Angeliki and Marty, Thibaut and Pagetti, Claire and Rochange, Christine and Lauer, Michael and Roy, Matthieu. Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems. (2016) In: 4th Workshop on Critical Automotive applications: Robustness and Safety (CARS 2016), 6 September 2016 (Göteborg, Sweden).

Flamary, Rémi and Févotte, Cédric and Courty, Nicolas and Emiya, Valentin. Optimal spectral transportation with application to music transcription. (2016) In: 29th Conference on Advances in Neural Information Processing Systems (NIPS 2016), 5 December 2016 - 10 December 2016 (Barcelona, Spain).

Bonenfant, Armelle and Carrier, Fabienne and Cassé, Hugues and Cuenot, Philippe and Claraz, Denis and Halbwachs, Nicolas and Li, Hanbing and Maïza, Claire and De Michiel, Marianne and Mussot, Vincent and Parent-Vigouroux, Catherine and Puaut, Isabelle and Raymond, Pascal and Rohou, Erven and Sotin, Pascal. When the worst-case execution time estimation gains from the application semantics. (2016) In: 8th European Congress on Embedded Real-Time Software (ERTS 2016), 27 January 2016 - 29 January 2016 (Toulouse, France).

Oberlin, Thomas and Barillot, Christian and Gribonval, Rémi and Maurel, Pierre. Symmetrical EEG-FMRI Imaging by Sparse Regularization. (2015) In: European Signal and Image Processing Conference - EUSIPCO 2015, 31 August 2015 - 4 September 2015 (Nice, France). (Unpublished)

Latombe, Florent and Crégut, Xavier and De Antoni, Julien and Pantel, Marc and Combemale, Benoit. Coping with Semantic Variation Points in Domain-Specific Modeling Languages. (2015) In: 1st International Executable Modeling Workshop (EXE 2015) co-located with MODELS 2015, 27 September 2015 - 2 October 2015 (Ottawa, Canada).

Bruel, Jean-Michel and Combemale, Benoit and Ober, Ileana and Raynal, Hélène. MDE in Practice for Computational Science. (2015) In: International Conference on Computational Science (ICCS 2015), 1 June 2015 - 3 June 2015 (Reykjavík, Iceland).

Barbot, Nelly and Miclet, Laurent and Prade, Henri. Analogical proportions and the factorization of information in distributive lattices. (2014) In: International Conference on Concept Lattices and Their Applications - CLA 2013, 15 October 2013 - 18 October 2013 (La Rochelle, France).

Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François. Ceteris Paribus Structure in Logics of Game Forms. (2013) In: Conference on Theoretical Aspects of Rationality and Knowledge - TARK 2013, 7 January 2013 - 9 January 2013 (Chennai, India).

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).

Antoniu, Gabriel and Boku, Taisuke and Calvin, Christophe and Codognet, Philippe and Daydé, Michel and Emad, Nahid and Ishikawa, Yuyaka and Matsuoka, Satoshi and Nakajima, Kengo and Nakashima, Hiroshi and Namyst, Raymond and Petiton, Serge and Sakurai, Tetsuya and Sato, Mitsuhisa. Towards exascale with the ANR / JST japanese-french project FP3C (Framework and Programming for Post- Petascale Computing). (2013) In: International Conference on Computer Science and Information Technology (CSIT), 23 September 2013 - 27 September 2013 (Yerevan, Armenia).

Morlier, Joseph and Bergh, Mauricio and Mevel, Laurent. Modeshapes recognition using Fourier descriptors: a simple SHM example. (2011) In: IMAC XXX Conference and exposition on structural dynamics, 30 January 2012 - 2 February 2012 (Jacksonville, United States). (Unpublished)

This list was generated on Sun Feb 17 01:15:02 2019 CET.