From the 1 of 2.3k papers with an AI index.
29.3k citations
- University of PisaIT1.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT1.4k papers
- Centre National de la Recherche ScientifiqueFR1.3k papers
- University of BolognaIT1.3k papers
- The Ohio State UniversityUS1.3k papers
- Waseda UniversityJP1.2k papers
- Sapienza University of RomeIT1.2k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.2k papers
- University of ChicagoUS1.2k papers
- University of GlasgowGB1.2k papers
- University of MichiganUS1.2k papers
- Institute for High Energy PhysicsES1.2k papers
60 papers · 1 filter
Sensible Intersection Type Theories
Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini +1
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the co…
An Automaton-based Characterisation of First-Order Logic over Infinite Trees
Massimo Benerecetti, Dario Della Monica, Angelo Matteo +2
In this paper, we study First Order Logic (FO) over (unordered) infinite trees and its connection with branching-time temporal logics. More specifically, we provide an automata-the…
Bridging Logic Programming and Deep Learning for Explainability through ILASP
Talissa Dreossi
My research explores integrating deep learning and logic programming to set the basis for a new generation of AI systems. By combining neural networks with Inductive Logic Programm…
SMT-based Symbolic Model-Checking for Operator Precedence Languages
Michele Chiari, Luca Geatti, Nicola Gigante +1
Operator Precedence Languages (OPL) have been recently identified as a suitable formalism for model checking recursive procedural programs, thanks to their ability of modeling the…
Principal Types as Partial Involutions
Furio Honsell, Marina Lenisa, Ivan Scagnetto
We show that the principal types of the closed terms of the affine fragment of -calculus, with respect to a simple type discipline, are structurally isomorphic to their interpre…
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Alberto Ciaffaglione, Carlos Olarte
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…