Paolo Gentilini

16 papers B 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2015 J jnl
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.
Fundam. Informaticae
Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini
2013 — conf
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.
CILC
Paolo Gentilini, Maurizio Martelli
2011 J jnl
Proof theory and mathematical meaning of paraconsistent C-systems.
J. Appl. Log.
Paolo Gentilini
2010 J jnl
Abstract deduction and inferential models for type theory.
Inf. Comput.
Paolo Gentilini, Maurizio Martelli
2006 — conf
Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference.
LMCS
Paolo Gentilini
2005 J jnl
Paraconsistent Informational Logic.
J. Appl. Log.
Paola Forcheri, Paolo Gentilini
2005 J jnl
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework.
J. Appl. Non Class. Logics
Paola Forcheri, Paolo Gentilini
1999 J jnl
Informational Logic in Knowledge Representation and Automated Deduction.
AI Commun.
Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino
1999 J jnl
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric.
Stud Logica
Paolo Gentilini
1999 J jnl
Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel.
Stud Logica
Paolo Gentilini
1999 J jnl
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof.
Stud Logica
Paolo Gentilini
1998 J jnl
Informational Logic as a Tool for Automated Reasoning.
J. Autom. Reason.
Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino
1996 B conf
Informational Logic for Automated Reasoning.
JELIA
Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino
1993 J jnl
Syntactical results on the arithmetical completeness of modal logic.
Stud Logica
Paolo Gentilini
1992 J jnl
Provability Logic in the Gentzen Formulation of Arithmetic.
Math. Log. Q.
Paolo Gentilini
1986 J jnl
On the Proof Theory of the Modal Logic Grz.
Math. Log. Q.
Marco Borga, Paolo Gentilini
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling