×

zbMATH — the first resource for mathematics

Serafini, Luciano

Compute Distance To:
Author ID: serafini.luciano Recent zbMATH articles by "Serafini, Luciano"
Published as: Serafini, L.; Serafini, Luciano
External Links: ORCID
Documents Indexed: 38 Publications since 1994, including 2 Books

Publications by Year

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.68093
Giunchiglia, Fausto; Serafini, Luciano
27
1994
Distributed description logics: assimilating information from peer sources. Zbl 1274.68454
Borgida, Alex; Serafini, Luciano
11
2003
Model checking multiagent systems. Zbl 0904.68159
Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano
11
1998
Distributed first order logics. Zbl 1021.03007
Ghidini, Chiara; Serafini, Luciano
6
2000
ML systems: A proof theory for contexts. Zbl 1011.03018
Serafini, Luciano; Giunchiglia, Fausto
4
2002
Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
3
2018
Verifying space and time requirements for resource-bounded agents. Zbl 1196.68284
Alechina, Natasha; Bertoli, Piergiorgio; Ghidini, Chiara; Jago, Mark; Logan, Brian; Serafini, Luciano
3
2007
A foundation for metareasoning. II: The model theory. Zbl 1012.68194
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
3
2002
A foundation for metareasoning. I: The proof theory. Zbl 1005.68149
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
3
2002
Mapping properties of heterogeneous ontologies. Zbl 1169.68622
Ghidini, Chiara; Serafini, Luciano
2
2008
Minimality and non-determinism in multi-context systems. Zbl 1081.68694
Roelofsen, Floris; Serafini, Luciano
2
2005
Comparing formal theories of context in AI. Zbl 1085.68164
Serafini, Luciano; Bouquet, Paolo
2
2004
Multicontext logic for semigroups of contexts. Zbl 1072.68584
Nossum, Rolf; Serafini, Luciano
2
2002
A context-based logic for distributed knowledge representation and reasoning. Zbl 0943.03015
Ghidini, 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
Bouquet, 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.68181
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
1
2019
Complexity of reasoning with expressive ontology mappings. Zbl 1171.68748
Ghidini, Chiara; Serafini, Luciano; Tessaris, Sergio
1
2008
Formal analysis of an agent-based optimisation strategy for data grids. Zbl 1113.68305
Cameron, 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.68562
Borgida, Alex; Serafini, Luciano
1
2002
A request language for web-services based on planning and constraint satisfaction. Zbl 1019.68637
Aiello, M.; Papazoglou, Mike P.; Yang, Jian; Carman, M.; Pistore, M.; Serafini, L.; Traverso, P.
1
2002
Mental states recognition from communication. Zbl 1005.68150
Dragoni, Aldo Franco; Giorgini, Paolo; Serafini, Luciano
1
2002
Updating mental states from communication. Zbl 1056.68559
Dragoni, A. F.; Giorgini, P.; Serafini, L.
1
2001
Extending multi-agent cooperation by overhearing. Zbl 1023.68726
Busetta, Paolo; Serafini, Luciano; Singh, Dhirendra; Zini, Floriano
1
2001
Using wrapper agents to answer queries in distributed information systems. Zbl 1051.68802
Serafini, Luciano; Ghidini, Chiara
1
2000
Formal specification of beliefs in multi-agent systems. Zbl 0937.68113
Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo
1
1999
Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. Zbl 1443.68181
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
1
2019
Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
3
2018
Mapping properties of heterogeneous ontologies. Zbl 1169.68622
Ghidini, Chiara; Serafini, Luciano
2
2008
Complexity of reasoning with expressive ontology mappings. Zbl 1171.68748
Ghidini, Chiara; Serafini, Luciano; Tessaris, Sergio
1
2008
Verifying space and time requirements for resource-bounded agents. Zbl 1196.68284
Alechina, 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.68305
Cameron, 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.68694
Roelofsen, Floris; Serafini, Luciano
2
2005
Comparing formal theories of context in AI. Zbl 1085.68164
Serafini, Luciano; Bouquet, Paolo
2
2004
Distributed description logics: assimilating information from peer sources. Zbl 1274.68454
Borgida, Alex; Serafini, Luciano
11
2003
ML systems: A proof theory for contexts. Zbl 1011.03018
Serafini, Luciano; Giunchiglia, Fausto
4
2002
A foundation for metareasoning. II: The model theory. Zbl 1012.68194
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
3
2002
A foundation for metareasoning. I: The proof theory. Zbl 1005.68149
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
3
2002
Multicontext logic for semigroups of contexts. Zbl 1072.68584
Nossum, Rolf; Serafini, Luciano
2
2002
Distributed description logics: Directed domain correspondences in federated information sources. Zbl 1018.68562
Borgida, Alex; Serafini, Luciano
1
2002
A request language for web-services based on planning and constraint satisfaction. Zbl 1019.68637
Aiello, M.; Papazoglou, Mike P.; Yang, Jian; Carman, M.; Pistore, M.; Serafini, L.; Traverso, P.
1
2002
Mental states recognition from communication. Zbl 1005.68150
Dragoni, Aldo Franco; Giorgini, Paolo; Serafini, Luciano
1
2002
Updating mental states from communication. Zbl 1056.68559
Dragoni, A. F.; Giorgini, P.; Serafini, L.
1
2001
Extending multi-agent cooperation by overhearing. Zbl 1023.68726
Busetta, Paolo; Serafini, Luciano; Singh, Dhirendra; Zini, Floriano
1
2001
Distributed first order logics. Zbl 1021.03007
Ghidini, Chiara; Serafini, Luciano
6
2000
Using wrapper agents to answer queries in distributed information systems. Zbl 1051.68802
Serafini, Luciano; Ghidini, Chiara
1
2000
A context-based logic for distributed knowledge representation and reasoning. Zbl 0943.03015
Ghidini, 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
Bouquet, 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.68113
Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo
1
1999
Model checking multiagent systems. Zbl 0904.68159
Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano
11
1998
Multilanguage hierarchical logics, or: How we can do without modal logics. Zbl 0787.68093
Giunchiglia, Fausto; Serafini, Luciano
27
1994
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

Citations by Year