BibTeX records: Francesco M. Donini

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics