1. Umberto Straccia's publications

To Appear

    1. Umberto Straccia and Manuel Ojeda-Aciego and Carlos V. Damasio. On Fixed-points of Multi-valued Functions on Complete Lattices and their Application to Generalized Logic Programs. In SIAM Journal on Computing, 200x
      Abstract . Bibitem . Paper
    2. Carlo Meghini and Fabrizio Sebastiani and Umberto Straccia. Multimedia Information Retrieval Model. In Encyclopedia of Database Systems, 2009.
      Abstract . Bibitem . Paper
    3. Yann Loyer and Umberto Straccia. Approximate Well-Founded Semantics, Query Answering and Generalized Normal Logic Programs over Lattices. In Annals of Mathematics and Artificial Intelligence, 200x.
      Abstract . Bibitem . Paper
    4. Thomas Lukasiewicz and Umberto Straccia. Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. In International Journal on Semantic Web and Information Systems, 200x.
      Abstract . Bibitem . Paper

2009

    1. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy Matchmaking in E-Marketplaces of peer entities using Datalog. In Fuzzy Sets and Systems, 2009.
      Abstract . Bibitem . Paper

2008

    2. Thomas Lukasiewicz and Umberto Straccia. Managing Uncertainty and Vagueness in Description Logics for the Semantic Web. In Journal of Web Semantics, 2008.
      Abstract . Bibitem . Paper
    3. Umberto Straccia. Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs. In Reasoning Web, 4th International Summer School, 2008.
      Abstract . Bibitem . Paper . Slides
    4. Fernando Bobillo and Umberto Straccia. fuzzyDL: An Expressive Fuzzy Description Logic Reasoner. In Proceedings of the 2008 International Conference on Fuzzy Systems (FUZZ-08).
      Abstract . Bibitem . Paper . Slides
    5. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio. Towards a Fuzzy Logic for Automated Multi-issue Negotiation. In Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS-08), 2008.
      Abstract . Bibitem . Paper . Slides
    6. Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. In Proceedings of the 21st International Workshop on Description Logics (DL-08), 2008.
      Abstract . Bibitem . Paper . Slides
    7. Fernando Bobillo and Umberto Straccia. Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz semantics. In Proceedings of the 17th International Symposium on Methodologies for Intelligent Systems (ISMIS-08).
      Abstract . Bibitem . Paper . Slides
    8. Fernando Bobillo and Umberto Straccia. On Qualified Cardinality Restrictions in Fuzzy Description Logics under Lukasiewicz semantics. In Proceedings of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-08), 2008.
      Abstract . Bibitem . Paper . Slides
    9. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. In Proceedings of the 16th Italian Symposium on Advanced Database Systems (SEBD-08), 2008.
      Abstract . Bibitem . Paper
    10. Damasio, Carlos Viegas and Pan, Jeff Z. and Stoilos, Giorgos and Straccia, Umberto. Representing Uncertainty Rules in RuleML. In Fundamenta Informaticae, 2008.
      Abstract . Bibitem . Paper
    11. Umberto Straccia. Fuzzy Description Logic Programs. In Uncertainty and Intelligent Information Systems, B. Bouchon-Meunier, R.R. Yager, C. Marsala, and M. Rifqi eds. , 2008.
      Abstract . Bibitem . Paper
    12. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Fuzzy bilateral matchmaking in e-marketplaces. In Proceedings of the 12th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-08), 2008.
      Abstract . Bibitem . Paper
    13. Umberto Straccia and Giulio Visco. DLMedia: an Ontology Mediated Multimedia Information Retrieval System. In Proceeedings of the International Workshop on Uncertainty Reasoning for the Semantic Web (URSW-08), 2008.
      Abstract . Bibitem . Paper . Slides

2007

    1. Straccia, Umberto. Towards Vague Query Answering in Logic Programming for Logic-based Information Retrieval. In World Congress of the International Fuzzy Systems Association (IFSA-07), 2007.
      Abstract . Bibitem . Paper
    2. Thomas Lukasiewicz and Umberto Straccia. Tightly Integrated Fuzzy Description Logic Programs under the Answer Semantics for the Semantic Web. In Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR-07), 2007.
      Abstract . Bibitem . Paper
    3. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces. In Proceedings of the 4th European Semantic Web Conference (ESWC-07), 2007.
      Abstract . Bibitem . Paper
    4. Nottelmann, Henrik and Straccia, Umberto. Information retrieval and machine learning for probabilistic schema matching. Information Processing & Management, Elsevier, 2007.
      Abstract . Bibitem . Paper
    5. Avancini, Henri and Candela, Leonardo and Straccia, Umberto. Recommenders in a Personalized, Collaborative Digital Library Environment. In Journal of Intelligent Information Systems. Springer Verlag.
      Abstract . Bibitem . Paper
    6. Umberto Straccia and Giulio Visco. DLMedia: an Ontology Mediated Multimedia Information Retrieval System. In Proceeedings of the International Workshop on Description Logics (DL-07), 2007.
      Abstract . Bibitem . Paper
    7. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini. Extending Datalog for Matchmaking in P2P E-Marketplaces. In Proceedings of the 15th Italian Symposium on Advanced Database Systems (SEBD-07), 2007.
      Abstract . Bibitem . Paper
    8. Fernando Bobillo and Umberto Straccia. A Fuzzy Description Logic with Product T-norm. In Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE-07), 2007.
      Abstract . Bibitem . Paper
    9. Umberto Straccia and Fernando Bobillo. Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics. In Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-07), 2007.
      Abstract . Bibitem . Paper
    10. Thomas Lukasiewicz and Umberto Straccia. Top-K Retrieval in Description Logic Programs under Vagueness for the Semantic Web. In Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM-07), 2007.
      Abstract . Bibitem . Paper
    11. Thomas Lukasiewicz and Umberto Straccia. Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness. In Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), 2007.
      Abstract . Bibitem . Paper
    12. Umberto Straccia. A Top-Down Query Answering Procedure for Normal Logic Programs under the Any-World Assumption. In Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), 2007.
      Abstract . Bibitem . Paper
    13. Umberto Straccia and Fernando Bobillo. Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics. In Mathware & Soft Computing, 14(3), 2007.
      Abstract . Bibitem . Paper

2006

    1. Loyer, Yann and Straccia, Umberto. Epistemic Foundation of Stable Model Semantics. Journal of Theory and Practice of Logic Programming.
      Abstract . Bibitem . Paper
    2. Straccia, Umberto. Query Answering under the Any-World Assumption for Normal Logic Programs. In Proceedings of the 10th International Conference on Principles of Knowledge Representation (KR-06), 2006.
      Abstract . Bibitem . Paper
    3. Straccia, Umberto. A Fuzzy Description Logic for the Semantic Web. In Capturing Intelligence: Fuzzy Logic and the Semantic Web, Elie Sanchez, ed., Elsevier, 2006.
      Abstract . Bibitem . Paper
    4. Straccia, Umberto. Uncertainty and Description Logic Programs over Lattices. In Capturing Intelligence: Fuzzy Logic and the Semantic Web, Elie Sanchez, ed., Elsevier, 2006.
      Abstract . Bibitem . Paper
    5. Straccia, Umberto. Description Logics over Lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2006, .
      Abstract . Bibitem . Paper
    6. Straccia, Umberto and Troncy, Raphael. Towards Distributed Information Retrieval in the Semantic Web. In Proceedings of the 3rd European Semantic Web Conference (ESWC-06), 2006.
      Abstract . Bibitem . Paper
    7. Renda, M. Elena and Straccia, Umberto. Automatic Structured Query Transformation Over Distributed Digital Libraries. In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC-06), 2006
      Abstract . Bibitem . Paper
    8. Straccia, Umberto. Annotated Answer Set Programming. Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), 2006.
      Abstract . Bibitem . Paper.
    9. Straccia, Umberto. Fuzzy Description Logic Programs. Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), 2006.
      Abstract . Bibitem . Paper.
    10. Straccia, Umberto. Answering Vague Queries in Fuzzy DL-LITE. Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06) , 2006.
      Abstract . Bibitem . Paper.
    11. Nottelmann, Henrik and Straccia, Umberto. A Probabilistic, Logic-based Framework for Automated Web Directory Alignment. In Soft Computing in Ontologies and the Semantic Web. Series: Studies in Fuzziness and Soft Computing Series, Zongmin Ma, ed. Springer Verlag, 2006.
      Abstract . Bibitem . Paper
    12. Stoilos, George and Straccia, Umberto and Stamou, George and Pan, Jeff. General Concept Inclusions in Fuzzy Description Logics. In Proceedings of the 17th Eureopean Conference on Artificial Intelligence (ECAI-06), 2006.
      Abstract . Bibitem . Paper
    13. Straccia, Umberto. Towards Top-k Query Answering in Description Logics: the case of DL-Lite. In Proceeedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA-06), 2006.
      Abstract . Bibitem . Paper
    14. Straccia, Umberto. Towards Top-k Query Answering in Deductive Databases. In Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC-06), 2006.
      Abstract . Bibitem . Paper
    15. Damasio, Carlos Viegas and Pan, Jeff Z. and Stoilos, Giorgos and Straccia, Umberto. An Approach to Representing Uncertainty Rules in RuleML. In Proceeedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-06), 2006.
      Abstract . Bibitem . Paper

