Towards a Sequent Calculus for Formal Contexts

uncategorised
Authors

Ondrej Kridlo

Manuel Ojeda-Aciego

Published

1 January 2016

Publication details

Proceedings of the 5th International Workshop “What can {FCA} do for Artificial Intelligence”? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016 , {CEUR} Workshop Proceedings vol. 1703, pages 17–24.

Links

 

Abstract

This work focuses on the definition of a consequence relation between contexts with which we can decide whether certain contextual information is a logical consequence from a set of contexts considered as underlying hypotheses.

Citation

Please, cite this work as:

[KO16] O. Kridlo and M. Ojeda-Aciego. “Towards a Sequent Calculus for Formal Contexts”. In: Proceedings of the 5th International Workshop “What can FCA do for Artificial Intelligence”? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016. Ed. by S. O. Kuznetsov, A. Napoli and S. Rudolph. Vol. 1703. CEUR Workshop Proceedings. CEUR-WS.org, 2016, pp. 17-24. URL: https://ceur-ws.org/Vol-1703/paper3.pdf.

@InProceedings{Kridlo2016, booktitle = {Proceedings of the 5th International Workshop “What can {FCA} do for Artificial Intelligence”? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016},
     author = {Ondrej Kridlo and Manuel Ojeda-Aciego},
     booktitle = {Proceedings of the 5th International Workshop “What can {FCA} do for Artificial Intelligence”? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016},
     title = {Towards a Sequent Calculus for Formal Contexts},
     year = {2016},
     editor = {Sergei O. Kuznetsov and Amedeo Napoli and Sebastian Rudolph},
     pages = {17–24},
     publisher = {CEUR-WS.org},
     series = {{CEUR} Workshop Proceedings},
     volume = {1703},
     abstract = {This work focuses on the definition of a consequence relation between contexts with which we can decide whether certain contextual information is a logical consequence from a set of contexts considered as underlying hypotheses.},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/ecai/KridloO16.bib},
     timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
     url = {https://ceur-ws.org/Vol-1703/paper3.pdf},
}