Mulitlanguage First Order Theories of Propositional Attitudes. - Fausto Giunchiglia; Luciano Serafini (SCAI, 1991)

Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. - Fausto Giunchiglia; Luciano Serafini; Alex K. Simpson (META, 1992)

Non-Omniscient Belief as Context-Based Resoning. - Fausto Giunchiglia; Luciano Serafini; Enrico Giunchiglia; Marcello Frixione (IJCAI, 1993)

Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study. - Alessandro Cimatti; Luciano Serafini (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. - Fausto Giunchiglia; Luciano Serafini (Artif. Intell., 1994)

Agents as Reasoners, Observers or Believers. - Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini (AI*IA, 1995)

Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance. - Alessandro Cimatti; Luciano Serafini (ICMAS, 1995)

Agents as Reasoners, Observers, or Arbitrary Believers. - Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini (ICMAS, 1995)

Formal Specification of Beliefs in Multi-Agent Systems. - Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini (ATAL, 1996)

Mechanizing Multi-Agent Reasoning with Belief Contexts. - Alessandro Cimatti; Luciano Serafini (FAPR, 1996)

Model Theoretic Semantics for Information Integration. - Chiara Ghidini; Luciano Serafini (AIMSA, 1998)

Information Integration for Electronic Commerce. - Chiara Ghidini; Luciano Serafini (AMET, 1998)

A Model Checking Algorithm for Multiagent Systems. - Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini (ATAL, 1998)

Multiagent Systems Verification via Model Checking. - Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini (EUROVAV, 1998)

Model Checking Multiagent Systems. - Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini (J. Log. Comput., 1998)

A Context-Based Logic for Distributed Knowledge Representation and Reasoning. - Chiara Ghidini; Luciano Serafini (CONTEXT, 1999)

Formal specification of beliefs in multi-agent systems. - Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita (Int. J. Intell. Syst., 1999)

Updating mental states from informative communication. - Aldo Franco Dragoni; Paolo Giorgini; Luciano Serafini (Agents, 2000)

Updating Mental States from Communication. - Aldo Franco Dragoni; Paolo Giorgini; Luciano Serafini (ATAL, 2000)

Using Wrapper Agents to Answer Queries in Distributed Information Systems. - Luciano Serafini; Chiara Ghidini (ICMAS, 2000)

Ontological Overhearing. - Marco Aiello 001; Paolo Busetta; Antonia Donà; Luciano Serafini (ATAL, 2001)

Two Formalizations of Context: A Comparison. - Paolo Bouquet; Luciano Serafini (CONTEXT, 2001)

Extending Multi-agent Cooperation by Overhearing. - Paolo Busetta; Luciano Serafini; Dhirendra Singh; Floriano Zini (CoopIS, 2001)

Toward an architecture for quantum programming - S. Bettelli; Luciano Serafini; Tommaso Calarco (CoRR, 2001)

Multicontext Logic for Semigroups of Contexts. - Rolf Nossum; Luciano Serafini (AISC, 2002)

Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid. - Mark James Carman; Floriano Zini; Luciano Serafini; Kurt Stockinger (CCGRID, 2002)

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. - Alexander Borgida; Luciano Serafini (OTM, 2002)

Distributed Description Logics: First results. - Alexander Borgida; Luciano Serafini (Description Logics, 2002)

Updating Contexts. - Antonia Donà; Luciano Serafini (KR, 2002)

A Request Language for Web-Services Based on Planning and Constraint Satisfaction. - Marco Aiello 001; Mike P. Papazoglou; Jian Yang 001; Mark James Carman; Marco Pistore; Luciano Serafini; Paolo Traverso (TES, 2002)

Data Management for Peer-to-Peer Computing : A Vision. - Philip A. Bernstein; Fausto Giunchiglia; Anastasios Kementsietsidis; John Mylopoulos; Luciano Serafini; Ilya Zaihrayeu (WebDB, 2002)

ML Systems: A Proof Theory for Contexts. - Luciano Serafini; Fausto Giunchiglia (J. Log. Lang. Inf., 2002)

A Foundation for Metareasoning Part I: The Proof Theory. - Giovanni Criscuolo; Fausto Giunchiglia; Luciano Serafini (J. Log. Comput., 2002)

A Foundation for Metareasoning Part II: The Model Theory. - Giovanni Criscuolo; Fausto Giunchiglia; Luciano Serafini (J. Log. Comput., 2002)

Mental States Recognition from Communication. - Aldo Franco Dragoni; Paolo Giorgini; Luciano Serafini (J. Log. Comput., 2002)

Making Explicit the Hidden Semantics of Hierarchical Classifications. - Bernardo Magnini; Luciano Serafini; Manuela Speranza (AI*IA, 2003)

A SAT-Based Algorithm for Context Matching. - Paolo Bouquet; Bernardo Magnini; Luciano Serafini; Stefano Zanobini (CONTEXT, 2003)

On the Difference between Bridge Rules and Lifting Axioms. - Paolo Bouquet; Luciano Serafini (CONTEXT, 2003)

Local Relational Model: A Logical Formalization of Database Coordination. - Luciano Serafini; Fausto Giunchiglia; John Mylopoulos; Philip A. Bernstein (CONTEXT, 2003)

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. - Enrico Franconi; Gabriel M. Kuper; Andrei Lopatenko; Luciano Serafini (DBISP2P, 2003)

Planning For Web Services the Hard Way. - Mark James Carman; Luciano Serafini (SAINT Workshops, 2003)

C-OWL: Contextualizing Ontologies. - Paolo Bouquet; Fausto Giunchiglia; Frank van Harmelen; Luciano Serafini; Heiner Stuckenschmidt (ISWC, 2003)

Semantic Coordination: A New Approach and an Application. - Paolo Bouquet; Luciano Serafini; Stefano Zanobini (ISWC, 2003)

Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation. - Paolo Bouquet; Luciano Serafini; Mario Zanobini (WOA, 2003)

A Robust and Computational Characterisation of Peer-to-Peer Database Systems - Enrico Franconi; Gabriel M. Kuper; Andrei Lopatenko; Luciano Serafini (CoRR, 2003)

Distributed Description Logics: Assimilating Information from Peer Sources. - Alexander Borgida; Luciano Serafini (J. Data Semant., 2003)

Context matching for electronic marketplaces: a case study. - Matteo Bonifacio; Antonia Donà; Alessandra Molani; Luciano Serafini (Knowl. Eng. Rev., 2003)

Complexity of Contextual Reasoning. - Floris Roelofsen; Luciano Serafini (AAAI, 2004)

Coordinating Semantic Peers. - Paolo Bouquet; Luciano Serafini; Stefano Zanobini (AIMSA, 2004)

Local Tableaux for Reasoning in Distributed Description Logics. - Luciano Serafini; Andrei Tamilin (Description Logics, 2004)

Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. - Floris Roelofsen; Luciano Serafini; Alessandro Cimatti (ECAI, 2004)

Satisfiability for Propositional Contexts. - Luciano Serafini; Floris Roelofsen (KR, 2004)

Using C-OWL for the alignment and merging of medical ontologies. - Heiner Stuckenschmidt; Frank van Harmelen; Paolo Bouquet; Fausto Giunchiglia; Luciano Serafini (KR-MED, 2004)

Comparing formal theories of context in AI. - Luciano Serafini; Paolo Bouquet (Artif. Intell., 2004)

Semantic Coordination for Document Retrieval. - Bernardo Magnini; Luciano Serafini; Manuela Speranza (Künstliche Intell., 2004)

Contextualizing ontologies. - Paolo Bouquet; Fausto Giunchiglia; Frank van Harmelen; Luciano Serafini; Heiner Stuckenschmidt (J. Web Semant., 2004)

Peer-to-peer semantic coordination. - Paolo Bouquet; Luciano Serafini; Stefano Zanobini (J. Web Semant., 2004)

A Formal Investigation of Mapping Languages for Terminological Knowledge. - Luciano Serafini; Heiner Stuckenschmidt; Holger Wache (BNAIC, 2005)

Minimality and Non-determinism in Multi-context Systems. - Floris Roelofsen; Luciano Serafini (CONTEXT, 2005)

DRAGO: Distributed Reasoning Architecture for the Semantic Web. - Luciano Serafini; Andrei Tamilin (ESWC, 2005)

Minimal and Absent Information in Contexts. - Floris Roelofsen; Luciano Serafini (IJCAI, 2005)

Aspects of Distributed and Modular Ontology Reasoning. - Luciano Serafini; Alexander Borgida; Andrei Tamilin (IJCAI, 2005)

A Formal Investigation of Mapping Language for Terminological Knowledge. - Luciano Serafini; Heiner Stuckenschmidt; Holger Wache (IJCAI, 2005)

Introducing Context into RDF Knowledge Bases. - Paolo Bouquet; Luciano Serafini; Heiko Stoermer (SWAP, 2005)

From Text to Knowledge for the Semantic Web: the ONTOTEXT Project. - Bernardo Magnini; Matteo Negri; Emanuele Pianta; Lorenza Romano; Manuela Speranza; Luciano Serafini; Christian Girardi; Valentina Bartalesi; Rachele Sprugnoli (SWAP, 2005)

Distributed Instance Retrieval in Heterogeneous Ontologies. - Luciano Serafini; Andrei Tamilin (SWAP, 2005)

Semantic Coordination of Heterogeneous Classifications Schemas. - Paolo Bouquet; Luciano Serafini; Stefano Zanobini (Semantic Web and Peer-to-Peer, 2006)

Model-Checking Memory Requirements of Resource-Bounded Reasoners. - Alexandre Albore; Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Brian Logan 001; Luciano Serafini (AAAI, 2006)

Autonomous Ontology: Operations and Semantics. - Yuting Zhao; Luciano Serafini; Fausto Giunchiglia (ASWC, 2006)

Reconciling Concepts and Relations in Heterogeneous Ontologies. - Chiara Ghidini; Luciano Serafini (ESWC, 2006)

Matching Hierarchical Classifications with Attributes. - Luciano Serafini; Stefano Zanobini; Simone Sceffer; Paolo Bouquet (ESWC, 2006)

The role of lexical resources in matching classification schemas. - Paolo Bouquet; Luciano Serafini; Stefano Zanobini (LREC, 2006)

Verifying Space and Time Requirements for Resource-Bounded Agents. - Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan 001; Luciano Serafini (MoChArt, 2006)

Mapping Properties of Heterogeneous Ontologies. - Chiara Ghidini; Luciano Serafini (WoMO, 2006)

Semantic Import: An Approach for Partial Ontology Reuse. - Jeff Z. Pan; Luciano Serafini; Yuting Zhao (WoMO, 2006)

From Mentions to Ontology: A Pilot Sudy. - Octavian Popescu; Bernardo Magnini; Emanuele Pianta; Luciano Serafini; Manuela Speranza (SWAP, 2006)

Bootstrapping semantics on the web: meaning elicitation from schemas. - Paolo Bouquet; Luciano Serafini; Stefano Zanobini; Simone Sceffer (WWW, 2006)

Logics For Artificial Intelligence. - Luigia Carlucci Aiello; Enrico Giunchiglia; Luciano Serafini (Intelligenza Artificiale, 2006)

Formal analysis of an agent-based optimisation strategy for Data Grids. - David G. Cameron; Rubén Carvajal-Schiaffino; Caitriana Nicholson; Kurt Stockinger; Floriano Zini; A. Paul Millar; Luciano Serafini (Multiagent Grid Syst., 2006)

On Relating Heterogeneous Elements from Different Ontologies. - Chiara Ghidini; Luciano Serafini; Sergio Tessaris (CONTEXT, 2007)

Contextual Default Reasoning. - Gerhard Brewka; Floris Roelofsen; Luciano Serafini (IJCAI, 2007)

A Modular Framework for Ontology-based Representation of Patent Information. - Mark Giereth; Steffen Koch 001; Yiannis Kompatsiaris; Symeon Papadopoulos; Emanuele Pianta; Luciano Serafini; Leo Wanner (JURIX, 2007)

Instance Migration in Heterogeneous Ontology Environments. - Luciano Serafini; Andrei Tamilin (ISWC/ASWC, 2007)

Reasoning with Instances of Heterogeneous Ontologies. - Luciano Serafini; Andrei Tamilin (SWAP, 2007)

Logical Analysis of Mappings between Medical Classification Systems. - Elena Cardillo; Claudio Eccher; Luciano Serafini; Andrei Tamilin (AIMSA, 2008)

Bridging Heterogeneous Representations of Binary Relations: First Results. - Chiara Ghidini; Luciano Serafini; Sergio Tessaris (Description Logics, 2008)

Complexity of Reasoning With Expressive Ontology Mappings. - Chiara Ghidini; Luciano Serafini; Sergio Tessaris (FOIS, 2008)

Reasoning on Semantically Annotated Processes. - Chiara Di Francescomarino; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Paolo Tonella (ICSOC, 2008)

Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company. - Conny Christl; Chiara Ghidini; Joanna Guss; Stefanie N. Lindstaedt; Viktoria Pammer; Marco Rospocher; Peter Scheir; Luciano Serafini (ISWC, 2008)

Collaborative Enterprise Integrated Modelling. - Marco Rospocher; Chiara Ghidini; Luciano Serafini; Barbara Kump; Viktoria Pammer; Stefanie N. Lindstaedt; Andreas Faatz; Tobias Ley (SWAP, 2008)

Modular Knowledge Representation and Reasoning in the Semantic Web. - Luciano Serafini; Martin Homola (Semantic Web Information Management, 2009)

Querying the Web of Data: A Formal Approach. - Paolo Bouquet; Chiara Ghidini; Luciano Serafini (ASWC, 2009)

Collaborative Specification of Semantically Annotated Business Processes. - Marco Rospocher; Chiara Di Francescomarino; Chiara Ghidini; Luciano Serafini; Paolo Tonella (Business Process Management Workshops, 2009)

A Lexical-Ontological Resource for Consumer Healthcare. - Elena Cardillo; Luciano Serafini; Andrei Tamilin (eHealth, 2009)

MoKi: The Enterprise Modelling Wiki. - Chiara Ghidini; Barbara Kump; Stefanie N. Lindstaedt; Nahid Mahbub; Viktoria Pammer; Marco Rospocher; Luciano Serafini (ESWC, 2009)

Context shifting for effective search over large knowledge bases. - Mathew Joseph; Luciano Serafini; Andrei Tamilin (CIAO@ESWC, 2009)

Revision Support for Modeling Tasks, Topics and Skills. - Viktoria Pammer; Barbara Kump; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Stefanie N. Lindstaedt (I-SEMANTICS, 2009)

A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition. - Elena Cardillo; Andrei Tamilin; Luciano Serafini (KEOD, 2009)

A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare. - Elena Cardillo; Andrei Tamilin; Luciano Serafini (IC3K, 2009)

Semantically-Aided Business Process Modeling. - Chiara Di Francescomarino; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Paolo Tonella (ISWC, 2009)

Highlighting Assertional Effects of Ontology Editing Activities in OWL. - Viktoria Pammer; Luciano Serafini; Stefanie N. Lindstaedt (IWOD@ISWC, 2009)

MoKi: the Modelling wiKi. - Marco Rospocher; Chiara Ghidini; Viktoria Pammer; Luciano Serafini; Stefanie N. Lindstaedt (SemWiki, 2009)

Formal and Conceptual Comparison of Ontology Mapping Languages. - Saartje Brockmans; Peter Haase 001; Luciano Serafini; Heiner Stuckenschmidt (Modular Ontologies, 2009)

Composing Modular Ontologies with Distributed Description Logics. - Luciano Serafini; Andrei Tamilin (Modular Ontologies, 2009)

A Formal Model of Queries on Interlinked RDF Graphs. - Paolo Bouquet; Chiara Ghidini; Luciano Serafini (AAAI Spring Symposium: Linked Data Meets Artificial Intelligence, 2010)

Towards Formal Comparison of Ontology Linking, Mapping and Importing. - Martin Homola; Luciano Serafini (Description Logics, 2010)

Using Background Knowledge to Support Coreference Resolution. - Volha Bryl; Claudio Giuliano; Luciano Serafini; Kateryna Tymoshenko (ECAI, 2010)

MoKi: a Wiki-based Conceptual Modeling Tool. - Chiara Ghidini; Marco Rospocher; Luciano Serafini (EKAW (Posters and Demos), 2010)

Modeling Contextualized Knowledge. - Martin Homola; Andrei Tamilin; Luciano Serafini (CIAO@EKAW, 2010)

Automatic Support for Formative Ontology Evaluation. - Viktoria Pammer; Stefanie N. Lindstaedt; Chiara Ghidini; Marco Rospocher; Luciano Serafini (EKAW (Posters and Demos), 2010)

Service-Based Infrastructure for User-Oriented Environmental Information Delivery. - Leo Wanner; Harald Bosch; Nadjet Bouayad-Agha; Ulrich Bügel; Gerard Casamayor; Thomas Ertl; Ari Karppinen; Ioannis Kompatsiaris; Tarja Koskentalo; Simon Mille; Jürgen Moßgraber; Anastasia Moumtzidou; et al. (ENVIP@EnviroInfo, 2010)

Context-Driven Semantic Enrichment of Italian News Archive. - Andrei Tamilin; Bernardo Magnini; Luciano Serafini; Christian Girardi; Mathew Joseph; Roberto Zanoli (ESWC (1), 2010)

Supporting Natural Language Processing with Background Knowledge: Coreference Resolution Case. - Volha Bryl; Claudio Giuliano; Luciano Serafini; Kateryna Tymoshenko (ISWC (1), 2010)

Augmenting Subsumption Propagation in Distributed Description Logics. - Martin Homola; Luciano Serafini (Appl. Artif. Intell., 2010)

Applications of Semantic Wikis. - Michael Erdmann; Daniel Hansch; Viktoria Pammer; Marco Rospocher; Chiara Ghidini; Stefanie N. Lindstaedt; Luciano Serafini (Context and Semantics for Knowledge Management, 2011)

Contextual Representation and Reasoning with Description Logics. - Luciano Serafini; Martin Homola (Description Logics, 2011)

Building an Environmental Information System for Personalized Content Delivery. - Leo Wanner; Stefanos Vrochidis; Sara Tonelli; Jürgen Moßgraber; Harald Bosch; Ari Karppinen; Maria Myllynen; Marco Rospocher; Nadjet Bouayad-Agha; Ulrich Bügel; Gerard Casamayor; Thomas Ertl; et al. (ISESS, 2011)

Boosting Collaborative Ontology Building with Key-Concept Extraction. - Sara Tonelli; Marco Rospocher; Emanuele Pianta; Luciano Serafini (ICSC, 2011)

Wiki-Based Conceptual Modeling: An Experience with the Public Administration. - Cristiano Casagni; Chiara Di Francescomarino; Mauro Dragoni; Licia Fiorentini; Luca Franci; Matteo Gerosa; Chiara Ghidini; Federica Rizzoli; Marco Rospocher; Anna Rovella; Luciano Serafini; Stefania Sparaco; et al. (ISWC (2), 2011)

Simple Reasoning for Contextualized RDF Knowledge. - Mathew Joseph; Luciano Serafini (WoMO, 2011)

A framework for the collaborative specification of semantically annotated business processes. - Chiara Di Francescomarino; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Paolo Tonella (J. Softw. Maintenance Res. Pract., 2011)

TrentinoMedia: Exploiting NLP and Background Knowledge to Browse a Large Multimedia News Store. - Roldano Cattoni; Francesco Corcoglioniti; Christian Girardi; Bernardo Magnini; Luciano Serafini; Roberto Zanoli (PAI, 2012)

An Ontological Framework for Decision Support. - Marco Rospocher; Luciano Serafini (JIST, 2012)

Towards More Effective Tableaux Reasoning for CKR. - Loris Bozzato; Martin Homola; Luciano Serafini (Description Logics, 2012)

Key-Concept Extraction for Ontology Engineering. - Marco Rospocher; Sara Tonelli; Luciano Serafini; Emanuele Pianta (EKAW, 2012)

Investigating the Semantics of Frame Elements. - Sara Tonelli; Volha Bryl; Claudio Giuliano; Luciano Serafini (EKAW, 2012)

Semantic Knowledge Discovery from Heterogeneous Data Sources. - Claudia d'Amato; Volha Bryl; Luciano Serafini (EKAW, 2012)

Generation of Multilingual Personalized Environmental Bulletins from an OWL-based Ontology. - Nadjet Bouayad-Agha; Gerard Casamayor; Simon Mille; Marco Rospocher; Luciano Serafini; Jürgen Moßgraber; Leo Wanner (EnviroInfo, 2012)

Personalized Environmental Service Configuration and Delivery Orchestration: The PESCaDO Demonstrator. - Leo Wanner; Marco Rospocher; Stefanos Vrochidis; Harald Bosch; Nadjet Bouayad-Agha; Ulrich Bügel; Gerard Casamayor; Thomas Ertl; Désirée Hilbring; Ari Karppinen; Ioannis Kompatsiaris; Tarja Koskentalo; et al. (ESWC (Satellite Events), 2012)

Personalized Environmental Service Orchestration for Quality of Life Improvement. - Leo Wanner; Stefanos Vrochidis; Marco Rospocher; Jürgen Moßgraber; Harald Bosch; Ari Karppinen; Maria Myllynen; Sara Tonelli; Nadjet Bouayad-Agha; Gerard Casamayor; Thomas Ertl; Désirée Hilbring; et al. (AIAI (2), 2012)

The KnowledgeStore: an Entity-Based Storage System. - Roldano Cattoni; Francesco Corcoglioniti; Christian Girardi; Bernardo Magnini; Luciano Serafini; Roberto Zanoli (LREC, 2012)

From Ontology to NL: Generation of Multilingual User-Oriented Environmental Reports. - Nadjet Bouayad-Agha; Gerard Casamayor; Simon Mille; Marco Rospocher; Horacio Saggion; Luciano Serafini; Leo Wanner (NLDB, 2012)

A novel Framenet-based resource for the semantic web. - Volha Bryl; Sara Tonelli; Claudio Giuliano; Luciano Serafini (SAC, 2012)

A Formal Semantics for Weighted Ontology Mappings. - Manuel Atencia; Alexander Borgida; Jérôme Euzenat; Chiara Ghidini; Luciano Serafini (ISWC (1), 2012)

Formal Verification of Data Provenance Records. - Szymon Klarman; Stefan Schlobach; Luciano Serafini (ISWC (1), 2012)

Ontology-centric Decision Support. - Marco Rospocher; Luciano Serafini (SeRSy, 2012)

Data-Driven Logical Reasoning. - Claudia d'Amato; Volha Bryl; Luciano Serafini (URSW, 2012)

Multi Context Logics: a Formal Framework for Structuring Knowledge. - Luciano Serafini (WoMO, 2012)

Corpus-based terminological evaluation of ontologies. - Marco Rospocher; Sara Tonelli; Luciano Serafini; Emanuele Pianta (Appl. Ontology, 2012)

Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes. - Chiara Ghidini; Chiara Di Francescomarino; Marco Rospocher; Paolo Tonella; Luciano Serafini (IEEE Trans. Syst. Man Cybern. Part C, 2012)

Contextualized knowledge repositories for the Semantic Web. - Luciano Serafini; Martin Homola (J. Web Semant., 2012)

ExpTime Tableaux Algorithm for Contextualized ALC. - Loris Bozzato; Martin Homola; Luciano Serafini (CONTEXT, 2013)

Materialization Calculus for Contexts in the Semantic Web. - Loris Bozzato; Luciano Serafini (Description Logics, 2013)

Comparing contextual and flat representations of knowledge: a concrete case about football data. - Loris Bozzato; Chiara Ghidini; Luciano Serafini (K-CAP, 2013)

Semantic enrichment of mobile phone data records. - Zolzaya Dashdorj; Luciano Serafini; Fabrizio Antonelli; Roberto Larcher (MUM, 2013)

GAF: A Grounded Annotation Framework for Events. - Antske Fokkens; Marieke van Erp; Piek Vossen; Sara Tonelli; Willem Robert van Hage; Luciano Serafini; Rachele Sprugnoli; Jesper Hoeksema (EVENTS@NAACL-HLT, 2013)

Interlinking Unstructured and Structured Knowledge in an Integrated Framework. - Francesco Corcoglioniti; Marco Rospocher; Roldano Cattoni; Bernardo Magnini; Luciano Serafini (ICSC, 2013)

Semantic Enrichment of Mobile Phone Data Records Using Linked Open Data. - Zolzaya Dashdorj; Luciano Serafini (ISWC (Posters & Demos), 2013)

Semantic Interpretation of Mobile Phone Records Exploiting Background Knowledge. - Zolzaya Dashdorj; Luciano Serafini (ISWC-DC, 2013)

Denoting Data in the Grounded Annotation Framework. - Marieke van Erp; Antske Fokkens; Piek Vossen; Sara Tonelli; Willem Robert van Hage; Luciano Serafini; Rachele Sprugnoli; Jesper Hoeksema (ISWC (Posters & Demos), 2013)

Semantic technologies for industry: From knowledge modeling and integration to intelligent applications. - Giovanni Semeraro; Pierpaolo Basile; Roberto Basili 001; Marco de Gemmis; Chiara Ghidini; Maurizio Lenzerini; Pasquale Lops; Alessandro Moschitti; Cataldo Musto; Fedelucio Narducci; Arianna Pipitone; Roberto Pirrone; et al. (Intelligenza Artificiale, 2013)

Anchoring Background Knowledge to Rich Multimedia Contexts in the KnowledgeStore. - Roldano Cattoni; Francesco Corcoglioniti; Christian Girardi; Bernardo Magnini; Luciano Serafini; Roberto Zanoli (New Trends of Research in Ontologies and Lexical Resources, 2013)

Multi-context Logics - A General Introduction. - Chiara Ghidini; Luciano Serafini (Context in Computing, 2014)

The Medical Cyber-physical Systems Activity at EIT: A Look under the Hood. - Daniel Sonntag; Sonja Zillner; Samarjit Chakraborty; András Lörincz; Esko Strömmer; Luciano Serafini (CBMS, 2014)

Defeasibility in Contextual Reasoning with CKR. - Loris Bozzato; Thomas Eiter; Luciano Serafini (CILC, 2014)

Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. - Mathew Joseph; Gabriel M. Kuper; Luciano Serafini (CILC, 2014)

Contextualized Knowledge Repositories with Justifiable Exceptions. - Loris Bozzato; Thomas Eiter; Luciano Serafini (Description Logics, 2014)

Combining Reasoning on Semantic Web Metadata. - Loris Bozzato; Luciano Serafini (ECAI, 2014)

Mixing Low-Level and Semantic Features for Image Interpretation - A Framework and a Simple Case Study. - Ivan Donadello; Luciano Serafini (ECCV Workshops (2), 2014)

Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation - (Extended Paper). - Loris Bozzato; Luciano Serafini (EKAW (Satellite Events), 2014)

Integrating Unstructured and Structured Knowledge with the KnowledgeStore. - Marco Rospocher; Francesco Corcoglioniti; Roldano Cattoni; Bernardo Magnini; Luciano Serafini (EKAW (Satellite Events), 2014)

On the Collaborative Development of Application Ontologies: A Practical Case Study with a SME. - Marco Rospocher; Elena Cardillo; Ivan Donadello; Luciano Serafini (EKAW, 2014)

An ontology for the Business Process Modelling Notation. - Marco Rospocher; Chiara Ghidini; Luciano Serafini (FOIS, 2014)

Human activity recognition from spatial data sources. - Zolzaya Dashdorj; Stanislav Sobolevsky; Luciano Serafini; Carlo Ratti (MobiGIS, 2014)

NewsReader: recording history from daily news streams. - Piek Vossen; German Rigau; Luciano Serafini; Pim Stouten; Francis Irving; Willem Robert van Hage (LREC, 2014)

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. - Mathew Joseph; Gabriel M. Kuper; Luciano Serafini (RR, 2014)

ePlanning: An Ontology-based System for Building Individualized Education Plans for Students with Special Educational Needs. - Sofia Cramerotti; Marco Buccio; Giampiero Vaschetto; Luciano Serafini; Marco Rospocher (ISWC (Industry Track), 2014)

Exploring an Ontology via Text Similarity: An Experimental Study. - Daniil Mirylenka; Marco Rospocher; Ivan Donadello; Elena Cardillo; Luciano Serafini (IESD@ISWC, 2014)

Integrating NLP and SW with the KnowledgeStore. - Marco Rospocher; Francesco Corcoglioniti; Roldano Cattoni; Bernardo Magnini; Luciano Serafini (ISWC (Posters & Demos), 2014)

Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources. - Claudia d'Amato; Volha Bryl; Luciano Serafini (URSW (LNCS Vol.), 2014)

Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation. - Loris Bozzato; Luciano Serafini (CoRR, 2014)

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). - Mathew Joseph; Gabriel M. Kuper; Luciano Serafini (CoRR, 2014)

A Contextual Framework for Reasoning on Events. - Loris Bozzato; Stefano Borgo; Alessio Palmero Aprosio; Marco Rospocher; Luciano Serafini (DeRiVE@ESWC, 2015)

Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach. - Daniil Mirylenka; Andrea Passerini; Luciano Serafini (IJCAI, 2015)

Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge. - Zolzaya Dashdorj; Stanislav Sobolevsky; Luciano Serafini; Fabrizio Antonelli; Carlo Ratti (CoRR, 2015)

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). - Mathew Joseph; Gabriel M. Kuper; Till Mossakowski; Luciano Serafini (CoRR, 2015)

Getting the environmental information across: from the Web to the user. - Leo Wanner; Harald Bosch; Nadjet Bouayad-Agha; Gerard Casamayor; Thomas Ertl; Désirée Hilbring; Lasse Johansson; Kostas D. Karatzas; Ari Karppinen; Ioannis Kompatsiaris; Tarja Koskentalo; Simon Mille; et al. (Expert Syst. J. Knowl. Eng., 2015)

Ontology-centered environmental information delivery for personalized decision support. - Leo Wanner; Marco Rospocher; Stefanos Vrochidis; Lasse Johansson; Nadjet Bouayad-Agha; Gerard Casamayor; Ari Karppinen; Ioannis Kompatsiaris; Simon Mille; Anastasia Moumtzidou; Luciano Serafini (Expert Syst. Appl., 2015)

The KnowledgeStore: A Storage Framework for Interlinking Unstructured and Structured Knowledge. - Francesco Corcoglioniti; Marco Rospocher; Roldano Cattoni; Bernardo Magnini; Luciano Serafini (Int. J. Semantic Web Inf. Syst., 2015)

Learning and Reasoning with Logic Tensor Networks. - Luciano Serafini; Artur S. d'Avila Garcez (AI*IA, 2016)

Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. - Luciano Serafini; Artur S. d'Avila Garcez (NeSy@HLAI, 2016)

On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning. - Stefano Borgo; Loris Bozzato; Alessio Palmero Aprosio; Marco Rospocher; Luciano Serafini (CoRR, 2016)

Integration of numeric and symbolic information for semantic image interpretation. - Ivan Donadello; Luciano Serafini (Intelligenza Artificiale, 2016)

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. - Mathew Joseph; Gabriel M. Kuper; Till Mossakowski; Luciano Serafini (Semantic Web, 2016)

CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. - Loris Bozzato; Luciano Serafini; Gaetano Calabrese (Description Logics, 2017)

Logic Tensor Networks for Semantic Image Interpretation. - Ivan Donadello; Luciano Serafini; Artur S. d'Avila Garcez (IJCAI, 2017)

Towards integration of ontology and text-extracted data for event coreference reasoning. - Stefano Borgo; Loris Bozzato; Alessio Palmero Aprosio; Marco Rospocher; Luciano Serafini (SAC, 2017)

Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation. - Luciano Serafini; Ivan Donadello; Artur S. d'Avila Garcez (SAC, 2017)

CKR: Live Demo: Representing an Evolving Scenario by Contexts and Exceptions. - Loris Bozzato; Luciano Serafini; Gaetano Calabrese (ISWC (Posters, Demos & Industry Tracks), 2017)

Distributed First Order Logic. - Chiara Ghidini; Luciano Serafini (Artif. Intell., 2017)

Bayesian Markov Logic Networks - Bayesian Inference for Statistical Relational Learning. - Radim Nedbal; Luciano Serafini (AI*IA, 2018)

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). - Loris Bozzato; Thomas Eiter; Luciano Serafini (IJCAI, 2018)

Reasoning with Justifiable Exceptions in Contextual Hierarchies. - Loris Bozzato; Luciano Serafini; Thomas Eiter (KR, 2018)

Enhancing context knowledge repositories with justifiable exceptions. - Loris Bozzato; Thomas Eiter; Luciano Serafini (Artif. Intell., 2018)

Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). - Loris Bozzato; Luciano Serafini; Thomas Eiter (CoRR, 2018)

Learning Abstract Planning Domains and Mappings to Real World Perceptions. - Luciano Serafini; Paolo Traverso (AI*IA, 2019)

Reasoning with Justifiable Exceptions in Eℒ_ bot Contextualized Knowledge Repositories. - Loris Bozzato; Thomas Eiter; Luciano Serafini (Description Logic, Theory Combination, and All That, 2019)

Event Detection from Video Using Answer Set Programing. - Abdullah Khan; Luciano Serafini; Loris Bozzato; Beatrice Lazzerini (CILC, 2019)

Justifiable Exceptions in General Contextual Hierarchies. - Loris Bozzato; Thomas Eiter; Luciano Serafini (CONTEXT, 2019)

A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. - Loris Bozzato; Thomas Eiter; Luciano Serafini (Description Logics, 2019)

Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming. - Abdullah Khan; Loris Bozzato; Luciano Serafini; Beatrice Lazzerini (GCAI, 2019)

Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. - Ivan Donadello; Luciano Serafini (IJCNN, 2019)

Knowledge Enhanced Neural Networks. - Alessandro Daniele; Luciano Serafini (PRICAI (1), 2019)

Complementing Logical Reasoning with Sub-symbolic Commonsense. - Federico Bianchi 001; Matteo Palmonari; Pascal Hitzler; Luciano Serafini (RuleML+RR, 2019)

Reasoning on extitDL-Lite_ℛ with Defeasibility in ASP. - Loris Bozzato; Thomas Eiter; Luciano Serafini (RuleML+RR, 2019)

Incremental Learning of Discrete Planning Domains from Continuous Perceptions. - Luciano Serafini; Paolo Traverso (CoRR, 2019)

A Note on Reasoning on DL-LiteR with Defeasibility. - Loris Bozzato; Thomas Eiter; Luciano Serafini (CoRR, 2019)

Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. - Artur S. d'Avila Garcez; Marco Gori; Luís C. Lamb; Luciano Serafini; Michael Spranger; Son N. Tran (FLAP, 2019)

VT-LINKER: Visual-Textual-Knowledge Entity Linker. - Shahi Dost; Luciano Serafini; Marco Rospocher; Lamberto Ballan; Alessandro Sperduti (ECAI, 2020)

Exploiting Scene-Specific Features for Object Goal Navigation. - Tommaso Campari; Paolo Eccher; Luciano Serafini; Lamberto Ballan (ECCV Workshops (4), 2020)

Jointly Linking Visual and Textual Entity Mentions with Background Knowledge. - Shahi Dost; Luciano Serafini; Marco Rospocher; Lamberto Ballan; Alessandro Sperduti (NLDB, 2020)

VTKEL: a resource for visual-textual-knowledge entity linking. - Shahi Dost; Luciano Serafini; Marco Rospocher; Lamberto Ballan; Alessandro Sperduti (SAC, 2020)

On Visual-Textual-Knowledge Entity Linking. - Shahi Dost; Luciano Serafini; Marco Rospocher; Lamberto Ballan; Alessandro Sperduti (ICSC, 2020)

Neural Networks Enhancement through Prior Logical Knowledge. - Alessandro Daniele; Luciano Serafini (CoRR, 2020)

Weighed Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. - Sagar Malhotra; Luciano Serafini (CoRR, 2020)

On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces. - Leonardo Lamanna 001; Alfonso Emilio Gerevini; Alessandro Saetti; Luciano Serafini; Paolo Traverso (AAAI, 2021)

A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints. - Sagar Malhotra; Luciano Serafini (AI*IA, 2021)

Learning and Reasoning with Logic Tensor Networks: the Framework and an Application. - Luciano Serafini (Description Logics, 2021)

Learning and Reasoning with Logic Tensor Networks: The Framework and an Application (Abstract of Invited Talk). - Luciano Serafini (DAO-XAI, 2021)

Online Learning of Action Models for PDDL Planning. - Leonardo Lamanna 001; Alessandro Saetti; Luciano Serafini; Alfonso Gerevini; Paolo Traverso (IJCAI, 2021)

A Neuro-Symbolic Approach to Structured Event Recognition. - Gianluca Apriceno; Andrea Passerini; Luciano Serafini (TIME, 2021)

Reasoning on DL-LiteR with Defeasibility in ASP. - Loris Bozzato; Thomas Eiter; Luciano Serafini (CoRR, 2021)

A formalisation of BPMN in Description Logics. - Chiara Ghidini; Marco Rospocher; Luciano Serafini (CoRR, 2021)

Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments. - Leonardo Lamanna 001; Luciano Serafini; Alessandro Saetti; Alfonso Gerevini; Paolo Traverso (CoRR, 2021)

On some Foundational Aspects of Human-Centered Artificial Intelligence. - Luciano Serafini; Raul Barbosa; Jasmin Grosinger 001; Luca Iocchi; Christian Napoli 001; Salvatore Rinzivillo; Jacques Robin; Alessandro Saffiotti; Teresa Scantamburlo; Peter Schüller; Paolo Traverso; Javier Vázquez-Salceda (CoRR, 2021)

Knowledge Graph OLAP. - Christoph G. Schuetz; Loris Bozzato; Bernd Neumayr; Michael Schrefl; Luciano Serafini (Semantic Web, 2021)

Logic Tensor Networks: Theory and Applications. - Luciano Serafini; Artur S. d'Avila Garcez; Samy Badreddine; Ivan Donadello; Michael Spranger; Federico Bianchi 001 (Neuro-Symbolic Artificial Intelligence, 2021)

Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. - Sagar Malhotra; Luciano Serafini (AAAI, 2022)

Logic Tensor Networks for Top-N Recommendation. - Tommaso Carraro; Alessandro Daniele; Fabio Aiolli; Luciano Serafini (AI*IA, 2022)

Knowledge Enhanced Neural Networks for Relational Domains. - Alessandro Daniele; Luciano Serafini (AI*IA, 2022)

Online Learning of Reusable Abstract Models for Object Goal Navigation. - Tommaso Campari; Leonardo Lamanna 001; Paolo Traverso; Luciano Serafini; Lamberto Ballan (CVPR, 2022)

Multi Context Model Counting. - Luciano Serafini (TEXT2KG/MK@ESWC, 2022)

Online Grounding of Symbolic Planning Domains in Unknown Environments. - Leonardo Lamanna 001; Luciano Serafini; Alessandro Saetti; Alfonso Gerevini; Paolo Traverso (KR, 2022)

On Projectivity in Markov Logic Networks. - Sagar Malhotra; Luciano Serafini (ECML/PKDD (5), 2022)

