Sfoglia per Autore
From Quasi-Dominions to Progress Measures
2023 Benerecetti, Massimo; Dell'Erba, Daniele; Faella, Marco; Mogavero, Fabio
Reachability Games Modulo Theories with a Bounded Safety Player
2023 Faella, M.; Parlato, G.
Universal Thompson Sampling
2022 Faella, Marco; Sauro, Luigi
Reasoning About Data Trees Using CHCs
2022 Faella, M.; Parlato, G.
A practical query selection framework for real-time Bayesian preference elicitation
2021 Faella, Marco; Finzi, Alberto; Sauro, Luigi
Irrelevant matches in round-robin tournaments
2021 Faella, M.; Sauro, L.
Seriously Good Software
2020 Faella, Marco
Preferences over rankings and how to control them using rewards
2020 Faella, M.; Sauro, L.
Preference theories on weak orders
2020 Faella, M.; Sauro, L.
Rapidly finding the best arm using variance
2020 Faella, M.; Finzi, A.; Sauro, L.
Do All Tournaments Admit Irrelevant Matches?
2018 Faella, Marco; Sauro, Luigi
A new semantics for overriding in description logics
2017 Bonatti, P. A.; Faella, M.; Petrova, I. M.; Sauro, L.
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control
2017 Benerecetti, Massimo; Faella, Marco
Tracking smooth trajectories in linear hybrid systems
2017 Benerecetti, Massimo; Faella, Marco
Hedging Bets in Markov Decision Processes
2016 Alur, Rajeev; Faella, Marco; Kannan, Sampath; Singhania, Nimit
Generalized Agent-mediated Procurement Auctions
2016 Bonatti, PIERO ANDREA; Faella, Marco; Galdi, Clemente; Sauro, Luigi
Average Controllability Measures for Solitaire Games.
2016 Faella, Marco
A new semantics for overriding in description logics
2015 Bonatti, PIERO ANDREA; Faella, Marco; Petrova, ILIANA MINEVA; Sauro, Luigi
Partial Preferences for Mediated Bargaining
2014 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Decidability of Circumscribed Description Logics Revisited
2014 Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
From Quasi-Dominions to Progress Measures | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Benerecetti, Massimo; Dell'Erba, Daniele; Faella, Marco; Mogavero, Fabio | |
Reachability Games Modulo Theories with a Bounded Safety Player | 4.1 Articoli in Atti di convegno | 2023 | Faella, M.; Parlato, G. | |
Universal Thompson Sampling | 4.1 Articoli in Atti di convegno | 2022 | Faella, Marco; Sauro, Luigi | |
Reasoning About Data Trees Using CHCs | 2.1 Contributo in volume (Capitolo o Saggio) | 2022 | Faella, M.; Parlato, G. | |
A practical query selection framework for real-time Bayesian preference elicitation | 4.1 Articoli in Atti di convegno | 2021 | Faella, Marco; Finzi, Alberto; Sauro, Luigi | |
Irrelevant matches in round-robin tournaments | 1.1 Articolo in rivista | 2021 | Faella, M.; Sauro, L. | |
Seriously Good Software | 3.1 Monografia o trattato scientifico | 2020 | Faella, Marco | |
Preferences over rankings and how to control them using rewards | 4.1 Articoli in Atti di convegno | 2020 | Faella, M.; Sauro, L. | |
Preference theories on weak orders | 2.1 Contributo in volume (Capitolo o Saggio) | 2020 | Faella, M.; Sauro, L. | |
Rapidly finding the best arm using variance | 4.1 Articoli in Atti di convegno | 2020 | Faella, M.; Finzi, A.; Sauro, L. | |
Do All Tournaments Admit Irrelevant Matches? | 4.1 Articoli in Atti di convegno | 2018 | Faella, Marco; Sauro, Luigi | |
A new semantics for overriding in description logics | 4.1 Articoli in Atti di convegno | 2017 | Bonatti, P. A.; Faella, M.; Petrova, I. M.; Sauro, L. | |
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control | 1.1 Articolo in rivista | 2017 | Benerecetti, Massimo; Faella, Marco | |
Tracking smooth trajectories in linear hybrid systems | 1.1 Articolo in rivista | 2017 | Benerecetti, Massimo; Faella, Marco | |
Hedging Bets in Markov Decision Processes | 4.1 Articoli in Atti di convegno | 2016 | Alur, Rajeev; Faella, Marco; Kannan, Sampath; Singhania, Nimit | |
Generalized Agent-mediated Procurement Auctions | 4.1 Articoli in Atti di convegno | 2016 | Bonatti, PIERO ANDREA; Faella, Marco; Galdi, Clemente; Sauro, Luigi | |
Average Controllability Measures for Solitaire Games. | 4.1 Articoli in Atti di convegno | 2016 | Faella, Marco | |
A new semantics for overriding in description logics | 1.1 Articolo in rivista | 2015 | Bonatti, PIERO ANDREA; Faella, Marco; Petrova, ILIANA MINEVA; Sauro, Luigi | |
Partial Preferences for Mediated Bargaining | 4.1 Articoli in Atti di convegno | 2014 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
Decidability of Circumscribed Description Logics Revisited | 4.1 Articoli in Atti di convegno | 2014 | Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile