There are no minimal essentially undecidable theories
Murwanashyaka, Juvenal, Pakhomov, Fedor, Visser, Albert
Published in Journal of logic and computation (06.09.2024)
Published in Journal of logic and computation (06.09.2024)
Get full text
Journal Article
Efficient compliance checking of RDF data
Robaldo, Livio, Pacenza, Francesco, Zangari, Jessica, Calegari, Roberta, Calimeri, Francesco, Siragusa, Giovanni
Published in Journal of logic and computation (11.12.2023)
Published in Journal of logic and computation (11.12.2023)
Get full text
Journal Article
Almost APAL
van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B, Sedlar, Igor
Published in Journal of logic and computation (24.08.2023)
Published in Journal of logic and computation (24.08.2023)
Get full text
Journal Article
The Expressivity of Quantified Group Announcements
Alechina, Natasha, van Ditmarsch, Hans, French, Tim, Galimullin, Rustam
Published in Journal of logic and computation (24.08.2023)
Published in Journal of logic and computation (24.08.2023)
Get full text
Journal Article
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems
Soldà, Davide, Fabiano, Francesco, Dovier, Agostino
Published in Journal of logic and computation (11.12.2023)
Published in Journal of logic and computation (11.12.2023)
Get full text
Journal Article
Markov chain model representation of information diffusion in social networks
Dennis, Louise A, Fu, Yu, Slavkovik, Marija
Published in Journal of logic and computation (06.09.2022)
Published in Journal of logic and computation (06.09.2022)
Get full text
Journal Article
A comprehensive account of the burden of persuasion in abstract argumentation
Kampik, Timotheus, Gabbay, Dov, Sartor, Giovanni
Published in Journal of logic and computation (02.03.2023)
Published in Journal of logic and computation (02.03.2023)
Get full text
Journal Article
A policy-aware epistemic framework for social networks
Moezkarimi, Zahra, Ghassemi, Fatemeh, Mousavi, Mohammad Reza
Published in Journal of logic and computation (06.09.2022)
Published in Journal of logic and computation (06.09.2022)
Get full text
Journal Article
A study of continuous vector representations for theorem proving
PurgaŁ, StanisŁaw, Parsert, Julian, Kaliszyk, Cezary
Published in Journal of logic and computation (01.12.2021)
Published in Journal of logic and computation (01.12.2021)
Get full text
Journal Article