Livio Robaldo

Available identifiers

Publication	Date of Publication	Type
Efficient compliance checking of RDF data	2024-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q5880833	2023-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q5880835	2023-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q5039120	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5869625	2022-09-28	Paper
Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base	2021-02-17	Paper
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation	2018-11-20	Paper
On the complexity of input/output logic	2018-01-11	Paper
Conservativity: a necessary property for the maximization of witness sets	2015-02-27	Paper
On the identification of quantifiers' witness sets: a study of multi-quantifier sentences	2015-02-09	Paper
Toward a Linguistic Interpretation of Deontic Paradoxes	2014-09-08	Paper
Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality	2011-06-30	Paper
Interpretation and inference with maximal referential terms	2010-07-08	Paper
Independent set readings and generalized quantifiers	2010-03-02	Paper
Skolem Theory and Generalized Quantifiers	2008-07-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Livio Robaldo