Skip to Main content Skip to Navigation
Conference papers

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

Lucas Bourneuf 1, 2
1 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-02399610
Contributor : Lucas Bourneuf <>
Submitted on : Monday, December 9, 2019 - 10:53:01 AM
Last modification on : Friday, July 10, 2020 - 4:01:26 PM
Long-term archiving on: : Tuesday, March 10, 2020 - 3:32:06 PM

File

shortAT2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02399610, version 1

Citation

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⟩

Share

Metrics

Record views

26

Files downloads

119