Livio Robaldo

From MaRDI portal
Person:548706

Available identifiers

zbMath Open robaldo.livioMaRDI QIDQ548706

List of research outcomes





PublicationDate of PublicationType
Efficient compliance checking of RDF data2024-02-13Paper
https://portal.mardi4nfdi.de/entity/Q58808332023-03-06Paper
https://portal.mardi4nfdi.de/entity/Q58808352023-03-06Paper
https://portal.mardi4nfdi.de/entity/Q50391202022-10-12Paper
https://portal.mardi4nfdi.de/entity/Q58696252022-09-28Paper
Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base2021-02-17Paper
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation2018-11-20Paper
On the complexity of input/output logic2018-01-11Paper
Conservativity: a necessary property for the maximization of witness sets2015-02-27Paper
On the identification of quantifiers' witness sets: a study of multi-quantifier sentences2015-02-09Paper
Toward a Linguistic Interpretation of Deontic Paradoxes2014-09-08Paper
Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality2011-06-30Paper
Interpretation and inference with maximal referential terms2010-07-08Paper
Independent set readings and generalized quantifiers2010-03-02Paper
Skolem Theory and Generalized Quantifiers2008-07-10Paper

Research outcomes over time

This page was built for person: Livio Robaldo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:548706&oldid=7039539"
Powered by MediaWiki