2005

    1. Straccia, Umberto and Troncy, Raphael. oMAP: An Implemented Framework for Automatically Aligning OWL Ontologies. In Proceedings of the 2nd Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP-05), 2005.
      Abstract . Bibitem . Paper
    2. Straccia, Umberto and Troncy, Raphael. oMAP: Combining Classifiers for Aligning Automatically OWL Ontologies. In Proceedings of the 6th International Conference on Web Information Systems Engineering (WISE-05), 2005.
      Abstract . Bibitem . Paper
    3. Nottelmann, Henrik and Straccia, Umberto. Information retrieval and machine learning for probabilistic schema matching. In Proceedings of the ACM 14th Conference on Information and Knowledge Management (CIKM-05), 2005.
      Abstract . Bibitem . Paper
    4. Loyer, Yann and Straccia, Umberto. Any-World Assumptions in Logic Programming. Journal of Theoretical Computer Science, 2005.
      Abstract . Bibitem . Paper
    5. Straccia, Umberto. Description Logics with Fuzzy Concrete Domains. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI-05), 2005.
      Abstract . Bibitem . Paper
    6. Straccia, Umberto. Query Answering in Normal Logic Programs under Uncertainty. In Proceedings of the 8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-05), 2005.
      Abstract . Bibitem . Paper
    7. Nottelmann, Henrik and Straccia, Umberto. A probabilistic approach to schema matching. In Proceedings of the 27th European Conference on Information Retrieval Research (ECIR-05), 2005.
      Abstract . Bibitem . Paper
    8. Renda, M. Elena and Straccia, Umberto. A personalized collaborative Digital Library environment: a model and an application. In Information Processing & Management, 2005.
      Abstract . Bibitem . Paper
    9. Avancini, Henri and Straccia, Umberto. User Recommendation for Collaborative and Personalized Digital Archives. In International Journal of Web Based Communities, 2005.
      Abstract . Bibitem . Paper
    10. Straccia, Umberto. Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report). In Proceedings of the 2nd European Semantic Web Conference (ESWC-05), 2005.
      Abstract . Bibitem . Paper
    11. Straccia, Umberto. Fuzzy ALC with Fuzzy Concrete Domains. In Proceedings of the International Workshop on Description Logics (DL-05), 2005.
      Abstract . Bibitem . Paper
    12. Straccia, Umberto. Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering. In Proceedings of the 9th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-05), 2005.
      Abstract . Bibitem . Paper
    13. Straccia, Umberto and Troncy, Raphael. oMAP: Results of the Ontology Alignment Contest. In Proceedings of the Workshop on Integrating Ontologies to be held with the 3rd International Conference on Knowledge Capture (K-CAP-05), 2005.
      Abstract . Bibitem . Paper

2004

    1. Straccia, Umberto. Uncertainty in Description Logics: a Lattice-based Approach. Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-04) , 2004.
      Abstract . Bibitem . Paper. Errata Corrige
    2. Loyer, Yann and Straccia, Umberto. Epistemic Foundation of the Well-Founded Semantics over Bilattices. In Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS-2004), 2004.
      Abstract . Bibitem . Paper
    3. Straccia, Umberto. Transforming Fuzzy Description Logics into Classical Description Logics. In Proceeedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), 2004.
      Abstract . Bibitem . Paper
    4. Avancini, Henri and Straccia, Umberto. User Awareness in CYCLADES: a Collaborative and Personalized Environment for Open Digital Archives. Proceedings of the IADIS International Conference on Web Based Communities (WBC-04), 2004.
      Abstract . Bibitem . Paper
    5. Avancini, Henri and Straccia, Umberto. Personalization, Collaboration, and Recommendation in the Digital Library Environment CYCLADES. Proceedings of the IADIS International Conference on Applied Computing (AC-04) , 2004.
      Abstract . Bibitem . Paper
    6. Straccia, Umberto and Thanos, Costantino. Cyclades: An Open Collaborative Virtual Archive Environment. International Journal of Digital Libraries, 2004.
      Abstract . Bibitem . Paper

2003

    1. Renda, M. Elena and Straccia, Umberto. Web Metasearch: Rank vs. Score Based Rank Aggregation Methods. In Proc. 18th Annual ACM Symposium on Applied Computing (SAC-3), 2003.
      Abstract . Bibitem . Paper
    2. Loyer, Yann and Straccia, Umberto. The Approximate Well-founded Semantics for Logic Programs with Uncertainty. In Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS-2003), 2003.
      Abstract . Bibitem . Paper . Appendix
    3. Loyer, Yann and Straccia, Umberto. Default Knowledge in Logic Programs with Uncertainty. In Proceedings of the 19th International Conference on Logic Programming (ICLP-2003), 2003.
      Abstract . Bibitem . Paper
    4. Candela, Leonardo and Straccia, Umberto. The Personalized, Collaborative Digital Library Environment CYCLADES and its Collections Management. In Multimedia Distributed Information Retrieval. Callan, Jamie and Crestani, Fabio and Sanderson, Mark Eds. Springer Verlag, 2004.
      Abstract . Bibitem . Paper

2002

    1. Loyer, Yann and Straccia, Umberto. The Well-founded Semantics in Normal Logic Programs with Uncertainty. In Proceeedings of the 6th International Symposium on Functional and Logic Programming (FLOPS-02), 2002.
      Abstract . Bibitem . Paper
    2. Loyer, Yann and Straccia, Umberto. Uncertainty and Partial Non-Uniform Assumptions in Parametric Deductive Databases. In Proceeedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02), 2002.
      Abstract . Bibitem . Paper
    3. Loyer, Yann and Straccia, Umberto. Non-Uniform Hypothesis in Deductive Databases with Uncertainty. In Proceeedings of the 18th International Conference on Logic Programming (ICLP-02), 2002.
      Abstract . Bibitem . Paper
    4. M. Elena Renda and Straccia, Umberto. A Personalized Collaborative Digital Library Environment. In Proceeedings of the 5th International Conference on Asian Digital Libraries (ICADL-02), 2002.
      Abstract . Bibitem . Paper

2001

    1. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. A model of multimedia information retrieval. Journal of the ACM, 48 (5): 909-970, 2001.
      Abstract . Bibitem . Paper
    2. Straccia, Umberto. Reasoning within Fuzzy Description Logics . Journal of Artificial Intelligence Research, Vol. 14: 137-166, 2001.
      Abstract . Bibitem . Paper

2000

    1. Straccia, Umberto. A Framework for the Retrieval of Multimedia Objects Based on Four-Valued Fuzzy Description Logics. In Soft Computing in Information Retrieval: Techniques and Applications, Fabio Crestani and Gabriella Pasi, eds. Physica Verlag (Springer Verlag). Heidelberg, Germany, 2000.
      Abstract . Bibitem . Paper
    2. Amato, Giuseppe and Thanos, Costantino and Straccia, Umberto. EUROgatherer: a Personalised Gathering and Delivery Service on the Web. In Proc. of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI-2000), 2000.
      Abstract . Bibitem . Paper

1999

    1. Straccia, Umberto. Foundations of a Logic based approach to Multimedia Document Retrieval. PhD thesis, Department of Computer Science, University of Dortmund, June 1999.
      Abstract . Bibitem . Paper
    2. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. A system for the fast prototyping of multidimensional image retrieval. In Proceedings of ICMCS'99, IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, 1999.
      Abstract . Bibitem . Paper
    3. Amato, Giuseppe and Straccia, Umberto. User Profile and Applications to Digital Libraries. In Proceedings of the Third European Conference on Research and Advanced Technology for Digital Libraries (ECDL-99), LNCS 1696, pages 184-197, Paris, 1999.
      Abstract . Bibitem . Paper

1998

    1. Umberto Straccia. A Fuzzy Description Logic. In Proceedings of AAAI-98, 15th National Conference on Artificial Intelligence, pages 594--599, Madison, Wisconsin, 1998.
      Abstract . Bibitem . Paper
    2. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. On the role of logic in image retrieval. In Proceedings of IR-98, 1st Workshop on Image Retrieval, Milano, Italy, 1998.
      Abstract . Bibitem . Paper
    3. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. Mirlog: a logic for multimedia information retrieval. Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information, Fabio Crestani and Mounia Lalmas and Cornelis J. van Rijsbergen, eds., Kluwer Academic Publishing, Dordrecht, NL. 1998.
      Abstract . Bibitem . Paper

