Livio Robaldo

zbMath Openrobaldo.livioMaRDI QIDQ548706

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient compliance checking of RDF data Journal Of Logic And Computation	2024-02-13	Paper
scientific article; zbMATH DE number 7659879 (Why is no real title available?)	2023-03-06	Paper
scientific article; zbMATH DE number 7659880 (Why is no real title available?)	2023-03-06	Paper
scientific article; zbMATH DE number 7599944 (Why is no real title available?)	2022-10-12	Paper
scientific article; zbMATH DE number 7594186 (Why is no real title available?)	2022-09-28	Paper
Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base Journal of Logic, Language and Information	2021-02-17	Paper
Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation Journal Of Logic And Computation	2018-11-20	Paper
On the complexity of input/output logic Journal of Applied Logic	2018-01-11	Paper
Conservativity: a necessary property for the maximization of witness sets Logic Journal of the IGPL	2015-02-27	Paper
On the identification of quantifiers' witness sets: a study of multi-quantifier sentences Journal of Logic, Language and Information	2015-02-09	Paper
Toward a linguistic interpretation of deontic paradoxes. Beth-Reichenbach semantics approach for a new analysis of the miners scenario Deontic Logic and Normative Systems	2014-09-08	Paper
Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality Journal of Logic, Language and Information	2011-06-30	Paper
Interpretation and inference with maximal referential terms Journal of Computer and System Sciences	2010-07-08	Paper
Independent set readings and generalized quantifiers Journal of Philosophical Logic	2010-03-02	Paper
Skolem Theory and Generalized Quantifiers Logic, Language, Information and Computation	2008-07-10	Paper

Research outcomes over time

This page was built for person: Livio Robaldo