129 results  save search


...
hal-01740004v1  Journal articles
Philippe BalbianiHans van Ditmarsch. A simple proof of the completeness of APAL
Studies in Logic, 2015, 8, pp.65-78
hal-01097624v1  Conference papers
Yamine Aït AmeurJ. Paul GibsonDominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618
...
inria-00536870v1  Poster communications
Jean-Charles Quinton. Sensorimotor Exploration/Exploitation with Coordinating Local Predictions
4th International Conference on Cognitive Systems (CogSys 2010), Jan 2010, Zürich, Switzerland
inria-00600208v1  Conference papers
Zainab AssaghirMehdi KaytoueHenri Prade. A Possibility Theory-Oriented Discussion of Conceptual Pattern Structures
Scalable Uncertainty Management, Sep 2010, Toulouse, France. pp.70-83
...
hal-01585237v1  Journal articles
Thomas BolanderHans van DitmarschAndreas HerzigEmiliano LoriniPere Pardo et al.  Announcements to Attentive Agents
Journal of Logic, Language and Information, Springer Verlag, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
...
hal-01906519v1  Conference papers
Jean LieberEmmanuel NauerHenri PradeGilles Richard. Tirer parti au mieux des cas sources en raisonnement à partir de cas : approximation, interpolation et extrapolation
JIAF 2018 - 12èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2018, Amiens, France. pp.1-9
...
inria-00107706v1  Conference papers
Nathalie Parlangeau-VallèsJérôme FarinasDominique FohrIrina IllinaIvan Magrin-Chagnolleau et al.  Audio Indexing on the Web: a Preliminary Study of Some Audio Descriptors
7th World Multiconference on Systematics, Cybernetics and Informatics - SCI'2003, Jul 2003, Orlando, Florida, USA, 4 p
...
inria-00535784v1  Conference papers
Guillaume BonfanteFlorian Deloup. Complexity invariance of real interpretations
7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. pp.139-150, ⟨10.1007/978-3-642-13562-0⟩
hal-00755947v1  Conference papers
Tigran AvanesovYannick ChevalierMichael RusinowitchMathieu Turuani. Towards the Orchestration of Secured Services under Non-disclosure Policies.
6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. pp.130-145, ⟨10.1007/978-3-642-33704-8_12⟩
hal-01905058v1  Conference papers
Jean LieberEmmanuel NauerHenri PradeGilles Richard. Making the Best of Cases by Approximation, Interpolation and Extrapolation
ICCBR 2018 - 26th International Conference on Case-Based Reasoning, Jul 2018, Stockholm, Sweden
hal-00429876v1  Conference papers
Philippe BalbianiFahima CheikhPierre-Cyrille HeamOlga Kouchnarenko. Composition of services with constraints
Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands. pp. 31-46, ⟨10.1016/j.entcs.2010.05.003⟩
hal-01273578v1  Conference papers
Hans van DitmarschJerome LangAbdallah Saffidine. Strategic voting and the logic of knowledge
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown Region
hal-01259783v1  Conference papers
Philippe BalbianiVincent DemangeDidier Galmiche. A sequent calculus with labels for Public Announcement Logic
Int. Conference on Advances in Modal Logic, AiML 2014, 2014, Groningen, Netherlands
...
hal-02302968v1  Conference papers
Jean LieberEmmanuel NauerHenri Prade. Exploiter la compétence de couples de cas pour améliorer le raisonnement à partir de cas par analogie
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
hal-01577828v1  Conference papers
Miguel CouceiroNicolas HugHenri PradeGilles Richard. Fonctions préservées par analogie : une méthode pour étendre des données booléennes
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
...
hal-01093655v1  Conference papers
Miguel CouceiroDidier DuboisHenri PradeAgnès RicoTamas Waldhauser. General Interpolation by Polynomial Functions of Distributive Lattices
14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Jul 2012, Catania, Italy
...
hal-02353400v1  Conference papers
Neeraj Kumar SinghYamine Aït-AmeurDominique Mery. Formal Ontology Driven Model Refactoring
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145
hal-01651943v1  Directions of work or proceedings
François CharoyKhalil DriraHongbing WangQi YuYan Wang et al.  Service-Oriented Computing – ICSOC 2016 Workshops
France. Springer, pp.222, 2017, 978-3-319-68135-1. ⟨10.1007/978-3-319-68136-8⟩
...
hal-01202518v1  Conference papers
Philippe BalbianiHans van DitmarschAndrey Kudinov. Subset space logic with arbitrary announcements
5th Indian Conference on Logics and its Applications (ICLA), Jan 2013, Chennai, India. pp. 233-244
inria-00000284v1  Conference papers
Franck CappelloFrédéric DesprezMichel DaydeEmmanuel JeannotYvon Jégou et al.  Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform
6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
hal-01271837v1  Book sections
Béatrice FuchsJean LieberLaurent MicletAlain MilleAmedeo Napoli et al.  Raisonnement à partir de cas, raisonnement et apprentissage par analogie, gradualité et interpolation
Pierre Marquis, Odile Papini, Henri Prade. Panorama de l’intelligence artificielle. Ses bases méthodologiques, ses développements, Cépaduès, pp.239-263, 2014
...
hal-01321912v1  Book sections
Bruno GaumeFabienne VenantBernard Victorri. HIERARCHY IN LEXICAL ORGANISATION OF NATURAL LANGUAGES
Pumain, D. Hierarchy in Natural and Social Sciences, Kluwer Academic Publishers, 2005, Methodos series