default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuciano Serafini
Person information
- affiliation: Fondazione Bruno Kessler, Trento, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j37]Leonardo Lamanna
, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini, Paolo Traverso:
Lifted action models learning from partial traces. Artif. Intell. 339: 104256 (2025)- 2024
- [j36]Davide Rigoni, Luciano Serafini, Alessandro Sperduti:
Object search by a concept-conditioned object detector. Neural Comput. Appl. 36(26): 16001-16021 (2024) - [c204]Samuel Cognolato, Alessandro Sperduti, Luciano Serafini:
IFH: A Diffusion Framework for Flexible Design of Graph Generative Models. ECAI 2024: 3039-3046 - [c203]Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini:
Mitigating Data Sparsity via Neuro-Symbolic Knowledge Transfer. ECIR (3) 2024: 226-242 - [c202]Leonardo Lamanna, Luciano Serafini:
Action Model Learning from Noisy Traces: a Probabilistic Approach. ICAPS 2024: 342-350 - [c201]Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini:
Simple and Effective Transfer Learning for Neuro-Symbolic Integration. NeSy (1) 2024: 166-179 - [i43]Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini:
Simple and Effective Transfer Learning for Neuro-Symbolic Integration. CoRR abs/2402.14047 (2024) - [i42]Davide Bizzaro, Luciano Serafini, Sagar Malhotra:
Towards Counting Markov Equivalence Classes with Logical Constraints. CoRR abs/2405.13736 (2024) - [i41]Samuel Cognolato, Alessandro Sperduti, Luciano Serafini:
IFH: a Diffusion Framework for Flexible Design of Graph Generative Models. CoRR abs/2408.13194 (2024) - [i40]Tommaso Carraro, Luciano Serafini, Fabio Aiolli:
LTNtorch: PyTorch Implementation of Logic Tensor Networks. CoRR abs/2409.16045 (2024) - [i39]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:
Aligning Generalisation Between Humans and Machines. CoRR abs/2411.15626 (2024) - 2023
- [j35]Alessandro Daniele, Emile van Krieken, Luciano Serafini, Frank van Harmelen:
Refining neural network predictions using background knowledge. Mach. Learn. 112(9): 3293-3331 (2023) - [j34]Eleonora Grilli, Alessandro Daniele, Maarten Bassier, Fabio Remondino, Luciano Serafini:
Knowledge Enhanced Neural Networks for Point Cloud Semantic Segmentation. Remote. Sens. 15(10): 2590 (2023) - [c200]Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Planning for Learning Object Properties. AAAI 2023: 12005-12013 - [c199]Davide Rigoni, Luca Parolari, Luciano Serafini, Alessandro Sperduti, Lamberto Ballan:
Weakly-Supervised Visual-Textual Grounding with Semantic Prior Refinement. BMVC 2023: 229 - [c198]Enrico Cancelli, Tommaso Campari, Luciano Serafini, Angel X. Chang, Lamberto Ballan:
Exploiting Proximity-Aware Tasks for Embodied Social Navigation. ICCV 2023: 10923-10933 - [c197]Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini:
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. IJCAI 2023: 3597-3605 - [c196]Leonardo Lamanna, Mohamadreza Faridghasemnia, Alfonso Gerevini, Alessandro Saetti, Alessandro Saffiotti, Luciano Serafini, Paolo Traverso:
Learning to Act for Perceiving in Partially Unknown Environments. IJCAI 2023: 5485-5493 - [c195]Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini:
Mitigating Data Sparsity via Neuro-Symbolic Knowledge Transfer. KaRS@RecSys 2023: 69-79 - [c194]Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini:
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. NeSy 2023: 418-419 - [c193]Loris Bozzato, Luciano Serafini:
Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions. SAC 2023: 1724-1731 - [e8]Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
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. CEUR Workshop Proceedings 3345, CEUR-WS.org 2023 [contents] - [e7]Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati:
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. CEUR Workshop Proceedings 3585, CEUR-WS.org 2023 [contents] - [i38]Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Planning for Learning Object Properties. CoRR abs/2301.06054 (2023) - [i37]Sagar Malhotra, Luciano Serafini:
Weighted First Order Model Counting with Directed Acyclic Graph Axioms. CoRR abs/2302.09830 (2023) - [i36]Samy Badreddine, Gianluca Apriceno, Andrea Passerini, Luciano Serafini:
Interval Logic Tensor Networks. CoRR abs/2303.17892 (2023) - [i35]Davide Rigoni, Luca Parolari, Luciano Serafini, Alessandro Sperduti, Lamberto Ballan:
Weakly-Supervised Visual-Textual Grounding with Semantic Prior Refinement. CoRR abs/2305.10913 (2023) - [i34]Samy Badreddine, Luciano Serafini, Michael Spranger:
logLTN: Differentiable Fuzzy Logic in the Logarithm Space. CoRR abs/2306.14546 (2023) - [i33]Sagar Malhotra, Davide Bizzaro, Luciano Serafini:
Lifted Inference beyond First-Order Logic. CoRR abs/2308.11738 (2023) - 2022
- [j33]Samy Badreddine, Artur S. d'Avila Garcez, Luciano Serafini, Michael Spranger:
Logic Tensor Networks. Artif. Intell. 303: 103649 (2022) - [j32]Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti:
Aligning and linking entity mentions in image, text, and knowledge base. Data Knowl. Eng. 138: 101975 (2022) - [j31]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on with Defeasibility in ASP. Theory Pract. Log. Program. 22(2): 254-304 (2022) - [c192]Sagar Malhotra, Luciano Serafini:
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. AAAI 2022: 5817-5824 - [c191]Alessandro Daniele, Luciano Serafini:
Knowledge Enhanced Neural Networks for Relational Domains. AI*IA 2022: 91-109 - [c190]Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini:
Logic Tensor Networks for Top-N Recommendation. AI*IA 2022: 110-123 - [c189]Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan:
Online Learning of Reusable Abstract Models for Object Goal Navigation. CVPR 2022: 14850-14859 - [c188]Luciano Serafini:
Multi Context Model Counting. TEXT2KG/MK@ESWC 2022: 159-164 - [c187]Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Online Grounding of Symbolic Planning Domains in Unknown Environments. KR 2022 - [c186]Tommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini:
Logic Tensor Networks for Top-N Recommendation. NeSy 2022: 1-14 - [c185]Sagar Malhotra, Luciano Serafini:
On Projectivity in Markov Logic Networks. ECML/PKDD (5) 2022: 223-238 - [c184]Davide Rigoni, Luciano Serafini, Alessandro Sperduti:
A better loss for visual-textual grounding. SAC 2022: 49-57 - [c183]Gianluca Apriceno, Andrea Passerini, Luciano Serafini:
A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. TIME 2022: 12:1-12:19 - [d1]Ivan Donadello, Luciano Serafini:
The Semantic PASCAL-Part Dataset. Zenodo, 2022
- [i32]Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan:
Online Learning of Reusable Abstract Models for Object Goal Navigation. CoRR abs/2203.02583 (2022) - [i31]Sagar Malhotra, Luciano Serafini:
On Projectivity in Markov Logic Networks. CoRR abs/2204.04009 (2022) - [i30]Alessandro Daniele, Luciano Serafini:
Knowledge Enhanced Neural Networks for relational domains. CoRR abs/2205.15762 (2022) - [i29]Alessandro Daniele, Emile van Krieken, Luciano Serafini, Frank van Harmelen:
Refining neural network predictions using background knowledge. CoRR abs/2206.04976 (2022) - [i28]Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini:
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions. CoRR abs/2208.11561 (2022) - [i27]Enrico Cancelli, Tommaso Campari, Luciano Serafini, Angel X. Chang, Lamberto Ballan:
Exploiting Socially-Aware Tasks for Embodied Social Navigation. CoRR abs/2212.00767 (2022) - 2021
- [j30]Christoph G. Schuetz, Loris Bozzato, Bernd Neumayr, Michael Schrefl, Luciano Serafini:
Knowledge Graph OLAP. Semantic Web 12(4): 649-683 (2021) - [c182]Leonardo Lamanna, Alfonso Emilio Gerevini, Alessandro Saetti, Luciano Serafini, Paolo Traverso:
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces. AAAI 2021: 11862-11869 - [c181]Sagar Malhotra, Luciano Serafini:
A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints. AI*IA 2021: 137-152 - [c180]Luciano Serafini:
Learning and Reasoning with Logic Tensor Networks: the Framework and an Application. Description Logics 2021 - [c179]Luciano Serafini:
Learning and Reasoning with Logic Tensor Networks: The Framework and an Application (Abstract of Invited Talk). DAO-XAI 2021 - [c178]Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Gerevini, Paolo Traverso:
Online Learning of Action Models for PDDL Planning. IJCAI 2021: 4112-4118 - [c177]Gianluca Apriceno, Andrea Passerini, Luciano Serafini:
A Neuro-Symbolic Approach to Structured Event Recognition. TIME 2021: 11:1-11:14 - [p8]Luciano Serafini, Artur S. d'Avila Garcez, Samy Badreddine, Ivan Donadello, Michael Spranger, Federico Bianchi:
Logic Tensor Networks: Theory and Applications. Neuro-Symbolic Artificial Intelligence 2021: 370-394 - [i26]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on DL-LiteR with Defeasibility in ASP. CoRR abs/2106.14801 (2021) - [i25]Davide Rigoni, Luciano Serafini, Alessandro Sperduti:
A Better Loss for Visual-Textual Grounding. CoRR abs/2108.05308 (2021) - [i24]Chiara Ghidini, Marco Rospocher, Luciano Serafini:
A formalisation of BPMN in Description Logics. CoRR abs/2109.10716 (2021) - [i23]Sagar Malhotra, Luciano Serafini:
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. CoRR abs/2110.05992 (2021) - [i22]Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments. CoRR abs/2112.10007 (2021) - [i21]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:
On some Foundational Aspects of Human-Centered Artificial Intelligence. CoRR abs/2112.14480 (2021) - 2020
- [c176]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. ECAI 2020: 2889-2890 - [c175]Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti:
VT-LINKER: Visual-Textual-Knowledge Entity Linker. ECAI 2020: 2897-2898 - [c174]Tommaso Campari, Paolo Eccher, Luciano Serafini, Lamberto Ballan:
Exploiting Scene-Specific Features for Object Goal Navigation. ECCV Workshops (4) 2020: 406-421 - [c173]Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti:
Jointly Linking Visual and Textual Entity Mentions with Background Knowledge. NLDB 2020: 264-276 - [c172]Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti:
VTKEL: a resource for visual-textual-knowledge entity linking. SAC 2020: 2021-2028 - [c171]Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan, Alessandro Sperduti:
On Visual-Textual-Knowledge Entity Linking. ICSC 2020: 190-193 - [e6]Alessandro Saffiotti, Luciano Serafini, Paul Lukowicz:
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. CEUR Workshop Proceedings 2659, CEUR-WS.org 2020 [contents] - [e5]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:
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. CEUR Workshop Proceedings 2708, CEUR-WS.org 2020 [contents] - [i20]Tommaso Campari, Paolo Eccher, Luciano Serafini, Lamberto Ballan:
Exploiting Scene-specific Features for Object Goal Navigation. CoRR abs/2008.09403 (2020) - [i19]Alessandro Daniele, Luciano Serafini:
Neural Networks Enhancement through Prior Logical Knowledge. CoRR abs/2009.06087 (2020) - [i18]Sagar Malhotra, Luciano Serafini:
Weighed Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. CoRR abs/2009.12237 (2020) - [i17]Samy Badreddine, Artur S. d'Avila Garcez, Luciano Serafini, Michael Spranger:
Logic Tensor Networks. CoRR abs/2012.13635 (2020)
2010 – 2019
- 2019
- [j29]Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran:
Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. FLAP 6(4): 611-632 (2019) - [c170]Luciano Serafini, Paolo Traverso:
Learning Abstract Planning Domains and Mappings to Real World Perceptions. AI*IA 2019: 461-476 - [c169]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories. Description Logic, Theory Combination, and All That 2019: 110-134 - [c168]Abdullah Khan, Luciano Serafini, Loris Bozzato, Beatrice Lazzerini:
Event Detection from Video Using Answer Set Programing. CILC 2019: 48-58 - [c167]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Justifiable Exceptions in General Contextual Hierarchies. CONTEXT 2019: 26-39 - [c166]Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. Description Logics 2019 - [c165]Abdullah Khan, Loris Bozzato, Luciano Serafini, Beatrice Lazzerini:
Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming. GCAI 2019: 42-53 - [c164]Ivan Donadello, Luciano Serafini:
Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. IJCNN 2019: 1-8 - [c163]Alessandro Daniele, Luciano Serafini:
Knowledge Enhanced Neural Networks. PRICAI (1) 2019: 542-554 - [c162]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP. RuleML+RR 2019: 19-35 - [c161]Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini:
Complementing Logical Reasoning with Sub-symbolic Commonsense. RuleML+RR 2019: 161-170 - [i16]Luciano Serafini, Paolo Traverso:
Incremental Learning of Discrete Planning Domains from Continuous Perceptions. CoRR abs/1903.05937 (2019) - [i15]Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran:
Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. CoRR abs/1905.06088 (2019) - [i14]Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Note on Reasoning on DL-LiteR with Defeasibility. CoRR abs/1905.09221 (2019) - [i13]Ivan Donadello, Luciano Serafini:
Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. CoRR abs/1910.00462 (2019) - 2018
- [j28]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257: 72-126 (2018) - [c160]Radim Nedbal, Luciano Serafini:
Bayesian Markov Logic Networks - Bayesian Inference for Statistical Relational Learning. AI*IA 2018: 348-361 - [c159]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). IJCAI 2018: 5568-5572 - [c158]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. KR 2018: 329-338 - [e4]Marco Rospocher, Luciano Serafini, Sara Tonelli:
Proceedings of the AI*IA Doctoral Consortium (DC) co-located with the 17th Conference of the Italian Association for Artificial Intelligence (AI*IA 2018), Trento, Italy, November 20-23, 2018. CEUR Workshop Proceedings 2249, CEUR-WS.org 2018 [contents] - [i12]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). CoRR abs/1808.01874 (2018) - [i11]Luciano Serafini, Paolo Traverso:
Learning abstract planning domains and mappings to real world perceptions. CoRR abs/1810.07096 (2018) - 2017
- [j27]Chiara Ghidini, Luciano Serafini:
Distributed First Order Logic. Artif. Intell. 253: 1-39 (2017) - [c157]Loris Bozzato, Luciano Serafini, Gaetano Calabrese:
CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. Description Logics 2017 - [c156]Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez:
Logic Tensor Networks for Semantic Image Interpretation. IJCAI 2017: 1596-1602 - [c155]Luciano Serafini, Ivan Donadello, Artur S. d'Avila Garcez:
Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation. SAC 2017: 125-130 - [c154]Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini:
Towards integration of ontology and text-extracted data for event coreference reasoning. SAC 2017: 353-355 - [c153]Loris Bozzato, Luciano Serafini, Gaetano Calabrese:
CKR: Live Demo: Representing an Evolving Scenario by Contexts and Exceptions. ISWC (Posters, Demos & Industry Tracks) 2017 - [i10]Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez:
Logic Tensor Networks for Semantic Image Interpretation. CoRR abs/1705.08968 (2017) - 2016
- [j26]Ivan Donadello, Luciano Serafini:
Integration of numeric and symbolic information for semantic image interpretation. Intelligenza Artificiale 10(1): 33-47 (2016) - [j25]Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini:
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. Semantic Web 7(1): 25-61 (2016) - [c152]Luciano Serafini, Artur S. d'Avila Garcez:
Learning and Reasoning with Logic Tensor Networks. AI*IA 2016: 334-348 - [c151]Luciano Serafini, Artur S. d'Avila Garcez:
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. NeSy@HLAI 2016 - [e3]Tarek R. Besold, Luís C. Lamb, Luciano Serafini, Whitney Tabor:
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. CEUR Workshop Proceedings 1768, CEUR-WS.org 2016 [contents] - [i9]Luciano Serafini, Artur S. d'Avila Garcez:
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. CoRR abs/1606.04422 (2016) - [i8]Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini:
On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning. CoRR abs/1612.00227 (2016) - 2015
- [j24]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:
Getting the environmental information across: from the Web to the user. Expert Syst. J. Knowl. Eng. 32(3): 405-432 (2015) - [j23]Leo Wanner, Marco Rospocher, Stefanos Vrochidis, Lasse Johansson, Nadjet Bouayad-Agha, Gerard Casamayor, Ari Karppinen, Ioannis Kompatsiaris, Simon Mille, Anastasia Moumtzidou, Luciano Serafini:
Ontology-centered environmental information delivery for personalized decision support. Expert Syst. Appl. 42(12): 5032-5046 (2015) - [j22]Francesco Corcoglioniti, Marco Rospocher, Roldano Cattoni, Bernardo Magnini, Luciano Serafini:
The KnowledgeStore: A Storage Framework for Interlinking Unstructured and Structured Knowledge. Int. J. Semantic Web Inf. Syst. 11(2): 1-35 (2015) - [c150]Loris Bozzato, Stefano Borgo, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini:
A Contextual Framework for Reasoning on Events. DeRiVE@ESWC 2015: 47-57 - [c149]Daniil Mirylenka, Andrea Passerini, Luciano Serafini:
Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach. IJCAI 2015: 1464-1470 - [i7]Zolzaya Dashdorj, Stanislav Sobolevsky, Luciano Serafini, Fabrizio Antonelli, Carlo Ratti:
Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge. CoRR abs/1504.05895 (2015) - [i6]Chiara Ghidini, Luciano Serafini:
Distributed First Order Logic. CoRR abs/1507.07755 (2015) - [i5]Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini:
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). CoRR abs/1512.03899 (2015) - 2014
- [c148]Daniel Sonntag, Sonja Zillner, Samarjit Chakraborty, András Lörincz, Esko Strömmer, Luciano Serafini:
The Medical Cyber-physical Systems Activity at EIT: A Look under the Hood. CBMS 2014: 351-356 - [c147]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Defeasibility in Contextual Reasoning with CKR. CILC 2014: 132-146 - [c146]Mathew Joseph, Gabriel M. Kuper, Luciano Serafini:
Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. CILC 2014: 210-224 - [c145]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Contextualized Knowledge Repositories with Justifiable Exceptions. Description Logics 2014: 112-123 - [c144]Loris Bozzato, Luciano Serafini:
Combining Reasoning on Semantic Web Metadata. ECAI 2014: 979-980 - [c143]Ivan Donadello, Luciano Serafini:
Mixing Low-Level and Semantic Features for Image Interpretation - A Framework and a Simple Case Study. ECCV Workshops (2) 2014: 283-298 - [c142]Loris Bozzato, Luciano Serafini:
Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation - (Extended Paper). EKAW (Satellite Events) 2014: 35-51 - [c141]Marco Rospocher, Francesco Corcoglioniti, Roldano Cattoni, Bernardo Magnini, Luciano Serafini:
Integrating Unstructured and Structured Knowledge with the KnowledgeStore. EKAW (Satellite Events) 2014: 177-181 - [c140]Marco Rospocher, Elena Cardillo, Ivan Donadello, Luciano Serafini:
On the Collaborative Development of Application Ontologies: A Practical Case Study with a SME. EKAW 2014: 469-484 - [c139]Marco Rospocher, Chiara Ghidini, Luciano Serafini:
An ontology for the Business Process Modelling Notation. FOIS 2014: 133-146 - [c138]Zolzaya Dashdorj, Stanislav Sobolevsky, Luciano Serafini, Carlo Ratti:
Human activity recognition from spatial data sources. MobiGIS 2014: 18-25 - [c137]Piek Vossen, German Rigau, Luciano Serafini, Pim Stouten, Francis Irving, Willem Robert van Hage:
NewsReader: recording history from daily news streams. LREC 2014: 2000-2007 - [c136]Mathew Joseph, Gabriel M. Kuper, Luciano Serafini:
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. RR 2014: 60-75 - [c135]Sofia Cramerotti, Marco Buccio, Giampiero Vaschetto, Luciano Serafini, Marco Rospocher:
ePlanning: An Ontology-based System for Building Individualized Education Plans for Students with Special Educational Needs. ISWC (Industry Track) 2014 - [c134]Daniil Mirylenka, Marco Rospocher, Ivan Donadello, Elena Cardillo, Luciano Serafini:
Exploring an Ontology via Text Similarity: An Experimental Study. IESD@ISWC 2014 - [c133]Marco Rospocher, Francesco Corcoglioniti, Roldano Cattoni, Bernardo Magnini, Luciano Serafini:
Integrating NLP and SW with the KnowledgeStore. ISWC (Posters & Demos) 2014: 69-72 - [c132]Claudia d'Amato, Volha Bryl, Luciano Serafini:
Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources. URSW (LNCS Vol.) 2014: 163-183 - [p7]Chiara Ghidini, Luciano Serafini:
Multi-context Logics - A General Introduction. Context in Computing 2014: 381-399 - [i4]Mathew Joseph, Gabriel M. Kuper, Luciano Serafini:
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version). CoRR abs/1406.0893 (2014) - [i3]Loris Bozzato, Luciano Serafini:
Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation. CoRR abs/1412.7964 (2014) - 2013
- [j21]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:
Semantic technologies for industry: From knowledge modeling and integration to intelligent applications. Intelligenza Artificiale 7(2): 125-137 (2013) - [c131]Loris Bozzato, Martin Homola, Luciano Serafini:
ExpTime Tableaux Algorithm for Contextualized ALC. CONTEXT 2013: 199-212 - [c130]Loris Bozzato, Luciano Serafini:
Materialization Calculus for Contexts in the Semantic Web. Description Logics 2013: 552-572 - [c129]Loris Bozzato, Chiara Ghidini, Luciano Serafini:
Comparing contextual and flat representations of knowledge: a concrete case about football data. K-CAP 2013: 9-16 - [c128]Zolzaya Dashdorj, Luciano Serafini, Fabrizio Antonelli, Roberto Larcher:
Semantic enrichment of mobile phone data records. MUM 2013: 35:1-35:10 - [c127]Antske Fokkens, Marieke van Erp, Piek Vossen, Sara Tonelli, Willem Robert van Hage, Luciano Serafini, Rachele Sprugnoli, Jesper Hoeksema:
GAF: A Grounded Annotation Framework for Events. EVENTS@NAACL-HLT 2013: 11-20 - [c126]Francesco Corcoglioniti, Marco Rospocher, Roldano Cattoni, Bernardo Magnini, Luciano Serafini:
Interlinking Unstructured and Structured Knowledge in an Integrated Framework. ICSC 2013: 40-47 - [c125]Zolzaya Dashdorj, Luciano Serafini:
Semantic Interpretation of Mobile Phone Records Exploiting Background Knowledge. ISWC-DC 2013: 9-16 - [c124]Marieke van Erp, Antske Fokkens, Piek Vossen, Sara Tonelli, Willem Robert van Hage, Luciano Serafini, Rachele Sprugnoli, Jesper Hoeksema:
Denoting Data in the Grounded Annotation Framework. ISWC (Posters & Demos) 2013: 189-192 - [c123]Zolzaya Dashdorj, Luciano Serafini:
Semantic Enrichment of Mobile Phone Data Records Using Linked Open Data. ISWC (Posters & Demos) 2013: 285-288 - [p6]Roldano Cattoni, Francesco Corcoglioniti, Christian Girardi, Bernardo Magnini, Luciano Serafini, Roberto Zanoli:
Anchoring Background Knowledge to Rich Multimedia Contexts in the KnowledgeStore. New Trends of Research in Ontologies and Lexical Resources 2013: 91-112 - 2012
- [j20]Marco Rospocher, Sara Tonelli, Luciano Serafini, Emanuele Pianta:
Corpus-based terminological evaluation of ontologies. Appl. Ontology 7(4): 429-448 (2012) - [j19]Chiara Ghidini, Chiara Di Francescomarino, Marco Rospocher, Paolo Tonella, Luciano Serafini:
Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes. IEEE Trans. Syst. Man Cybern. Part C 42(1): 25-37 (2012) - [j18]Luciano Serafini, Martin Homola:
Contextualized knowledge repositories for the Semantic Web. J. Web Semant. 12: 64-87 (2012) - [c122]Roldano Cattoni, Francesco Corcoglioniti, Christian Girardi, Bernardo Magnini, Luciano Serafini, Roberto Zanoli:
TrentinoMedia: Exploiting NLP and Background Knowledge to Browse a Large Multimedia News Store. PAI 2012: 21-26 - [c121]Marco Rospocher, Luciano Serafini:
An Ontological Framework for Decision Support. JIST 2012: 239-254 - [c120]Loris Bozzato, Martin Homola, Luciano Serafini:
Towards More Effective Tableaux Reasoning for CKR. Description Logics 2012 - [c119]Claudia d'Amato, Volha Bryl, Luciano Serafini:
Semantic Knowledge Discovery from Heterogeneous Data Sources. EKAW 2012: 26-31 - [c118]Sara Tonelli, Volha Bryl, Claudio Giuliano, Luciano Serafini:
Investigating the Semantics of Frame Elements. EKAW 2012: 130-143 - [c117]Marco Rospocher, Sara Tonelli, Luciano Serafini, Emanuele Pianta:
Key-Concept Extraction for Ontology Engineering. EKAW 2012: 413-416 - [c116]Nadjet Bouayad-Agha, Gerard Casamayor, Simon Mille, Marco Rospocher, Luciano Serafini, Jürgen Moßgraber, Leo Wanner:
Generation of Multilingual Personalized Environmental Bulletins from an OWL-based Ontology. EnviroInfo 2012: 481-488 - [c115]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:
Personalized Environmental Service Configuration and Delivery Orchestration: The PESCaDO Demonstrator. ESWC (Satellite Events) 2012: 435-440 - [c114]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:
Personalized Environmental Service Orchestration for Quality of Life Improvement. AIAI (2) 2012: 351-360 - [c113]Roldano Cattoni, Francesco Corcoglioniti, Christian Girardi, Bernardo Magnini, Luciano Serafini, Roberto Zanoli:
The KnowledgeStore: an Entity-Based Storage System. LREC 2012: 3639-3646 - [c112]Nadjet Bouayad-Agha, Gerard Casamayor, Simon Mille, Marco Rospocher, Horacio Saggion, Luciano Serafini, Leo Wanner:
From Ontology to NL: Generation of Multilingual User-Oriented Environmental Reports. NLDB 2012: 216-221 - [c111]Volha Bryl, Sara Tonelli, Claudio Giuliano, Luciano Serafini:
A novel Framenet-based resource for the semantic web. SAC 2012: 360-365 - [c110]Manuel Atencia, Alexander Borgida, Jérôme Euzenat, Chiara Ghidini, Luciano Serafini:
A Formal Semantics for Weighted Ontology Mappings. ISWC (1) 2012: 17-33 - [c109]Claudia d'Amato, Volha Bryl, Luciano Serafini:
Data-Driven Logical Reasoning. URSW 2012: 51-62 - [c108]Marco Rospocher, Luciano Serafini:
Ontology-centric Decision Support. SeRSy 2012: 61-72 - [c107]Szymon Klarman, Stefan Schlobach, Luciano Serafini:
Formal Verification of Data Provenance Records. ISWC (1) 2012: 215-230 - [c106]Luciano Serafini:
Multi Context Logics: a Formal Framework for Structuring Knowledge. WoMO 2012 - 2011
- [j17]Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella:
A framework for the collaborative specification of semantically annotated business processes. J. Softw. Maintenance Res. Pract. 23(4): 261-295 (2011) - [c105]Luciano Serafini, Martin Homola:
Contextual Representation and Reasoning with Description Logics. Description Logics 2011 - [c104]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:
Building an Environmental Information System for Personalized Content Delivery. ISESS 2011: 169-176 - [c103]Sara Tonelli, Marco Rospocher, Emanuele Pianta, Luciano Serafini:
Boosting Collaborative Ontology Building with Key-Concept Extraction. ICSC 2011: 316-319 - [c102]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:
Wiki-Based Conceptual Modeling: An Experience with the Public Administration. ISWC (2) 2011: 17-32 - [c101]Mathew Joseph, Luciano Serafini:
Simple Reasoning for Contextualized RDF Knowledge. WoMO 2011: 79-93 - [p5]Michael Erdmann, Daniel Hansch, Viktoria Pammer, Marco Rospocher, Chiara Ghidini, Stefanie N. Lindstaedt, Luciano Serafini:
Applications of Semantic Wikis. Context and Semantics for Knowledge Management 2011: 229-254 - 2010
- [j16]Martin Homola, Luciano Serafini:
Augmenting Subsumption Propagation in Distributed Description Logics. Appl. Artif. Intell. 24(1&2): 39-76 (2010) - [c100]Paolo Bouquet, Chiara Ghidini, Luciano Serafini:
A Formal Model of Queries on Interlinked RDF Graphs. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence 2010 - [c99]Martin Homola, Luciano Serafini:
Towards Formal Comparison of Ontology Linking, Mapping and Importing. Description Logics 2010 - [c98]Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko:
Using Background Knowledge to Support Coreference Resolution. ECAI 2010: 759-764 - [c97]Chiara Ghidini, Marco Rospocher, Luciano Serafini:
MoKi: a Wiki-based Conceptual Modeling Tool. EKAW (Posters and Demos) 2010 - [c96]Martin Homola, Andrei Tamilin, Luciano Serafini:
Modeling Contextualized Knowledge. CIAO@EKAW 2010 - [c95]Viktoria Pammer, Stefanie N. Lindstaedt, Chiara Ghidini, Marco Rospocher, Luciano Serafini:
Automatic Support for Formative Ontology Evaluation. EKAW (Posters and Demos) 2010 - [c94]Andrei Tamilin, Bernardo Magnini, Luciano Serafini, Christian Girardi, Mathew Joseph, Roberto Zanoli:
Context-Driven Semantic Enrichment of Italian News Archive. ESWC (1) 2010: 364-378 - [c93]Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko:
Supporting Natural Language Processing with Background Knowledge: Coreference Resolution Case. ISWC (1) 2010: 80-95 - [c92]Chiara Ghidini, Marco Rospocher, Luciano Serafini:
MoKi: a Wiki-Based Conceptual Modeling Tool. ISWC (Posters & Demos) 2010
2000 – 2009
- 2009
- [c91]Elena Cardillo, Luciano Serafini, Andrei Tamilin:
A Hybrid Methodology for Consumer-Oriented Healthcare Knowledge Acquisition. KR4HC 2009: 38-49 - [c90]Paolo Bouquet, Chiara Ghidini, Luciano Serafini:
Querying the Web of Data: A Formal Approach. ASWC 2009: 291-305 - [c89]Marco Rospocher, Chiara Di Francescomarino, Chiara Ghidini, Luciano Serafini, Paolo Tonella:
Collaborative Specification of Semantically Annotated Business Processes. Business Process Management Workshops 2009: 305-317 - [c88]Elena Cardillo, Luciano Serafini, Andrei Tamilin:
A Lexical-Ontological Resource for Consumer Healthcare. eHealth 2009: 131-138 - [c87]Mathew Joseph, Luciano Serafini, Andrei Tamilin:
Context shifting for effective search over large knowledge bases. CIAO@ESWC 2009: 4:1-4:9 - [c86]Chiara Ghidini, Barbara Kump, Stefanie N. Lindstaedt, Nahid Mahbub, Viktoria Pammer, Marco Rospocher, Luciano Serafini:
MoKi: The Enterprise Modelling Wiki. ESWC 2009: 831-835 - [c85]Viktoria Pammer, Barbara Kump, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Stefanie N. Lindstaedt:
Revision Support for Modeling Tasks, Topics and Skills. I-SEMANTICS 2009: 501-508 - [c84]Elena Cardillo, Andrei Tamilin, Luciano Serafini:
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition. KEOD 2009: 64-71 - [c83]Elena Cardillo, Andrei Tamilin, Luciano Serafini:
A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare. IC3K 2009: 249-261 - [c82]Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella:
Semantically-Aided Business Process Modeling. ISWC 2009: 114-129 - [c81]Viktoria Pammer, Luciano Serafini, Stefanie N. Lindstaedt:
Highlighting Assertional Effects of Ontology Editing Activities in OWL. IWOD@ISWC 2009 - [c80]Marco Rospocher, Chiara Ghidini, Viktoria Pammer, Luciano Serafini, Stefanie N. Lindstaedt:
MoKi: the Modelling wiKi. SemWiki 2009 - [p4]Luciano Serafini, Martin Homola:
Modular Knowledge Representation and Reasoning in the Semantic Web. Semantic Web Information Management 2009: 147-181 - [p3]Saartje Brockmans, Peter Haase, Luciano Serafini, Heiner Stuckenschmidt:
Formal and Conceptual Comparison of Ontology Mapping Languages. Modular Ontologies 2009: 267-291 - [p2]Luciano Serafini, Andrei Tamilin:
Composing Modular Ontologies with Distributed Description Logics. Modular Ontologies 2009: 321-347 - 2008
- [c79]Chiara Ghidini, Luciano Serafini:
Mapping Properties of Heterogeneous Ontologies. AIMSA 2008: 181-193 - [c78]Elena Cardillo, Claudio Eccher, Luciano Serafini, Andrei Tamilin:
Logical Analysis of Mappings between Medical Classification Systems. AIMSA 2008: 311-321 - [c77]Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
Bridging Heterogeneous Representations of Binary Relations: First Results. Description Logics 2008 - [c76]Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
Complexity of Reasoning With Expressive Ontology Mappings. FOIS 2008: 151-163 - [c75]Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella:
Reasoning on Semantically Annotated Processes. ICSOC 2008: 132-146 - [c74]Conny Christl, Chiara Ghidini, Joanna Guss, Stefanie N. Lindstaedt, Viktoria Pammer, Marco Rospocher, Peter Scheir, Luciano Serafini:
Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company. ISWC 2008: 709-722 - [c73]Marco Rospocher, Chiara Ghidini, Luciano Serafini, Barbara Kump, Viktoria Pammer, Stefanie N. Lindstaedt, Andreas Faatz, Tobias Ley:
Collaborative Enterprise Integrated Modelling. SWAP 2008 - 2007
- [c72]Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies. CONTEXT 2007: 234-247 - [c71]Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies. Description Logics 2007 - [c70]Gerhard Brewka, Floris Roelofsen, Luciano Serafini:
Contextual Default Reasoning. IJCAI 2007: 268-273 - [c69]Mark Giereth, Steffen Koch, Yiannis Kompatsiaris, Symeon Papadopoulos, Emanuele Pianta, Luciano Serafini, Leo Wanner:
A Modular Framework for Ontology-based Representation of Patent Information. JURIX 2007: 49-58 - [c68]Luciano Serafini, Andrei Tamilin:
Instance Migration in Heterogeneous Ontology Environments. ISWC/ASWC 2007: 452-465 - [c67]Luciano Serafini, Andrei Tamilin:
Reasoning with Instances of Heterogeneous Ontologies. SWAP 2007 - [e2]Paolo Bouquet, Jérôme Euzenat, Chiara Ghidini, Deborah L. McGuinness, Luciano Serafini, Pavel Shvaiko, Holger Wache:
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. CEUR Workshop Proceedings 298, CEUR-WS.org 2007 [contents] - 2006
- [j15]Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini:
Logics For Artificial Intelligence. Intelligenza Artificiale 3(1-2): 7-13 (2006) - [j14]David G. Cameron, Rubén Carvajal-Schiaffino, Caitriana Nicholson, Kurt Stockinger, Floriano Zini, A. Paul Millar, Luciano Serafini:
Formal analysis of an agent-based optimisation strategy for Data Grids. Multiagent Grid Syst. 2(2): 149-162 (2006) - [c66]Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini:
Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI 2006: 213-218 - [c65]Yuting Zhao, Luciano Serafini, Fausto Giunchiglia:
Autonomous Ontology: Operations and Semantics. ASWC 2006: 646-652 - [c64]Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini:
Verifying space and time requirements for resource-bounded agents. AAMAS 2006: 217-219 - [c63]Luciano Serafini, Stefano Zanobini, Simone Sceffer, Paolo Bouquet:
Matching Hierarchical Classifications with Attributes. ESWC 2006: 4-18 - [c62]Chiara Ghidini, Luciano Serafini:
Reconciling Concepts and Relations in Heterogeneous Ontologies. ESWC 2006: 50-64 - [c61]Paolo Bouquet, Luciano Serafini, Stefano Zanobini:
The role of lexical resources in matching classification schemas. LREC 2006: 2341-2346 - [c60]Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini:
Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt 2006: 19-34 - [c59]Chiara Ghidini, Luciano Serafini:
Mapping Properties of Heterogeneous Ontologies. WoMO 2006 - [c58]Jeff Z. Pan, Luciano Serafini, Yuting Zhao:
Semantic Import: An Approach for Partial Ontology Reuse. WoMO 2006 - [c57]Chiara Ghidini, Luciano Serafini:
Reconciling Concepts and Relations in Heterogeneous Ontologies. SWAP 2006 - [c56]Octavian Popescu, Bernardo Magnini, Emanuele Pianta, Luciano Serafini, Manuela Speranza:
From Mentions to Ontology: A Pilot Sudy. SWAP 2006 - [c55]Paolo Bouquet, Luciano Serafini, Stefano Zanobini, Simone Sceffer:
Bootstrapping semantics on the web: meaning elicitation from schemas. WWW 2006: 505-512 - [p1]Paolo Bouquet, Luciano Serafini, Stefano Zanobini:
Semantic Coordination of Heterogeneous Classifications Schemas. Semantic Web and Peer-to-Peer 2006: 185-200 - 2005
- [c54]Luciano Serafini, Heiner Stuckenschmidt, Holger Wache:
A Formal Investigation of Mapping Languages for Terminological Knowledge. BNAIC 2005: 379-380 - [c53]Floris Roelofsen, Luciano Serafini:
Minimality and Non-determinism in Multi-context Systems. CONTEXT 2005: 424-435 - [c52]Luciano Serafini, Andrei Tamilin:
DRAGO: Distributed Reasoning Architecture for the Semantic Web. ESWC 2005: 361-376 - [c51]Floris Roelofsen, Luciano Serafini:
Minimal and Absent Information in Contexts. IJCAI 2005: 558-563 - [c50]Luciano Serafini, Alexander Borgida, Andrei Tamilin:
Aspects of Distributed and Modular Ontology Reasoning. IJCAI 2005: 570-575 - [c49]Luciano Serafini, Heiner Stuckenschmidt, Holger Wache:
A Formal Investigation of Mapping Language for Terminological Knowledge. IJCAI 2005: 576-581 - [c48]Paolo Bouquet, Luciano Serafini, Heiko Stoermer:
Introducing Context into RDF Knowledge Bases. SWAP 2005 - [c47]Bernardo Magnini, Matteo Negri, Emanuele Pianta, Lorenza Romano, Manuela Speranza, Luciano Serafini, Christian Girardi, Valentina Bartalesi, Rachele Sprugnoli:
From Text to Knowledge for the Semantic Web: the ONTOTEXT Project. SWAP 2005 - [c46]Luciano Serafini, Andrei Tamilin:
Distributed Instance Retrieval in Heterogeneous Ontologies. SWAP 2005 - 2004
- [j13]Luciano Serafini, Paolo Bouquet:
Comparing formal theories of context in AI. Artif. Intell. 155(1-2): 41-67 (2004) - [j12]Bernardo Magnini, Luciano Serafini, Manuela Speranza:
Semantic Coordination for Document Retrieval. Künstliche Intell. 18(4): 18-23 (2004) - [j11]Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt:
Contextualizing ontologies. J. Web Semant. 1(4): 325-343 (2004) - [j10]Paolo Bouquet, Luciano Serafini, Stefano Zanobini:
Peer-to-peer semantic coordination. J. Web Semant. 2(1): 81-97 (2004) - [c45]Floris Roelofsen, Luciano Serafini:
Complexity of Contextual Reasoning. AAAI 2004: 118-123 - [c44]Paolo Bouquet, Luciano Serafini, Stefano Zanobini:
Coordinating Semantic Peers. AIMSA 2004: 75-84 - [c43]Luciano Serafini, Andrei Tamilin:
Local Tableaux for Reasoning in Distributed Description Logics. Description Logics 2004 - [c42]Floris Roelofsen, Luciano Serafini, Alessandro Cimatti:
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. ECAI 2004: 58-62 - [c41]Luciano Serafini, Floris Roelofsen:
Satisfiability for Propositional Contexts. KR 2004: 369-376 - [c40]Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini:
Using C-OWL for the alignment and merging of medical ontologies. KR-MED 2004: 88-101 - 2003
- [j9]Alexander Borgida, Luciano Serafini:
Distributed Description Logics: Assimilating Information from Peer Sources. J. Data Semant. 1: 153-184 (2003) - [j8]Matteo Bonifacio, Antonia Donà, Alessandra Molani, Luciano Serafini:
Context matching for electronic marketplaces: a case study. Knowl. Eng. Rev. 18(4): 317-328 (2003) - [c39]Bernardo Magnini, Luciano Serafini, Manuela Speranza:
Making Explicit the Hidden Semantics of Hierarchical Classifications. AI*IA 2003: 436-448 - [c38]Paolo Bouquet, Bernardo Magnini, Luciano Serafini, Stefano Zanobini:
A SAT-Based Algorithm for Context Matching. CONTEXT 2003: 66-79 - [c37]Paolo Bouquet, Luciano Serafini:
On the Difference between Bridge Rules and Lifting Axioms. CONTEXT 2003: 80-93 - [c36]Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein:
Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT 2003: 286-299 - [c35]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini:
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. DBISP2P 2003: 64-76 - [c34]Mark James Carman, Luciano Serafini:
Planning For Web Services the Hard Way. SAINT Workshops 2003: 73-77 - [c33]Paolo Bouquet, Luciano Serafini, Stefano Zanobini:
Semantic Coordination: A New Approach and an Application. ISWC 2003: 130-145 - [c32]Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt:
C-OWL: Contextualizing Ontologies. ISWC 2003: 164-179 - [c31]Paolo Bouquet, Luciano Serafini, Mario Zanobini:
Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation. WOA 2003: 179-186 - [i2]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini:
A Robust and Computational Characterisation of Peer-to-Peer Database Systems. CoRR cs.DC/0308013 (2003) - 2002
- [j7]Luciano Serafini, Fausto Giunchiglia:
ML Systems: A Proof Theory for Contexts. J. Log. Lang. Inf. 11(4): 471-518 (2002) - [j6]Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini:
Mental States Recognition from Communication. J. Log. Comput. 12(1): 119-136 (2002) - [j5]Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini:
A Foundation for Metareasoning Part I: The Proof Theory. J. Log. Comput. 12(1): 167-208 (2002) - [j4]Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini:
A Foundation for Metareasoning Part II: The Model Theory. J. Log. Comput. 12(3): 345-370 (2002) - [c30]Rolf Nossum, Luciano Serafini:
Multicontext Logic for Semigroups of Contexts. AISC 2002: 90-101 - [c29]Mark James Carman, Floriano Zini, Luciano Serafini, Kurt Stockinger:
Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid. CCGRID 2002: 340-345 - [c28]Alexander Borgida, Luciano Serafini:
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. OTM 2002: 36-53 - [c27]Alexander Borgida, Luciano Serafini:
Distributed Description Logics: First results. Description Logics 2002 - [c26]Antonia Donà, Luciano Serafini:
Updating Contexts. KR 2002: 251-264 - [c25]Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso:
A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES 2002: 76-85 - [c24]Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu:
Data Management for Peer-to-Peer Computing : A Vision. WebDB 2002: 89-94 - 2001
- [c23]Marco Aiello, Paolo Busetta, Antonia Donà, Luciano Serafini:
Ontological Overhearing. ATAL 2001: 175-189 - [c22]Paolo Bouquet, Luciano Serafini:
Two Formalizations of Context: A Comparison. CONTEXT 2001: 87-101 - [c21]Paolo Busetta, Luciano Serafini, Dhirendra Singh, Floriano Zini:
Extending Multi-agent Cooperation by Overhearing. CoopIS 2001: 40-52 - [i1]S. Bettelli, Luciano Serafini, Tommaso Calarco:
Toward an architecture for quantum programming. CoRR cs.PL/0103009 (2001) - 2000
- [c20]Luciano Serafini, Chiara Ghidini:
Using Wrapper Agents to Answer Queries in Distributed Information Systems. ADVIS 2000: 331-340 - [c19]Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini:
Updating mental states from informative communication. Agents 2000: 231-232 - [c18]Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini:
Updating Mental States from Communication. ATAL 2000: 15-30 - [c17]Luciano Serafini, Chiara Ghidini:
Using Wrapper Agents to Answer Queries in Distributed Information Systems. ICMAS 2000: 429-430
1990 – 1999
- 1999
- [j3]Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita:
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14(10): 1021-1040 (1999) - [c16]Chiara Ghidini, Luciano Serafini:
A Context-Based Logic for Distributed Knowledge Representation and Reasoning. CONTEXT 1999: 159-172 - [e1]Paolo Bouquet, Luciano Serafini, Patrick Brézillon, Massimo Benerecetti, F. Castellani:
Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings. Lecture Notes in Computer Science 1688, Springer 1999, ISBN 3-540-66432-7 [contents] - 1998
- [j2]Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini:
Model Checking Multiagent Systems. J. Log. Comput. 8(3): 401-423 (1998) - [c15]Chiara Ghidini, Luciano Serafini:
Model Theoretic Semantics for Information Integration. AIMSA 1998: 267-280 - [c14]Chiara Ghidini, Luciano Serafini:
Information Integration for Electronic Commerce. AMET 1998: 189-206 - [c13]Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini:
A Model Checking Algorithm for Multiagent Systems. ATAL 1998: 163-176 - [c12]Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini:
Multiagent Systems Verification via Model Checking. EUROVAV 1998 - [c11]Chiara Ghidini, Luciano Serafini:
Distributed First Order Logic. FroCoS 1998: 121-140 - 1996
- [c10]Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130 - [c9]Alessandro Cimatti, Luciano Serafini:
Mechanizing Multi-Agent Reasoning with Belief Contexts. FAPR 1996: 694-696 - 1995
- [c8]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Agents as Reasoners, Observers or Believers. AI*IA 1995: 414-425 - [c7]Alessandro Cimatti, Luciano Serafini:
Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance. ICMAS 1995: 57-64 - [c6]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS 1995: 448 - 1994
- [j1]Fausto Giunchiglia, Luciano Serafini:
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. Artif. Intell. 65(1): 29-70 (1994) - [c5]Alessandro Cimatti, Luciano Serafini:
Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 71-85 - 1993
- [c4]Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione:
Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993: 548-554 - 1992
- [c3]Fausto Giunchiglia, Luciano Serafini:
Multilanguage hierarchical logics (or: how we can do without modal logics). CNKBS 1992: 44-45 - [c2]Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson:
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META 1992: 235-249 - 1991
- [c1]Fausto Giunchiglia, Luciano Serafini:
Mulitlanguage First Order Theories of Propositional Attitudes. SCAI 1991: 228-240
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-02 18:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
