×

zbMATH — the first resource for mathematics

Sauro, Luigi

Compute Distance To:
Author ID: sauro.luigi Recent zbMATH articles by "Sauro, Luigi"
Published as: Sauro, L.; Sauro, Luigi
Documents Indexed: 9 Publications since 2006

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 32 times in 28 Documents Cited by Year
Defeasible inclusions in low-complexity DLs. Zbl 1247.68265
Bonatti, P. A.; Faella, M.; Sauro, L.
12
2011
On the boundary of behavioral strategies. Zbl 1367.68290
Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
7
2013
Dependency in cooperative Boolean games. Zbl 1262.68168
Sauro, Luigi; Villata, Serena
5
2013
A behavioral hierarchy of strategy logic. Zbl 1390.68614
Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
4
2014
On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\). Zbl 1420.68199
Bonatti, P. A.; Sauro, L.
3
2017
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
1
2015
On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\). Zbl 1420.68199
Bonatti, P. A.; Sauro, L.
3
2017
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
1
2015
A behavioral hierarchy of strategy logic. Zbl 1390.68614
Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
4
2014
On the boundary of behavioral strategies. Zbl 1367.68290
Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
7
2013
Dependency in cooperative Boolean games. Zbl 1262.68168
Sauro, Luigi; Villata, Serena
5
2013
Defeasible inclusions in low-complexity DLs. Zbl 1247.68265
Bonatti, P. A.; Faella, M.; Sauro, L.
12
2011

Citations by Year