Um unsere Webseite fortlaufend zu verbessern, können wir Cookies verwenden. Durch Klick auf den Button 'Akzeptieren' stimmen Sie der Verwendung von Cookies zu.
Ribeiro, J.S. et al. 2020. Measuring Disagreement with Interpolants. SUM (2020), 84–97. [URL | BibTeX | BibSonomy]
2019
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]
2018
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]
2015
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]
