Logique en informatique

Affichage des résultats 1 à 12 sur 22 au total

Logique en informatique : 1 à 12 sur 22 au total

  • N°spécial de revue/special issue

    Pierre Zweigenbaum, Nicolas Maudet, Philippe Morignot, Laurent Vercouter. PFIA 2015. Bulletin de l'Association Française pour l'Intelligence Artificielle, 90, 2015, Association Française d'Intelligence Artificielle. ⟨hal-04595440⟩

    STL

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Proceedings/Recueil des communications

    Nicolas Sabouret. Actes des 28es Journées Francophones sur les Systèmes Multi-Agents : JFSMA 2020. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2020. ⟨hal-04573992⟩

    CPU

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Article dans une revue

    Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret. Belief Revision Theory. Archive of Fomal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html. ⟨hal-04495393⟩

    CPU

    Année de publication

    Publication HAL

  • Communication dans un congrès

    Dennis Müller, Florian Rabe. Rapid Prototyping Formal Systems in MMT: 5 Case Studies. LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada. ⟨hal-02150167⟩

    GALaC

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Véronique Benzaken, Sarah Cohen-Boulakia, Évelyne Contejean, Chantal Keller, Rébecca Zucchini. Vers une formalisation en Coq de la provenance de données. 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87. ⟨hal-03080066⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger. An incremental diagnosis algorithm of human erroneous decision making. 2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France. ⟨hal-04188221⟩

    CPU

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Philippe Balbiani, Jean-François Condotta, Gerard Ligozat. Reasoning about generalized intervals: Horn representabilityand tractability. 7th International Workshop on Temporal Representation and Reasoning (TIME 2000), Jul 2000, Cape Breton, NS, Canada. pp.23--39, ⟨10.1109/TIME.2000.856580⟩. ⟨hal-04006716⟩

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Philippe Balbiani, Jean-François Condotta, Gerard Ligozat. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. 9èmes Journées Nationales sur la Résolution Pratique des problèmes NP-complets (JNPC 2003), Jun 2003, Amiens, France. pp.23--37. ⟨hal-04006704⟩

    Année de publication

    Publication HAL

  • Communication dans un congrès

    Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. Reasoning about cyclic space: axiomatic and computational aspects. German Conference on Spatial Cognition 2002, May 2002, Tutzing, Germany. pp.348--371, ⟨10.1007/3-540-45004-1_20⟩. ⟨hal-04003614⟩

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. On the consistency problem for the INDU calculus. 10th International Symposium on Temporal Representation and Reasoning - 4th International Conference on Temporal Logic (TIME-ICTL 2003), Jul 2003, Cairns, Queensland, Australia. pp.203--211. ⟨hal-04003613⟩

    Année de publication

    Publication HAL

  • Article dans une revue

    Philippe Balbiani, Jean-François Condotta, Gerard Ligozat. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. JEDAI - Journal électronique d'intelligence artificielle, 2004, 2, pp.1--14. ⟨hal-04003598⟩

    Année de publication

    Publication HAL

  • Communication dans un congrès

    Hassan Ibrahim, Philippe Dague, Laurent Simon. SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems. 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy. ⟨hal-01483428⟩

    LaHDAK

    Année de publication

    Publication HAL