Marco Volpe

28 papers B 2C 7Misc 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Are Frontier Large Language Models Suitable for Q&A in Science Centres?
CoRR
Jacob Watson, Fabrício Góes, Marco Volpe, Talles H. Medeiros
2024 J jnl
Do LLMs Agree on the Creativity Evaluation of Alternative Uses?
CoRR
Abdullah Al Rabeyah, Fabrício Góes, Marco Volpe, Talles H. Medeiros
2023 C conf
Is GPT-4 Good Enough to Evaluate Jokes?
ICCC
Fabrício Góes, Piotr Sawicki, Marek Grzes, Marco Volpe, Dan Brown
2023 C conf
Pushing GPT's Creativity to Its Limits: Alternative Uses and Torrance Tests.
ICCC
Fabrício Góes, Piotr Sawicki, Marek Grzes, Marco Volpe, Jacob Watson
2022 J jnl
From axioms to synthetic inference rules via focusing.
Ann. Pure Appl. Log.
Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe
2021 C conf
Enhancing Interactivity in Propp-Based Narrative Generation.
ICIDS
Luis Mienhardt, Marco Volpe
2019 J jnl
A general proof certification framework for modal logic.
Math. Struct. Comput. Sci.
Tomer Libal, Marco Volpe
2018 J jnl
A general proof certification framework for modal logic.
CoRR
Tomer Libal, Marco Volpe
2017 J jnl
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations.
Inf. Comput.
Luca Viganò, Marco Volpe, Margherita Zorzi
2017 J jnl
An interpolation-based method for the verification of security protocols.
J. Comput. Secur.
Marco Rocchetto, Luca Viganò, Marco Volpe
2016 B conf
A focused framework for emulating modal proof systems.
Advances in Modal Logic
Sonia Marin, Dale Miller, Marco Volpe
2016 — conf
Certification of Prefixed Tableau Proofs for Modal Logic.
GandALF
Tomer Libal, Marco Volpe
2015 J jnl
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
Theor. Comput. Sci.
Carlos Caleiro, João Marcos, Marco Volpe
2015 B conf
Focused Labeled Proof Systems for Modal Logic.
LPAR
Dale Miller, Marco Volpe
2014 J jnl
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
CoRR
Carlos Caleiro, João Marcos, Marco Volpe
2014 C conf
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper).
WoLLIC
Luca Viganò, Marco Volpe, Margherita Zorzi
2013 C conf
A Labeled Deduction System for the Logic UB.
TIME
Carlos Caleiro, Luca Viganò, Marco Volpe
2013 J jnl
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators.
Logica Universalis
Carlos Caleiro, Luca Viganò, Marco Volpe
2013 — conf
Using Interpolation for the Verification of Security Protocols.
STM
Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove
2012 C conf
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.
WoLLIC
Marco Volpe, João Marcos, Carlos Caleiro
2011 J jnl
Labelled natural deduction for a bundled branching temporal logic.
J. Log. Comput.
Andrea Masini, Luca Viganò, Marco Volpe
2010 J jnl
Back from the future.
J. Appl. Non Class. Logics
Andrea Masini, Luca Viganò, Marco Volpe
2010 — —
Labeled natural deduction for temporal logics.
Marco Volpe
2009 J jnl
A History of Until
CoRR
Andrea Masini, Luca Viganò, Marco Volpe
2009 — conf
A History of Until.
M4M
Andrea Masini, Luca Viganò, Marco Volpe
2009 Misc conf
A Labeled Natural Deduction System for a Fragment of CTL*.
LFCS
Andrea Masini, Luca Viganò, Marco Volpe
2008 J jnl
Labeled Natural Deduction Systems for a Family of Tense Logics
CoRR
Luca Viganò, Marco Volpe
2008 C conf
Labeled Natural Deduction Systems for a Family of Tense Logics.
TIME
Luca Viganò, Marco Volpe