Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marianna Nicolosi Asmundo
@article{DBLP:journals/ia/BellaCLAS23,
author = {Giampaolo Bella and
Domenico Cantone and
Carmelo Fabio Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {The ontology for agents, systems and integration of services: {OASIS}
version 2\({}^{\mbox{{\textdollar}}}\)},
journal = {Intelligenza Artificiale},
volume = {17},
number = {1},
pages = {51--62},
year = {2023},
url = {https://doi.org/10.3233/IA-230002},
doi = {10.3233/IA-230002},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/BellaCLAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocch/BikakisFJMMA23,
author = {Antonis Bikakis and
Roberta Ferrario and
St{\'{e}}phane Jean and
B{\'{e}}atrice Markhoff and
Alessandro Mosca and
Marianna Nicolosi Asmundo},
title = {Editorial: Special Issue on Semantic Web and Ontology Design for Cultural
Heritage},
journal = {{ACM} Journal on Computing and Cultural Heritage},
volume = {16},
number = {3},
pages = {54:1--54:5},
year = {2023},
url = {https://doi.org/10.1145/3626254},
doi = {10.1145/3626254},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocch/BikakisFJMMA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MartinoARS23,
author = {Simone De Martino and
Marianna Nicolosi Asmundo and
Stefano Angelo Rizzo and
Daniele Francesco Santamaria},
editor = {Rino Falcone and
Cristiano Castelfranchi and
Alessandro Sapienza and
Filippo Cantucci},
title = {Modeling the Video Game Environment: the VideOWL Ontology},
booktitle = {Proceedings of the 24th Workshop "From Objects to Agents", Roma, Italy,
November 6-8, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3579},
pages = {191--205},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3579/paper15.pdf},
timestamp = {Thu, 14 Dec 2023 18:10:23 +0100},
biburl = {https://dblp.org/rec/conf/woa/MartinoARS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/swodch/2023,
editor = {Antonis Bikakis and
Roberta Ferrario and
St{\'{e}}phane Jean and
B{\'{e}}atrice Markhoff and
Alessandro Mosca and
Marianna Nicolosi Asmundo},
title = {Proceedings of the International Workshop on Semantic Web and Ontology
Design for Cultural Heritage co-located with the International Semantic
Web Conference 2023 {(ISWC} 2023), Athens, Greece, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3540},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3540},
urn = {urn:nbn:de:0074-3540-6},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/swodch/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-10061,
author = {Giampaolo Bella and
Domenico Cantone and
Carmelo Fabio Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {The Ontology for Agents, Systems and Integration of Services: {OASIS}
version 2},
journal = {CoRR},
volume = {abs/2306.10061},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.10061},
doi = {10.48550/ARXIV.2306.10061},
eprinttype = {arXiv},
eprint = {2306.10061},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-10061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/LongoSACS22,
author = {Carmelo Fabio Longo and
Corrado Santoro and
Marianna Nicolosi Asmundo and
Domenico Cantone and
Daniele Francesco Santamaria},
title = {Towards ontological interoperability of cognitive IoT agents based
on natural language processing},
journal = {Intelligenza Artificiale},
volume = {16},
number = {1},
pages = {93--112},
year = {2022},
url = {https://doi.org/10.3233/IA-210125},
doi = {10.3233/IA-210125},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/LongoSACS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AnastasiDA22,
author = {Selenia Anastasi and
Andrea De Domenico and
Marianna Nicolosi Asmundo},
editor = {Rossana Damiano and
Stefano Ferilli and
Manuel Striani and
Gianmaria Silvello},
title = {{EGITH} - Engendering Data. Steps Towards an Ontology for the Representation
of Gender in Cultural Heritage},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence for Cultural
Heritage, {AI4CH} 2022, co-located with the 21st International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2022),
Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3286},
pages = {13--25},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3286/02\_paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AnastasiDA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BellaCAS22,
author = {Giampaolo Bella and
Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Angelo Ferrando and
Viviana Mascardi},
title = {The ontology for agents, systems and integration of services: recent
advancements of {OASIS}},
booktitle = {Proceedings of the 23rd Workshop "From Objects to Agents", Genova,
Italy, September 1-3, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3261},
pages = {176--193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3261/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/BellaCAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ao/CantaleCRASM21,
author = {Claudia Cantale and
Domenico Cantone and
Manuela Lupica Rinato and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria and
Maria Rosaria Stufano Melone},
title = {The ideal Benedictine Monastery: From the Saint Gall map to ontologies},
journal = {Appl. Ontology},
volume = {16},
number = {2},
pages = {137--160},
year = {2021},
url = {https://doi.org/10.3233/AO-210248},
doi = {10.3233/AO-210248},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ao/CantaleCRASM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CantoneAS21,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {An Improved Set-based Reasoner for the Description Logic {\unicode{119967}}{\(\mathscr{L}\)}D4,
{\texttimes}},
journal = {Fundam. Informaticae},
volume = {178},
number = {4},
pages = {315--346},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2009},
doi = {10.3233/FI-2021-2009},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CantoneAS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecon/BellaCLAS21,
author = {Giampaolo Bella and
Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Konstantinos Tserpes and
J{\"{o}}rn Altmann and
Jos{\'{e}} {\'{A}}ngel Ba{\~{n}}ares and
Orna Agmon Ben{-}Yehuda and
Karim Djemame and
Vlado Stankovski and
Bruno Tuffin},
title = {Semantic Representation as a Key Enabler for Blockchain-Based Commerce},
booktitle = {Economics of Grids, Clouds, Systems, and Services - 18th International
Conference, {GECON} 2021, Virtual Event, September 21-23, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13072},
pages = {191--198},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92916-9\_17},
doi = {10.1007/978-3-030-92916-9\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecon/BellaCLAS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/CantoneLASS21,
author = {Domenico Cantone and
Carmelo Fabio Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria and
Corrado Santoro},
editor = {David Camacho and
Domenico Rosaci and
Giuseppe M. L. Sarn{\'{e}} and
Mario Versaci},
title = {Ontological Smart Contracts in {OASIS:} Ontology for Agents, Systems,
and Integration of Services},
booktitle = {Intelligent Distributed Computing XIV, 14th International Symposium
on Intelligent Distributed Computing, {IDC} 2021, Virtual Event, 16-18
September 2021},
series = {Studies in Computational Intelligence},
volume = {1026},
pages = {237--247},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-96627-0\_22},
doi = {10.1007/978-3-030-96627-0\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idc/CantoneLASS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/BellaCLAS21,
author = {Giampaolo Bella and
Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {David Camacho and
Domenico Rosaci and
Giuseppe M. L. Sarn{\'{e}} and
Mario Versaci},
title = {Blockchains Through Ontologies: The Case Study of the Ethereum {ERC721}
Standard in oasis},
booktitle = {Intelligent Distributed Computing XIV, 14th International Symposium
on Intelligent Distributed Computing, {IDC} 2021, Virtual Event, 16-18
September 2021},
series = {Studies in Computational Intelligence},
volume = {1026},
pages = {249--259},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-96627-0\_23},
doi = {10.1007/978-3-030-96627-0\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idc/BellaCLAS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/LongoSASC21,
author = {Carmelo Fabio Longo and
Corrado Santoro and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria and
Domenico Cantone},
editor = {Roberta Calegari and
Giovanni Ciatto and
Enrico Denti and
Andrea Omicini and
Giovanni Sartor},
title = {{SW-CASPAR:} Reactive-Cognitive Architecture based on Natural Language
Processing for the task of Decision-Making in the Open-World Assumption},
booktitle = {Proceedings of the 22nd Workshop "From Objects to Agents", Bologna,
Italy, September 1-3, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2963},
pages = {178--193},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2963/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/LongoSASC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/swodch/2021,
editor = {Antonis Bikakis and
Roberta Ferrario and
St{\'{e}}phane Jean and
B{\'{e}}atrice Markhoff and
Alessandro Mosca and
Marianna Nicolosi Asmundo},
title = {Proceedings of the International Joint Workshop on Semantic Web and
Ontology Design for Cultural Heritage co-located with the Bolzano
Summer of Knowledge 2021 {(BOSK} 2021), Virtual Event / Bozen-Bolzano,
Italy, September 20-21, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2949},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2949},
urn = {urn:nbn:de:0074-2949-8},
timestamp = {Wed, 20 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/swodch/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-02899,
author = {Giampaolo Bella and
Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {Blockchains through ontologies: the case study of the Ethereum {ERC721}
standard in {OASIS} (Extended Version)},
journal = {CoRR},
volume = {abs/2109.02899},
year = {2021},
url = {https://arxiv.org/abs/2109.02899},
eprinttype = {arXiv},
eprint = {2109.02899},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02899.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CantoneAS20,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {A Set-theoretic Approach to Reasoning Services for the Description
Logic {\unicode{119967}}{\(\mathscr{L}\)}D4, {\texttimes}},
journal = {Fundam. Informaticae},
volume = {176},
number = {3-4},
pages = {349--384},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1977},
doi = {10.3233/FI-2020-1977},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CantoneAS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DomenicoCA20,
author = {Andrea De Domenico and
Domenico Cantone and
Marianna Nicolosi Asmundo},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {An Ontology for the Iconographic Sources of La Divina Commedia},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {157--168},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DomenicoCA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01410,
author = {Domenico Cantone and
Carmelo Fabio Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria and
Corrado Santoro},
title = {Ontological Smart Contracts in {OASIS:} Ontology for Agents, Systems,
and Integration of Services},
journal = {CoRR},
volume = {abs/2012.01410},
year = {2020},
url = {https://arxiv.org/abs/2012.01410},
eprinttype = {arXiv},
eprint = {2012.01410},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BrancatoAPSU19,
author = {Roldolfo Brancato and
Marianna Nicolosi Asmundo and
Grazia Pagano and
Daniele Francesco Santamaria and
Salvatore Ucchino},
editor = {Antonella Poggi},
title = {Towards an ontology for investigating on archaeological Sicilian landscapes},
booktitle = {Proceedings of the First International Workshop on Open Data and Ontologies
for Cultural Heritage co-located with the 31st International Conference
on Advanced Information Systems Engineering, ODOCH@CAiSE 2019, Rome,
Italy, June 3, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2375},
pages = {85--90},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2375/short1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:34 +0100},
biburl = {https://dblp.org/rec/conf/caise/BrancatoAPSU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BrancatoAPSU19,
author = {Roldolfo Brancato and
Marianna Nicolosi Asmundo and
Grazia Pagano and
Daniele Francesco Santamaria and
Salvatore Ucchino},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {59--67},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper28.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BrancatoAPSU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/CantoneLASS19,
author = {Domenico Cantone and
Carmelo Fabio Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria and
Corrado Santoro},
editor = {Federico Bergenti and
Stefania Monica},
title = {Towards an Ontology-Based Framework for a Behavior-Oriented Integration
of the IoT},
booktitle = {Proceedings of the 20th Workshop "From Objects to Agents", Parma,
Italy, June 26th-28th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2404},
pages = {119--126},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2404/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/CantoneLASS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CantoneAS18,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Christoph Benzm{\"{u}}ller and
Francesco Ricca and
Xavier Parent and
Dumitru Roman},
title = {An Optimized KE-Tableau-Based System for Reasoning in the Description
Logic {\textdollar}{\textdollar}\{{\textbackslash}mathcal \{DL\}\}{\_}\{\{{\textbackslash}mathbf
\{D\}\}\}{\^{}}\{4, {\textbackslash}!{\textbackslash}times \}{\textdollar}{\textdollar}},
booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
2018, Luxembourg, September 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11092},
pages = {239--247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99906-7\_16},
doi = {10.1007/978-3-319-99906-7\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CantoneAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CantoneAS18,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Maximiliano Cristi{\'{a}} and
David Delahaye and
Catherine Dubois},
title = {A Set-Based Reasoner for the Description Logic DL\({}^{\mbox{4, x}}\)\({}_{\mbox{D}}\)},
booktitle = {Proceedings of the 3rd International Workshop on Sets and Tools co-located
with the 6th International {ABZ} Conference, SETS@ABZ 2018, Southamptom,
UK, June 5, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2199},
pages = {52--66},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2199/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/zum/CantoneAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-07508,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Ewa Orlowska},
title = {A Dual Tableau-based Decision Procedure for a Relational Logic with
the Universal Relation (Extended Version)},
journal = {CoRR},
volume = {abs/1802.07508},
year = {2018},
url = {http://arxiv.org/abs/1802.07508},
eprinttype = {arXiv},
eprint = {1802.07508},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-07508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-11222,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {An optimized KE-tableau-based system for reasoning in the description
logic {\textbackslash}shdlssx},
journal = {CoRR},
volume = {abs/1804.11222},
year = {2018},
url = {http://arxiv.org/abs/1804.11222},
eprinttype = {arXiv},
eprint = {1804.11222},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-11222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08606,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {A set-based reasoner for the description logic {\textbackslash}shdlssx
(Extended Version)},
journal = {CoRR},
volume = {abs/1805.08606},
year = {2018},
url = {http://arxiv.org/abs/1805.08606},
eprinttype = {arXiv},
eprint = {1805.08606},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08606.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CantoneLA17a,
author = {Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo},
title = {Herbrand-satisfiability of a Quantified Set-theoretic Fragment},
journal = {Fundam. Informaticae},
volume = {150},
number = {1},
pages = {49--71},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1460},
doi = {10.3233/FI-2017-1460},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CantoneLA17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CantoneAS17,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {A {C++} Reasoner for the Description Logic {DL-4X(D)}},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {276--280},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/CILCpaper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CantoneAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/CantaleCRAS17,
author = {Claudia Cantale and
Domenico Cantone and
Manuela Lupica Rinato and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Stefano Borgo and
Oliver Kutz and
Frank Loebe and
Fabian Neuhaus and
Kemo Adrian and
Mihailo Antovic and
Valerio Basile and
Martin Boeker and
Diego Calvanese and
Tommaso Caselli and
Giorgio Colombo and
Roberto Confalonieri and
Laura Daniele and
J{\'{e}}r{\^{o}}me Euzenat and
Antony Galton and
Dagmar Gromann and
Maria M. Hedblom and
Heinrich Herre and
Inge Hinterwaldner and
Andrea Janes and
Ludger Jansen and
Kris Krois and
Antonio Lieto and
Claudio Masolo and
Rafael Pe{\~{n}}aloza and
Daniele Porello and
Daniele Paolo Radicioni and
Emilio M. Sanfilippo and
Daniel Schober and
Rossella Stufano and
Amanda Vizedom},
title = {The Shape of a Benedictine Monastery: The SaintGall Ontology},
booktitle = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean
Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2050},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2050/SHAPES\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/CantaleCRAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CantoneAS17,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Stefania Costantini and
Enrico Franconi and
William Van Woensel and
Roman Kontchakov and
Fariba Sadri and
Dumitru Roman},
title = {A Set-Theoretic Approach to ABox Reasoning Services},
booktitle = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
London, UK, July 12-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10364},
pages = {87--102},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61252-2\_7},
doi = {10.1007/978-3-319-61252-2\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CantoneAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CantoneAS17,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {A set-theoretical approach for ABox reasoning services (Extended Version)},
journal = {CoRR},
volume = {abs/1702.03096},
year = {2017},
url = {http://arxiv.org/abs/1702.03096},
eprinttype = {arXiv},
eprint = {1702.03096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CantoneAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CantoneAS17aa,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {A {\textbackslash}textsf\{C++\} reasoner for the description logic
{\textdollar}{\textbackslash}shdlssx{\textdollar}},
journal = {CoRR},
volume = {abs/1707.07545},
year = {2017},
url = {http://arxiv.org/abs/1707.07545},
eprinttype = {arXiv},
eprint = {1707.07545},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CantoneAS17aa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-02618,
author = {Claudia Cantale and
Domenico Cantone and
Manuela Lupica Rinato and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {The Shape of a Benedictine Monastery: The SaintGall Ontology},
journal = {CoRR},
volume = {abs/1709.02618},
year = {2017},
url = {http://arxiv.org/abs/1709.02618},
eprinttype = {arXiv},
eprint = {1709.02618},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CantoneAS16,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Conjunctive Query Answering via a Fragment of Set Theory},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {23--35},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CantoneAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdweb/CantoneFAST16,
author = {Domenico Cantone and
Andrea Fornaia and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria and
Emiliano Tramontana},
editor = {Giuliano Armano and
Alessandro Bozzon and
Matteo Cristani and
Alessandro Giuliani},
title = {An {OWL} Framework for Rule-based Recognition of Places in Italian
Non-structured Text},
booktitle = {Proceedings of the 2nd International Workshop on Knowledge Discovery
on the WEB, KDWeb 2016, Cagliari, Italy, September 8-10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1748},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1748/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/kdweb/CantoneFAST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CantoneAS16,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {Conjunctive Query Answering via a Fragment of Set Theory (Extended
Version)},
journal = {CoRR},
volume = {abs/1606.07337},
year = {2016},
url = {http://arxiv.org/abs/1606.07337},
eprinttype = {arXiv},
eprint = {1606.07337},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CantoneAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneAST15,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria and
Francesca Trapani},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Ontoceramic: an {OWL} ontology for ceramics classification},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {122--127},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneAST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/CantoneLAS15,
author = {Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Balder ten Cate and
Alessandra Mileo},
title = {Web Ontology Representation and Reasoning via Fragments of Set Theory},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9209},
pages = {61--76},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22002-4\_6},
doi = {10.1007/978-3-319-22002-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/CantoneLAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CantoneA16,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
editor = {Pierluigi Crescenzi and
Michele Loreti},
title = {The Decision Problem for a Three-sorted Fragment of Set Theory with
Restricted Quantification and Finite Enumerations},
booktitle = {Proceedings of the 16th Italian Conference on Theoretical Computer
Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {322},
pages = {69--86},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.03.006},
doi = {10.1016/J.ENTCS.2016.03.006},
timestamp = {Thu, 10 Nov 2022 11:36:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CantoneA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CantoneLAS15,
author = {Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
title = {Web ontology representation and reasoning via fragments of set theory},
journal = {CoRR},
volume = {abs/1505.02075},
year = {2015},
url = {http://arxiv.org/abs/1505.02075},
eprinttype = {arXiv},
eprint = {1505.02075},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CantoneLAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CantoneA15,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {The decision problem for a three-sorted fragment of set theory with
restricted quantification and finite enumerations},
journal = {CoRR},
volume = {abs/1506.01476},
year = {2015},
url = {http://arxiv.org/abs/1506.01476},
eprinttype = {arXiv},
eprint = {1506.01476},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CantoneA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneLA14,
author = {Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Herbrand-Satisfiability of a Quantified Set-theoretical Fragment},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {162--177},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneLA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneAO14,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Ewa Orlowska},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A Dual Tableau-based Decision Procedure for a Relational Logic with
the Universal Relation},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {194--209},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneAO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/CantoneGA14,
author = {Domenico Cantone and
Joanna Golinska{-}Pilarek and
Marianna Nicolosi Asmundo},
editor = {Marios M. Polycarpou and
Andr{\'{e}} Carlos Ponce de Leon Ferreira de Carvalho and
Jeng{-}Shyang Pan and
Michal Wozniak and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {A Relational Dual Tableau Decision Procedure for Multimodal and Description
Logics},
booktitle = {Hybrid Artificial Intelligence Systems - 9th International Conference,
{HAIS} 2014, Salamanca, Spain, June 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8480},
pages = {466--477},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07617-1\_41},
doi = {10.1007/978-3-319-07617-1\_41},
timestamp = {Thu, 02 Apr 2020 11:52:52 +0200},
biburl = {https://dblp.org/rec/conf/hais/CantoneGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CantoneA13,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {On the Satisfiability Problem for a 4-level Quantified Syllogistic
and Some Applications to Modal Logic},
journal = {Fundam. Informaticae},
volume = {124},
number = {4},
pages = {427--448},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-842},
doi = {10.3233/FI-2013-842},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CantoneA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2013,
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068},
urn = {urn:nbn:de:0074-1068-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-2412,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {On the satisfiability problem for a 3-level quantified syllogistic},
journal = {CoRR},
volume = {abs/1304.2412},
year = {2013},
url = {http://arxiv.org/abs/1304.2412},
eprinttype = {arXiv},
eprint = {1304.2412},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-2412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CantoneFAO12,
author = {Domenico Cantone and
Andrea Formisano and
Marianna Nicolosi Asmundo and
Eugenio Giovanni Omodeo},
title = {A graphical representation of relational formulae with complementation},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {46},
number = {2},
pages = {261--289},
year = {2012},
url = {https://doi.org/10.1051/ita/2012003},
doi = {10.1051/ITA/2012003},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/CantoneFAO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneAO12,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Eugenio G. Omodeo},
editor = {Francesca A. Lisi},
title = {On the Elimination of Quantifiers through Descriptors in Predicate
Logic},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {17--31},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneAO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-1943,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {On the satisfiability problem for a 4-level quantified syllogistic
and some applications to modal logic (extended version)},
journal = {CoRR},
volume = {abs/1209.1943},
year = {2012},
url = {http://arxiv.org/abs/1209.1943},
eprinttype = {arXiv},
eprint = {1209.1943},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CantoneAO11,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Ewa Orlowska},
title = {Dual tableau-based decision procedures for relational logics with
restricted composition operator},
journal = {J. Appl. Non Class. Logics},
volume = {21},
number = {2},
pages = {177--200},
year = {2011},
url = {https://doi.org/10.3166/jancl.21.177-200},
doi = {10.3166/JANCL.21.177-200},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/CantoneAO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneA11,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
editor = {Fabio Fioravanti},
title = {On the satisfiability problem for a 4-level quantified syllogistic
and some applications to modal logic},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {73--97},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CantoneLA11,
author = {Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo},
editor = {Marc Bezem},
title = {A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs
with Applications to Description Logics},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {129--143},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.129},
doi = {10.4230/LIPICS.CSL.2011.129},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/CantoneLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneAO10,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Ewa Orlowska},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Dual Tableau-based Decision Procedures for Some Relational Logics},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneAO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneLA10,
author = {Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo},
editor = {Wolfgang Faber and
Nicola Leone},
title = {A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic
with the Cartesian Product and Some Map Constructs},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneLA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CantoneA07,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {A Sound Framework for delta-Rule Variants in Free-Variable Semantic
Tableaux},
journal = {J. Autom. Reason.},
volume = {38},
number = {1-3},
pages = {31--56},
year = {2007},
url = {https://doi.org/10.1007/s10817-006-9045-y},
doi = {10.1007/S10817-006-9045-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CantoneA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/FormisanoA06,
author = {Andrea Formisano and
Marianna Nicolosi Asmundo},
title = {An efficient relational deductive system for propositional non-classical
logics},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {3-4},
pages = {367--408},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.367-408},
doi = {10.3166/JANCL.16.367-408},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/FormisanoA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AsmundoR03,
author = {Marianna Nicolosi Asmundo and
Elvinia Riccobene},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Consistent Integration for Sequential Abstract State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {324--340},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_19},
doi = {10.1007/3-540-36498-6\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/AsmundoR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/CantoneA98,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo},
editor = {Ricardo Caferra and
Gernot Salzer},
title = {A Further and Effective Liberalization of the delta-Rule in Free Variable
Semantic Tableaux},
booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1761},
pages = {109--125},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-46508-1\_7},
doi = {10.1007/3-540-46508-1\_7},
timestamp = {Mon, 05 Feb 2024 20:35:45 +0100},
biburl = {https://dblp.org/rec/conf/ftp/CantoneA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CantoneAO97,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Eugenio G. Omodeo},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {Global Skolemization with Grouped Quantifiers},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {405--414},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/CantoneAO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-24 02:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
