Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Unversidad Nacional de La Plata (39)

Más...

Año

2013 (1)
2012 (35)
2011 (1)
2008 (2)
2007 (4)
2006 (4)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Actions and arguments: preliminaries and examples
Simari, Guillermo Ricardo - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…
Fecha:	2012-10-31
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

Uma ferramenta para a construção de aplicações multilinguagens de programação
Freitas, Aparecido Valdemir de - Neto, João José

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The paper presents a tool that aid to implement applications that using more than one programming language. These applications are named multilanguages and when the composed languages represent different paradigms also are entitled multiparadigms. The programming multilanguage and multiparadigm technique…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Identifying cognitive aspects to improve business process reengineering
Martín, Adriana - Cechich, Alejandra

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Knowledge-intensive processes are widely used to recover from errors, handle exceptional cases and complaints, and to improve or adapt a process itself. In this context, evolved Business-Process Reengineering (BPR) techniques are changing to give some answers to this reality. In…
Fecha:	2012-10-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Revisions of orders in dynamic systems
Falappa, Marcelo Alejandro - Simari, Patricio D.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Um algoritmo cultural para resolver problemas de otimização: aplicação em um problema de despacho econômico
Lapasini Leal, Gislaine Camila - Samed, Márcia Marcondes Altimari - Macedo Rodrigues, Natally

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artigo apresenta um algoritmo Cultural Extendido para o problema do Despacho Econômico. O Algoritmo Cultural têm cinco categorias de conhecimento. Este trabalho visa demonstrar a aplicação do conhecimento histórico, que objetiva monitorar a busca e armazenar os eventos importantes…
Fecha:	2012-09-25
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

An argumentative formalism for implementing rational agents
Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The design of intelligent agents is a key issue for many applications. Although there is no universally accepted de nition of intelligence, a notion of rational agency has been proposed as an alternative for the characterization of intelligent agency. Modeling…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Fuzzy prolog with default knowledge
Vaucheret, Claudio A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…
Fecha:	2012-09-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

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

11.

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

12.

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

13.

A graphic tool for ontology viewing based on graph theory
Stradiotto, César - Pacheco, Everton - Bortolon, Andre - Hoeschl, Hugo Cesar

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The Knowledge Engineering Suite is an ontology production method, based on relationship networks, for knowledge representation inside specific contexts. The production of these ontologies has three basic steps, since catching the client data, knowledge base creation, and information retrieval and…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

Formalizando algoritmos concorrentes
Diverio, Tiarajú A. - Alves, Rodrigo S. - Ferreira, Simone

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este trabalho mostra uma forma de pensar concorrente. São utilizados algoritmos de grafos, algoritmo do menor caminho, para mostrar desde a especificação até a implementação de algoritmos concorrentes. Objetiva-se mostrar uma outra forma de ensinar a concorrência, sua teoria, propriedades…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

15.

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

16.

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

17.

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

18.

A taxonomy for argumentative frameworks based on labelled deduction
Chesñevar, Carlos Iván

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Artificial Intelligence has long dealt with the issue of finding a suitable formalization for reasoning with incomplete and potentially inconsistent information. Defeasible argumentation [SL92,CML00,PraVre99] has proven to be a successful approach in many respects, since it naturally resembles many aspects…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Potencial de la informática en la construcción del conocimiento
Narváez, Rafael - Rodríguez, Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Actualmente el lugar que se le asigna a la informática en la mayoría de los planes de estudio de las escuelas de enseñanza media es el de una asignatura más, con contenidos, metodologías y quehaceres propios. Dentro de este enfoque…
Fecha:	2012-11-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

20.

Modeling argumentation with labeled deduction: formalization and theoretical considerations
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a °exible methodology…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

Consequence operators for defeasible argumentation: characterization and logical properties
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

22.

Formalizing processes in defeasible argumentation using labeled deductive systems
Chesñevar, Carlos Iván

Formato:	Articulo, Revision
Enlaces:	This paper summarizes the main results developed in the author's PhD Thesis. The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework…
Fecha:	2011-09-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

23.

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

24.

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

25.

The agent routering process of a dynamic distributed decision support system
Stegmayer Machado, Georgina S. - Taverna, María Laura - Chiotti, Omar Juan Alfredo - Galli, María Rosa

Formato:	Articulo, Articulo
Enlaces:	When certain enterprise domain needs to make an unusual decision, it will probably require new kind of information. If the interaction model among domains cannot be defined because the decision scenarios are unpredictable, the system itself must search the required…
Fecha:	2004-03-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

26.

A comparison between non-monotonic formalisms
Delladio, Telma - Rotstein, Nicolás D. - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	It is interesting and important to compare, analyze and assess the alternative tools that could be used in the area of Knowledge Representation. In this paper we present a reasearch line associated to this goal: to formally establish the relation…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

27.

Towards a parallel image mining system
Fernández, Jacqueline - Guerrero, Roberto A. - Miranda, Natalia - Piccoli, Fabiana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El análisis de imágenes puede revelar información útil para los usuarios El significativo aumento del uso de imágenes en diferentes campos de la ciencia, medicina, negocios, etc., requiere de mayor poder de procesamiento. Con el avance en la adquisición de…
Fecha:	2012-10-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

28.

Handling inconsistency on ontologies through a generalized dynamic argumentation framework
Moguillansky, Martín O. - Rotstein, Nicolás D. - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this article we present a generalized dynamic argumentation framework that handles arguments expressed in an abstract language assumed to be some first order logic fragment. Once the formalism is presented, we propose a reification to the description logic ALC…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

29.

Intel Xeon Phi Coprocessor High Performance Programming
More, Andres

Formato:	Articulo, Revision
Enlaces:	James Reinders (Chief Evangelist of Intel® Software at Intel) and Jim Jeffers (Principal Engineer at Intel) have gathered in this book the working knowledge of the people involved to prototype and productize the Intel® Xeon Phi coprocessor. This include…
Fecha:	2013-10-03
Recurso:	Unversidad Nacional de La Plata

Recurso libre

30.

Towards a comparison criteria for CDeLP
Cobo, María Laura - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

Algunos resultados experimentales de la integración de agrupamiento e inducción como método de descubrimiento de conocimiento
Kogan, A. - Rancan, Claudio - Britos, Paola Verónica - Pesado, Patricia - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El descubrimiento de conocimiento (KD Knowledge Discovery) consiste en la búsqueda de patrones interesantes y de regularidades importantes en grandes bases de información [Holsheimer y Siebes, 1991; Piatetski-Shapiro et al., 1991]. Al hablar de descubrimiento de conocimiento basado en sistemas…
Fecha:	2012-08-24
Recurso:	Unversidad Nacional de La Plata

Recurso libre

32.

Notions of relevance for modeling the dynamics of belief
Falappa, Marcelo Alejandro - Maguitman, Ana Gabriela

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed.
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

Pattern recognition in medical images using neural networks
Lanzarini, Laura Cristina - De Giusti, Armando Eduardo

Formato:	Articulo, Articulo
Enlaces:	The proposal of this research line is the search for alternatives to the resolution of complex problems where human knowledge should be apprehended in a general fashion. In particular, the activities developed so far can be included in the area…
Fecha:	2004-03-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

34.

Proposal of fuzzy logic-based students' learning assessment model
Huapaya, Constanza Raquel

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The cognitive diagnosis is defined as the abstract process of gathering information about the student's learning and transforming that information based on instructional decisions. A model that captures the expert knowledge of experienced professors and is used to design a…
Fecha:	2012-11-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

35.

Emprego de técnicas de representação do conhecimento como forma de apoio à engenharia de requisitos
Kroth, Eduardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The Requirements Engineering is fundamental part of the process of software development. Even if a program uses the most advanced technologies and has the best source code, it is not useful if it does not meet your requirements. The large…
Fecha:	2012-11-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

36.

Una taxonomía de cambios para el grafo de espacios de nombres contextuales para sistemas multi-agente en contextos múltiples
Gomez, Sergio A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Los agentes pueden definirse como componentes de software (programas) activos que perciben, razonan y se comunican a través de un protocolo predefinido. Muy generalmente, como en el caso de la World Wide Web, los agentes no son desarrollados en aislamiento…
Fecha:	2012-11-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

Autonomous search and rescue rotorcraft mission stochastic planning with generic DBNs
Fabiani, Patrick - Teichteil-Königsbuch, Florent

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

Reusing optimal TSP solutions for locally modified input instances
Hromkovič, Juraj - Böckenhauer, Hans-Joachim - Forlizzi, Luca - Kneis, Joachim - Kupke, Joachim - Proietti, Guido - Widmayer, Peter

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Given an instance of an optimization problem together with an optimal solution, we consider the scenario in which this instance is modified locally. In graph problems, e. g., a singular edge might be removed or added, or an edge weight…
Fecha:	2012-11-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

39.

Solving constrained optimization using a T-Cell artificial immune system
Aragón, Victoria S. - Esquivel, Susana Cecilia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this paper, we present a novel model of an artificial immune system (AIS), based on the process that suffers the T-Cell. The proposed model is used for solving constrained (numerical) optimization problems. The model operates on three populations: Virgins,…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata