Marianna Nicolosi-Asmundo

Identifiers

• name variant Marianna Nicolosi-Asmundo 0.60 · backfill

Papers (4)

1. A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version) cs.LO · 2018 · author #2
2. Conjunctive Query Answering via a Fragment of Set Theory (Extended Version) cs.LO · 2016 · author #2
3. The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations cs.LO · 2015 · author #2
4. Web ontology representation and reasoning via fragments of set theory cs.LO · 2015 · author #3

Mentions

• 1506.01476 #2 · backfill · confidence 0.70 Marianna Nicolosi-Asmundo
• 1505.02075 #3 · backfill · confidence 0.70 Marianna Nicolosi-Asmundo

Frequent Coauthors

• Domenico Cantone 4 shared papers
• Daniele Francesco Santamaria 2 shared papers
• Cristiano Longo 1 shared papers
• Ewa Or{\l}owska 1 shared papers