Metabuscador

Filtrado por:

Temas

Knowledge Representation Formalisms and Methods (3)
SOFTWARE ENGINEERING (3)
Algorithms (2)
Bibliotecología (2)
Knowledge acquisition (2)
Más...

Idiomas

Año

2013 (1)
2012 (14)
2009 (1)
2008 (1)
2007 (5)
1998 (10)
Más...

Aproximadamente 20 registro(s) hasta el momento: (knowledge)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Agent programming using defeasible argumentation for knowledgerepresentation and reasoning
Gottifredi, Sebastián - Simari, Guillermo Ricardo - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Based on that study and considering that in 3APL…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Intelligent alarms detection for the analysis of system fault impact on business
Pace, C. - Russo, I. - Fernández, V. - Britos, Paola Verónica - Rossi, Bibiana D. - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The tools for fault impact analysis are important for the deployment of critical mission systems. These tools can be also used as a development phase aid. We introduce several concepts related to "business alarms". Business alarms are an approximation to…
Fecha:	2012-11-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Overview of a framework to hypermedia process modeling
Olsina Santos, Luis Antonio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this work, we discuss aspects of a framework to support the understanding and the improvement in hypermedia development processes. The framework is built taking into account two modeling approaches and four domain levels. The modeling approaches are called prescriptive…
Fecha:	2012-11-13
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Discovering geographic services from textual use cases
Saldaño, Viviana E. - Buccella, Agustina - Cechich, Alejandra

Formato:	Articulo, Articulo
Enlaces:	Component Based Software Development (CBSD) relies upon utilization of previously developed software components OTS (Off-The-Shelf), which are appropriately merged to satisfy particular system requirements. However, wide acceptance of this paradigm at industry requires efficient component identification and selection, aspects which…
Fecha:	2010-06-14
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Approximation to the dynamic hypermedial device modeling for the analysis of interactions
Rodríguez, Guillermo L. - San Martín, Patricia S.

Formato:	Articulo, Articulo
Enlaces:	The following research proposes a first approximation to the Dynamic Hypermedial Device modeling based on the analysis of interactions. In addition, the DEVS (Discrete EVents dynamic Systems) formalism is employed, which is particularly suitable for the modeling of discrete event…
Fecha:	2010-10-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

SeDiCI (Intellectual Creation Diffusion Service)
De Giusti, Marisa Raquel - Sobrado, Ariel - Vila, María Marta - Villarreal, Gonzalo Lujan - Lira, Ariel Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The Intellectual Creation Diffusion Service (SeDiCi) of the UNLP was created with the main objective of communicating to the society all the knowledge acquired in different academic fields of our university. This is how we can return all the efforts…
Fecha:	2007-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A first approach to abductive defeasible logic programming: formalization and properties
Gómez Lucero, Mauro J. - García, Alejandro Javier - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A sufficient condition for belief function construction from conditional belief functions
Klopotek, Mieczyslaw A. - Wierzchon, Slawomir T.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	It is commonly acknowledged that we need to accept and handle uncertainty when reasoning with real world data. The most profoundly studied measure of uncertainty is the probability. However, the general feeling is that probability cannot express all types of…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A parsimonious generation of combinatorial neural model
Prado, Hércules A. - Frigeri, Sandra - Engel, Paulo Martins

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper presents a new approach to reduce the space problem due to combinatorial explosion of CNM (Combinatorial Neural Model) method. First we show a description of CNM, proposed by Machado and Rocha [MAC 91], [MAC 92], [MAC 92a], [MAC…
Fecha:	2012-11-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

Negation in logic programs: is it necessary two connectives?
Fillottrani, Pablo Rubén - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

Construction of revisions by explanations
Falappa, Marcelo Alejandro - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how to modify our beliefs when we recieve new information. The main problem arises when the information is inconsistent with beliefs that represents our epistemic state.…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

Sources of parallelism in defeasible argumentation
García, Alejandro Javier - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

Disjunctive logic programming with negation as failure in the head
Cecchi, Laura - Fillottrani, Pablo Rubén - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal…
Fecha:	2012-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

Model contractions on description logics
Falappa, Marcelo Alejandro - Moguillansky, Martín O.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

15.

A cognitive approach to real-time rescheduling using SOAR-RL
Barsce, Juan Cruz - Palombarini, Jorge - Martínez, Ernesto

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Ensuring flexible and efficient manufacturing of customized products in an increasing dynamic and turbulent environment without sacrificing cost effectiveness, product quality and on-time delivery has become a key issue for most industrial enterprises. A promising approach to cope with this…
Fecha:	2013-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

Validación de un modelo de proceso software integral: el qué y el cómo
Acuña, Silvia T. - Lasserre, Cecilia María - Quincoces, Viviana Elizabet

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Las perspectivas para la Ingeniería del Software (IS) y del Conocimiento (IC) conducen hacia un desarrollo conjunto que permita la construcción de sistemas que integren software convencional (SC) y software basado en conocimientos. Alcanzado este punto, los desarrolladores de…
Fecha:	2012-11-14
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

SISPER – Sistema especialista para diagnóstico de disturbios de personalidade
Frozza, Rejane - Wanderley Moraes, Sílvia María

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	SISPER é o protótipo de um sistema especialista para Psicologia. É um sistema de cunho acadêmico que foi desenvolvido para diagnosticar Distúrbios de Personalidade. As pessoas com Distúrbios de Personalidade, na terminologia técnica, apresentam sintomas aloplásticos e ego-sintônicos, ou seja,…
Fecha:	2012-11-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

Plataforma de recolección en fuentes heterogéneas de la web y su aplicación a la organización de un repositorio semántico en SeDiCI: preliminares
De Giusti, Marisa Raquel - Sobrado, Ariel - Vosou, Agustín - Villarreal, Gonzalo Luján

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Se presenta una plataforma de recolección destinada a relacionar y unificar información disponible en distintos lugares de la Web-que siguen diferentes convenciones-para crear un repositorio temático que puedan navegar los usuarios. La plataforma será usada en el Servicio de Difusión…
Fecha:	2010-05-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Greedy seeding procedure for GAs solving a strip packing problem
Salto, Carolina - Alba Torres, Enrique - Molina, J.M. - Leguizamón, Guillermo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this paper, the two-dimensional strip packing problem with 3-stage level patterns is tackled using genetic algorithms (GAs). We evaluate the usefulness of a greedy seeding procedure for creating the initial population, incorporating problem knowledge. This is motivated by the…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

20.

Uso de escenarios en la derivación de software
Hadad, Graciela Dora Susana

Formato:	Tesis, Tesis de doctorado
Enlaces:	Esta tesis presenta una estrategia en la Ingeniería de Requisitos, denominada SDRES, que intenta abordar temas poco tratados en la práctica real, tales como los cambios constantes en los requisitos, defectos del software originados en los requisitos, el contexto organizacional…
Fecha:	2010-07-06
Recurso:	Unversidad Nacional de La Plata