Alessio Guglielmi

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 6

Top Topics

Logical Properties

Decision Tree Algorithm

Top Venues

ACM Trans. Comput. Log.

Categories and Types in Logic, Language, and Physics

Log. Methods Comput. Sci.

Publications

Chris Barrett, Alessio Guglielmi
A Subatomic Proof System for Decision Trees. ACM Trans. Comput. Log. 23 (4) (2022)
Chris Barrett, Alessio Guglielmi
A Subatomic Proof System for Decision Trees. CoRR (2021)
Andrea Aler Tubella, Alessio Guglielmi
Subatomic Proof Systems: Splittable Systems. ACM Trans. Comput. Log. 19 (1) (2018)
Andrea Aler Tubella, Alessio Guglielmi
Subatomic Proof Systems: Splittable Systems. CoRR (2017)
Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph
Removing Cycles from Proofs. CSL (2017)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae Log. Methods Comput. Sci. 12 (2) (2016)
Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics (2014)
Lutz Straßburger, Alessio Guglielmi
A system of interaction and structure IV: The exponentials and decomposition. ACM Trans. Comput. Log. 12 (4) (2011)
Alessio Guglielmi, Lutz Straßburger
A system of interaction and structure V: the exponentials and splitting. Math. Struct. Comput. Sci. 21 (3) (2011)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. LPAR (Dakar) (2010)
Alessio Guglielmi, Tom Gundersen, Lutz Straßburger
Breaking Paths in Atomic Flows for Classical Logic. LICS (2010)
Alessio Guglielmi, Tom Gundersen, Michel Parigot
A Proof Calculus Which Reduces Syntactic Bureaucracy. RTA (2010)
Lutz Straßburger, Alessio Guglielmi
A System of Interaction and Structure IV: The Exponentials and Decomposition CoRR (2009)
Alessio Guglielmi
Personal portrait of Giorgio Levi. Theor. Comput. Sci. 410 (46) (2009)
Paola Bruscoli, Alessio Guglielmi
On the proof complexity of deep inference. ACM Trans. Comput. Log. 10 (2) (2009)
Alessio Guglielmi, Tom Gundersen
Normalisation Control in Deep Inference via Atomic Flows. Log. Methods Comput. Sci. 4 (1) (2008)
Alessio Guglielmi, Tom Gundersen
Normalisation Control in Deep Inference Via Atomic Flows CoRR (2007)
Alessio Guglielmi
A system of interaction and structure. ACM Trans. Comput. Log. 8 (1) (2007)
Paola Bruscoli, Alessio Guglielmi
On the Proof Complexity of Deep Inference CoRR (2007)
Paola Bruscoli, Alessio Guglielmi
On structuring proof search for first order linear logic. Theor. Comput. Sci. 360 (1-3) (2006)
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic CoRR (2003)
Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming. ICLP (2003)
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic. LPAR (2003)
Alessio Guglielmi, Lutz Straßburger
A Non-commutative Extension of MELL. LPAR (2002)
Alessio Guglielmi, Lutz Straßburger
Non-commutativity and MELL in the Calculus of Structures. CSL (2001)
Alessio Guglielmi
A System of Interaction and Structure CoRR (1999)
Alessio Guglielmi
Sequentiality by Linear Implication and Universal Quantification. STRICT (1995)
Paola Bruscoli, Alessio Guglielmi
A Linear Logic Programming Language with Parallel and Sequential Conjunction. GULP-PRODE (1995)
Alessio Guglielmi
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. ICLP (1994)
Paola Bruscoli, Alessio Guglielmi
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. GULP-PRODE (2) (1994)
Alessio Guglielmi, Giorgio Levi
Chemical Logic Programming? GULP (1993)
Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi
Chemical Logic Programming? ICLP Workshop on Blackboard-Based Logic Programming (1993)