A better loss for visual-textual grounding. - Davide Rigoni 001; Luciano Serafini; Alessandro Sperduti (SAC, 2022)

A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. - Gianluca Apriceno; Andrea Passerini; Luciano Serafini (TIME, 2022)

Logic Tensor Networks. - Samy Badreddine; Artur S. d'Avila Garcez; Luciano Serafini; Michael Spranger (Artif. Intell., 2022)

Exploiting Socially-Aware Tasks for Embodied Social Navigation. - Enrico Cancelli; Tommaso Campari; Luciano Serafini; Angel X. Chang; Lamberto Ballan (CoRR, 2022)

Aligning and linking entity mentions in image, text, and knowledge base. - Shahi Dost; Luciano Serafini; Marco Rospocher; Lamberto Ballan; Alessandro Sperduti (Data Knowl. Eng., 2022)

Reasoning on with Defeasibility in ASP. - Loris Bozzato; Thomas Eiter; Luciano Serafini (Theory Pract. Log. Program., 2022)

The Semantic PASCAL-Part Dataset. - Ivan Donadello; Luciano Serafini (Zenodo, 2022)

Planning for Learning Object Properties. - Leonardo Lamanna 001; Luciano Serafini; Mohamadreza Faridghasemnia; Alessandro Saffiotti; Alessandro Saetti; Alfonso Gerevini; Paolo Traverso (AAAI, 2023)

Weakly-Supervised Visual-Textual Grounding with Semantic Prior Refinement. - Davide Rigoni 001; Luca Parolari; Luciano Serafini; Alessandro Sperduti; Lamberto Ballan (BMVC, 2023)

Exploiting Proximity-Aware Tasks for Embodied Social Navigation. - Enrico Cancelli; Tommaso Campari; Luciano Serafini; Angel X. Chang; Lamberto Ballan (ICCV, 2023)

Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. - Alessandro Daniele; Tommaso Campari; Sagar Malhotra; Luciano Serafini (IJCAI, 2023)

Learning to Act for Perceiving in Partially Unknown Environments. - Leonardo Lamanna 001; Mohamadreza Faridghasemnia; Alfonso Gerevini; Alessandro Saetti; Alessandro Saffiotti; Luciano Serafini; Paolo Traverso (IJCAI, 2023)

Mitigating Data Sparsity via Neuro-Symbolic Knowledge Transfer. - Tommaso Carraro; Alessandro Daniele; Fabio Aiolli; Luciano Serafini (KaRS@RecSys, 2023)

Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions. - Loris Bozzato; Luciano Serafini (SAC, 2023)

Weighted First Order Model Counting with Directed Acyclic Graph Axioms. - Sagar Malhotra; Luciano Serafini (CoRR, 2023)

Interval Logic Tensor Networks. - Samy Badreddine; Gianluca Apriceno; Andrea Passerini; Luciano Serafini (CoRR, 2023)

logLTN: Differentiable Fuzzy Logic in the Logarithm Space. - Samy Badreddine; Luciano Serafini; Michael Spranger (CoRR, 2023)

Knowledge Enhanced Neural Networks for Point Cloud Semantic Segmentation. - Eleonora Grilli; Alessandro Daniele; Maarten Bassier; Fabio Remondino; Luciano Serafini (Remote. Sens., 2023)

Refining neural network predictions using background knowledge. - Alessandro Daniele; Emile van Krieken; Luciano Serafini; Frank van Harmelen (Mach. Learn., 2023)

IFH: A Diffusion Framework for Flexible Design of Graph Generative Models. - Samuel Cognolato; Alessandro Sperduti; Luciano Serafini (ECAI, 2024)

Action Model Learning from Noisy Traces: a Probabilistic Approach. - Leonardo Lamanna 001; Luciano Serafini (ICAPS, 2024)

Simple and Effective Transfer Learning for Neuro-Symbolic Integration. - Alessandro Daniele; Tommaso Campari; Sagar Malhotra; Luciano Serafini (NeSy (1), 2024)

Towards Counting Markov Equivalence Classes with Logical Constraints. - Davide Bizzaro; Luciano Serafini; Sagar Malhotra (CoRR, 2024)

LTNtorch: PyTorch Implementation of Logic Tensor Networks. - Tommaso Carraro; Luciano Serafini; Fabio Aiolli (CoRR, 2024)

Aligning Generalisation Between Humans and Machines. - Filip Ilievski; Barbara Hammer; Frank van Harmelen; Benjamin Paassen; Sascha Saralajew; Ute Schmid; Michael Biehl; Marianna Bolognesi; Xin Luna Dong; Kiril Gashteovski; Pascal Hitzler; Giuseppe Marra; et al. (CoRR, 2024)

Object search by a concept-conditioned object detector. - Davide Rigoni 001; Luciano Serafini; Alessandro Sperduti (Neural Comput. Appl., 2024)

TANGO: Training-free Embodied AI Agents for Open-world Tasks. - Filippo Ziliotto; Tommaso Campari; Luciano Serafini; Lamberto Ballan (CVPR, 2025)

Lifted action models learning from partial traces. - Leonardo Lamanna 001; Luciano Serafini; Alessandro Saetti; Alfonso Emilio Gerevini; Paolo Traverso (Artif. Intell., 2025)

Lifted inference beyond first-order logic. - Sagar Malhotra; Davide Bizzaro; Luciano Serafini (Artif. Intell., 2025)

Breaking Rank Bottlenecks in Knowledge Graph Completion. - Samy Badreddine; Emile van Krieken; Luciano Serafini (CoRR, 2025)

Correction: Object search by a concept-conditioned object detector. - Davide Rigoni 001; Luciano Serafini; Alessandro Sperduti (Neural Comput. Appl., 2025)