Implementación de chequeadores de modelos para MAS (Record no. 56202)

MARC details
000 -CABECERA
campo de control de longitud fija 02316nam a2200265 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170431.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2014 ag a rm 000 0 spa d
024 8# - Otro identificador estandar
Número estándar o código DIF-M7039
-- 7217
-- DIF006422
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Fournier, Gastón
245 10 - MENCIÓN DE TÍTULO
Título Implementación de chequeadores de modelos para MAS
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Fecha de publicación, distribución, etc. 2014
300 ## - DESCRIPCIÓN FÍSICA
Extensión 79 p. :
Otras características físicas il.
502 ## - NOTA DE TESIS
Nota de tesis Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2014.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato 1. Introducción -- 2. Lógicas modales -- 2.1 Lógica modal -- 2.2 Semántica relacional (o de Kripke) -- 2.2.1 Semántica de Scott-Montague -- 2.3 Chequeador de modelos -- 3.Combinación de lógicas normales y no normales -- 3.1 Una lógica multi-modal para MAS -- 3.2 Modelo multi-relacional -- 3.3 Fibrado de lógicas -- 3.4 Fibrado: Sintaxis y semántica -- 3.5 Correctitud y completitud de la lógica base -- 4. Implementación de un chequeador de modelos para N (Does) -- 4.1 Definiciones previas -- 4.2 Programación orientada a objetos -- 4.3 Definiciones básicas sobre Java -- 4.4 Principales dificultades -- 4.5 Representación del fibrado -- 4.5.1 Representación de frames y modelos -- 4.5.2 Representación de fórmulas -- 4.6 Evaluación de fórmulas -- 4.7 Implementación de Java -- 4.8 Consideraciones sobre la implementación -- 4.8.1 Validación de las relaciones de accesibilidad -- 4.9 Ejemplo de aplicación -- 5. Análisis de tiempos de ejecución -- 5.1 Análisis de ejecución del chequeador -- 5.1.1 Orden de ejecución de eval para fórmulas booleanas -- 5.1.2 Orden de ejecución de eval para fórmulas modales -- 5.2 Propuestas de mejoras -- 6. Estado del arte en chequeadores de modelos para MAS -- 6.1 MCK -- 6.2 MCMAS -- 6.3 Mocha -- 6.4 NuSMV -- 6.5 PRISM -- 6.6 VerICS -- 6.7 Otras herramientas para MAS -- 6.7.1 LoTREC -- 6.7.2 MAELIA -- 6.7.3 G A M A -- 7. Conclusiones y trabajo futuro -- A. Apéndice: Ejemplos de uso del chequeador de modelos
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada SISTEMAS MULTIAGENTES
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada AGENTES INTELIGENTES
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada LÓGICA MODAL
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada MODELOS
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado chequeador
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Otonelo, Leonardo
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Smith, Clara Patricia ,
-- Director/a
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Tesis de posgrado
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
      Consulta en Sala Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-04411   TES 14/23 DIF-04411 11/03/2025 11/03/2025 Tesis de posgrado