Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

Dr. Jandson Santos Ribeiro Santos

[go to overview]

Scientific Employee

Details

  • E-Mail: jandson@uni-koblenz.de
  • Office: B 122
  • Phone: +49 261 287-2756

Teaching

Publications

2019

  • Ribeiro, J. S., Nayak, A., & Wassermann, R. (2019). Belief Update without Compactness in Non-finitary Languages. In S. Kraus (Ed.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 (pp. 1858–1864). ijcai.org. https://doi.org/10.24963/ijcai.2019/257 [DOI:10.24963/ijcai.2019/257 | URL | BibTeX | BibSonomy]
  • Ribeiro, J. S., Nayak, A., & Wassermann, R. (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, 3019–3026. https://doi.org/10.1609/aaai.v33i01.33013019 [DOI:10.1609/aaai.v33i01.33013019 | URL | BibTeX | BibSonomy]

2018

  • Ribeiro, J. S., Nayak, A., & Wassermann, R. (2018). Towards Belief Contraction without Compactness. In M. Thielscher, F. Toni, & F. Wolter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018 (pp. 287–296). AAAI Press. https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060 [URL | BibTeX | BibSonomy]

2015

  • Ribeiro, J. S., & Andrade, A. (2015). A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. In M. J. Butler, S. Conchon, & F. Za\"ıdi (Eds.), Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Vol. 9407, pp. 84–99). Springer. https://doi.org/10.1007/978-3-319-25423-4\_6 [DOI:10.1007/978-3-319-25423-4\_6 | URL | BibTeX | BibSonomy]