Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Francesco M. Donini
@inproceedings{DBLP:conf/aiia/ColucciNDPS23, author = {Simona Colucci and Tommaso Di Noia and Francesco M. Donini and Claudio Pomo and Eugenio Di Sciascio}, editor = {Cataldo Musto and Riccardo Guidotti and Anna Monreale and Erasmo Purificato and Giovanni Semeraro}, title = {Irrelevant Explanations: a Logical Formalization and a Case Study}, booktitle = {Proceedings of the 4th Italian Workshop on Explainable Artificial Intelligence co-located with 22nd International Conference of the Italian Association for Artificial Intelligence(AIxIA 2023), Roma, Italy, November 8, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3518}, pages = {67--75}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3518/paper5.pdf}, timestamp = {Thu, 26 Oct 2023 16:59:55 +0200}, biburl = {https://dblp.org/rec/conf/aiia/ColucciNDPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moba/ColucciDS23, author = {Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Eduard Babkin and Joseph Barjis and Pavel Malyzhenkov and Vojtech Merunka and Martin Molhanec}, title = {On the Relevance of Explanation for {RDF} Resources Similarity}, booktitle = {Model-Driven Organizational and Business Agility - Third International Workshop, {MOBA} 2023, Zaragoza, Spain, June 12-13, 2023, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {488}, pages = {96--107}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45010-5\_8}, doi = {10.1007/978-3-031-45010-5\_8}, timestamp = {Tue, 24 Oct 2023 16:49:38 +0200}, biburl = {https://dblp.org/rec/conf/moba/ColucciDS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/recsys/AnelliBMDFMNRZ23, author = {Vito Walter Anelli and Pierpaolo Basile and Gerard de Melo and Francesco M. Donini and Antonio Ferrara and Cataldo Musto and Fedelucio Narducci and Azzurra Ragone and Markus Zanker}, editor = {Jie Zhang and Li Chen and Shlomo Berkovsky and Min Zhang and Tommaso Di Noia and Justin Basilico and Luiz Pizzato and Yang Song}, title = {Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS)}, booktitle = {Proceedings of the 17th {ACM} Conference on Recommender Systems, RecSys 2023, Singapore, Singapore, September 18-22, 2023}, pages = {1259--1262}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3604915.3608759}, doi = {10.1145/3604915.3608759}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/recsys/AnelliBMDFMNRZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/kars/2023, editor = {Vito Walter Anelli and Pierpaolo Basile and Gerard de Melo and Francesco Maria Donini and Antonio Ferrara and Cataldo Musto and Fedelucio Narducci and Azzurra Ragone and Markus Zanker}, title = {Proceedings of the Fifth Knowledge-aware and Conversational Recommender Systems Workshop co-located with 17th {ACM} Conference on Recommender Systems (RecSys 2023), Singapore, September 19th, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3560}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3560}, urn = {urn:nbn:de:0074-3560-3}, timestamp = {Fri, 08 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kars/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/NoiaDJNP22, author = {Tommaso Di Noia and Francesco Maria Donini and Dietmar Jannach and Fedelucio Narducci and Claudio Pomo}, title = {Conversational recommendation: Theoretical model and complexity analysis}, journal = {Inf. Sci.}, volume = {614}, pages = {325--347}, year = {2022}, url = {https://doi.org/10.1016/j.ins.2022.07.169}, doi = {10.1016/J.INS.2022.07.169}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isci/NoiaDJNP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/ColucciDS22, author = {Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Cataldo Musto and Riccardo Guidotti and Anna Monreale and Giovanni Semeraro}, title = {A Human-readable Explanation for the Similarity of {RDF} Resources}, booktitle = {Proceedings of the 3rd Italian Workshop on Explainable Artificial Intelligence co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28 - December 3, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3277}, pages = {88--103}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3277/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/ColucciDS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/NoiaDJNP22, author = {Tommaso Di Noia and Francesco Maria Donini and Dietmar Jannach and Fedelucio Narducci and Claudio Pomo}, editor = {Georgios Drakopoulos and Eleanna Kafeza}, title = {Towards a theoretical formalization of conversational recommendation}, booktitle = {Proceedings of the {CIKM} 2022 Workshops co-located with 31st {ACM} International Conference on Information and Knowledge Management {(CIKM} 2022), Atlanta, USA, October 17-21, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3318}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3318/short29.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:32 +0100}, biburl = {https://dblp.org/rec/conf/cikm/NoiaDJNP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iir/AnelliBNDPP22, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Tommaso Di Noia and Francesco Maria Donini and Vincenzo Paparella and Claudio Pomo}, editor = {Gabriella Pasi and Paolo Cremonesi and Salvatore Orlando and Markus Zanker and David Massimo and Gloria Turati}, title = {An Analysis of Local Explanation with {LIME-RS}}, booktitle = {Proceedings of the 12th Italian Information Retrieval Workshop 2022, Milan, Italy, June 29-30, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3177}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3177/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:48 +0100}, biburl = {https://dblp.org/rec/conf/iir/AnelliBNDPP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memea/PennisiBNVD22, author = {Andrea Pennisi and Domenico Daniele Bloisi and Daniele Nardi and Silvia Varricchio and Francesco M. Donini}, title = {Multi-encoder U-Net for Oral Squamous Cell Carcinoma Image Segmentation}, booktitle = {{IEEE} International Symposium on Medical Measurements and Applications, MeMeA 2022, Messina, Italy, June 22-24, 2022}, pages = {1--6}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/MeMeA54994.2022.9856482}, doi = {10.1109/MEMEA54994.2022.9856482}, timestamp = {Fri, 26 Aug 2022 16:30:19 +0200}, biburl = {https://dblp.org/rec/conf/memea/PennisiBNVD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/moba/ColucciDIS22, author = {Simona Colucci and Francesco M. Donini and Nicola Iurilli and Eugenio Di Sciascio}, editor = {Eduard Babkin and Joseph Barjis and Pavel Malyzhenkov and Vojtech Merunka}, title = {A Business Intelligence Tool for Explaining Similarity}, booktitle = {Model-Driven Organizational and Business Agility - Second International Workshop, {MOBA} 2022, Leuven, Belgium, June 6-7, 2022, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {457}, pages = {50--64}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-17728-6\_5}, doi = {10.1007/978-3-031-17728-6\_5}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/moba/ColucciDIS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/recsys/AnelliBMDFMNRZ22, author = {Vito Walter Anelli and Pierpaolo Basile and Gerard de Melo and Francesco Maria Donini and Antonio Ferrara and Cataldo Musto and Fedelucio Narducci and Azzurra Ragone and Markus Zanker}, editor = {Jennifer Golbeck and F. Maxwell Harper and Vanessa Murdock and Michael D. Ekstrand and Bracha Shapira and Justin Basilico and Keld T. Lundgaard and Even Oldridge}, title = {Fourth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS)}, booktitle = {RecSys '22: Sixteenth {ACM} Conference on Recommender Systems, Seattle, WA, USA, September 18 - 23, 2022}, pages = {663--666}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3523227.3547412}, doi = {10.1145/3523227.3547412}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/recsys/AnelliBMDFMNRZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/AnelliBFMMPDSN22, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Antonio Ferrara and Daniele Malitesta and Felice Antonio Merra and Claudio Pomo and Francesco M. Donini and Eugenio Di Sciascio and Tommaso Di Noia}, editor = {Giuseppe Amato and Valentina Bartalesi and Devis Bianchini and Claudio Gennaro and Riccardo Torlone}, title = {The Challenging Reproducibility Task in Recommender Systems Research between Traditional and Deep Learning Models}, booktitle = {Proceedings of the 30th Italian Symposium on Advanced Database Systems, {SEBD} 2022, Tirrenia (PI), Italy, June 19-22, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3194}, pages = {514--521}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3194/paper60.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:21 +0100}, biburl = {https://dblp.org/rec/conf/sebd/AnelliBFMMPDSN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/recsys/2022kars, editor = {Vito Walter Anelli and Pierpaolo Basile and Gerard de Melo and Francesco Maria Donini and Antonio Ferrara and Cataldo Musto and Fedelucio Narducci and Azzurra Ragone and Markus Zanker}, title = {Proceedings of the Fourth Knowledge-aware and Conversational Recommender Systems Workshop co-located with 16th {ACM} Conference on Recommender Systems (RecSys 2022), Seattle, WA, USA, September 22nd, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3294}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3294}, urn = {urn:nbn:de:0074-3294-2}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/recsys/2022kars.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigir/AnelliBBNDMMNPP21, author = {Vito Walter Anelli and Pierpaolo Basile and Toine Bogers and Tommaso Di Noia and Francesco Maria Donini and Bamshad Mobasher and Cataldo Musto and Fedelucio Narducci and Casper Petersen and Maria Soledad Pera and Markus Zanker}, title = {Report on the 3rd workshop of knowledge-aware and conversational recommender systems (KARS/ComplexRec) at RecSys 2021}, journal = {{SIGIR} Forum}, volume = {55}, number = {2}, pages = {17:1--17:9}, year = {2021}, url = {https://doi.org/10.1145/3527546.3527566}, doi = {10.1145/3527546.3527566}, timestamp = {Wed, 23 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigir/AnelliBBNDMMNPP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/CornacchiaDNPR21, author = {Giandomenico Cornacchia and Francesco M. Donini and Fedelucio Narducci and Claudio Pomo and Azzurra Ragone}, editor = {Artem Polyvyanyy and Stefanie Rinderle{-}Ma}, title = {Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems}, booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {423}, pages = {39--47}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79022-6\_4}, doi = {10.1007/978-3-030-79022-6\_4}, timestamp = {Wed, 25 May 2022 16:06:28 +0200}, biburl = {https://dblp.org/rec/conf/caise/CornacchiaDNPR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iir/AnelliBFMMPDSN21, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Antonio Ferrara and Daniele Malitesta and Felice Antonio Merra and Claudio Pomo and Francesco Maria Donini and Eugenio Di Sciascio and Tommaso Di Noia}, editor = {Vito Walter Anelli and Tommaso Di Noia and Nicola Ferro and Fedelucio Narducci}, title = {How to Perform Reproducible Experiments in the {ELLIOT} Recommendation Framework: Data Processing, Model Selection, and Performance Evaluation}, booktitle = {Proceedings of the 11th Italian Information Retrieval Workshop 2021, Bari, Italy, September 13-15, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2947}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2947/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:47 +0100}, biburl = {https://dblp.org/rec/conf/iir/AnelliBFMMPDSN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/recsys/AnelliBFMMPDN21, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Antonio Ferrara and Daniele Malitesta and Felice Antonio Merra and Claudio Pomo and Francesco Maria Donini and Tommaso Di Noia}, editor = {Humberto Jes{\'{u}}s Corona Pamp{\'{\i}}n and Martha A. Larson and Martijn C. Willemsen and Joseph A. Konstan and Julian J. McAuley and Jean Garcia{-}Gathright and Bouke Huurnink and Even Oldridge}, title = {V-Elliot: Design, Evaluate and Tune Visual Recommender Systems}, booktitle = {RecSys '21: Fifteenth {ACM} Conference on Recommender Systems, Amsterdam, The Netherlands, 27 September 2021 - 1 October 2021}, pages = {768--771}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460231.3478881}, doi = {10.1145/3460231.3478881}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/recsys/AnelliBFMMPDN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/recsys/AnelliBNDMNZ21, author = {Vito Walter Anelli and Pierpaolo Basile and Tommaso Di Noia and Francesco M. Donini and Cataldo Musto and Fedelucio Narducci and Markus Zanker}, editor = {Humberto Jes{\'{u}}s Corona Pamp{\'{\i}}n and Martha A. Larson and Martijn C. Willemsen and Joseph A. Konstan and Julian J. McAuley and Jean Garcia{-}Gathright and Bouke Huurnink and Even Oldridge}, title = {Third Knowledge-aware and Conversational Recommender Systems Workshop (KaRS)}, booktitle = {RecSys '21: Fifteenth {ACM} Conference on Recommender Systems, Amsterdam, The Netherlands, 27 September 2021 - 1 October 2021}, pages = {806--809}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460231.3470933}, doi = {10.1145/3460231.3470933}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/recsys/AnelliBNDMNZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/recsys/AnelliBNDPP21, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Tommaso Di Noia and Francesco Maria Donini and Vincenzo Paparella and Claudio Pomo}, editor = {Vito Walter Anelli and Pierpaolo Basile and Tommaso Di Noia and Francesco Maria Donini and Cataldo Musto and Fedelucio Narducci and Markus Zanker and Himan Abdollahpouri and Toine Bogers and Bamshad Mobasher and Casper Petersen and Maria Soledad Pera}, title = {Adherence and Constancy in {LIME-RS} Explanations for Recommendation (Long paper)}, booktitle = {Joint Workshop Proceedings of the 3rd Edition of Knowledge-aware and Conversational Recommender Systems (KaRS) and the 5th Edition of Recommendation in Complex Environments (ComplexRec) co-located with 15th {ACM} Conference on Recommender Systems (RecSys 2021), Virtual Event, Amsterdam, The Netherlands, September 25, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2960}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2960/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:14 +0100}, biburl = {https://dblp.org/rec/conf/recsys/AnelliBNDPP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigir/AnelliBFMMPDN21, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Antonio Ferrara and Daniele Malitesta and Felice Antonio Merra and Claudio Pomo and Francesco Maria Donini and Tommaso Di Noia}, editor = {Fernando Diaz and Chirag Shah and Torsten Suel and Pablo Castells and Rosie Jones and Tetsuya Sakai}, title = {Elliot: {A} Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation}, booktitle = {{SIGIR} '21: The 44th International {ACM} {SIGIR} Conference on Research and Development in Information Retrieval, Virtual Event, Canada, July 11-15, 2021}, pages = {2405--2414}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3404835.3463245}, doi = {10.1145/3404835.3463245}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigir/AnelliBFMMPDN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/recsys/2021kars, editor = {Vito Walter Anelli and Pierpaolo Basile and Tommaso Di Noia and Francesco Maria Donini and Cataldo Musto and Fedelucio Narducci and Markus Zanker and Himan Abdollahpouri and Toine Bogers and Bamshad Mobasher and Casper Petersen and Maria Soledad Pera}, title = {Joint Workshop Proceedings of the 3rd Edition of Knowledge-aware and Conversational Recommender Systems (KaRS) and the 5th Edition of Recommendation in Complex Environments (ComplexRec) co-located with 15th {ACM} Conference on Recommender Systems (RecSys 2021), Virtual Event, Amsterdam, The Netherlands, September 25, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2960}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2960}, urn = {urn:nbn:de:0074-2960-9}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/recsys/2021kars.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-02590, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Antonio Ferrara and Daniele Malitesta and Felice Antonio Merra and Claudio Pomo and Francesco M. Donini and Tommaso Di Noia}, title = {Elliot: a Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation}, journal = {CoRR}, volume = {abs/2103.02590}, year = {2021}, url = {https://arxiv.org/abs/2103.02590}, eprinttype = {arXiv}, eprint = {2103.02590}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-02590.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-00818, author = {Vito Walter Anelli and Alejandro Bellog{\'{\i}}n and Tommaso Di Noia and Francesco Maria Donini and Vincenzo Paparella and Claudio Pomo}, title = {Adherence and Constancy in {LIME-RS} Explanations for Recommendation}, journal = {CoRR}, volume = {abs/2109.00818}, year = {2021}, url = {https://arxiv.org/abs/2109.00818}, eprinttype = {arXiv}, eprint = {2109.00818}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-00818.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-05578, author = {Tommaso Di Noia and Francesco M. Donini and Dietmar Jannach and Fedelucio Narducci and Claudio Pomo}, title = {Conversational Recommendation: Theoretical Model and Complexity Analysis}, journal = {CoRR}, volume = {abs/2111.05578}, year = {2021}, url = {https://arxiv.org/abs/2111.05578}, eprinttype = {arXiv}, eprint = {2111.05578}, timestamp = {Tue, 16 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-05578.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/itl/ColucciDS19, author = {Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio}, title = {Checking compliance of semantic web applications with RDFS-semantics}, journal = {Internet Technol. Lett.}, volume = {2}, number = {3}, year = {2019}, url = {https://doi.org/10.1002/itl2.87}, doi = {10.1002/ITL2.87}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/itl/ColucciDS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apin/TinelliCDSG17, author = {Eufemia Tinelli and Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio and Silvia Giannini}, title = {Embedding semantics in human resources management automation via {SQL}}, journal = {Appl. Intell.}, volume = {46}, number = {4}, pages = {952--982}, year = {2017}, url = {https://doi.org/10.1007/s10489-016-0868-x}, doi = {10.1007/S10489-016-0868-X}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apin/TinelliCDSG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/NoiaSDMN17, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Francesco Nocera}, title = {Formal model for user-centred adaptive mobile devices}, journal = {{IET} Softw.}, volume = {11}, number = {4}, pages = {156--164}, year = {2017}, url = {https://doi.org/10.1049/iet-sen.2016.0169}, doi = {10.1049/IET-SEN.2016.0169}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iee/NoiaSDMN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jbi/ColucciDS17, author = {Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio}, title = {Logical comparison over {RDF} resources in bio-informatics}, journal = {J. Biomed. Informatics}, volume = {76}, pages = {87--101}, year = {2017}, url = {https://doi.org/10.1016/j.jbi.2017.11.004}, doi = {10.1016/J.JBI.2017.11.004}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jbi/ColucciDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/ColucciDS17, author = {Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Floriana Esposito and Roberto Basili and Stefano Ferilli and Francesca A. Lisi}, title = {Reasoning over {RDF} Knowledge Bases: Where We Are}, booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10640}, pages = {243--255}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-70169-1\_18}, doi = {10.1007/978-3-319-70169-1\_18}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/ColucciDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/ColucciDGS16, author = {Simona Colucci and Francesco M. Donini and Silvia Giannini and Eugenio Di Sciascio}, title = {Defining and computing Least Common Subsumers in {RDF}}, journal = {J. Web Semant.}, volume = {39}, pages = {62--80}, year = {2016}, url = {https://doi.org/10.1016/j.websem.2016.02.001}, doi = {10.1016/J.WEBSEM.2016.02.001}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/ColucciDGS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/0001CDS15, author = {Silvia Giannini and Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Marco Gavanelli and Evelina Lamma and Fabrizio Riguzzi}, title = {A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data}, booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9336}, pages = {367--380}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24309-2\_28}, doi = {10.1007/978-3-319-24309-2\_28}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aiia/0001CDS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ColucciGDS14, author = {Simona Colucci and Silvia Giannini and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Finding Commonalities in Linked Open Data}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {324--329}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short4.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ColucciGDS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/ColucciGDS14, author = {Simona Colucci and Silvia Giannini and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan}, title = {A deductive approach to the identification and description of clusters in Linked Open Data}, booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {263}, pages = {987--988}, publisher = {{IOS} Press}, year = {2014}, url = {https://doi.org/10.3233/978-1-61499-419-0-987}, doi = {10.3233/978-1-61499-419-0-987}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/ColucciGDS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ia/TinelliDS13, author = {Eufemia Tinelli and Francesco M. Donini and Eugenio Di Sciascio}, title = {Compiling subsumption to relational databases}, journal = {Intelligenza Artificiale}, volume = {7}, number = {1}, pages = {19--29}, year = {2013}, url = {https://doi.org/10.3233/IA-130044}, doi = {10.3233/IA-130044}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ia/TinelliDS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/ColucciDS13, author = {Simona Colucci and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Matteo Baldoni and Cristina Baroglio and Guido Boella and Roberto Micalizio}, title = {Common Subsumbers in {RDF}}, booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8249}, pages = {348--359}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03524-6\_30}, doi = {10.1007/978-3-319-03524-6\_30}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aiia/ColucciDS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bis/ColucciTGSD13, author = {Simona Colucci and Eufemia Tinelli and Silvia Giannini and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Witold Abramowicz}, title = {Knowledge Compilation for Core Competence Extraction in Organizations}, booktitle = {Business Information Systems - 16th International Conference, {BIS} 2013, Pozna{\'{n}}, Poland, June 19-21, 2013. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {157}, pages = {163--174}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38366-3\_14}, doi = {10.1007/978-3-642-38366-3\_14}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bis/ColucciTGSD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ColucciD12, author = {Simona Colucci and Francesco M. Donini}, editor = {Francesca A. Lisi}, title = {Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {32--46}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f03.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ColucciD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ColucciD12, author = {Simona Colucci and Francesco M. Donini}, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, title = {Inverting Subsumption for Constructive Reasoning}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {846}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-846/paper\_52.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ColucciD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/TinelliCGSD12, author = {Eufemia Tinelli and Simona Colucci and Silvia Giannini and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Li Chen and Alexander Felfernig and Jiming Liu and Zbigniew W. Ras}, title = {Large Scale Skill Matching through Knowledge Compilation}, booktitle = {Foundations of Intelligent Systems - 20th International Symposium, {ISMIS} 2012, Macau, China, December 4-7, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7661}, pages = {192--201}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34624-8\_23}, doi = {10.1007/978-3-642-34624-8\_23}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismis/TinelliCGSD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/TinelliCSD12, author = {Eufemia Tinelli and Simona Colucci and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Sascha Ossowski and Paola Lecca}, title = {Knowledge compilation for automated Team Composition exploiting standard {SQL}}, booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012, Riva, Trento, Italy, March 26-30, 2012}, pages = {1680--1685}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2245276.2232047}, doi = {10.1145/2245276.2232047}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/TinelliCSD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eaai/ColucciTSD11, author = {Simona Colucci and Eufemia Tinelli and Eugenio Di Sciascio and Francesco M. Donini}, title = {Automating competence management through non-standard reasoning}, journal = {Eng. Appl. Artif. Intell.}, volume = {24}, number = {8}, pages = {1368--1384}, year = {2011}, url = {https://doi.org/10.1016/j.engappai.2011.05.015}, doi = {10.1016/J.ENGAPPAI.2011.05.015}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eaai/ColucciTSD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TinelliDRS11, author = {Eufemia Tinelli and Francesco M. Donini and Michele Ruta and Eugenio Di Sciascio}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}, title = {Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases}, booktitle = {Proceedings of the 24th International Workshop on Description Logics {(DL} 2011), Barcelona, Spain, July 13-16, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {745}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_36.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TinelliDRS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/procedia/RutaCSSD11, author = {Michele Ruta and Simona Colucci and Floriano Scioscia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Elhadi M. Shakshuki and Muhammad Younas}, title = {Finding Commonalities in {RFID} Semantic Streams}, booktitle = {Proceedings of the 2nd International Conference on Ambient Systems, Networks and Technologies {(ANT} 2011), the 8th International Conference on Mobile Web Information Systems (MobiWIS-2011), Niagara Falls, Ontario, Canada, September 19-21, 2011}, series = {Procedia Computer Science}, volume = {5}, pages = {857--864}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.procs.2011.07.118}, doi = {10.1016/J.PROCS.2011.07.118}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/journals/procedia/RutaCSSD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/knowledge/ColucciNSDM11, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {David G. Schwartz and Dov Te'eni}, title = {Description Logic-Based Resource Retrieval}, booktitle = {Encyclopedia of Knowledge Management, Second Edition}, pages = {185--197}, publisher = {{IGI} Global}, year = {2011}, url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=48969}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/knowledge/ColucciNSDM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-0233, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, title = {Space Efficiency of Propositional Knowledge Representation Formalisms}, journal = {CoRR}, volume = {abs/1106.0233}, year = {2011}, url = {http://arxiv.org/abs/1106.0233}, eprinttype = {arXiv}, eprint = {1106.0233}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-0233.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1109-1498, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, title = {Structured Knowledge Representation for Image Retrieval}, journal = {CoRR}, volume = {abs/1109.1498}, year = {2011}, url = {http://arxiv.org/abs/1109.1498}, eprinttype = {arXiv}, eprint = {1109.1498}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1109-1498.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1110-2742, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Semantic Matchmaking as Non-Monotonic Reasoning: {A} Description Logic Approach}, journal = {CoRR}, volume = {abs/1110.2742}, year = {2011}, url = {http://arxiv.org/abs/1110.2742}, eprinttype = {arXiv}, eprint = {1110.2742}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1110-2742.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ColucciNSDR10, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone}, editor = {Volker Haarslev and David Toman and Grant E. Weddell}, title = {Second-Order Description Logics: Semantics, Motivation, and a Calculus}, booktitle = {Proceedings of the 23rd International Workshop on Description Logics {(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {573}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-573/paper\_41.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ColucciNSDR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/ColucciNSDR10, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone}, editor = {Helder Coelho and Rudi Studer and Michael J. Wooldridge}, title = {A Unified Framework for Non-standard Reasoning Services in Description Logics}, booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, pages = {479--484}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-606-5-479}, doi = {10.3233/978-1-60750-606-5-479}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/ColucciNSDR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fss/RagoneSNSD09, author = {Azzurra Ragone and Umberto Straccia and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Fuzzy matchmaking in e-marketplaces of peer entities using Datalog}, journal = {Fuzzy Sets Syst.}, volume = {160}, number = {2}, pages = {251--268}, year = {2009}, url = {https://doi.org/10.1016/j.fss.2008.07.002}, doi = {10.1016/J.FSS.2008.07.002}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fss/RagoneSNSD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dalt/RagoneNDSW09, author = {Azzurra Ragone and Tommaso Di Noia and Francesco M. Donini and Eugenio Di Sciascio and Michael P. Wellman}, editor = {Matteo Baldoni and Jamal Bentahar and M. Birna van Riemsdijk and John Lloyd}, title = {Computing Utility from Weighted Description Logic Preference Formulas}, booktitle = {Declarative Agent Languages and Technologies VII, 7th International Workshop, {DALT} 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {5948}, pages = {158--173}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11355-0\_10}, doi = {10.1007/978-3-642-11355-0\_10}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dalt/RagoneNDSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/DoniniCNS09, author = {Francesco M. Donini and Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_22.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/DoniniCNS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/NoiaSD09, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_52.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/NoiaSD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecweb/RagoneRSD09, author = {Azzurra Ragone and Michele Ruta and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Tommaso Di Noia and Francesco Buccafurri}, title = {Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces}, booktitle = {E-Commerce and Web Technologies, 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5692}, pages = {14--25}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03964-5\_3}, doi = {10.1007/978-3-642-03964-5\_3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecweb/RagoneRSD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/NoiaSD09, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Computing Information Minimal Match Explanations for Logic-Based Matchmaking}, booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on Intelligent Agent Technology, {IAT} 2009, Milan, Italy, 15-18 September 2009}, pages = {411--418}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/WI-IAT.2009.186}, doi = {10.1109/WI-IAT.2009.186}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/NoiaSD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/TinelliCRNSD09, author = {Eufemia Tinelli and Antonio Cascone and Michele Ruta and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Jos{\'{e}} Cordeiro and Joaquim Filipe}, title = {{I.M.P.A.K.T.:} An Innovative Semantic-based Skill Management System Exploiting Standard {SQL}}, booktitle = {{ICEIS} 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume AIDSS, Milan, Italy, May 6-10, 2009}, pages = {224--229}, year = {2009}, timestamp = {Thu, 10 Sep 2009 09:32:47 +0200}, biburl = {https://dblp.org/rec/conf/iceis/TinelliCRNSD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/DoniniCNS09, author = {Francesco M. Donini and Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio}, editor = {Craig Boutilier}, title = {A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics}, booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, pages = {739--745}, year = {2009}, url = {http://ijcai.org/Proceedings/09/Papers/128.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:40 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/DoniniCNS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sum/RagoneNDSW09, author = {Azzurra Ragone and Tommaso Di Noia and Francesco M. Donini and Eugenio Di Sciascio and Michael P. Wellman}, editor = {Llu{\'{\i}}s Godo and Andrea Pugliese}, title = {Weighted Description Logics Preference Formulas for Multiattribute Negotiation}, booktitle = {Scalable Uncertainty Management, Third International Conference, {SUM} 2009, Washington, DC, USA, September 28-30, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5785}, pages = {193--205}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04388-8\_16}, doi = {10.1007/978-3-642-04388-8\_16}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sum/RagoneNDSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/RagoneNSD08, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces}, journal = {Auton. Agents Multi Agent Syst.}, volume = {16}, number = {3}, pages = {249--270}, year = {2008}, url = {https://doi.org/10.1007/s10458-008-9033-1}, doi = {10.1007/S10458-008-9033-1}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aamas/RagoneNSD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijswis/NoiaSDRST08, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Michele Ruta and Floriano Scioscia and Eufemia Tinelli}, title = {Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts}, journal = {Int. J. Semantic Web Inf. Syst.}, volume = {4}, number = {1}, pages = {50--74}, year = {2008}, url = {https://doi.org/10.4018/jswis.2008010104}, doi = {10.4018/JSWIS.2008010104}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijswis/NoiaSDRST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/ColucciSDT08, author = {Simona Colucci and Eugenio Di Sciascio and Francesco M. Donini and Eufemia Tinelli}, editor = {James G. Shanahan and Sihem Amer{-}Yahia and Ioana Manolescu and Yi Zhang and David A. Evans and Aleksander Kolcz and Key{-}Sun Choi and Abdur Chowdhury}, title = {Finding informative commonalities in concept collections}, booktitle = {Proceedings of the 17th {ACM} Conference on Information and Knowledge Management, {CIKM} 2008, Napa Valley, California, USA, October 26-30, 2008}, pages = {807--817}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1458082.1458190}, doi = {10.1145/1458082.1458190}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cikm/ColucciSDT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dalt/RagoneNSD08, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Matteo Baldoni and Tran Cao Son and M. Birna van Riemsdijk and Michael Winikoff}, title = {Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading}, booktitle = {Declarative Agent Languages and Technologies VI, 6th International Workshop, {DALT} 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {5397}, pages = {128--142}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-93920-7\_9}, doi = {10.1007/978-3-540-93920-7\_9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dalt/RagoneNSD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ColucciSD08, author = {Simona Colucci and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {Partial and Informative Common Subsumers of Concepts Collections in Description Logics}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/ColucciDiSciascioDonini.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ColucciSD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/RagoneSBNSD08, author = {Azzurra Ragone and Umberto Straccia and Fernando Bobillo and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/RagoneStracciaBobilloDiNoiaDiSciascioDonini.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/RagoneSBNSD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/ColucciSDT08, author = {Simona Colucci and Eugenio Di Sciascio and Francesco M. Donini and Eufemia Tinelli}, editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris}, title = {Partial and Informative Common Subsumers in Description Logics}, booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {178}, pages = {739--740}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-891-5-739}, doi = {10.3233/978-1-58603-891-5-739}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/ColucciSDT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/RagoneSNSD08, author = {Azzurra Ragone and Umberto Straccia and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Sven Hartmann and Gabriele Kern{-}Isberner}, title = {Towards a Fuzzy Logic for Automated Multi-issue Negotiation}, booktitle = {Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4932}, pages = {381--396}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77684-0\_25}, doi = {10.1007/978-3-540-77684-0\_25}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/foiks/RagoneSNSD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/RagoneSBNSD08, author = {Azzurra Ragone and Umberto Straccia and Fernando Bobillo and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Salvatore Gaglio and Ignazio Infantino and Domenico Sacc{\`{a}}}, title = {A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces}, booktitle = {Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, {SEBD} 2008, 22-25 June 2008, Mondello, PA, Italy}, pages = {211--222}, year = {2008}, timestamp = {Wed, 30 Jul 2008 22:08:18 +0200}, biburl = {https://dblp.org/rec/conf/sebd/RagoneSBNSD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/swap/ColucciSDT08, author = {Simona Colucci and Eugenio Di Sciascio and Francesco M. Donini and Eufemia Tinelli}, editor = {Aldo Gangemi and Johannes Keizer and Valentina Presutti and Heiko Stoermer}, title = {Semantic-based Automated Evaluation of Company Core Competence}, booktitle = {Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), Rome, Italy, December 15-17, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {426}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-426/swap2008\_submission\_34.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:20 +0100}, biburl = {https://dblp.org/rec/conf/swap/ColucciSDT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijecommerce/SciascioDN07, author = {Eugenio Di Sciascio and Francesco M. Donini and Tommaso Di Noia}, title = {Introduction to the Special Issue: Semantic Matchmaking and Resource Retrieval on the Web}, journal = {Int. J. Electron. Commer.}, volume = {12}, number = {2}, pages = {5--9}, year = {2007}, url = {https://doi.org/10.2753/JEC1086-4415120200}, doi = {10.2753/JEC1086-4415120200}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijecommerce/SciascioDN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/NoiaSD07, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Semantic Matchmaking as Non-Monotonic Reasoning: {A} Description Logic Approach}, journal = {J. Artif. Intell. Res.}, volume = {29}, pages = {269--307}, year = {2007}, url = {https://doi.org/10.1613/jair.2153}, doi = {10.1613/JAIR.2153}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/NoiaSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/ColucciNSDR07, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone}, title = {Semantic-based Skill Management for Automated Task Assignment and Courseware Composition}, journal = {J. Univers. Comput. Sci.}, volume = {13}, number = {9}, pages = {1184--1212}, year = {2007}, url = {https://doi.org/10.3217/jucs-013-09-1184}, doi = {10.3217/JUCS-013-09-1184}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/ColucciNSDR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jwsr/RagoneNSDCC07, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Simona Colucci and Francesco Colasuonno}, title = {Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction}, journal = {Int. J. Web Serv. Res.}, volume = {4}, number = {3}, pages = {85--112}, year = {2007}, url = {https://doi.org/10.4018/jwsr.2007070105}, doi = {10.4018/JWSR.2007070105}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jwsr/RagoneNSDCC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soca/NoiaSDTCR07, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Eufemia Tinelli and Francesco di Cugno and Azzurra Ragone}, title = {Automated building blocks selection based on business processes semantics in ERPs}, journal = {Serv. Oriented Comput. Appl.}, volume = {1}, number = {3}, pages = {171--184}, year = {2007}, url = {https://doi.org/10.1007/s11761-007-0014-z}, doi = {10.1007/S11761-007-0014-Z}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/soca/NoiaSDTCR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/wias/RutaNSD07, author = {Michele Ruta and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Semantic based collaborative {P2P} in ubiquitous computing}, journal = {Web Intell. Agent Syst.}, volume = {5}, number = {4}, pages = {375--391}, year = {2007}, url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00122}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/wias/RutaNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/RagoneNSD07, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information}, booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}, pages = {477--482}, publisher = {{AAAI} Press}, year = {2007}, url = {http://www.aaai.org/Library/AAAI/2007/aaai07-075.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/RagoneNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/RagoneNSD07, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Edmund H. Durfee and Makoto Yokoo and Michael N. Huhns and Onn Shehory}, title = {When price is not enough: combining logical and numerical issues in bilateral negotiation}, booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007}, pages = {24}, publisher = {{IFAAMAS}}, year = {2007}, url = {https://doi.org/10.1145/1329125.1329154}, doi = {10.1145/1329125.1329154}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/RagoneNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dalt/RagoneNSD07, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Matteo Baldoni and Tran Cao Son and M. Birna van Riemsdijk and Michael Winikoff}, title = {Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation}, booktitle = {Declarative Agent Languages and Technologies V, 5th International Workshop, {DALT} 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4897}, pages = {211--226}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77564-5\_13}, doi = {10.1007/978-3-540-77564-5\_13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dalt/RagoneNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/RagoneNSD07, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni{-}Yasmin Turhan and Sergio Tessaris}, title = {DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {250}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-250/paper\_62.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/RagoneNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/RagoneSNSD07, author = {Azzurra Ragone and Umberto Straccia and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Enrico Franconi and Michael Kifer and Wolfgang May}, title = {Vague Knowledge Bases for Matchmaking in {P2P} E-Marketplaces}, booktitle = {The Semantic Web: Research and Applications, 4th European Semantic Web Conference, {ESWC} 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4519}, pages = {414--428}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72667-8\_30}, doi = {10.1007/978-3-540-72667-8\_30}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/RagoneSNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/RagoneSNSD07, author = {Azzurra Ragone and Umberto Straccia and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Michelangelo Ceci and Donato Malerba and Letizia Tanca}, title = {Extending Datalog for Matchmaking in {P2P} E-Marketplaces}, booktitle = {Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, {SEBD} 2007, 17-20 June 2007, Torre Canne, Fasano, BR, Italy}, pages = {463--470}, year = {2007}, timestamp = {Thu, 21 Jun 2007 08:28:19 +0200}, biburl = {https://dblp.org/rec/conf/sebd/RagoneSNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/RagoneNSD07, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Karl Aberer and Key{-}Sun Choi and Natasha Fridman Noy and Dean Allemang and Kyung{-}Il Lee and Lyndon J. B. Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudr{\'{e}}{-}Mauroux}, title = {Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces}, booktitle = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, {ISWC} 2007 + {ASWC} 2007, Busan, Korea, November 11-15, 2007}, series = {Lecture Notes in Computer Science}, volume = {4825}, pages = {395--408}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76298-0\_29}, doi = {10.1007/978-3-540-76298-0\_29}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/RagoneNSD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijwgs/RutaNSD06, author = {Michele Ruta and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Semantic-enhanced Bluetooth discovery protocol for m-commerce applications}, journal = {Int. J. Web Grid Serv.}, volume = {2}, number = {4}, pages = {424--452}, year = {2006}, url = {https://doi.org/10.1504/IJWGS.2006.011713}, doi = {10.1504/IJWGS.2006.011713}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijwgs/RutaNSD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigecom/RagoneNSD06, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, title = {Propositional-logic approach to one-shot multi issue bilateral negotiation}, journal = {SIGecom Exch.}, volume = {5}, number = {5}, pages = {11--21}, year = {2006}, url = {https://doi.org/10.1145/1124566.1124569}, doi = {10.1145/1124566.1124569}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigecom/RagoneNSD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/CadoliDLS06, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, title = {k-Approximating Circuits}, journal = {{IEEE} Trans. Computers}, volume = {55}, number = {7}, pages = {913--917}, year = {2006}, url = {https://doi.org/10.1109/TC.2006.105}, doi = {10.1109/TC.2006.105}, timestamp = {Thu, 08 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/CadoliDLS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACMicec/ColucciNSDRR06, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone and Raffaele Rizzi}, editor = {Mark S. Fox and Bruce Spencer}, title = {A semantic-based fully visual application for matchmaking and query refinement in {B2C} e-marketplaces}, booktitle = {Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce - Innovations for Conquering Current Barriers, Obstacles and Limitations to Conducting Successful Business on the Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16, 2006}, series = {{ACM} International Conference Proceeding Series}, volume = {156}, pages = {174--184}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1151454.1151489}, doi = {10.1145/1151454.1151489}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ACMicec/ColucciNSDRR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csmr/CugnoNSDT06, author = {Francesco di Cugno and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Eufemia Tinelli}, title = {Semantic-Based Toolkit for Automated Building Block Composition in {SAP} {R/3}}, booktitle = {10th European Conference on Software Maintenance and Reengineering {(CSMR} 2006), 22-24 March 2006, Bari, Italy}, pages = {343--346}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CSMR.2006.50}, doi = {10.1109/CSMR.2006.50}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csmr/CugnoNSDT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deec/ColucciNSDRR06, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone and Raffaele Rizzi}, editor = {Juhnyoung Lee and Junho Shim and Sang{-}goo Lee and Christoph Bussler and Simon S. Y. Shim}, title = {Explanation Services and Request Refinement in User Friendly Semantic-Enabled {B2C} E-Marketplaces}, booktitle = {Data Engineering Issues in E-Commerce and Services, Second International Workshop, {DEECS} 2006, San Francisco, CA, USA, June 26, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4055}, pages = {13--27}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11780397\_2}, doi = {10.1007/11780397\_2}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deec/ColucciNSDRR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/RagoneNSD06, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso}, title = {A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation}, booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems {(PAIS} 2006), Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {141}, pages = {230--234}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1681}, timestamp = {Tue, 13 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/RagoneNSD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/NoiaSD06, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Hisham Haddad}, title = {Editorial message: semantic-based resource discovery, retrieval and composition track}, booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006}, pages = {1662--1663}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1141277.1141670}, doi = {10.1145/1141277.1141670}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/NoiaSD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/NoiaSCTD06, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco di Cugno and Eufemia Tinelli and Francesco M. Donini}, editor = {Hisham Haddad}, title = {A framework for content-based image retrieval fully exploiting the semantics of annotation}, booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006}, pages = {1709--1710}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1141277.1141682}, doi = {10.1145/1141277.1141682}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/NoiaSCTD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/CugnoNSDP06, author = {Francesco di Cugno and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Agnese Pinto}, editor = {Valeria De Antonellis and Claudia Diamantini and Paolo Tiberio}, title = {OwlEd: An Ontology Manager for MaMaS-tng}, booktitle = {Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, {SEBD} 2006, Portonovo (Ancona), Italy, 18-21 June 2006}, pages = {175--186}, year = {2006}, timestamp = {Thu, 12 Jul 2018 08:14:41 +0200}, biburl = {https://dblp.org/rec/conf/sebd/CugnoNSDP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ecra/ColucciNSDM05, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, title = {Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace}, journal = {Electron. Commer. Res. Appl.}, volume = {4}, number = {4}, pages = {345--361}, year = {2005}, url = {https://doi.org/10.1016/j.elerap.2005.06.004}, doi = {10.1016/J.ELERAP.2005.06.004}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ecra/ColucciNSDM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACMicec/ColucciNSDR05, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone}, editor = {Qi Li and Ting{-}Peng Liang}, title = {Knowledge elicitation for query refinement in a semantic-enabled e-marketplace}, booktitle = {Proceedings of the 7th International Conference on Electronic Commerce, {ICEC} 2005, Xi'an, China, August 15-17, 2005}, series = {{ACM} International Conference Proceeding Series}, volume = {113}, pages = {685--691}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1089551.1089673}, doi = {10.1145/1089551.1089673}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ACMicec/ColucciNSDR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/ColucciNSDR05, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone}, editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and J{\'{e}}r{\^{o}}me Euzenat}, title = {Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning}, booktitle = {The Semantic Web: Research and Applications, Second European Semantic Web Conference, {ESWC} 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3532}, pages = {633--648}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11431053\_43}, doi = {10.1007/11431053\_43}, timestamp = {Mon, 28 Aug 2023 21:17:38 +0200}, biburl = {https://dblp.org/rec/conf/esws/ColucciNSDR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icwe/SciascioDMTC05, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Rodolfo Totaro and Daniela Castelluccia}, editor = {David B. Lowe and Martin Gaedke}, title = {Design Verification of Web Applications Using Symbolic Model Checking}, booktitle = {Web Engineering, 5th International Conference, {ICWE} 2005, Sydney, Australia, July 27-29, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3579}, pages = {69--74}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11531371\_12}, doi = {10.1007/11531371\_12}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/icwe/SciascioDMTC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/RagoneNSDC05, author = {Azzurra Ragone and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Simona Colucci}, title = {Fully Automated Web Services Orchestration in a Resource Retrieval Scenario}, booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005), 11-15 July 2005, Orlando, FL, {USA}}, pages = {427--434}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ICWS.2005.65}, doi = {10.1109/ICWS.2005.65}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/RagoneNSDC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieaaie/CoppiNSDP05, author = {Stefano Coppi and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Agnese Pinto}, editor = {Moonis Ali and Floriana Esposito}, title = {Ontology-Based Natural Language Parser for E-Marketplaces}, booktitle = {Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, {IEA/AIE} 2005, Bari, Italy, June 22-24, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3533}, pages = {279--289}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11504894\_39}, doi = {10.1007/11504894\_39}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/ieaaie/CoppiNSDP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/ColucciNSDPC05, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Giacomo Piscitelli and Stefano Coppi}, editor = {Hisham Haddad and Lorie M. Liebrock and Andrea Omicini and Roger L. Wainwright}, title = {Knowledge based approach to semantic composition of teams in an organization}, booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005}, pages = {1314--1319}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1066677.1066974}, doi = {10.1145/1066677.1066974}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/ColucciNSDPC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/ColucciCNSDPR05, author = {Simona Colucci and Stefano Coppi and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Agnese Pinto and Azzurra Ragone}, editor = {Andrea Cal{\`{\i}} and Diego Calvanese and Enrico Franconi and Maurizio Lenzerini and Letizia Tanca}, title = {Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics}, booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005}, pages = {232--239}, year = {2005}, timestamp = {Mon, 27 Jun 2005 14:46:36 +0200}, biburl = {https://dblp.org/rec/conf/sebd/ColucciCNSDPR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webi/RutaNSDP05, author = {Michele Ruta and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Giacomo Piscitelli}, editor = {Andrzej Skowron and Rakesh Agrawal and Michael Luck and Takahira Yamaguchi and Pierre Morizet{-}Mahoudeaux and Jiming Liu and Ning Zhong}, title = {Semantic Based Collaborative {P2P} in Ubiquitous Computing}, booktitle = {2005 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence {(WI} 2005), 19-22 September 2005, Compiegne, France}, pages = {143--149}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/WI.2005.130}, doi = {10.1109/WI.2005.130}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/webi/RutaNSDP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/NoiaSDRC05, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone and Simona Colucci}, editor = {Allan Ellis and Tatsuya Hagino}, title = {Automated semantic web services orchestration via concept covering}, booktitle = {Proceedings of the 14th international conference on World Wide Web, {WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters}, pages = {1160--1161}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1062745.1062918}, doi = {10.1145/1062745.1062918}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/www/NoiaSDRC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DoniniMRT06, author = {Francesco M. Donini and Marina Mongiello and Michele Ruta and Rodolfo Totaro}, editor = {Alvaro Arenas and Jin Song Dong and Andrew Martin and Brian Matthews}, title = {A Model Checking-based Method for Verifying Web Application Design}, booktitle = {Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {151}, number = {2}, pages = {19--32}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.07.034}, doi = {10.1016/J.ENTCS.2005.07.034}, timestamp = {Fri, 20 Jan 2023 10:05:27 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DoniniMRT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijecommerce/NoiaSDM04, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, title = {A System for Principled Matchmaking in an Electronic Marketplace}, journal = {Int. J. Electron. Commer.}, volume = {8}, number = {4}, pages = {9--37}, year = {2004}, url = {https://doi.org/10.1080/10864415.2004.11044308}, doi = {10.1080/10864415.2004.11044308}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijecommerce/NoiaSDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/ColucciNSDMP04, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli}, title = {Semantic-based Approach to Task Assignment of Individual Profiles}, journal = {J. Univers. Comput. Sci.}, volume = {10}, number = {6}, pages = {723--730}, year = {2004}, url = {https://doi.org/10.3217/jucs-010-06-0723}, doi = {10.3217/JUCS-010-06-0723}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/ColucciNSDMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mta/SciascioDM04, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, title = {A Logic for {SVG} Documents Query and Retrieval}, journal = {Multim. Tools Appl.}, volume = {24}, number = {2}, pages = {125--153}, year = {2004}, url = {https://doi.org/10.1023/B:MTAP.0000036840.61778.04}, doi = {10.1023/B:MTAP.0000036840.61778.04}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mta/SciascioDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/prl/SciascioMDA04, author = {Eugenio Di Sciascio and Marina Mongiello and Francesco M. Donini and L. Allegretti}, title = {Retrieval by spatial similarity: an algorithm and a comparative evaluation}, journal = {Pattern Recognit. Lett.}, volume = {25}, number = {14}, pages = {1633--1645}, year = {2004}, url = {https://doi.org/10.1016/j.patrec.2004.06.010}, doi = {10.1016/J.PATREC.2004.06.010}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/prl/SciascioMDA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACMicec/ColucciNSMD04, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Marina Mongiello and Francesco M. Donini}, editor = {Marijn Janssen and Henk G. Sol and Ren{\'{e}} W. Wagenaar}, title = {Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace}, booktitle = {Proceedings of the 6th International Conference on Electronic Commerce, {ICEC} 2004, Delft, The Netherlands, October 25-27, 2004}, series = {{ACM} International Conference Proceeding Series}, volume = {60}, pages = {41--50}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1052220.1052226}, doi = {10.1145/1052220.1052226}, timestamp = {Fri, 08 Sep 2023 14:37:35 +0200}, biburl = {https://dblp.org/rec/conf/ACMicec/ColucciNSMD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CaliCCND04, author = {Andrea Cal{\`{\i}} and Diego Calvanese and Simona Colucci and Tommaso Di Noia and Francesco M. Donini}, editor = {Volker Haarslev and Ralf M{\"{o}}ller}, title = {A Description Logic Based Approach for Matching User Profiles}, booktitle = {Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, series = {{CEUR} Workshop Proceedings}, volume = {104}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-104/13Cali-final.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/CaliCCND04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ColucciNSDM04, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Volker Haarslev and Ralf M{\"{o}}ller}, title = {A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in {ALN}}, booktitle = {Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, series = {{CEUR} Workshop Proceedings}, volume = {104}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-104/21Colucci-final.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ColucciNSDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/ColucciNSDM04, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and Lorenza Saitta}, title = {A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics}, booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, {PAIS} 2004, Valencia, Spain, August 22-27, 2004}, pages = {975--976}, publisher = {{IOS} Press}, year = {2004}, timestamp = {Fri, 11 May 2018 12:42:30 +0200}, biburl = {https://dblp.org/rec/conf/ecai/ColucciNSDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ekaw/NoiaSD04, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, editor = {Enrico Motta and Nigel Shadbolt and Arthur Stutt and Nicholas Gibbins}, title = {Extending Semantic-Based Matchmaking via Concept Abduction and Contraction}, booktitle = {Engineering Knowledge in the Age of the Semantic Web, 14th International Conference, {EKAW} 2004, Whittlebury Hall, UK, October 5-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3257}, pages = {307--320}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30202-5\_21}, doi = {10.1007/978-3-540-30202-5\_21}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ekaw/NoiaSD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip12/ColucciNSDMPR04, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli and Gianvito Rossi}, editor = {Max Bramer and Vladan Devedzic}, title = {An Agency for Semantic-Based Automatic Discovery of Web Services}, booktitle = {Artificial Intelligence Applications and Innovations, {IFIP} 18th World Computer Congress, {TC12} First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {154}, pages = {315--328}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8151-0\_28}, doi = {10.1007/1-4020-8151-0\_28}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip12/ColucciNSDMPR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/CaliCCND04, author = {Andrea Cal{\`{\i}} and Diego Calvanese and Simona Colucci and Tommaso Di Noia and Francesco M. Donini}, editor = {Mircea Gh. Negoita and Robert J. Howlett and Lakhmi C. Jain}, title = {A Logic-Based Approach for Matching User Profiles}, booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, {KES} 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part {III}}, series = {Lecture Notes in Computer Science}, volume = {3215}, pages = {187--195}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30134-9\_27}, doi = {10.1007/978-3-540-30134-9\_27}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kes/CaliCCND04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/SciascioDM04, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock}, title = {A knowledge based system for content-based retrieval of Scalable Vector Graphics documents}, booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004}, pages = {1040--1044}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/967900.968113}, doi = {10.1145/967900.968113}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/SciascioDM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/ColucciNSDMM03, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Marco Mottola}, title = {A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions}, journal = {J. Univers. Comput. Sci.}, volume = {9}, number = {12}, pages = {1437--1454}, year = {2003}, url = {https://doi.org/10.3217/jucs-009-12-1437}, doi = {10.3217/JUCS-009-12-1437}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/ColucciNSDMM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csmr/SciascioDMP03, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli}, title = {Web Applications Design and Maintenance Using Symbolic Model Checking}, booktitle = {7th European Conference on Software Maintenance and Reengineering {(CSMR} 2003), 26-28 March 2003, Benevento, Italy, Proceedings}, pages = {63--72}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/CSMR.2003.1192411}, doi = {10.1109/CSMR.2003.1192411}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csmr/SciascioDMP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ColucciNSDM03, author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi}, title = {Concept Abduction and Contraction in Description Logics}, booktitle = {Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, series = {{CEUR} Workshop Proceedings}, volume = {81}, publisher = {CEUR-WS.org}, year = {2003}, url = {https://ceur-ws.org/Vol-81/donini.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ColucciNSDM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/NoiaSDM03, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Georg Gottlob and Toby Walsh}, title = {Abductive Matchmaking using Description Logics}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {337--342}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/050.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/NoiaSDM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/NoiaSDM03, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Gary B. Lamont and Hisham Haddad and George A. Papadopoulos and Brajendra Panda}, title = {Semantic Matchmaking in a {P-2-P} Electronic Marketplace}, booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, {USA}}, pages = {582--586}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/952532.952649}, doi = {10.1145/952532.952649}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/NoiaSDM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/NoiaSDM03, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Guszt{\'{a}}v Hencsey and Bebo White and Yih{-}Farn Robin Chen and L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and Steve Lawrence}, title = {A system for principled matchmaking in an electronic marketplace}, booktitle = {Proceedings of the Twelfth International World Wide Web Conference, {WWW} 2003, Budapest, Hungary, May 20-24, 2003}, pages = {321--330}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/775152.775198}, doi = {10.1145/775152.775198}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/NoiaSDM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/SciascioDM03, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Irwin King and Tam{\'{a}}s M{\'{a}}ray}, title = {Scalable Vector Graphics Indexing and Retrieval: {A} Knowledge Representation Approach}, booktitle = {Proceedings of the Twelfth International World Wide Web Conference - Posters, {WWW} 2003, Budapest, Hungary, May 20-24, 2003}, year = {2003}, url = {http://www2003.org/cdrom/papers/poster/p205/p205-disciascio.html}, timestamp = {Wed, 17 Jul 2013 16:59:51 +0200}, biburl = {https://dblp.org/rec/conf/www/SciascioDM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/dlog/Donini03, author = {Francesco M. Donini}, editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel{-}Schneider}, title = {Complexity of Reasoning}, booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications}, pages = {96--136}, publisher = {Cambridge University Press}, year = {2003}, timestamp = {Mon, 20 Nov 2017 13:02:05 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Donini03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CadoliDLS02, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, title = {Preprocessing of Intractable Problems}, journal = {Inf. Comput.}, volume = {176}, number = {2}, pages = {89--120}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.3043}, doi = {10.1006/INCO.2001.3043}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CadoliDLS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcia/SciascioDM02, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, title = {Using Computation Tree Logic for Intelligent Information Search on the Web}, journal = {Int. J. Comput. Intell. Appl.}, volume = {2}, number = {3}, pages = {245--253}, year = {2002}, url = {https://doi.org/10.1142/S1469026802000579}, doi = {10.1142/S1469026802000579}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcia/SciascioDM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/SciascioDM02, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, title = {Structured Knowledge Representation for Image Retrieval}, journal = {J. Artif. Intell. Res.}, volume = {16}, pages = {209--257}, year = {2002}, url = {https://doi.org/10.1613/jair.902}, doi = {10.1613/JAIR.902}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/SciascioDM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/prl/SciascioDM02, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, title = {Spatial layout representation for query-by-sketch content-based image retrieval}, journal = {Pattern Recognit. Lett.}, volume = {23}, number = {13}, pages = {1599--1612}, year = {2002}, url = {https://doi.org/10.1016/S0167-8655(02)00124-1}, doi = {10.1016/S0167-8655(02)00124-1}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/prl/SciascioDM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/DoniniNR02, author = {Francesco M. Donini and Daniele Nardi and Riccardo Rosati}, title = {Description logics of minimal knowledge and negation as failure}, journal = {{ACM} Trans. Comput. Log.}, volume = {3}, number = {2}, pages = {177--225}, year = {2002}, url = {https://doi.org/10.1145/505372.505373}, doi = {10.1145/505372.505373}, timestamp = {Thu, 02 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/DoniniNR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/SciascioDM02, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Mohand{-}Said Hacid and Zbigniew W. Ras and Djamel A. Zighed and Yves Kodratoff}, title = {I-Search: {A} System for Intelligent Information Search on the Web}, booktitle = {Foundations of Intelligent Systems, 13th International Symposium, {ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2366}, pages = {149--157}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-48050-1\_18}, doi = {10.1007/3-540-48050-1\_18}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ismis/SciascioDM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/DoniniLMS02, author = {Francesco M. Donini and Paolo Liberatore and Fabio Massacci and Marco Schaerf}, editor = {Dieter Fensel and Fausto Giunchiglia and Deborah L. McGuinness and Mary{-}Anne Williams}, title = {Solving {QBF} by {SMV}}, booktitle = {Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002}, pages = {578--592}, publisher = {Morgan Kaufmann}, year = {2002}, timestamp = {Tue, 22 Jul 2003 15:20:23 +0200}, biburl = {https://dblp.org/rec/conf/kr/DoniniLMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SciascioDMP02, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli}, title = {AnWeb: a system for automatic support to web application verification}, booktitle = {Proceedings of the 14th international conference on Software engineering and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19, 2002}, pages = {609--616}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/568760.568866}, doi = {10.1145/568760.568866}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SciascioDMP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eccc/ECCC-TR02-067, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, title = {k-Approximating Circuits}, journal = {Electron. Colloquium Comput. Complex.}, volume = {{TR02-067}}, year = {2002}, url = {https://eccc.weizmann.ac.il/eccc-reports/2002/TR02-067/index.html}, eprinttype = {ECCC}, eprint = {TR02-067}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR02-067.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/DoniniM00, author = {Francesco M. Donini and Fabio Massacci}, title = {{EXPTIME} tableaux for {ALC}}, journal = {Artif. Intell.}, volume = {124}, number = {1}, pages = {87--138}, year = {2000}, url = {https://doi.org/10.1016/S0004-3702(00)00070-9}, doi = {10.1016/S0004-3702(00)00070-9}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/DoniniM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/CadoliDLS00, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, title = {Space Efficiency of Propositional Knowledge Representation Formalisms}, journal = {J. Artif. Intell. Res.}, volume = {13}, pages = {1--31}, year = {2000}, url = {https://doi.org/10.1613/jair.664}, doi = {10.1613/JAIR.664}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/CadoliDLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/LiberatoreD00, author = {Paolo Liberatore and Francesco M. Donini}, editor = {Werner Horn}, title = {Verification Programs for Abduction}, booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000}, pages = {166--170}, publisher = {{IOS} Press}, year = {2000}, timestamp = {Mon, 30 Jun 2003 10:55:01 +0200}, biburl = {https://dblp.org/rec/conf/ecai/LiberatoreD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/MassacciD00, author = {Fabio Massacci and Francesco M. Donini}, editor = {Roy Dyckhoff}, title = {Design and Results of {TANCS-2000} Non-classical (Modal) Systems Comparison}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1847}, pages = {52--56}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722086\_4}, doi = {10.1007/10722086\_4}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tableaux/MassacciD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/visual/SciascioDM00, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Robert Laurini}, title = {Semantic Indexing for Image Retrieval Using Description Logics}, booktitle = {Advances in Visual Information Systems, 4th International Conference, {VISUAL} 2000, Lyon, France, November 2-4, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1929}, pages = {372--383}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-40053-2\_33}, doi = {10.1007/3-540-40053-2\_33}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/visual/SciascioDM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/CadoliDLS99, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, title = {The Size of a Revised Knowledge Base}, journal = {Artif. Intell.}, volume = {115}, number = {1}, pages = {25--64}, year = {1999}, url = {https://doi.org/10.1016/S0004-3702(99)00074-0}, doi = {10.1016/S0004-3702(99)00074-0}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/CadoliDLS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/SciascioDM99, author = {Eugenio Di Sciascio and Francesco M. Donini and Marina Mongiello}, editor = {Evelina Lamma and Paola Mello}, title = {A Description Logic for Image Retrieval}, booktitle = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1792}, pages = {13--24}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46238-4\_2}, doi = {10.1007/3-540-46238-4\_2}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/SciascioDM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/DomenicucciDS99, author = {Emilio Domenicucci and Francesco M. Donini and Marco Schaerf}, editor = {Patrick Lambrix and Alexander Borgida and Maurizio Lenzerini and Ralf M{\"{o}}ller and Peter F. Patel{-}Schneider}, title = {{ICARUS:} Intelligent Classification And Retrieval of Unlabelled Scenes}, booktitle = {Proceedings of the 1999 International Workshop on Description Logics (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999}, series = {{CEUR} Workshop Proceedings}, volume = {22}, publisher = {CEUR-WS.org}, year = {1999}, url = {https://ceur-ws.org/Vol-22/domenicucci.ps}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/DomenicucciDS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/SciascioD99, author = {Eugenio Di Sciascio and Francesco M. Donini}, editor = {Patrick Lambrix and Alexander Borgida and Maurizio Lenzerini and Ralf M{\"{o}}ller and Peter F. Patel{-}Schneider}, title = {Description Logics for Image Recognition: a preliminary proposal}, booktitle = {Proceedings of the 1999 International Workshop on Description Logics (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999}, series = {{CEUR} Workshop Proceedings}, volume = {22}, publisher = {CEUR-WS.org}, year = {1999}, url = {https://ceur-ws.org/Vol-22/disciascio.ps}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/SciascioD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BuchheitDNS98, author = {Martin Buchheit and Francesco M. Donini and Werner Nutt and Andrea Schaerf}, title = {A Refined Architecture for Terminological Systems: Terminology = Schema + Views}, journal = {Artif. Intell.}, volume = {99}, number = {2}, pages = {209--260}, year = {1998}, url = {https://doi.org/10.1016/S0004-3702(97)00079-9}, doi = {10.1016/S0004-3702(97)00079-9}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BuchheitDNS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/DoniniLNNS98, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf}, title = {An Epistemic Operator for Description Logics}, journal = {Artif. Intell.}, volume = {100}, number = {1-2}, pages = {225--274}, year = {1998}, url = {https://doi.org/10.1016/S0004-3702(98)00009-5}, doi = {10.1016/S0004-3702(98)00009-5}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/DoniniLNNS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jiis/DoniniLNS98, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf}, title = {AL-log: Integrating Datalog and Description Logics}, journal = {J. Intell. Inf. Syst.}, volume = {10}, number = {3}, pages = {227--252}, year = {1998}, url = {https://doi.org/10.1023/A:1008687430626}, doi = {10.1023/A:1008687430626}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jiis/DoniniLNS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CompatangeloDR98, author = {Ernesto Compatangelo and Francesco M. Donini and Giovanni Rumolo}, editor = {Enrico Franconi and Giuseppe De Giacomo and Robert M. MacGregor and Werner Nutt and Christopher A. Welty}, title = {DL-based Support to Domain Engineering}, booktitle = {Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {11}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-11/donini.ps}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/CompatangeloDR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ejc/CompatangeloDR98, author = {Ernesto Compatangelo and Francesco M. Donini and Giovanni Rumolo}, editor = {Hannu Jaakkola and Hannu Kangassalo and Eiji Kawaguchi}, title = {Engineering of KR-Based Support Systems for Conceptual Modelling {\&} Analysis}, booktitle = {Information Modelling and Knowledge Bases {X:} 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, {EJC} 1998, Vammala, Finland, May 26-29, 1998}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {51}, pages = {115--131}, publisher = {{IOS} Press}, year = {1998}, timestamp = {Thu, 16 Mar 2017 14:14:16 +0100}, biburl = {https://dblp.org/rec/conf/ejc/CompatangeloDR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aicom/CadoliD97, author = {Marco Cadoli and Francesco M. Donini}, title = {A Survey on Knowledge Compilation}, journal = {{AI} Commun.}, volume = {10}, number = {3-4}, pages = {137--150}, year = {1997}, url = {http://content.iospress.com/articles/ai-communications/aic133}, timestamp = {Fri, 15 May 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aicom/CadoliD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/DoniniLNN97, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt}, title = {The Complexity of Concept Languages}, journal = {Inf. Comput.}, volume = {134}, number = {1}, pages = {1--58}, year = {1997}, url = {https://doi.org/10.1006/inco.1997.2625}, doi = {10.1006/INCO.1997.2625}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/DoniniLNN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/DoniniNR97, author = {Francesco M. Donini and Daniele Nardi and Riccardo Rosati}, title = {Ground Nonmonotonic Modal Logics}, journal = {J. Log. Comput.}, volume = {7}, number = {4}, pages = {523--548}, year = {1997}, url = {https://doi.org/10.1093/logcom/7.4.523}, doi = {10.1093/LOGCOM/7.4.523}, timestamp = {Thu, 02 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/DoniniNR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CadoliDSS97, author = {Marco Cadoli and Francesco M. Donini and Marco Schaerf and Riccardo Silvestri}, title = {On Compact Representations of Propositional Circumscription}, journal = {Theor. Comput. Sci.}, volume = {182}, number = {1-2}, pages = {183--202}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00182-X}, doi = {10.1016/S0304-3975(96)00182-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CadoliDSS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/CompatangeloDR97, author = {Ernesto Compatangelo and Francesco M. Donini and Giovanni Rumolo}, editor = {Maurizio Lenzerini}, title = {Reasoning with Behavioural Knowledge in Application Domain Models}, booktitle = {AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1321}, pages = {367--380}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63576-9\_123}, doi = {10.1007/3-540-63576-9\_123}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/CompatangeloDR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CompatengeloDR97, author = {Ernesto Compatangelo and Francesco M. Donini and Giovanni Rumolo}, editor = {Ronald J. Brachman and Francesco M. Donini and Enrico Franconi and Ian Horrocks and Alon Y. Levy and Marie{-}Christine Rousset}, title = {A Description Logic for reasoning with behavioural knowledge}, booktitle = {Proceedings of the 1997 International Workshop on Description Logics, Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France}, series = {{URA-CNRS}}, volume = {410}, year = {1997}, url = {http://dl.kr.org/dl97/proceedings/donini.ps.gz}, timestamp = {Tue, 12 Apr 2022 14:46:29 +0200}, biburl = {https://dblp.org/rec/conf/dlog/CompatengeloDR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/DoniniNR97, author = {Francesco M. Donini and Daniele Nardi and Riccardo Rosati}, title = {Autoepistemic Description Logics}, booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes}, pages = {136--141}, publisher = {Morgan Kaufmann}, year = {1997}, url = {http://ijcai.org/Proceedings/97-1/Papers/022.pdf}, timestamp = {Thu, 02 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/DoniniNR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dlog/1997, editor = {Ronald J. Brachman and Francesco M. Donini and Enrico Franconi and Ian Horrocks and Alon Y. Levy and Marie{-}Christine Rousset}, title = {Proceedings of the 1997 International Workshop on Description Logics, Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France}, series = {{URA-CNRS}}, volume = {410}, year = {1997}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/CadoliDS96, author = {Marco Cadoli and Francesco M. Donini and Marco Schaerf}, title = {Is Intractability of Nonmonotonic Reasoning a Real Drawback?}, journal = {Artif. Intell.}, volume = {88}, number = {1-2}, pages = {215--251}, year = {1996}, url = {https://doi.org/10.1016/S0004-3702(96)00009-4}, doi = {10.1016/S0004-3702(96)00009-4}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/CadoliDS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GiacomoDM96, author = {Giuseppe De Giacomo and Francesco M. Donini and Fabio Massacci}, editor = {Lin Padgham and Enrico Franconi and Manfred Gehrke and Deborah L. McGuinness and Peter F. Patel{-}Schneider}, title = {Exptime Tableaux for {ALC}}, booktitle = {Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, {USA}}, series = {{AAAI} Technical Report}, volume = {{WS-96-05}}, pages = {107--110}, publisher = {{AAAI} Press}, year = {1996}, timestamp = {Fri, 05 Mar 2004 14:36:40 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GiacomoDM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/istcs/CadoliDLS96, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, title = {Feasibility and Unfeasibility of Off-Line Processing}, booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS} 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings}, pages = {100--109}, publisher = {{IEEE} Computer Society}, year = {1996}, timestamp = {Tue, 31 May 2016 15:27:26 +0200}, biburl = {https://dblp.org/rec/conf/istcs/CadoliDLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DoniniMNR96, author = {Francesco M. Donini and Fabio Massacci and Daniele Nardi and Riccardo Rosati}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Lu{\'{\i}}s Moniz Pereira and Ewa Orlowska}, title = {A Uniform Tableaux Method for Nonmonotonic Modal Logics}, booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96, {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1126}, pages = {87--103}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61630-6\_6}, doi = {10.1007/3-540-61630-6\_6}, timestamp = {Thu, 02 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/DoniniMNR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/CadoliDLS96, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro}, title = {Comparing Space Efficiency of Propositional Knowledge Representation Formalisms}, booktitle = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996}, pages = {364--373}, publisher = {Morgan Kaufmann}, year = {1996}, timestamp = {Fri, 18 May 2012 15:03:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/CadoliDLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/DoniniNR95, author = {Francesco M. Donini and Daniele Nardi and Riccardo Rosati}, editor = {Marco Gori and Giovanni Soda}, title = {Non-first-order features in concept languages}, booktitle = {Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {992}, pages = {91--102}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60437-5\_9}, doi = {10.1007/3-540-60437-5\_9}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/DoniniNR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/CadoliDLS95, author = {Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf}, editor = {Mihalis Yannakakis and Serge Abiteboul}, title = {The Size of a Revised Knowledge Base}, booktitle = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, {USA}}, pages = {151--162}, publisher = {{ACM} Press}, year = {1995}, url = {https://doi.org/10.1145/212433.220205}, doi = {10.1145/212433.220205}, timestamp = {Sat, 24 Oct 2020 16:41:20 +0200}, biburl = {https://dblp.org/rec/conf/pods/CadoliDLS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/CadoliDS95, author = {Marco Cadoli and Francesco M. Donini and Marco Schaerf}, editor = {Ernst W. Mayr and Claude Puech}, title = {On Compact Representations of Propositional Circumscription}, booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {900}, pages = {205--216}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59042-0\_74}, doi = {10.1007/3-540-59042-0\_74}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stacs/CadoliDS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wocfai/DoniniNR95, author = {Francesco M. Donini and Daniele Nardi and Riccardo Rosati}, editor = {Michel De Glas and Zdzislaw Pawlak}, title = {Ground Nonmonotonic Modal Logics for Knowledge Representation}, booktitle = {Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France}, pages = {133--144}, publisher = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France}, year = {1995}, timestamp = {Thu, 02 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wocfai/DoniniNR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/DoniniLNS94, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf}, title = {Deduction in Concept Languages: From Subsumption to Instance Checking}, journal = {J. Log. Comput.}, volume = {4}, number = {4}, pages = {423--452}, year = {1994}, url = {https://doi.org/10.1093/logcom/4.4.423}, doi = {10.1093/LOGCOM/4.4.423}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/DoniniLNS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BuchheitNDS94, author = {Martin Buchheit and Werner Nutt and Francesco M. Donini and Andrea Schaerf}, editor = {Barbara Hayes{-}Roth and Richard E. Korf}, title = {Refining the Structure of Terminological Systems: Terminology = Schema + Views}, booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1}, pages = {199--204}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1994}, url = {http://www.aaai.org/Library/AAAI/1994/aaai94-031.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BuchheitNDS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CadoliDS94, author = {Marco Cadoli and Francesco M. Donini and Marco Schaerf}, editor = {Barbara Hayes{-}Roth and Richard E. Korf}, title = {Is Intractability of Non-Monotonic Reasoning a Real Drawback?}, booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 2}, pages = {946--951}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1994}, url = {http://www.aaai.org/Library/AAAI/1994/aaai94-145.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CadoliDS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/krdb/BuchheitDNS94, author = {Martin Buchheit and Francesco M. Donini and Werner Nutt and Andrea Schaerf}, editor = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, title = {Terminological Systems Revisited: Terminology = Schema + Views}, booktitle = {Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbr{\"{u}}cken, Germany, September 20-22, 1994}, series = {{CEUR} Workshop Proceedings}, volume = {1}, publisher = {CEUR-WS.org}, year = {1994}, url = {https://ceur-ws.org/Vol-1/buchheit-et-al-long.ps}, timestamp = {Fri, 10 Mar 2023 16:23:33 +0100}, biburl = {https://dblp.org/rec/conf/krdb/BuchheitDNS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/BuchheitDS93, author = {Martin Buchheit and Francesco M. Donini and Andrea Schaerf}, title = {Decidable Reasoning in Terminological Knowledge Representation Systems}, journal = {J. Artif. Intell. Res.}, volume = {1}, pages = {109--138}, year = {1993}, url = {https://doi.org/10.1613/jair.21}, doi = {10.1613/JAIR.21}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/BuchheitDS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BuchheitDS93, author = {Martin Buchheit and Francesco M. Donini and Andrea Schaerf}, editor = {Ruzena Bajcsy}, title = {Decidable Reasoning in Terminological Knowledge Representation Systems}, booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3, 1993}, pages = {704--709}, publisher = {Morgan Kaufmann}, year = {1993}, url = {http://ijcai.org/Proceedings/93-1/Papers/099.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:33 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BuchheitDS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-9312101, author = {Martin Buchheit and Francesco M. Donini and Andrea Schaerf}, title = {Decidable Reasoning in Terminological Knowledge Representation Systems}, journal = {CoRR}, volume = {cs.AI/9312101}, year = {1993}, url = {https://arxiv.org/abs/cs/9312101}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-9312101.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/DoniniLNHNM92, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Bernhard Hollunder and Werner Nutt and Alberto Marchetti{-}Spaccamela}, title = {The Complexity of Existential Quantification in Concept Languages}, journal = {Artif. Intell.}, volume = {53}, number = {2-3}, pages = {309--327}, year = {1992}, url = {https://doi.org/10.1016/0004-3702(92)90076-A}, doi = {10.1016/0004-3702(92)90076-A}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/DoniniLNHNM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/DoniniLNNS92, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt and Andrea Schaerf}, editor = {Gerhard Lakemeyer and Bernhard Nebel}, title = {Queries, Rules and Definitions as Epistemic Sentences in Concept Languages}, booktitle = {Foundation of Knowledge Representation and Reasoning [the book grew out of an {ECAI-92} workshop]}, series = {Lecture Notes in Computer Science}, volume = {810}, pages = {113--132}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-58107-3\_7}, doi = {10.1007/3-540-58107-3\_7}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/DoniniLNNS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/DoniniLNSN92, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf and Werner Nutt}, editor = {Bernhard Nebel and Charles Rich and William R. Swartout}, title = {Adding Epistemic Operators to Concept Languages}, booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992}, pages = {342--353}, publisher = {Morgan Kaufmann}, year = {1992}, timestamp = {Fri, 22 Jun 2018 07:35:19 +0200}, biburl = {https://dblp.org/rec/conf/kr/DoniniLNSN92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/DoniniLNS91, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf}, editor = {Edoardo Ardizzone and Salvatore Gaglio and Filippo Sorbello}, title = {A Hybrid System with Datalog and Concept Languages}, booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {549}, pages = {88--97}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54712-6\_221}, doi = {10.1007/3-540-54712-6\_221}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/DoniniLNS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/DoniniLNN91, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt}, editor = {Bernhard Nebel and Kai von Luck and Christof Peltason}, title = {Tractable Concept Languages}, booktitle = {Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany}, series = {{DFKI} Documents}, volume = {{DFKI-D-91-13}}, pages = {39--42}, year = {1991}, timestamp = {Wed, 31 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/DoniniLNN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/DoniniLNN91a, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt}, editor = {Bernhard Nebel and Kai von Luck and Christof Peltason}, title = {The Complexity of Concept Languages (Extended Abstract)}, booktitle = {Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany}, series = {{DFKI} Documents}, volume = {{DFKI-D-91-13}}, pages = {87--90}, year = {1991}, timestamp = {Wed, 31 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/DoniniLNN91a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/DoniniLNN91, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt}, editor = {John Mylopoulos and Raymond Reiter}, title = {Tractable Concept Languages}, booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991}, pages = {458--465}, publisher = {Morgan Kaufmann}, year = {1991}, url = {http://ijcai.org/Proceedings/91-1/Papers/071.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:13 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/DoniniLNN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/DoniniLNN91, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Werner Nutt}, editor = {James F. Allen and Richard Fikes and Erik Sandewall}, title = {The Complexity of Concept Languages}, booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991}, pages = {151--162}, publisher = {Morgan Kaufmann}, year = {1991}, timestamp = {Fri, 18 May 2012 15:02:59 +0200}, biburl = {https://dblp.org/rec/conf/kr/DoniniLNN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aicom/DoniniLN90, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi}, title = {Using Terminological Reasoning in Hybrid Systems}, journal = {{AI} Commun.}, volume = {3}, number = {3}, pages = {128--138}, year = {1990}, url = {https://doi.org/10.3233/AIC-1990-3304}, doi = {10.3233/AIC-1990-3304}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aicom/DoniniLN90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/air/DoniniLNPS90, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Fiora Pirri and Marco Schaerf}, title = {Nonmonotonic reasoning}, journal = {Artif. Intell. Rev.}, volume = {4}, number = {3}, pages = {163--210}, year = {1990}, url = {https://doi.org/10.1007/BF00140676}, doi = {10.1007/BF00140676}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/air/DoniniLNPS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/DoniniLN90, author = {Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi}, title = {An Efficient Method for Hybrid Deduction}, booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm, Sweden, 1990}, pages = {246--252}, year = {1990}, timestamp = {Tue, 30 Jul 2019 13:42:21 +0200}, biburl = {https://dblp.org/rec/conf/ecai/DoniniLN90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/DoniniL88, author = {Francesco M. Donini and Maurizio Lenzerini}, editor = {Zbigniew W. Ras and Lorenza Saitta}, title = {TermLog: a Logic for Terminological Knowledge}, booktitle = {Methodologies for Intelligent Systems, 3, Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, Turin, Italy, October 12-15, 1988}, pages = {408--417}, publisher = {North-Holland/Elsevier}, year = {1988}, timestamp = {Mon, 22 May 2017 09:56:56 +0200}, biburl = {https://dblp.org/rec/conf/ismis/DoniniL88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.