Edit Profile Serafini, Luciano Compute Distance To: Compute Author ID: serafini.luciano Published as: Serafini, L.; Serafini, Luciano External Links: ORCID Documents Indexed: 38 Publications since 1994, including 2 Books 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 Dragoni, Aldo Franco 2 Eiter, Thomas 2 Giorgini, Paolo 2 Zini, Floriano 1 Alechina, Natasha 1 Bacci, Adolfo 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 d’Avila Garcez, Artur S. 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 Nicholson, Charles D. 1 Nossum, Rolf Tomas 1 Papazoglou, Mike P. 1 Petrillo, V. 1 Pistore, Marco 1 Roelofsen, Floris 1 Singh, Dhirendra Kumar 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 4 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 37 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 25 Publications have been cited 93 times in 60 Documents Cited by ▼ Year ▼ Multilanguage hierarchical logics, or: How we can do without modal logics. Zbl 0787.68093Giunchiglia, Fausto; Serafini, Luciano 27 1994 Distributed description logics: assimilating information from peer sources. Zbl 1274.68454Borgida, Alex; Serafini, Luciano 11 2003 Model checking multiagent systems. Zbl 0904.68159Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano 11 1998 Distributed first order logics. Zbl 1021.03007Ghidini, Chiara; Serafini, Luciano 6 2000 ML systems: A proof theory for contexts. Zbl 1011.03018Serafini, Luciano; Giunchiglia, Fausto 4 2002 Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 3 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 A foundation for metareasoning. II: The model theory. Zbl 1012.68194Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 3 2002 A foundation for metareasoning. I: The proof theory. Zbl 1005.68149Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 3 2002 Mapping properties of heterogeneous ontologies. Zbl 1169.68622Ghidini, Chiara; Serafini, Luciano 2 2008 Minimality and non-determinism in multi-context systems. Zbl 1081.68694Roelofsen, Floris; Serafini, Luciano 2 2005 Comparing formal theories of context in AI. Zbl 1085.68164Serafini, Luciano; Bouquet, Paolo 2 2004 Multicontext logic for semigroups of contexts. Zbl 1072.68584Nossum, Rolf; Serafini, Luciano 2 2002 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.00034Bouquet, Paolo (ed.); Serafini, Luciano (ed.); Brézillon, Patrick (ed.); Benerecetti, Massimo (ed.); Castellani, Francesca (ed.) 2 1999 Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. Zbl 1443.68181Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 1 2019 Complexity of reasoning with expressive ontology mappings. Zbl 1171.68748Ghidini, Chiara; Serafini, Luciano; Tessaris, Sergio 1 2008 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 Distributed description logics: Directed domain correspondences in federated information sources. Zbl 1018.68562Borgida, Alex; Serafini, Luciano 1 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 Mental states recognition from communication. Zbl 1005.68150Dragoni, Aldo Franco; Giorgini, Paolo; Serafini, Luciano 1 2002 Updating mental states from communication. Zbl 1056.68559Dragoni, A. F.; Giorgini, P.; Serafini, L. 1 2001 Extending multi-agent cooperation by overhearing. Zbl 1023.68726Busetta, Paolo; Serafini, Luciano; Singh, Dhirendra; Zini, Floriano 1 2001 Using wrapper agents to answer queries in distributed information systems. Zbl 1051.68802Serafini, Luciano; Ghidini, Chiara 1 2000 Formal specification of beliefs in multi-agent systems. Zbl 0937.68113Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo 1 1999 Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. Zbl 1443.68181Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 1 2019 Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196Bozzato, Loris; Eiter, Thomas; Serafini, Luciano 3 2018 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 2 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 4 2002 A foundation for metareasoning. II: The model theory. Zbl 1012.68194Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 3 2002 A foundation for metareasoning. I: The proof theory. Zbl 1005.68149Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano 3 2002 Multicontext logic for semigroups of contexts. Zbl 1072.68584Nossum, Rolf; Serafini, Luciano 2 2002 Distributed description logics: Directed domain correspondences in federated information sources. Zbl 1018.68562Borgida, Alex; Serafini, Luciano 1 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 Mental states recognition from communication. Zbl 1005.68150Dragoni, Aldo Franco; Giorgini, Paolo; Serafini, Luciano 1 2002 Updating mental states from communication. Zbl 1056.68559Dragoni, A. F.; Giorgini, P.; Serafini, L. 1 2001 Extending multi-agent cooperation by overhearing. Zbl 1023.68726Busetta, Paolo; Serafini, Luciano; Singh, Dhirendra; Zini, Floriano 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.00034Bouquet, Paolo (ed.); Serafini, Luciano (ed.); Brézillon, Patrick (ed.); Benerecetti, Massimo (ed.); Castellani, Francesca (ed.) 2 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 27 1994 all cited Publications top 5 cited Publications all top 5 Cited by 135 Authors 6 Serafini, Luciano 4 Eiter, Thomas 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 Brewka, Gerhard 2 Cruz-Filipe, Luís 2 Fink, Michael 2 Gaspar, Graça 2 Giordano, Laura 2 Kutz, Oliver 2 Logan, Brian 2 Nossum, Rolf Tomas 2 Nunes, Isabel 2 Rakib, Abdur 2 Sebastiani, Roberto 1 Aiello, Marco 1 Altuna, Ander 1 Ambroszkiewicz, Stanislaw 1 Amigoni, Francesco 1 Analyti, Anastasia 1 Antoniou, Grigoris 1 Argente, E. 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 Bozzato, Loris 1 Braüner, Torben 1 Britz, Katarina 1 Brockmans, Saartje 1 Buyya, Rajkumar 1 Cabalar, Pedro 1 Casali, Ana 1 Cimatti, Alessandro 1 Costantini, Stefania 1 Criado, Natalia 1 Dao-Tran, Minh 1 Dastani, Mehdi M. 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 Fisher, Michael E. 1 Formisano, Andrea 1 Gabbay, Dov M. 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 Knorr, Matthias 1 Krennwallner, Thomas 1 Lazovik, Alexander 1 Leite, João 1 Lippmann, Marcel 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 Mossakowski, Till 1 Mu, Kedian 1 Nalon, Cláudia 1 Negri, Sara 1 Nguyen Hoang Nga 1 Nguyen, Hoang Nga 1 Noriega, Pablo 1 Novak, Peter 1 Pachoulakis, Ioannis 1 Pan, Jeff Z. 1 Penczek, Wojciech 1 Primiero, Giuseppe 1 Pührer, Jörg 1 Qi, Guilin 1 Raimondi, Franco ...and 35 more Authors all top 5 Cited in 18 Serials 10 Artificial Intelligence 6 Annals of Mathematics and Artificial Intelligence 6 Journal of Applied Logic 3 International Journal of Intelligent Systems 2 Journal of Philosophical Logic 2 International Journal of Approximate Reasoning 2 Theory and Practice of Logic 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 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Applied Mathematics 1 Computational Intelligence 1 Logica Universalis 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 58 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year