• 

  A Probabilistic Framework for Non-Cheating Machine Teaching 

  Ferri Ramírez, César; Hernández Orallo, José; Telle, Jan Arne (2022-05-03)

  Over the past decades in the field of machine teaching, several restrictions have been introduced to avoid ‘cheating’, such as collusion-free or non-clashing teaching. However, these restrictions forbid several teaching ...
• 

  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)

  Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as ...
• 

  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)

  [EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
• 

  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)

  In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
• 

  I.G 

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

  This report summarises the key ideas for a simple concept of I.G. and its explanatory value for several areas.

View more