Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Ribeiro, Jandson S."'
Autor:
Klumpp, Dominik, Ribeiro, Jandson S.
Despite the significant interest in extending the AGM paradigm of belief change beyond finitary logics, the computational aspects of AGM have remained almost untouched. We investigate the computability of AGM contraction on non-finitary logics, and s
Externí odkaz:
http://arxiv.org/abs/2409.09171
We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of formulae, that is, a finite base. The focus on finiteness is crucial when
Externí odkaz:
http://arxiv.org/abs/2303.03034
Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are often specifie
Externí odkaz:
http://arxiv.org/abs/2108.12331
Autor:
Ribeiro, Jandson S., Thimm, Matthias
Publikováno v:
Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Nov2023, Vol. 10 Issue 5, p643-691, 49p
Autor:
Ribeiro, Jandson S., Andrade, Aline
Publikováno v:
Formal Methods & Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings; 2015, p84-99, 16p
Publikováno v:
Scopus-Elsevier
Macquarie University
Macquarie University
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54f01a8f55a7e9f3b8f99df491dcb238
http://www.scopus.com/inward/record.url?eid=2-s2.0-85065665382&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85065665382&partnerID=MN8TOARS