Logique en informatique

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

Logique en informatique : 1 à 12 sur 20 au total

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • Communication dans un congrès

    Morterol Martin, Philippe Dague, Sabine Pérès, Laurent Simon. Minimality of Metabolic Flux Modes under Boolean Regulation Constraints. 12th International Workshop on Constraint-Based Methods for Bioinformatics WCB’16, Sep 2016, Toulouse, France. ⟨hal-01483433⟩

    BioInfo, LaHDAK

    Année de publication

  • Communication dans un congrès

    Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther. Computing Minimal Projection Modules for ELHr -Terminologies. European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. pp.355-370, ⟨10.1007/978-3-030-19570-0_23⟩. ⟨hal-02930238⟩

    LaHDAK

    Année de publication

    Disponible en libre accès