Artículo
|
A normalisation result for higher-order calculi with explicit substitutions :
|
Bonelli, Eduardo
|
(2003)
|
|
----------
|
Libro
|
An introduction to default logic
|
Besnard, Philippe
|
(1989)
|
Domicilio
|
----------
|
Artículo
|
Artificial Intelligence techniques based on the integration of symbolic logic and deep neural networks: a systematic review of the literature
|
Negro, Pablo
|
(2022)
|
|
----------
|
Libro
|
C++ neural networks fuzzy logic
|
Rao, Valluru B.
|
1st ed.
(1993)
|
Domicilio
|
----------
|
Tesis
|
Completitud e implementación de modalidades en MAS
|
Ambrossio, Agustín
|
(2011)
|
Sala
|
----------
|
Documento de cátedra
|
Curso de ingreso :
|
Universidad Nacional de La Plata. Facultad de Informática
|
2009
2010
2011
2012
2014
2015
2016
2017
2018
2023
2023
2024
|
Domicilio
Sala
|
----------
|
Artículo
|
Decidability via filtration of neighbourhood models for multi-agent systems :
|
Smith, Clara Patricia
|
(2012)
|
|
----------
|
Libro
|
Desenvolvimento sistemático de programas corretos: a abordagem denotacional
|
Martins, Raul César Baptista
|
1a ed.
(1988)
|
|
----------
|
Tesis
|
Diseño de agentes inteligentes difusos para marketing web:
|
Vidaurreta, Carolina
|
(2005)
|
Sala
|
----------
|
Tesis
|
Estrategia de interacción para soporte a la toma de decisión en situaciones cotidianas
|
Di Santi, Nicolás A.
|
(2017)
|
Sala
|
----------
|