Pubblicazioni

Circular (Yet Sound) Proofs in Propositional Logic

2023 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Atserias, Albert; Lauria, Massimo

Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

2023 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Liberatore, Paolo

Reasoning about Quality and Fuzziness of Strategic Behaviors

2023 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe

Products, polynomials and differential equations in the stream calculus

2023 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Boreale, Michele; Collodi, Luisa; Gorla, Daniele

Expressiveness and Nash Equilibrium in Iterated Boolean Games

2021 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael

On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo

Narrow proofs may be maximally long

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Atserias, Albert; Lauria, Massimo; Nordström, Jakob

Belief merging by examples

2015 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Liberatore, Paolo

From small space to small width in resolution

2015 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma