Buscar
Mostrando ítems 1-3 de 3
Ponencia
Abducción y semántica de teoría de juegos
(Universidade de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
An agency-inspired inferential game is proposed in which two agents (abductive and deductive) interact. It depicts hybrid inferencial contexts where deductive and abductive steps are mixed. The abductive agent can use ...
Artículo
Tuning the program transformers from LCC to PDL
(IFCoLog (The International Federation for Computational Logic), 2018)
This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the Logic of Communication and Change (LCC). Our proposal uses an elegant matrix treatment of ...
Ponencia