Luciano Serafini

312 papers A* 25A 9B 19C 11Misc 15Journal 87Unranked 128

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	D4: Distance diffusion for a truly equivariant molecular design. Neurocomputing Samuel Cognolato, Davide Rigoni, Marco Ballarini, Luciano Serafini, Stefano Moro, Alessandro Sperduti
2026	J	`jnl`	Discrete World Models via Regularization. CoRR Davide Bizzaro, Luciano Serafini
2026	—	`conf`	Online Learning of Object-Centric Symbolic Models in Partially Observable Environments. ICAART (1) Leonardo Lamanna, Luciano Serafini, Alessandro Saffiotti, Paolo Traverso
2025	J	`jnl`	Breaking Rank Bottlenecks in Knowledge Graph Completion. CoRR Samy Badreddine, Emile van Krieken, Luciano Serafini
2025	J	`jnl`	Correction: Object search by a concept-conditioned object detector. Neural Comput. Appl. Davide Rigoni, Luciano Serafini, Alessandro Sperduti
2025	—	`ed.`	Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025. ICLP Workshops Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2025	J	`jnl`	Lifted action models learning from partial traces. Artif. Intell. Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini, Paolo Traverso
2025	J	`jnl`	Lifted inference beyond first-order logic. Artif. Intell. Sagar Malhotra, Davide Bizzaro, Luciano Serafini
2025	J	`jnl`	PersONAL: Towards a Comprehensive Benchmark for Personalized Embodied Agents. CoRR Filippo Ziliotto, Jelin Raphael Akkara, Alessandro Daniele, Lamberto Ballan, Luciano Serafini, Tommaso Campari
2025	A*	`conf`	TANGO: Training-free Embodied AI Agents for Open-world Tasks. CVPR Filippo Ziliotto, Tommaso Campari, Luciano Serafini, Lamberto Ballan
2024	A*	`conf`	Action Model Learning from Noisy Traces: a Probabilistic Approach. ICAPS Leonardo Lamanna, Luciano Serafini
2024	J	`jnl`	Aligning Generalisation Between Humans and Machines. CoRR 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, Pasquale Minervini, Martin Mundt, Axel-Cyrille Ngonga Ngomo, Alessandro Oltramari, Gabriella Pasi, Zeynep G. Saribatur, Luciano Serafini, John Shawe-Taylor, Vered Shwartz, Gabriella Skitalinskaya, Clemens Stachl, Gido M. van de Ven, Thomas Villmann
2024	A	`conf`	IFH: A Diffusion Framework for Flexible Design of Graph Generative Models. ECAI Samuel Cognolato, Alessandro Sperduti, Luciano Serafini
2024	J	`jnl`	IFH: a Diffusion Framework for Flexible Design of Graph Generative Models. CoRR Samuel Cognolato, Alessandro Sperduti, Luciano Serafini
2024	J	`jnl`	LTNtorch: PyTorch Implementation of Logic Tensor Networks. CoRR Tommaso Carraro, Luciano Serafini, Fabio Aiolli
2024	—	`conf`	Mitigating Data Sparsity via Neuro-Symbolic Knowledge Transfer. ECIR (3) Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini
2024	J	`jnl`	Object search by a concept-conditioned object detector. Neural Comput. Appl. Davide Rigoni, Luciano Serafini, Alessandro Sperduti
2024	—	`ed.`	Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy. AI4CC-IPS-RCRA-SPIRIT@AI*IA Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2024	—	`conf`	Simple and Effective Transfer Learning for Neuro-Symbolic Integration. NeSy (1) Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini
2024	J	`jnl`	Simple and Effective Transfer Learning for Neuro-Symbolic Integration. CoRR Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini
2024	J	`jnl`	TANGO: Training-free Embodied AI Agents for Open-world Tasks. CoRR Filippo Ziliotto, Tommaso Campari, Luciano Serafini, Lamberto Ballan
2024	J	`jnl`	Towards Counting Markov Equivalence Classes with Logical Constraints. CoRR Davide Bizzaro, Luciano Serafini, Sagar Malhotra
2023	A*	`conf`	Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. IJCAI Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini
2023	C	`conf`	Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. NeSy Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini
2023	A*	`conf`	Exploiting Proximity-Aware Tasks for Embodied Social Navigation. ICCV Enrico Cancelli, Tommaso Campari, Luciano Serafini, Angel X. Chang, Lamberto Ballan
2023	J	`jnl`	Interval Logic Tensor Networks. CoRR Samy Badreddine, Gianluca Apriceno, Andrea Passerini, Luciano Serafini
2023	J	`jnl`	Knowledge Enhanced Neural Networks for Point Cloud Semantic Segmentation. Remote. Sens. Eleonora Grilli, Alessandro Daniele, Maarten Bassier, Fabio Remondino, Luciano Serafini
2023	A*	`conf`	Learning to Act for Perceiving in Partially Unknown Environments. IJCAI Leonardo Lamanna, Mohamadreza Faridghasemnia, Alfonso Gerevini, Alessandro Saetti, Alessandro Saffiotti, Luciano Serafini, Paolo Traverso
2023	J	`jnl`	Lifted Inference beyond First-Order Logic. CoRR Sagar Malhotra, Davide Bizzaro, Luciano Serafini
2023	—	`conf`	Mitigating Data Sparsity via Neuro-Symbolic Knowledge Transfer. KaRS@RecSys Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini
2023	Misc	`conf`	Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions. SAC Loris Bozzato, Luciano Serafini
2023	A*	`conf`	Planning for Learning Object Properties. AAAI Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2023	J	`jnl`	Planning for Learning Object Properties. CoRR Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2023	—	`ed.`	Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy. IPS/RiCeRcA/SPIRIT@AI*IA Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2023	—	`ed.`	Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy. IPS-RCRA-SPIRIT@AI*IA Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2023	J	`jnl`	Refining neural network predictions using background knowledge. Mach. Learn. Alessandro Daniele, Emile van Krieken, Luciano Serafini, Frank van Harmelen
2023	A	`conf`	Weakly-Supervised Visual-Textual Grounding with Semantic Prior Refinement. BMVC Davide Rigoni, Luca Parolari, Luciano Serafini, Alessandro Sperduti, Lamberto Ballan
2023	J	`jnl`	Weakly-Supervised Visual-Textual Grounding with Semantic Prior Refinement. CoRR Davide Rigoni, Luca Parolari, Luciano Serafini, Alessandro Sperduti, Lamberto Ballan
2023	J	`jnl`	Weighted First Order Model Counting with Directed Acyclic Graph Axioms. CoRR Sagar Malhotra, Luciano Serafini
2023	J	`jnl`	logLTN: Differentiable Fuzzy Logic in the Logarithm Space. CoRR Samy Badreddine, Luciano Serafini, Michael Spranger
2022	C	`conf`	A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. TIME Gianluca Apriceno, Andrea Passerini, Luciano Serafini
2022	Misc	`conf`	A better loss for visual-textual grounding. SAC Davide Rigoni, Luciano Serafini, Alessandro Sperduti
2022	J	`jnl`	Aligning and linking entity mentions in image, text, and knowledge base. Data Knowl. Eng. Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti
2022	J	`jnl`	Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. CoRR Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini
2022	J	`jnl`	Exploiting Socially-Aware Tasks for Embodied Social Navigation. CoRR Enrico Cancelli, Tommaso Campari, Luciano Serafini, Angel X. Chang, Lamberto Ballan
2022	—	`conf`	Knowledge Enhanced Neural Networks for Relational Domains. AI*IA Alessandro Daniele, Luciano Serafini
2022	J	`jnl`	Knowledge Enhanced Neural Networks for relational domains. CoRR Alessandro Daniele, Luciano Serafini
2022	—	`conf`	Logic Tensor Networks for Top-N Recommendation. AI*IA Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini
2022	C	`conf`	Logic Tensor Networks for Top-N Recommendation. NeSy Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini
2022	J	`jnl`	Logic Tensor Networks. Artif. Intell. Samy Badreddine, Artur S. d'Avila Garcez, Luciano Serafini, Michael Spranger
2022	—	`conf`	Multi Context Model Counting. TEXT2KG/MK@ESWC Luciano Serafini
2022	—	`conf`	On Projectivity in Markov Logic Networks. ECML/PKDD (5) Sagar Malhotra, Luciano Serafini
2022	J	`jnl`	On Projectivity in Markov Logic Networks. CoRR Sagar Malhotra, Luciano Serafini
2022	A*	`conf`	Online Grounding of Symbolic Planning Domains in Unknown Environments. KR Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2022	A*	`conf`	Online Learning of Reusable Abstract Models for Object Goal Navigation. CVPR Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan
2022	J	`jnl`	Online Learning of Reusable Abstract Models for Object Goal Navigation. CoRR Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan
2022	J	`jnl`	Reasoning on with Defeasibility in ASP. Theory Pract. Log. Program. Loris Bozzato, Thomas Eiter, Luciano Serafini
2022	J	`jnl`	Refining neural network predictions using background knowledge. CoRR Alessandro Daniele, Emile van Krieken, Luciano Serafini, Frank van Harmelen
2022	A*	`conf`	Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. AAAI Sagar Malhotra, Luciano Serafini
2021	J	`jnl`	A Better Loss for Visual-Textual Grounding. CoRR Davide Rigoni, Luciano Serafini, Alessandro Sperduti
2021	—	`conf`	A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints. AI*IA Sagar Malhotra, Luciano Serafini
2021	C	`conf`	A Neuro-Symbolic Approach to Structured Event Recognition. TIME Gianluca Apriceno, Andrea Passerini, Luciano Serafini
2021	J	`jnl`	A formalisation of BPMN in Description Logics. CoRR Chiara Ghidini, Marco Rospocher, Luciano Serafini
2021	J	`jnl`	Knowledge Graph OLAP. Semantic Web Christoph G. Schuetz, Loris Bozzato, Bernd Neumayr, Michael Schrefl, Luciano Serafini
2021	—	`conf`	Learning and Reasoning with Logic Tensor Networks: The Framework and an Application (Abstract of Invited Talk). DAO-XAI Luciano Serafini
2021	—	`conf`	Learning and Reasoning with Logic Tensor Networks: the Framework and an Application. Description Logics Luciano Serafini
2021	—	`ch.`	Logic Tensor Networks: Theory and Applications. Neuro-Symbolic Artificial Intelligence Luciano Serafini, Artur S. d'Avila Garcez, Samy Badreddine, Ivan Donadello, Michael Spranger, Federico Bianchi
2021	J	`jnl`	On some Foundational Aspects of Human-Centered Artificial Intelligence. CoRR Luciano Serafini, Raul Barbosa, Jasmin Grosinger, Luca Iocchi, Christian Napoli, Salvatore Rinzivillo, Jacques Robin, Alessandro Saffiotti, Teresa Scantamburlo, Peter Schüller, Paolo Traverso, Javier Vázquez-Salceda
2021	A*	`conf`	On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces. AAAI Leonardo Lamanna, Alfonso Emilio Gerevini, Alessandro Saetti, Luciano Serafini, Paolo Traverso
2021	J	`jnl`	Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments. CoRR Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2021	A*	`conf`	Online Learning of Action Models for PDDL Planning. IJCAI Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Gerevini, Paolo Traverso
2021	J	`jnl`	Reasoning on DL-Lite CoRR Loris Bozzato, Thomas Eiter, Luciano Serafini
2021	J	`jnl`	Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. CoRR Sagar Malhotra, Luciano Serafini
2020	—	`conf`	Exploiting Scene-Specific Features for Object Goal Navigation. ECCV Workshops (4) Tommaso Campari, Paolo Eccher, Luciano Serafini, Lamberto Ballan
2020	J	`jnl`	Exploiting Scene-specific Features for Object Goal Navigation. CoRR Tommaso Campari, Paolo Eccher, Luciano Serafini, Lamberto Ballan
2020	C	`conf`	Jointly Linking Visual and Textual Entity Mentions with Background Knowledge. NLDB Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti
2020	J	`jnl`	Logic Tensor Networks. CoRR Samy Badreddine, Artur S. d'Avila Garcez, Luciano Serafini, Michael Spranger
2020	J	`jnl`	Neural Networks Enhancement through Prior Logical Knowledge. CoRR Alessandro Daniele, Luciano Serafini
2020	—	`conf`	On Visual-Textual-Knowledge Entity Linking. ICSC Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti
2020	—	`ed.`	Proceedings of the First International Workshop on New Foundations for Human-Centered AI (NeHuAI) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostella, Spain, September 4, 2020. NeHuAI@ECAI Alessandro Saffiotti, Luciano Serafini, Paul Lukowicz
2020	—	`ed.`	Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020. JOWO Karl Hammar, Oliver Kutz, Anastasia Dimou, Torsten Hahmann, Robert Hoehndorf, Claudio Masolo, Randi Vita, Sarra Ben Abbès, Rim Hantach, Philippe Calvez, Tiago Prince Sales, Daniele Porello, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Martin G. Skjæveland, Daniel P. Lupp, Ian Horrocks, Johan W. Klüwer, Christian Kindermann, Loris Bozzato, Till Mossakowski, Luciano Serafini
2020	A	`conf`	Reasoning with Justifiable Exceptions in Contextual Hierarchies. ECAI Loris Bozzato, Luciano Serafini, Thomas Eiter
2020	A	`conf`	VT-LINKER: Visual-Textual-Knowledge Entity Linker. ECAI Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti
2020	Misc	`conf`	VTKEL: a resource for visual-textual-knowledge entity linking. SAC Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti
2020	J	`jnl`	Weighed Model Counting in FO CoRR Sagar Malhotra, Luciano Serafini
2019	—	`conf`	A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. Description Logics Loris Bozzato, Thomas Eiter, Luciano Serafini
2019	J	`jnl`	A Note on Reasoning on DL-Lite CoRR Loris Bozzato, Thomas Eiter, Luciano Serafini
2019	B	`conf`	Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. IJCNN Ivan Donadello, Luciano Serafini
2019	J	`jnl`	Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. CoRR Ivan Donadello, Luciano Serafini
2019	B	`conf`	Complementing Logical Reasoning with Sub-symbolic Commonsense. RuleML+RR Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini
2019	—	`conf`	Event Detection from Video Using Answer Set Programing. CILC Abdullah Khan, Luciano Serafini, Loris Bozzato, Beatrice Lazzerini
2019	J	`jnl`	Incremental Learning of Discrete Planning Domains from Continuous Perceptions. CoRR Luciano Serafini, Paolo Traverso
2019	—	`conf`	Justifiable Exceptions in General Contextual Hierarchies. CONTEXT Loris Bozzato, Thomas Eiter, Luciano Serafini
2019	—	`conf`	Knowledge Enhanced Neural Networks. PRICAI (1) Alessandro Daniele, Luciano Serafini
2019	—	`conf`	Learning Abstract Planning Domains and Mappings to Real World Perceptions. AI*IA Luciano Serafini, Paolo Traverso
2019	J	`jnl`	Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. CoRR Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran
2019	J	`jnl`	Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. FLAP Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran
2019	B	`conf`	Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP. RuleML+RR Loris Bozzato, Thomas Eiter, Luciano Serafini
2019	—	`conf`	Reasoning with Justifiable Exceptions in Description Logic, Theory Combination, and All That Loris Bozzato, Thomas Eiter, Luciano Serafini
2019	—	`conf`	Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming. GCAI Abdullah Khan, Loris Bozzato, Luciano Serafini, Beatrice Lazzerini
2018	—	`conf`	Bayesian Markov Logic Networks - Bayesian Inference for Statistical Relational Learning. AI*IA Radim Nedbal, Luciano Serafini
2018	A*	`conf`	Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). IJCAI Loris Bozzato, Thomas Eiter, Luciano Serafini
2018	J	`jnl`	Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. Loris Bozzato, Thomas Eiter, Luciano Serafini
2018	J	`jnl`	Learning abstract planning domains and mappings to real world perceptions. CoRR Luciano Serafini, Paolo Traverso
2018	—	`ed.`	Proceedings of the AIIA Doctoral Consortium (DC) co-located with the 17th Conference of the Italian Association for Artificial Intelligence (AIIA 2018), Trento, Italy, November 20-23, 2018. DC@AI*IA Marco Rospocher, Luciano Serafini, Sara Tonelli
2018	J	`jnl`	Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). CoRR Loris Bozzato, Luciano Serafini, Thomas Eiter
2018	A*	`conf`	Reasoning with Justifiable Exceptions in Contextual Hierarchies. KR Loris Bozzato, Luciano Serafini, Thomas Eiter
2017	—	`conf`	CKR: Live Demo: Representing an Evolving Scenario by Contexts and Exceptions. ISWC (Posters, Demos & Industry Tracks) Loris Bozzato, Luciano Serafini, Gaetano Calabrese
2017	—	`conf`	CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. Description Logics Loris Bozzato, Luciano Serafini, Gaetano Calabrese
2017	J	`jnl`	Distributed First Order Logic. Artif. Intell. Chiara Ghidini, Luciano Serafini
2017	Misc	`conf`	Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation. SAC Luciano Serafini, Ivan Donadello, Artur S. d'Avila Garcez
2017	A*	`conf`	Logic Tensor Networks for Semantic Image Interpretation. IJCAI Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez
2017	J	`jnl`	Logic Tensor Networks for Semantic Image Interpretation. CoRR Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez
2017	Misc	`conf`	Towards integration of ontology and text-extracted data for event coreference reasoning. SAC Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini
2016	J	`jnl`	Integration of numeric and symbolic information for semantic image interpretation. Intelligenza Artificiale Ivan Donadello, Luciano Serafini
2016	—	`conf`	Learning and Reasoning with Logic Tensor Networks. AI*IA Luciano Serafini, Artur S. d'Avila Garcez
2016	—	`conf`	Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. NeSy@HLAI Luciano Serafini, Artur S. d'Avila Garcez
2016	J	`jnl`	Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. CoRR Luciano Serafini, Artur S. d'Avila Garcez
2016	J	`jnl`	On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning. CoRR Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini
2016	—	`ed.`	Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), New York City, NY, USA, July 16-17, 2016. NeSy@HLAI Tarek R. Besold, Luís C. Lamb, Luciano Serafini, Whitney Tabor
2016	J	`jnl`	Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. Semantic Web Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
2015	—	`conf`	A Contextual Framework for Reasoning on Events. DeRiVE@ESWC Loris Bozzato, Stefano Borgo, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini
2015	A*	`conf`	Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach. IJCAI Daniil Mirylenka, Andrea Passerini, Luciano Serafini
2015	J	`jnl`	Distributed First Order Logic. CoRR Chiara Ghidini, Luciano Serafini
2015	J	`jnl`	Getting the environmental information across: from the Web to the user. Expert Syst. J. Knowl. Eng. 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, Jürgen Moßgraber, Anastasia Moumtzidou, Maria Myllynen, Emanuele Pianta, Marco Rospocher, Luciano Serafini, Virpi Tarvainen, Sara Tonelli, Stefanos Vrochidis
2015	J	`jnl`	Ontology-centered environmental information delivery for personalized decision support. Expert Syst. Appl. Leo Wanner, Marco Rospocher, Stefanos Vrochidis, Lasse Johansson, Nadjet Bouayad-Agha, Gerard Casamayor, Ari Karppinen, Ioannis Kompatsiaris, Simon Mille, Anastasia Moumtzidou, Luciano Serafini
2015	J	`jnl`	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). CoRR Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
2015	J	`jnl`	Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge. CoRR Zolzaya Dashdorj, Stanislav Sobolevsky, Luciano Serafini, Fabrizio Antonelli, Carlo Ratti
2015	J	`jnl`	The KnowledgeStore: A Storage Framework for Interlinking Unstructured and Structured Knowledge. Int. J. Semantic Web Inf. Syst. Francesco Corcoglioniti, Marco Rospocher, Roldano Cattoni, Bernardo Magnini, Luciano Serafini
2014	C	`conf`	An ontology for the Business Process Modelling Notation. FOIS Marco Rospocher, Chiara Ghidini, Luciano Serafini
2014	A	`conf`	Combining Reasoning on Semantic Web Metadata. ECAI Loris Bozzato, Luciano Serafini
2014	—	`conf`	Contextualized Knowledge Repositories with Justifiable Exceptions. Description Logics Loris Bozzato, Thomas Eiter, Luciano Serafini
2014	—	`conf`	Defeasibility in Contextual Reasoning with CKR. CILC Loris Bozzato, Thomas Eiter, Luciano Serafini
2014	—	`conf`	Exploring an Ontology via Text Similarity: An Experimental Study. IESD@ISWC Daniil Mirylenka, Marco Rospocher, Ivan Donadello, Elena Cardillo, Luciano Serafini
2014	—	`conf`	Human activity recognition from spatial data sources. MobiGIS Zolzaya Dashdorj, Stanislav Sobolevsky, Luciano Serafini, Carlo Ratti
2014	—	`conf`	Integrating NLP and SW with the KnowledgeStore. ISWC (Posters & Demos) Marco Rospocher, Francesco Corcoglioniti, Roldano Cattoni, Bernardo Magnini, Luciano Serafini
2014	—	`conf`	Integrating Unstructured and Structured Knowledge with the KnowledgeStore. EKAW (Satellite Events) Marco Rospocher, Francesco Corcoglioniti, Roldano Cattoni, Bernardo Magnini, Luciano Serafini
2014	—	`conf`	Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation - (Extended Paper). EKAW (Satellite Events) Loris Bozzato, Luciano Serafini
2014	J	`jnl`	Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation. CoRR Loris Bozzato, Luciano Serafini
2014	—	`conf`	Mixing Low-Level and Semantic Features for Image Interpretation - A Framework and a Simple Case Study. ECCV Workshops (2) Ivan Donadello, Luciano Serafini
2014	—	`ch.`	Multi-context Logics - A General Introduction. Context in Computing Chiara Ghidini, Luciano Serafini
2014	B	`conf`	NewsReader: recording history from daily news streams. LREC Piek Vossen, German Rigau, Luciano Serafini, Pim Stouten, Francis Irving, Willem Robert van Hage
2014	B	`conf`	On the Collaborative Development of Application Ontologies: A Practical Case Study with a SME. EKAW Marco Rospocher, Elena Cardillo, Ivan Donadello, Luciano Serafini
2014	—	`conf`	Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. CILC Mathew Joseph, Gabriel M. Kuper, Luciano Serafini
2014	—	`conf`	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. RR Mathew Joseph, Gabriel M. Kuper, Luciano Serafini
2014	J	`jnl`	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). CoRR Mathew Joseph, Gabriel M. Kuper, Luciano Serafini
2014	—	`conf`	Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources. URSW (LNCS Vol.) Claudia d'Amato, Volha Bryl, Luciano Serafini
2014	B	`conf`	The Medical Cyber-physical Systems Activity at EIT: A Look under the Hood. CBMS Daniel Sonntag, Sonja Zillner, Samarjit Chakraborty, András Lörincz, Esko Strömmer, Luciano Serafini
2014	—	`conf`	ePlanning: An Ontology-based System for Building Individualized Education Plans for Students with Special Educational Needs. ISWC (Industry Track) Sofia Cramerotti, Marco Buccio, Giampiero Vaschetto, Luciano Serafini, Marco Rospocher
2013	—	`ch.`	Anchoring Background Knowledge to Rich Multimedia Contexts in the KnowledgeStore. New Trends of Research in Ontologies and Lexical Resources Roldano Cattoni, Francesco Corcoglioniti, Christian Girardi, Bernardo Magnini, Luciano Serafini, Roberto Zanoli
2013	B	`conf`	Comparing contextual and flat representations of knowledge: a concrete case about football data. K-CAP Loris Bozzato, Chiara Ghidini, Luciano Serafini
2013	—	`conf`	Denoting Data in the Grounded Annotation Framework. ISWC (Posters & Demos) Marieke van Erp, Antske Fokkens, Piek Vossen, Sara Tonelli, Willem Robert van Hage, Luciano Serafini, Rachele Sprugnoli, Jesper Hoeksema
2013	—	`conf`	ExpTime Tableaux Algorithm for Contextualized CONTEXT Loris Bozzato, Martin Homola, Luciano Serafini
2013	—	`conf`	GAF: A Grounded Annotation Framework for Events. EVENTS@NAACL-HLT Antske Fokkens, Marieke van Erp, Piek Vossen, Sara Tonelli, Willem Robert van Hage, Luciano Serafini, Rachele Sprugnoli, Jesper Hoeksema
2013	—	`conf`	Interlinking Unstructured and Structured Knowledge in an Integrated Framework. ICSC Francesco Corcoglioniti, Marco Rospocher, Roldano Cattoni, Bernardo Magnini, Luciano Serafini
2013	—	`conf`	Materialization Calculus for Contexts in the Semantic Web. Description Logics Loris Bozzato, Luciano Serafini
2013	—	`conf`	Semantic Enrichment of Mobile Phone Data Records Using Linked Open Data. ISWC (Posters & Demos) Zolzaya Dashdorj, Luciano Serafini
2013	—	`conf`	Semantic Interpretation of Mobile Phone Records Exploiting Background Knowledge. ISWC-DC Zolzaya Dashdorj, Luciano Serafini
2013	B	`conf`	Semantic enrichment of mobile phone data records. MUM Zolzaya Dashdorj, Luciano Serafini, Fabrizio Antonelli, Roberto Larcher
2013	J	`jnl`	Semantic technologies for industry: From knowledge modeling and integration to intelligent applications. Intelligenza Artificiale Giovanni Semeraro, Pierpaolo Basile, Roberto Basili, Marco de Gemmis, Chiara Ghidini, Maurizio Lenzerini, Pasquale Lops, Alessandro Moschitti, Cataldo Musto, Fedelucio Narducci, Arianna Pipitone, Roberto Pirrone, Piero Poccianti, Luciano Serafini
2012	—	`conf`	A Formal Semantics for Weighted Ontology Mappings. ISWC (1) Manuel Atencia, Alexander Borgida, Jérôme Euzenat, Chiara Ghidini, Luciano Serafini
2012	Misc	`conf`	A novel Framenet-based resource for the semantic web. SAC Volha Bryl, Sara Tonelli, Claudio Giuliano, Luciano Serafini
2012	—	`conf`	An Ontological Framework for Decision Support. JIST Marco Rospocher, Luciano Serafini
2012	J	`jnl`	Contextualized knowledge repositories for the Semantic Web. J. Web Semant. Luciano Serafini, Martin Homola
2012	J	`jnl`	Corpus-based terminological evaluation of ontologies. Appl. Ontology Marco Rospocher, Sara Tonelli, Luciano Serafini, Emanuele Pianta
2012	—	`conf`	Data-Driven Logical Reasoning. URSW Claudia d'Amato, Volha Bryl, Luciano Serafini
2012	—	`conf`	Formal Verification of Data Provenance Records. ISWC (1) Szymon Klarman, Stefan Schlobach, Luciano Serafini
2012	C	`conf`	From Ontology to NL: Generation of Multilingual User-Oriented Environmental Reports. NLDB Nadjet Bouayad-Agha, Gerard Casamayor, Simon Mille, Marco Rospocher, Horacio Saggion, Luciano Serafini, Leo Wanner
2012	—	`conf`	Generation of Multilingual Personalized Environmental Bulletins from an OWL-based Ontology. EnviroInfo Nadjet Bouayad-Agha, Gerard Casamayor, Simon Mille, Marco Rospocher, Luciano Serafini, Jürgen Moßgraber, Leo Wanner
2012	B	`conf`	Investigating the Semantics of Frame Elements. EKAW Sara Tonelli, Volha Bryl, Claudio Giuliano, Luciano Serafini
2012	B	`conf`	Key-Concept Extraction for Ontology Engineering. EKAW Marco Rospocher, Sara Tonelli, Luciano Serafini, Emanuele Pianta
2012	—	`conf`	Multi Context Logics: a Formal Framework for Structuring Knowledge. WoMO Luciano Serafini
2012	—	`conf`	Ontology-centric Decision Support. SeRSy Marco Rospocher, Luciano Serafini
2012	—	`conf`	Personalized Environmental Service Configuration and Delivery Orchestration: The PESCaDO Demonstrator. ESWC (Satellite Events) 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, Simon Mille, Jürgen Moßgraber, Anastasia Moumtzidou, Maria Myllynen, Emanuele Pianta, Horacio Saggion, Luciano Serafini, Virpi Tarvainen, Sara Tonelli
2012	—	`conf`	Personalized Environmental Service Orchestration for Quality of Life Improvement. AIAI (2) 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, Lasse Johansson, Kostas D. Karatzas, Ioannis Kompatsiaris, Tarja Koskentalo, Simon Mille, Anastasia Moumtzidou, Emanuele Pianta, Luciano Serafini, Virpi Tarvainen
2012	B	`conf`	Semantic Knowledge Discovery from Heterogeneous Data Sources. EKAW Claudia d'Amato, Volha Bryl, Luciano Serafini
2012	J	`jnl`	Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes. IEEE Trans. Syst. Man Cybern. Part C Chiara Ghidini, Chiara Di Francescomarino, Marco Rospocher, Paolo Tonella, Luciano Serafini
2012	B	`conf`	The KnowledgeStore: an Entity-Based Storage System. LREC Roldano Cattoni, Francesco Corcoglioniti, Christian Girardi, Bernardo Magnini, Luciano Serafini, Roberto Zanoli
2012	—	`conf`	Towards More Effective Tableaux Reasoning for CKR. Description Logics Loris Bozzato, Martin Homola, Luciano Serafini
2012	—	`conf`	TrentinoMedia: Exploiting NLP and Background Knowledge to Browse a Large Multimedia News Store. PAI Roldano Cattoni, Francesco Corcoglioniti, Christian Girardi, Bernardo Magnini, Luciano Serafini, Roberto Zanoli
2011	J	`jnl`	A framework for the collaborative specification of semantically annotated business processes. J. Softw. Maintenance Res. Pract. Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella
2011	—	`ch.`	Applications of Semantic Wikis. Context and Semantics for Knowledge Management Michael Erdmann, Daniel Hansch, Viktoria Pammer, Marco Rospocher, Chiara Ghidini, Stefanie N. Lindstaedt, Luciano Serafini
2011	—	`conf`	Boosting Collaborative Ontology Building with Key-Concept Extraction. ICSC Sara Tonelli, Marco Rospocher, Emanuele Pianta, Luciano Serafini
2011	—	`conf`	Building an Environmental Information System for Personalized Content Delivery. ISESS 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, Ioannis Kompatsiaris, Tarja Koskentalo, Simon Mille, Anastasia Moumtzidou, Emanuele Pianta, Horacio Saggion, Luciano Serafini, Virpi Tarvainen
2011	—	`conf`	Contextual Representation and Reasoning with Description Logics. Description Logics Luciano Serafini, Martin Homola
2011	—	`conf`	Simple Reasoning for Contextualized RDF Knowledge. WoMO Mathew Joseph, Luciano Serafini
2011	—	`conf`	Wiki-Based Conceptual Modeling: An Experience with the Public Administration. ISWC (2) 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, Alessandro Tabarroni
2010	—	`conf`	A Formal Model of Queries on Interlinked RDF Graphs. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence Paolo Bouquet, Chiara Ghidini, Luciano Serafini
2010	J	`jnl`	Augmenting Subsumption Propagation in Distributed Description Logics. Appl. Artif. Intell. Martin Homola, Luciano Serafini
2010	—	`conf`	Automatic Support for Formative Ontology Evaluation. EKAW (Posters and Demos) Viktoria Pammer, Stefanie N. Lindstaedt, Chiara Ghidini, Marco Rospocher, Luciano Serafini
2010	—	`conf`	Context-Driven Semantic Enrichment of Italian News Archive. ESWC (1) Andrei Tamilin, Bernardo Magnini, Luciano Serafini, Christian Girardi, Mathew Joseph, Roberto Zanoli
2010	—	`conf`	MoKi: a Wiki-Based Conceptual Modeling Tool. ISWC (Posters & Demos) Chiara Ghidini, Marco Rospocher, Luciano Serafini
2010	—	`conf`	MoKi: a Wiki-based Conceptual Modeling Tool. EKAW (Posters and Demos) Chiara Ghidini, Marco Rospocher, Luciano Serafini
2010	—	`conf`	Modeling Contextualized Knowledge. CIAO@EKAW Martin Homola, Andrei Tamilin, Luciano Serafini
2010	—	`conf`	Service-Based Infrastructure for User-Oriented Environmental Information Delivery. ENVIP@EnviroInfo 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, Maria Myllynen, Emanuele Pianta, Marco Rospocher, Horacio Saggion, Luciano Serafini, Virpi Tarvainen, Sara Tonelli, Thomas Usländer, Stefanos Vrochidis
2010	—	`conf`	Supporting Natural Language Processing with Background Knowledge: Coreference Resolution Case. ISWC (1) Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko
2010	—	`conf`	Towards Formal Comparison of Ontology Linking, Mapping and Importing. Description Logics Martin Homola, Luciano Serafini
2010	A	`conf`	Using Background Knowledge to Support Coreference Resolution. ECAI Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko
2009	—	`conf`	A Hybrid Methodology for Consumer-Oriented Healthcare Knowledge Acquisition. KR4HC Elena Cardillo, Luciano Serafini, Andrei Tamilin
2009	C	`conf`	A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition. KEOD Elena Cardillo, Andrei Tamilin, Luciano Serafini
2009	—	`conf`	A Lexical-Ontological Resource for Consumer Healthcare. eHealth Elena Cardillo, Luciano Serafini, Andrei Tamilin
2009	C	`conf`	A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare. IC3K Elena Cardillo, Andrei Tamilin, Luciano Serafini
2009	—	`conf`	Collaborative Specification of Semantically Annotated Business Processes. Business Process Management Workshops Marco Rospocher, Chiara Di Francescomarino, Chiara Ghidini, Luciano Serafini, Paolo Tonella
2009	—	`ch.`	Composing Modular Ontologies with Distributed Description Logics. Modular Ontologies Luciano Serafini, Andrei Tamilin
2009	—	`conf`	Context shifting for effective search over large knowledge bases. CIAO@ESWC Mathew Joseph, Luciano Serafini, Andrei Tamilin
2009	—	`ch.`	Formal and Conceptual Comparison of Ontology Mapping Languages. Modular Ontologies Saartje Brockmans, Peter Haase, Luciano Serafini, Heiner Stuckenschmidt
2009	—	`conf`	Highlighting Assertional Effects of Ontology Editing Activities in OWL. IWOD@ISWC Viktoria Pammer, Luciano Serafini, Stefanie N. Lindstaedt
2009	B	`conf`	MoKi: The Enterprise Modelling Wiki. ESWC Chiara Ghidini, Barbara Kump, Stefanie N. Lindstaedt, Nahid Mahbub, Viktoria Pammer, Marco Rospocher, Luciano Serafini
2009	—	`conf`	MoKi: the Modelling wiKi. SemWiki Marco Rospocher, Chiara Ghidini, Viktoria Pammer, Luciano Serafini, Stefanie N. Lindstaedt
2009	—	`ch.`	Modular Knowledge Representation and Reasoning in the Semantic Web. Semantic Web Information Management Luciano Serafini, Martin Homola
2009	—	`conf`	Querying the Web of Data: A Formal Approach. ASWC Paolo Bouquet, Chiara Ghidini, Luciano Serafini
2009	—	`conf`	Revision Support for Modeling Tasks, Topics and Skills. I-SEMANTICS Viktoria Pammer, Barbara Kump, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Stefanie N. Lindstaedt
2009	Misc	`conf`	Semantically-Aided Business Process Modeling. ISWC Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella
2008	—	`conf`	Bridging Heterogeneous Representations of Binary Relations: First Results. Description Logics Chiara Ghidini, Luciano Serafini, Sergio Tessaris
2008	—	`conf`	Collaborative Enterprise Integrated Modelling. SWAP Marco Rospocher, Chiara Ghidini, Luciano Serafini, Barbara Kump, Viktoria Pammer, Stefanie N. Lindstaedt, Andreas Faatz, Tobias Ley
2008	C	`conf`	Complexity of Reasoning With Expressive Ontology Mappings. FOIS Chiara Ghidini, Luciano Serafini, Sergio Tessaris
2008	Misc	`conf`	Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company. ISWC Conny Christl, Chiara Ghidini, Joanna Guss, Stefanie N. Lindstaedt, Viktoria Pammer, Marco Rospocher, Peter Scheir, Luciano Serafini
2008	Misc	`conf`	Logical Analysis of Mappings between Medical Classification Systems. AIMSA Elena Cardillo, Claudio Eccher, Luciano Serafini, Andrei Tamilin
2008	Misc	`conf`	Mapping Properties of Heterogeneous Ontologies. AIMSA Chiara Ghidini, Luciano Serafini
2008	A	`conf`	Reasoning on Semantically Annotated Processes. ICSOC Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella
2007	C	`conf`	A Modular Framework for Ontology-based Representation of Patent Information. JURIX Mark Giereth, Steffen Koch, Yiannis Kompatsiaris, Symeon Papadopoulos, Emanuele Pianta, Luciano Serafini, Leo Wanner
2007	A*	`conf`	Contextual Default Reasoning. IJCAI Gerhard Brewka, Floris Roelofsen, Luciano Serafini
2007	—	`conf`	Instance Migration in Heterogeneous Ontology Environments. ISWC/ASWC Luciano Serafini, Andrei Tamilin
2007	—	`conf`	On Relating Heterogeneous Elements from Different Ontologies. CONTEXT Chiara Ghidini, Luciano Serafini, Sergio Tessaris
2007	—	`conf`	On Relating Heterogeneous Elements from Different Ontologies. Description Logics Chiara Ghidini, Luciano Serafini, Sergio Tessaris
2007	—	`ed.`	Proceedings of the International Workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR) Collocated with the 6th International and Interdisciplinary Conference on Modelling and Using Context (CONTEXT-2007), Roskilde, Denmark, August 21st, 2007 C&O:RR Paolo Bouquet, Jérôme Euzenat, Chiara Ghidini, Deborah L. McGuinness, Luciano Serafini, Pavel Shvaiko, Holger Wache
2007	—	`conf`	Reasoning with Instances of Heterogeneous Ontologies. SWAP Luciano Serafini, Andrei Tamilin
2006	—	`conf`	Autonomous Ontology: Operations and Semantics. ASWC Yuting Zhao, Luciano Serafini, Fausto Giunchiglia
2006	A*	`conf`	Bootstrapping semantics on the web: meaning elicitation from schemas. WWW Paolo Bouquet, Luciano Serafini, Stefano Zanobini, Simone Sceffer
2006	J	`jnl`	Formal analysis of an agent-based optimisation strategy for Data Grids. Multiagent Grid Syst. David G. Cameron, Rubén Carvajal-Schiaffino, Caitriana Nicholson, Kurt Stockinger, Floriano Zini, A. Paul Millar, Luciano Serafini
2006	—	`conf`	From Mentions to Ontology: A Pilot Sudy. SWAP Octavian Popescu, Bernardo Magnini, Emanuele Pianta, Luciano Serafini, Manuela Speranza
2006	J	`jnl`	Logics For Artificial Intelligence. Intelligenza Artificiale Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
2006	—	`conf`	Mapping Properties of Heterogeneous Ontologies. WoMO Chiara Ghidini, Luciano Serafini
2006	B	`conf`	Matching Hierarchical Classifications with Attributes. ESWC Luciano Serafini, Stefano Zanobini, Simone Sceffer, Paolo Bouquet
2006	A*	`conf`	Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
2006	B	`conf`	Reconciling Concepts and Relations in Heterogeneous Ontologies. ESWC Chiara Ghidini, Luciano Serafini
2006	—	`conf`	Reconciling Concepts and Relations in Heterogeneous Ontologies. SWAP Chiara Ghidini, Luciano Serafini
2006	—	`ch.`	Semantic Coordination of Heterogeneous Classifications Schemas. Semantic Web and Peer-to-Peer Paolo Bouquet, Luciano Serafini, Stefano Zanobini
2006	—	`conf`	Semantic Import: An Approach for Partial Ontology Reuse. WoMO Jeff Z. Pan, Luciano Serafini, Yuting Zhao
2006	B	`conf`	The role of lexical resources in matching classification schemas. LREC Paolo Bouquet, Luciano Serafini, Stefano Zanobini
2006	—	`conf`	Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
2006	A	`conf`	Verifying space and time requirements for resource-bounded agents. AAMAS Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini
2005	A*	`conf`	A Formal Investigation of Mapping Language for Terminological Knowledge. IJCAI Luciano Serafini, Heiner Stuckenschmidt, Holger Wache
2005	—	`conf`	A Formal Investigation of Mapping Languages for Terminological Knowledge. BNAIC Luciano Serafini, Heiner Stuckenschmidt, Holger Wache
2005	A*	`conf`	Aspects of Distributed and Modular Ontology Reasoning. IJCAI Luciano Serafini, Alexander Borgida, Andrei Tamilin
2005	B	`conf`	DRAGO: Distributed Reasoning Architecture for the Semantic Web. ESWC Luciano Serafini, Andrei Tamilin
2005	—	`conf`	Distributed Instance Retrieval in Heterogeneous Ontologies. SWAP Luciano Serafini, Andrei Tamilin
2005	—	`conf`	From Text to Knowledge for the Semantic Web: the ONTOTEXT Project. SWAP Bernardo Magnini, Matteo Negri, Emanuele Pianta, Lorenza Romano, Manuela Speranza, Luciano Serafini, Christian Girardi, Valentina Bartalesi, Rachele Sprugnoli
2005	—	`conf`	Introducing Context into RDF Knowledge Bases. SWAP Paolo Bouquet, Luciano Serafini, Heiko Stoermer
2005	A*	`conf`	Minimal and Absent Information in Contexts. IJCAI Floris Roelofsen, Luciano Serafini
2005	—	`conf`	Minimality and Non-determinism in Multi-context Systems. CONTEXT Floris Roelofsen, Luciano Serafini
2004	J	`jnl`	Comparing formal theories of context in AI. Artif. Intell. Luciano Serafini, Paolo Bouquet
2004	A*	`conf`	Complexity of Contextual Reasoning. AAAI Floris Roelofsen, Luciano Serafini
2004	J	`jnl`	Contextualizing ontologies. J. Web Semant. Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt
2004	Misc	`conf`	Coordinating Semantic Peers. AIMSA Paolo Bouquet, Luciano Serafini, Stefano Zanobini
2004	—	`conf`	Local Tableaux for Reasoning in Distributed Description Logics. Description Logics Luciano Serafini, Andrei Tamilin
2004	A	`conf`	Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. ECAI Floris Roelofsen, Luciano Serafini, Alessandro Cimatti
2004	J	`jnl`	Peer-to-peer semantic coordination. J. Web Semant. Paolo Bouquet, Luciano Serafini, Stefano Zanobini
2004	A*	`conf`	Satisfiability for Propositional Contexts. KR Luciano Serafini, Floris Roelofsen
2004	J	`jnl`	Semantic Coordination for Document Retrieval. Künstliche Intell. Bernardo Magnini, Luciano Serafini, Manuela Speranza
2004	—	`conf`	Using C-OWL for the alignment and merging of medical ontologies. KR-MED Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini
2003	—	`conf`	A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. DBISP2P Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini
2003	J	`jnl`	A Robust and Computational Characterisation of Peer-to-Peer Database Systems CoRR Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini
2003	—	`conf`	A SAT-Based Algorithm for Context Matching. CONTEXT Paolo Bouquet, Bernardo Magnini, Luciano Serafini, Stefano Zanobini
2003	Misc	`conf`	C-OWL: Contextualizing Ontologies. ISWC Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt
2003	J	`jnl`	Context matching for electronic marketplaces: a case study. Knowl. Eng. Rev. Matteo Bonifacio, Antonia Donà, Alessandra Molani, Luciano Serafini
2003	J	`jnl`	Distributed Description Logics: Assimilating Information from Peer Sources. J. Data Semant. Alexander Borgida, Luciano Serafini
2003	—	`conf`	Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein
2003	—	`conf`	Making Explicit the Hidden Semantics of Hierarchical Classifications. AI*IA Bernardo Magnini, Luciano Serafini, Manuela Speranza
2003	—	`conf`	On the Difference between Bridge Rules and Lifting Axioms. CONTEXT Paolo Bouquet, Luciano Serafini
2003	—	`conf`	Planning For Web Services the Hard Way. SAINT Workshops Mark James Carman, Luciano Serafini
2003	—	`conf`	Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation. WOA Paolo Bouquet, Luciano Serafini, Mario Zanobini
2003	Misc	`conf`	Semantic Coordination: A New Approach and an Application. ISWC Paolo Bouquet, Luciano Serafini, Stefano Zanobini
2002	J	`jnl`	A Foundation for Metareasoning Part I: The Proof Theory. J. Log. Comput. Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
2002	J	`jnl`	A Foundation for Metareasoning Part II: The Model Theory. J. Log. Comput. Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
2002	—	`conf`	A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso
2002	—	`conf`	Data Management for Peer-to-Peer Computing : A Vision. WebDB Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu
2002	—	`conf`	Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. OTM Alexander Borgida, Luciano Serafini
2002	—	`conf`	Distributed Description Logics: First results. Description Logics Alexander Borgida, Luciano Serafini
2002	J	`jnl`	ML Systems: A Proof Theory for Contexts. J. Log. Lang. Inf. Luciano Serafini, Fausto Giunchiglia
2002	J	`jnl`	Mental States Recognition from Communication. J. Log. Comput. Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini
2002	Misc	`conf`	Multicontext Logic for Semigroups of Contexts. AISC Rolf Nossum, Luciano Serafini
2002	B	`conf`	Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid. CCGRID Mark James Carman, Floriano Zini, Luciano Serafini, Kurt Stockinger
2002	A*	`conf`	Updating Contexts. KR Antonia Donà, Luciano Serafini
2001	B	`conf`	Extending Multi-agent Cooperation by Overhearing. CoopIS Paolo Busetta, Luciano Serafini, Dhirendra Singh, Floriano Zini
2001	—	`conf`	Ontological Overhearing. ATAL Marco Aiello, Paolo Busetta, Antonia Donà, Luciano Serafini
2001	J	`jnl`	Toward an architecture for quantum programming CoRR S. Bettelli, Luciano Serafini, Tommaso Calarco
2001	—	`conf`	Two Formalizations of Context: A Comparison. CONTEXT Paolo Bouquet, Luciano Serafini
2000	—	`conf`	Updating Mental States from Communication. ATAL Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini
2000	—	`conf`	Updating mental states from informative communication. Agents Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini
2000	—	`conf`	Using Wrapper Agents to Answer Queries in Distributed Information Systems. ADVIS Luciano Serafini, Chiara Ghidini
2000	—	`conf`	Using Wrapper Agents to Answer Queries in Distributed Information Systems. ICMAS Luciano Serafini, Chiara Ghidini
1999	—	`conf`	A Context-Based Logic for Distributed Knowledge Representation and Reasoning. CONTEXT Chiara Ghidini, Luciano Serafini
1999	J	`jnl`	Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita
1999	—	`ed.`	Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings CONTEXT Paolo Bouquet, Luciano Serafini, Patrick Brézillon, Massimo Benerecetti, F. Castellani
1998	—	`conf`	A Model Checking Algorithm for Multiagent Systems. ATAL Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
1998	—	`conf`	Distributed First Order Logic. FroCoS Chiara Ghidini, Luciano Serafini
1998	—	`conf`	Information Integration for Electronic Commerce. AMET Chiara Ghidini, Luciano Serafini
1998	J	`jnl`	Model Checking Multiagent Systems. J. Log. Comput. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
1998	Misc	`conf`	Model Theoretic Semantics for Information Integration. AIMSA Chiara Ghidini, Luciano Serafini
1998	—	`conf`	Multiagent Systems Verification via Model Checking. EUROVAV Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
1996	—	`conf`	Formal Specification of Beliefs in Multi-Agent Systems. ATAL Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
1996	—	`conf`	Mechanizing Multi-Agent Reasoning with Belief Contexts. FAPR Alessandro Cimatti, Luciano Serafini
1995	—	`conf`	Agents as Reasoners, Observers or Believers. AI*IA Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
1995	—	`conf`	Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
1995	—	`conf`	Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance. ICMAS Alessandro Cimatti, Luciano Serafini
1994	—	`conf`	Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study. ECAI Workshop on Agent Theories, Architectures, and Languages Alessandro Cimatti, Luciano Serafini
1994	J	`jnl`	Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. Artif. Intell. Fausto Giunchiglia, Luciano Serafini
1993	A*	`conf`	Non-Omniscient Belief as Context-Based Resoning. IJCAI Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione
1992	—	`conf`	Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson
1992	—	`conf`	Multilanguage hierarchical logics (or: how we can do without modal logics). CNKBS Fausto Giunchiglia, Luciano Serafini
1991	—	`conf`	Mulitlanguage First Order Theories of Propositional Attitudes. SCAI Fausto Giunchiglia, Luciano Serafini