Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

7 Results
authFullName_s : Marco Console
Image document

Reasoning about Measures of Unmeasurable Sets

Marco Console , Matthias Hofer , Leonid Libkin
KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.264-273, ⟨10.24963/kr.2020/27⟩
Conference papers hal-03128512v1

Propositional and predicate logics of incomplete information

Marco Console , Paolo Guagliardo , Leonid Libkin
Artificial Intelligence, 2022, 302, pp.103603. ⟨10.1016/j.artint.2021.103603⟩
Journal articles hal-03934331v1

Fragments of bag relational algebra: Expressiveness and certain answers

Marco Console , Paolo Guagliardo , Leonid Libkin
Information Systems, 2022, 105, pp.101604. ⟨10.1016/j.is.2020.101604⟩
Journal articles hal-03934340v1
Image document

Monotone Abstractions in Ontology-Based Data Management

Gianluca Cima , Marco Console , Maurizio Lenzerini , Antonella Poggi
The Thirty-Sixth AAAI Conference on Artificial Intelligence, Feb 2022, Virtual Event, Canada
Conference papers hal-03686667v1
Image document

Abstraction in Data Integration

Gianluca Cima , Marco Console , Maurizio Lenzerini , Antonella Poggi
36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Jun 2021, Rome, Italy
Conference papers hal-03609375v1
Image document

Coping with Incomplete Data: Recent Advances

Marco Console , Paolo Guagliardo , Leonid Libkin , Etienne Toussaint
SIGMOD/PODS 2020 - International Conference on Management of Data, Jun 2020, Portland / Virtual, United States. pp.33-47, ⟨10.1145/3375395.3387970⟩
Conference papers hal-03127726v1
Image document

Queries with Arithmetic on Incomplete Databases

Marco Console , Matthias Hofer , Leonid Libkin
SIGMOD/PODS 2020 : International Conference on Management of Data, Jun 2020, Portland / Virtual, United States. pp.179-189, ⟨10.1145/3375395.3387666⟩
Conference papers hal-03127717v1