Edit Profile (opens in new tab) Serafini, Luciano Compute Distance To: Compute Author ID: serafini.luciano Published as: Serafini, Luciano; Serafini, L. External Links: ORCID Documents Indexed: 37 Publications since 1994 2 Contributions as Editor Co-Authors: 50 Co-Authors with 39 Joint Publications 762 Co-Co-Authors all top 5 Co-Authors 0 single-authored 8 Ghidini, Chiara 6 Bouquet, Paolo 5 Giunchiglia, Fausto 3 Benerecetti, Massimo 2 Aiello, Marco 2 Borgida, Alex 2 Bozzato, Loris 2 Busetta, Paolo 2 Cimatti, Alessandro 2 Criscuolo, Giovanni 2 d’Avila Garcez, Artur S. 2 Dragoni, Aldo Franco 2 Eiter, Thomas 2 Giorgini, Paolo 2 Zini, Floriano 1 Alechina, Natasha 1 Bacci, Adolfo 1 Badreddine, Samy 1 Bertoli, Piergiorgio 1 Brézillon, Patrick 1 Brockmans, Saartje 1 Cameron, David G. 1 Carman, Mark J. 1 Carvajal-Schiaffino, Rubén 1 Castellani, Francesca 1 Donà, Antonia 1 Ferrario, Manuela 1 Giunchiglia, Enrico 1 Haase, Peter 1 Jago, Mark 1 Logan, Brian 1 Magnini, Bernardo 1 Maroli, C. 1 Millar, A. Paul 1 Nossum, Rolf Tomas 1 Papazoglou, Mike P. 1 Petrillo, V. 1 Pistore, Marco 1 Roelofsen, Floris 1 Singh, Dhirendra Kumar 1 Spranger, Michael 1 Stockinger, Kurt 1 Stuckenschmidt, Heiner 1 Tamilin, Andrei 1 Tessaris, Sergio 1 Thomason, Richmond H. 1 Traverso, Paolo 1 Villafiorita, Adolfo 1 Yang, Jian 1 Zanobini, Stefano all top 5 Serials 5 Artificial Intelligence 4 Journal of Logic and Computation 1 International Journal of Modern Physics A 1 International Journal of Intelligent Systems 1 Journal of Logic, Language and Information 1 Multiagent and Grid Systems 1 CSLI Lecture Notes 1 Lecture Notes in Computer Science all top 5 Fields 38 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 27 Publications have been cited 101 times in 72 Documents Cited by ▼ Year ▼ Multilanguage hierarchical logics, or: How we can do without modal logics. Zbl 0787.68093Giunchiglia, Fausto; Serafini, Luciano 28 1994 Model checking multiagent systems. Zbl 0904.68159Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano 11 1998 Distributed description logics: assimilating information from peer sources. Zbl 1274.68454Borgida, Alex; Serafini, Luciano 11 2003 Learning and reasoning with logic tensor networks. Zbl 1430.68317Serafini, Luciano; d’Avila Garcez, Artur S. 8 2016 Distributed first order logics. Zbl 1021.03007Ghidini, Chiara; Serafini, Luciano 6 2000 Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 5 2018 Verifying space and time requirements for resource-bounded agents. Zbl 1196.68284Alechina, Natasha; Bertoli, Piergiorgio; Ghidini, Chiara; Jago, Mark; Logan, Brian; Serafini, Luciano 3 2007 ML systems: A proof theory for contexts. Zbl 1011.03018Serafini, Luciano; Giunchiglia, Fausto 3 2002 A context-based logic for distributed knowledge representation and reasoning. Zbl 0943.03015Ghidini, Chiara; Serafini, Luciano 2 1999 A foundation for metareasoning. II: The model theory. Zbl 1012.68194Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 2 2002 Multicontext logic for semigroups of contexts. Zbl 1072.68584Nossum, Rolf; Serafini, Luciano 2 2002 A foundation for metareasoning. I: The proof theory. Zbl 1005.68149Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 2 2002 Mapping properties of heterogeneous ontologies. Zbl 1169.68622Ghidini, Chiara; Serafini, Luciano 2 2008 Comparing formal theories of context in AI. Zbl 1085.68164Serafini, Luciano; Bouquet, Paolo 2 2004 Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. Zbl 1443.68181Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 2 2019 Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9–11, 1999. Proceedings. Zbl 0921.00034 1 1999 Formal analysis of an agent-based optimisation strategy for data grids. Zbl 1113.68305Cameron, D. G.; Carvajal-Schiaffino, R.; Nicholson, C.; Stockinger, K.; Zini, F.; Millar, A. P.; Serafini, L. 1 2006 Formal specification of beliefs in multi-agent systems. Zbl 0937.68113Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo 1 1999 Extending multi-agent cooperation by overhearing. Zbl 1023.68726Busetta, Paolo; Serafini, Luciano; Singh, Dhirendra; Zini, Floriano 1 2001 A request language for web-services based on planning and constraint satisfaction. Zbl 1019.68637Aiello, M.; Papazoglou, Mike P.; Yang, Jian; Carman, M.; Pistore, M.; Serafini, L.; Traverso, P. 1 2002 Distributed description logics: Directed domain correspondences in federated information sources. Zbl 1018.68562Borgida, Alex; Serafini, Luciano 1 2002 Updating mental states from communication. Zbl 1056.68559Dragoni, A. F.; Giorgini, P.; Serafini, L. 1 2001 Using wrapper agents to answer queries in distributed information systems. Zbl 1051.68802Serafini, Luciano; Ghidini, Chiara 1 2000 Minimality and non-determinism in multi-context systems. Zbl 1081.68694Roelofsen, Floris; Serafini, Luciano 1 2005 Mental states recognition from communication. Zbl 1005.68150Dragoni, Aldo Franco; Giorgini, Paolo; Serafini, Luciano 1 2002 Complexity of reasoning with expressive ontology mappings. Zbl 1171.68748Ghidini, Chiara; Serafini, Luciano; Tessaris, Sergio 1 2008 Composing modular ontologies with distributed description logics. Zbl 1242.68318Serafini, Luciano; Tamilin, Andrei 1 2009 Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. Zbl 1443.68181Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 2 2019 Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 5 2018 Learning and reasoning with logic tensor networks. Zbl 1430.68317Serafini, Luciano; d’Avila Garcez, Artur S. 8 2016 Composing modular ontologies with distributed description logics. Zbl 1242.68318Serafini, Luciano; Tamilin, Andrei 1 2009 Mapping properties of heterogeneous ontologies. Zbl 1169.68622Ghidini, Chiara; Serafini, Luciano 2 2008 Complexity of reasoning with expressive ontology mappings. Zbl 1171.68748Ghidini, Chiara; Serafini, Luciano; Tessaris, Sergio 1 2008 Verifying space and time requirements for resource-bounded agents. Zbl 1196.68284Alechina, Natasha; Bertoli, Piergiorgio; Ghidini, Chiara; Jago, Mark; Logan, Brian; Serafini, Luciano 3 2007 Formal analysis of an agent-based optimisation strategy for data grids. Zbl 1113.68305Cameron, D. G.; Carvajal-Schiaffino, R.; Nicholson, C.; Stockinger, K.; Zini, F.; Millar, A. P.; Serafini, L. 1 2006 Minimality and non-determinism in multi-context systems. Zbl 1081.68694Roelofsen, Floris; Serafini, Luciano 1 2005 Comparing formal theories of context in AI. Zbl 1085.68164Serafini, Luciano; Bouquet, Paolo 2 2004 Distributed description logics: assimilating information from peer sources. Zbl 1274.68454Borgida, Alex; Serafini, Luciano 11 2003 ML systems: A proof theory for contexts. Zbl 1011.03018Serafini, Luciano; Giunchiglia, Fausto 3 2002 A foundation for metareasoning. II: The model theory. Zbl 1012.68194Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 2 2002 Multicontext logic for semigroups of contexts. Zbl 1072.68584Nossum, Rolf; Serafini, Luciano 2 2002 A foundation for metareasoning. I: The proof theory. Zbl 1005.68149Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 2 2002 A request language for web-services based on planning and constraint satisfaction. Zbl 1019.68637Aiello, M.; Papazoglou, Mike P.; Yang, Jian; Carman, M.; Pistore, M.; Serafini, L.; Traverso, P. 1 2002 Distributed description logics: Directed domain correspondences in federated information sources. Zbl 1018.68562Borgida, Alex; Serafini, Luciano 1 2002 Mental states recognition from communication. Zbl 1005.68150Dragoni, Aldo Franco; Giorgini, Paolo; Serafini, Luciano 1 2002 Extending multi-agent cooperation by overhearing. Zbl 1023.68726Busetta, Paolo; Serafini, Luciano; Singh, Dhirendra; Zini, Floriano 1 2001 Updating mental states from communication. Zbl 1056.68559Dragoni, A. F.; Giorgini, P.; Serafini, L. 1 2001 Distributed first order logics. Zbl 1021.03007Ghidini, Chiara; Serafini, Luciano 6 2000 Using wrapper agents to answer queries in distributed information systems. Zbl 1051.68802Serafini, Luciano; Ghidini, Chiara 1 2000 A context-based logic for distributed knowledge representation and reasoning. Zbl 0943.03015Ghidini, Chiara; Serafini, Luciano 2 1999 Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9–11, 1999. Proceedings. Zbl 0921.00034 1 1999 Formal specification of beliefs in multi-agent systems. Zbl 0937.68113Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo 1 1999 Model checking multiagent systems. Zbl 0904.68159Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano 11 1998 Multilanguage hierarchical logics, or: How we can do without modal logics. Zbl 0787.68093Giunchiglia, Fausto; Serafini, Luciano 28 1994 all cited Publications top 5 cited Publications all top 5 Cited by 161 Authors 7 Serafini, Luciano 5 Eiter, Thomas 5 Giordano, Laura 4 Giunchiglia, Fausto 3 Dekhtyar, Michael I. 3 Dikovsky, Alexander Yakovlevich 3 Ghidini, Chiara 3 Valiev, Mars K. 2 Alechina, Natasha 2 Bouquet, Paolo 2 Bozzato, Loris 2 Brewka, Gerhard 2 Cruz-Filipe, Luís 2 Fink, Michael 2 Gaspar, Graça 2 Gliozzi, Valentina 2 Inoue, Katsumi 2 Kutz, Oliver 2 Logan, Brian 2 Nossum, Rolf Tomas 2 Nunes, Isabel 2 Rakib, Abdur 2 Sebastiani, Roberto 2 Theseider Dupré, Daniele 1 Aiello, Marco 1 Aleksiev, Teodor 1 Alivanistos, Dimitrios 1 Altuna, Ander 1 Ambroszkiewicz, Stanislaw 1 Amigoni, Francesco 1 Analyti, Anastasia 1 Antoniou, Grigoris 1 Argente, E. 1 Badreddine, Samy 1 Bao, Jie 1 Bauters, Kim 1 Benerecetti, Massimo 1 Benevides, Mario R. F. 1 Benzmüller, Christoph Ewald 1 Böhme, Stephan 1 Borgida, Alexander T. 1 Botti, Vicente J. 1 Braüner, Torben 1 Britz, Katarina 1 Brockmans, Saartje 1 Buyya, Rajkumar 1 Cabalar, Pedro 1 Cao, Yongzhi 1 Casali, Ana 1 Cimatti, Alessandro 1 Cochez, Michael 1 Costantini, Stefania 1 Criado, Natalia 1 Dao-Tran, Minh 1 Dastani, Mehdi M. 1 d’Avila Garcez, Artur S. 1 Daza, Daniel 1 de Boer, Frank S. 1 De Cock, Martine 1 De Gasperis, Giovanni 1 de Paiva, Valeria 1 Delgado, Carla 1 Dix, Jurgen 1 Dragoni, Aldo Franco 1 Du, Jianfeng 1 Ellmauthaler, Stefan 1 Euzenat, Jérôme 1 Feng, Zhiyong 1 Formisano, Andrea 1 Gabbay, Dov M. 1 Gagliardi Cozman, Fabio 1 Gao, Kun 1 Giunchiglia, Enrico 1 Godo, Lluís 1 Gonçalves, Ricardo 1 Haase, Peter 1 Hakli, Raul 1 Hindriks, Koen V. 1 Honavar, Vasant 1 Ianni, Giovambattista 1 Janssen, Jeroen 1 Ji, Qiu 1 Jiao, Wenpin 1 Kaldeli, Eirini 1 Kiesel, Rafael 1 Kim, Minyoung 1 Knorr, Matthias 1 Krennwallner, Thomas 1 Lazovik, Alexander 1 Leite, João 1 Lippmann, Marcel 1 Lombardi, Michele 1 Lomuscio, Alessio 1 Lopes, Luís Mário 1 López Pombo, Carlos Gustavo 1 Lücke, Dominik 1 Lutz, Carsten 1 Martelli, Alberto 1 Meyer, John-Jules Charles 1 Milano, Michela ...and 61 more Authors all top 5 Cited in 20 Serials 12 Artificial Intelligence 7 Annals of Mathematics and Artificial Intelligence 6 Journal of Applied Logic 3 International Journal of Intelligent Systems 3 International Journal of Approximate Reasoning 3 Theory and Practice of Logic Programming 2 Journal of Philosophical Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Programming and Computer Software 1 Synthese 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Journal of Parallel and Distributed Computing 1 Machine Learning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Fundamenta Informaticae 1 Journal of Applied Mathematics 1 Computational Intelligence 1 Logica Universalis Cited in 5 Fields 70 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year