Dr. Jandson Santos Ribeiro Santos

Lehre

Ribeiro, J.S. et al. 2020. Measuring Disagreement with Interpolants. SUM (2020), 84–97. [URL | BibTeX | BibSonomy]

Ribeiro, J.S. et al. 2019. Belief Update without Compactness in Non-finitary Languages. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 (2019), 1858–1864. [DOI:10.24963/ijcai.2019/257 | URL | BibTeX | BibSonomy]
Ribeiro, J.S. et al. 2019. Belief Change and Non-Monotonic Reasoning Sans Compactness. The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019 (2019), 3019–3026. [DOI:10.1609/aaai.v33i01.33013019 | URL | BibTeX | BibSonomy]

Ribeiro, J.S. et al. 2018. Towards Belief Contraction without Compactness. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018 (2018), 287–296. [URL | BibTeX | BibSonomy]

Ribeiro, J.S. and Andrade, A. 2015. A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (2015), 84–99. [DOI:10.1007/978-3-319-25423-4\_6 | URL | BibTeX | BibSonomy]