<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>We need your permission for setting certain cookies to be able to show this content.</p><p>You can <button class="rug-inline-button js--cookie-consent-popup">change your cookie settings</button>.</p></div></div></div>
{
"requiresCookieConsentCheck": "true",
"checkedCookieConsent": "no",
"hasCookieConsent": "no"
}
Rodrigues Greati, V., Marcelino, S.,
Pérez, M. M. & Rivieccio, U., 25-sep.-2025, (E-pub ahead of print)
Automated Reasoning with Analytic Tableaux and Related Methods:
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland,
September 27–29, 2025, Proceedings.Springer, 23 blz.
(Lecture Notes in Computer Science).
Greati, V., Marcelino, S. &
Rivieccio, U., 1-mei-2025,
International Conference on Information Processing and
Management of Uncertainty in Knowledge-Based Systems: 20th
International Conference, IPMU 2024, Lisbon, Portugal, July 22-26,
2024, Proceedings, Volume 2. Lesot, M.-J., Vieira, S.,
Reformat, M. Z., Carvalho, J. P., Batista, F., Bouchon-Meunier, B.
& Yager, R. R. (uitgave). Springer, blz. 390-40516
blz. (Lecture Notes in Networks and Systems ; vol. 1175).
Rodrigues Greati, V. & Ramanayake, R., 21-okt.-2024, (E-pub ahead of print)
Proceedings of Advances in Modal Logic (AiML 2024).College Publications, blz.
401-42221 blz.