Metabuscador

Filtrado por:

Temas

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

Idiomas

Año

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

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

Mostrar 10 | 50 | 100 resultados por página

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

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

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

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

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

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

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

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

10.

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

11.

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

12.

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

13.

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

14.

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

15.

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

16.

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