Biseau: An Answer Set Programming Environment for High-Level Specification and Graph Visualization applied to FCA

Lucas Bourneuf

Communication Dans Un Congrès Année : 2019

Biseau: An Answer Set Programming Environment for High-Level Specification and Graph Visualization applied to FCA

(1, 2)

1
2

Lucas Bourneuf

Fonction : Auteur
PersonId : 1012245

Dynamics, Logics and Inference for biological Systems and Sequences

Université de Rennes

Domaines

Informatique et langage [cs.CL] Mathématique discrète [cs.DM] Logique en informatique [cs.LO]

Fichier principal

shortAT2.pdf (688.79 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

lucas bourneuf : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02399610

Soumis le : lundi 9 décembre 2019-10:53:01

Dernière modification le : vendredi 24 mars 2023-14:53:14

Archivage à long terme le : mardi 10 mars 2020-15:32:06

Dates et versions

hal-02399610 , version 1 (09-12-2019)

Identifiants

HAL Id : hal-02399610 , version 1

Citer

Lucas Bourneuf. Biseau: An Answer Set Programming Environment for High-Level Specification and Graph Visualization applied to FCA. ICFCA 2019 - International Conference on Formal Concept Analysis, Jun 2019, Frankfort, Germany. pp.1-6. ⟨hal-02399610⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 TDS-MACS UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

35 Consultations

74 Téléchargements

Biseau: An Answer Set Programming Environment for High-Level Specification and Graph Visualization applied to FCA

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager