Logique en informatique

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

Articles 1 à 12 sur 16 au total

  • 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

  • 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

    Publication HAL

  • 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

    Publication HAL

  • Communication dans un congrès

    Luis Palacios Medinacelli, Yue Ma, Chantal Reynaud, Gaëlle Lortal. Knowledge Based Situation Discovery for Avionics Maintenance. K-CAP '19: Knowledge Capture Conference, Nov 2019, Marina Del Rey CA, United States. pp.155-162, ⟨10.1145/3360901.3364430⟩. ⟨hal-02930192⟩

    LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Article dans une revue

    Loïc Paulevé, Juraj Kolčák, Thomas Chatain, Stefan Haar. Reconciling Qualitative, Abstract, and Scalable Modeling of Biological Networks. Nature Communications, 2020, 11, ⟨10.1038/s41467-020-18112-5⟩. ⟨hal-02518582v2⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Gautier Meyer, Vincent Louis, Jean-Paul Sansonnet, Yannick Larvor. Two logical operators for representing and handling preferences. IJCAI-05 Multidisciplinary Workshop on Advances in Preference Handling, Jul 2005, Edinburg, United Kingdom. ⟨hal-00321525⟩

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Meghyn Bienvenu, Carsten Lutz, Frank Wolter. First-Order Rewritability of Atomic Queries in Horn Description Logics. International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.754-760. ⟨hal-00947535⟩

    LaHDAK

    Année de publication

    Publication HAL