Informes técnicos de investigación DSIC-ELP

Riunet Móvil

Informes técnicos de investigación DSIC-ELP

Colección de documentos de trabajo, informes técnicos y otro material de investigación realizado por los investigadores del Departamento de Sistemas Informáticos y Computación (DSIC). Grupo ELP: Extensiones de la Programación Lógica (Extensions of Logic Programming) de la Universitat Politècnica de València en el desarrollo de sus investigaciones.

Envíos recientes

A Probabilistic Framework for Non-Cheating Machine Teaching

Ferri Ramírez, César; Hernández Orallo, José; Telle, Jan Arne (2022-05-03)
Narrowing-based Optimization of Rewrite Theories

Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2020-06-08)
Abstract Contract Synthesis and Verification in the Symbolic K Framework

Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)
Static Correction of Maude Programs with Assertions

Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2018-04-12)
I.G

Hernández-Orallo, José (Universitat Politècnica de València, 2018-04-12)

Riunet Móvil

Informes técnicos de investigación DSIC-ELP

Envíos recientes

Tema móvil para Riunet