OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (21)

Show More Show Less

Author

Simari, Guillermo Ricardo (5)
Chesñevar, Carlos Iván (4)
Pons, Claudia (2)
Stankevicius, Alejandro G. (2)
Benítez, Francisco (1)
Busso, Arturo Juan (1)
Cano, R. (1)
Capobianco, Marcela (1)
Castro, Eduardo Alberto (1)
Ceccatto, Hermenegildo Alejandro (1)

Show More Show Less

Subject

Ciencias Informáticas (19)
ARTIFICIAL INTELLIGENCE (6)
SOFTWARE ENGINEERING (5)
defeasible argumentation (4)
knowledge representation (4)
informática (3)
Distributed Systems (2)
Intelligent agents (2)
Logic Programming (2)
Models (2)

Show More Show Less

Year

2001 (21)
2012 (16)
1999 (4)
2008 (2)
2014 (1)
2018 (1)
2019 (1)

Show More Show Less

Document Type

Sin Especificar (16)
Artículo (3)
Tesis (2)

Show More Show Less

Language

Inglés (14)
Español (7)

Show More Show Less

Your search

Query: MODELING Repository: 37 Year: 2001

Sort by Score Title Year -

1-10 from 21 results (0.019 seconds)

Title: A taxonomy for argumentative frameworks based on labelled deduction
Author: Chesñevar, Carlos Iván
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / defeasible argumentation / labelled deduction / knowledge representation / Frameworks / ARTIFICIAL INTELLIGENCE / Theory of Computation / Distributed Systems

Acceder
Title: Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas
Author: Mola, Vanesa / Russo, Wanda Mariana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / aplicaciones informáticas / hipermedia

Acceder
Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
Title: Modelización y ensayo experimental de un climatizador por adsorción-humidificación
Author: Figueredo, Gustavo Raúl / Busso, Arturo Juan / Spotorno, Rubén Ángel / Pochettino, Juan José / Benítez, Francisco
Language: Español
Repository: 37
Subject: Ingeniería / evaluación energética / Energía Renovable / climatización solar / Adsorción / humidificación / Aire Acondicionado

Acceder
Title: El proceso de desarrollo de software basado en modelos
Author: Pons, Claudia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / desarrollo de software / Modelos / Models / SOFTWARE ENGINEERING

Acceder
Title: An argumentative formalism for implementing rational agents
Author: Capobianco, Marcela / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / knowledge representation / argumentation / rational agents / ARTIFICIAL INTELLIGENCE / Intelligent agents

Acceder
Title: Model evolution and system evolution
Author: Pons, Claudia / Kutsche, Ralf-Detlef
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Models / SOFTWARE ENGINEERING / Model evolution / system evolution

Acceder
Title: An abstract model for the process of deliberation within multiagent systems
Author: Stankevicius, Alejandro G. / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / deliberation / defeasible argumentation / Multiagent systems / ARTIFICIAL INTELLIGENCE / Intelligent agents

Acceder
Title: Modelos de estructuras de sistemas para ambiente integrado de ingeniería automática y métricas asociadas
Author: Jiménez Rey, Elizabeth Miriam / Grossi, María Delia / Servetto, Arturo Carlos / García Martínez, Ramón / Perichinsky, Gregorio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Herramientas CASE / SOFTWARE ENGINEERING / herramientas / Escenarios de Sistemas / Interfaces / Modelación de Operaciones y Comportamiento de Sistemas / Máquinas de Estados Finitos / Eventos en un Sistema / Diseño de Sistemas Orientado a Eventos / Interfaces Orientadas a Objeto

Acceder
Title: Consequence operators for defeasible argumentation: characterization and logical properties
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / informática / defeasible argumentation / knowledge representation / non-monotonic inference / labeled deduction

Acceder

« Previous 1 2 3 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723