1997

    1. Umberto Straccia. A Four-Valued Fuzzy Propositional Logic. In Proceedings of IJCAI-97, 15th International Joint Conference on Artificial Intelligence, pages 128--133, Nagoya, Japan, 1997.
      Abstract . Bibitem . Paper
    2. Umberto Straccia. A Sequent Calculus for Reasoning in Four-Valued Description Logics. In Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97), pages 343-357, LNAI 1227, Pont-a-Mousson, France, 1997.
      Abstract . Bibitem . Paper
    3. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. The Terminological Image Retrieval Model. In Proceedings of ICIAP'97, 9th International Conference On Image Analysis And Processing, pages 156-163, LNCS 1311, Volume II. Florence, Italy, 1997.
      Abstract . Bibitem . Paper
    4. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. Reasoning about the Form and Content for Multimedia Objects (Extended Abstract). In Proceedings of AAAI 1997 Spring Symposium on Intelligent integration and Use of Text, Image, Video and Audio, pages 89-94, Stanford University, California, 1997.
      Abstract . Bibitem . Paper
    5. Meghini, Carlo and Sebastiani, Fabrizio and Straccia, Umberto. Modelling the Retrieval of Structured Documents Containing Texts and Images. In Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries, LNCS 1324, pages 325--344, Pisa, Italy, 1997.
      Abstract . Bibitem . Paper

1996

    1. Carlo Meghini and Umberto Straccia. Extending a Description Logic to Cope with the Completeness of Multimedia Documents. In Proceedings of ECAI96 Workshop on Knowledge Representation for Interactive Multimedia Systems, pages 42-50, Budapest, Hungary, 1996.
      Abstract . Bibitem . Paper
    2. Carlo Meghini and Umberto Straccia. A Relevance Terminological Logic for Information Retrieval. In Proceedings of SIGIR-96, 19th International Conference on Research and Development in Information Retrieval, Zurich, Switzerland, 1996.
      Abstract . Bibitem . Paper
    3. Carlo Meghini, Fabrizio Sebastiani and Umberto Straccia. Designing effective retrieval engines for multimedia document repositories. In AI*IA 1996 Workshop on "Access, Extraction and Integration of Knowledge, Napoli, Italy, 1996.
      Abstract . Bibitem . Paper
    4. Carlo Meghini, Fabrizio Sebastiani and Umberto Straccia. Reasoning about Form and Content for Multimedia Information Retrieval. In Proceedings of WIRUL-96, 2nd Workshop on information Retrieval, Uncertainty and Logic, Glasgow, Scotland, 1996.
      Abstract . Bibitem . Paper

1995

    1. Umberto Straccia. Document Retrieval by Relevance Terminological Logics. In Proceedings of MIRO95 Workshop, Glasgow, Scotland, 1995.
      Abstract . Bibitem .
    2. Paolo Buongarzoni, Carlo Meghini, Rossella Salis, Fabrizio Sebastiani, and Umberto Straccia. Logical and computational properties of the description logic MIRTL. In International Workshop on Description Logics, pages 80-84, Rome, Italy, 1995.
      Abstract . Bibitem . Paper
    3. Fabrizio Sebastiani and Umberto Straccia. A terminologal default logic. Computers and Artificial Intelligence 14(3), pages 225-251, 1995.
      Abstract . Bibitem . Paper

1994

    1. Fabrizio Sebastiani and Umberto Straccia. Incremental acquisition of knowledge for non-monotonic reasoning. Computers and Artificial Intelligence, 13(4):377-396, 1994.
      Abstract . Bibitem . Paper

1993

    1. Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia, and Costantino Thanos. A model of information retrieval based on a terminological logic. In Proceedings of SIGIR-93, 16th International Conference on Research and Development in Information Retrieval, pages 298-307, Pittsburgh, PA, 1993.
      Abstract . Bibitem . Paper
    2. Umberto Straccia. Default inheritance reasoning in hybrid KL-ONE-style logics. In Proceedings of IJCAI-93, 13th International Joint Conference on Artificial Intelligence, pages 676-681, Chambery, France, 1993.
      Abstract . Bibitem . Paper

1992

    1. Fabrizio Sebastiani and Umberto Straccia. On the tractability of terminological logics with numerical restrictions. In Journal of AI*IA, Associazione italiana per l'intelligenza artificiale, 5(2), 1992.
      Abstract . Bibitem .
    2. Umberto Straccia. A terminological default logic (Preliminary Draft). In Proceedings of European Research Consortium for Informatics and Mathematics Workshop on Theoretical and Experimental Aspects of Knowledge Representation, pages. 73-82, Pisa, Italy, 1992.
      Abstract . Bibitem .

1991

    1. Umberto Straccia. A terminological default logic. In Journal of AI*IA, Associazione Italiana per l'Intelligenza Artificiale, 4(4), 1991, pages. 22-36.
      Abstract . Bibitem .
    2. Fabrizio Sebastiani and Umberto Straccia. A computationally tractable terminological logic. In Proceedings of SCAI-91, 3rd Scandinavian Conference on Artificial Intelligence, pages 307--315, Roskilde, Denmark, 1991.
      Abstract . Bibitem . Paper