Metabuscador

Filtrado por:

Temas

Idiomas

Año

2013 (4)
2012 (237)
2009 (6)
2008 (14)
2007 (23)
2006 (77)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

An overview of memory: some issues on structures and organization in the legal domain
Kaestner, Celso A. A. - Hasegawa, Fabiano M. - Santos, Emerson L. dos - Avila, Braulio C.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Lawyers often need to look for previous similar legal cases when analysing new ones. The more previous cases, the more time is spent. Classical search engines execute termbased retrieval, which may miss relevant documents as well as fetch several irrelevant…
Fecha:	2012-10-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Architecture of a mobile-agent of a distributed knowledge management system
Villareal, Pablo - Galli, Ma. Rosa - Chiotti, Omar Juan Alfredo - Bailone, Esteban

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This work describes a multi agent system designed to support the management of tacit knowledge that belongs to people of an organization. This is a distributed knowledge management system based on the use of mobile agents, which receive the user's…
Fecha:	2012-10-24
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Knowledge insertion: an efficient approach to reduce search effort in evolutionary scheduling
Pandolfi, Daniel - Lasso, Marta - San Pedro, María Eugenia de - Villagra, Andrea - Gallard, Raúl Hector

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Evolutionary algorithms (EAs) are merely blind search algorithms, which only make use of the relative fitness of solutions, but completely ignore the nature of the problem. Their performance can be improved by using new multirecombinative approaches, which provide a good…
Fecha:	2012-10-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

KISF: An interactive ontology framework
Pacheco, Edson José - Souza, Luiz C. Guarita - Shmeil, Marcos A. - Renaux, Douglas P. B.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Nowadays information circulates quickly in a human organization, what generates an internal difficulty in preserving inside the organization essential information to support decision-making. Decision Support Systems (DSS) aiding organizational decision-making, had, up to now, rigid inferences machines restricted to the…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Belief dynamics and explanations in ansprolog
Simari, Gerardo I. - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Knowledge representation models are very important in the design of intelligent agents because they provide with mechanisms to manage beliefs and their dynamics. In this paper, we propose the use of AnsProlog* as a knowledge representation language, and develop a…
Fecha:	2012-10-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Process of ontology construction for the development of an intelligent system for the organization and retrieval of knowledge in biodiversity – SISBIO
Rover, Aires José - Costa, Filipe Corrêa da - Bueno, Tânia C. D. - Hoeschl, Hugo Cesar

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This work describes the ontology construction process for the development of an Intelligent System for the Organization and Retrieval of Knowledge in Biodiversity – SISBIO. The system aims at the production of strategic information for the biofuel chain Two main…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Building ontologies in a domain oriented software engineering environment
Mian, Paula Gomes - Falbo, Ricardo de Almeida

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Ontologies can be used in Domain Oriented Software Engineering Environments (DOSEEs) to organize and describe knowledge and to support management, acquisition and sharing of knowledge regarding some domain. However, ontology construction is not a simple task. Thus, it is necessary…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Query expansion and noise treatment for information retrieval
Santos, Emerson L. dos - Avila, Braulio C. - Hasegawa, Fabiano M. - Kaestner, Celso A. A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Most of the search engines available over the Web are based on mathematical approaches \| classical techniques in the Information Retrieval area. Thereby, they are suitable for the retrieval of documents containing some or all the terms of a query,…
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

ODE: ontology-based software development environment
Falbo, Ricardo de Almeida - Natali, Ana Candida Cruz - Mian, Paula Gomes - Bertollo, Gleidson - Ruy, Fabiano Borges

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Software tools processing partially common set of data should share an understanding of what these data mean. Since ontologies have been used to express formally a shared understanding of information, we argue that they can be used to improve integration…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

A service-oriented infrastructure for collaborative learning in virtual knowledge spaces
Bopp, Thomas - Hinn, Robert - Hampel, Thorsten

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Classical knowledge production is an author-centered process. The emergence of cooperative internet technologies such as wikis or blogs shows a shift towards stronger cooperative production and communication of knowledge, closing the gap between readers and authors. The incorporation of such…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

La subsumición en la lógica descriptiva ALCN
Lizcano, Luis I.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

A cognitive model of user interaction as a guideline for designing novel interfaces
Aguilera, Felipe - Alarcón, Rosa A. - Guerrero, Luis A. - Collazos, Cesar A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Adaptive systems behavior based on user models appear promising, mostly for complex environments such as mixed reality environments (MRE). An MRE comprises a virtual representation of the reality as well as physical objects augmented with virtual features. These objects are…
Fecha:	2012-11-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

A study of prior knowledge insertion in evolutionary fuzzy recurrent controllers design
Apolloni, Javier - Kavka, Carlos - Roggero, Patricia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. As it is well known, the use of prior knowledge can dramatically improve the performance and quality…
Fecha:	2012-10-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

Knowledge discovery based on computational taxonomy and intelligent data mining
Perichinsky, Gregorio - García Martínez, Ramón - Proto, Araceli

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use of…
Fecha:	2012-11-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

15.

Project line: formally specifying the domain of balanced scorecard
Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Dasso, Aristides - Funes, Ana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In today’s world, in both the public or private organizations, there exists the problem that the organizations have to create value, are changing, but the tools to measure them are not. On the other hand, in the current economy, the…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

How to solve it by knowledge mining
Sampaio, Pedro Rafael Falcone

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Frequently we become amazed with the increasing number of problems to be solved that fiourish while facing daily activities. Often, related to these problems we llave also an incredible amount oí data. Since we cannot allways afford time and resources…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

Defeasible reasoning in dynamic domains
Capobianco, Marcela - Simari, Guillermo Ricardo

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

Recurso libre

18.

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

19.

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

20.

lntroducing generalized specificity in logic programming
Stolzenburg, Frieder - García, Alejandro Javier - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…
Fecha:	2012-11-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

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

22.

Forest fire prediction using fuzzy prototypical knowledge discovery
Olivas Varela, José Ángel - Romero, Francisco Pacual

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	An application of Zadeh’s prototype theory in the Knowledge Acquisition process, is presented here, and as a practical example, to define a method for predicting the evolution of the forest fire occurrence-danger rate in INCEND-IA: A KBS for prediction and…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

23.

On the use of contexts for representing knowledge in defeasible argumentation
Chesñevar, Carlos Iván

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The notion of context and its importance in knowledge representation and nonmonotonic reasoning was first discussed in Artificial Intelligence by John McCarthy. Ever since, contexts have found many applications in developing knowledge-based reasoning systems. Defeasible argumentation has gained wide acceptance…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

24.

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

25.

Dynamic comunication mechanism of a distributed DSS: the information retrieval process of the router agent
Stegmayer, Georgina - Taverna, María Laura - Chiotti, Omar Juan Alfredo - Galli, María Rosa

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	We have developed a distributed DSS able to work in a dynamic way. This system is based on the use of mobile agents, which receive the user's queries and visit the DSS domains gathering the required information. One of the…
Fecha:	2012-11-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

26.

Assessing different rule quality measures in a genetic algorithm for discovering association rules
Soto, Wilson - Olaya Benavides, Amparo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The genetic algorithms have seen applied in knowledge discovery and specially for discovering association rules. In this paper, we explore the use of di erent rule quality measures in the tness function in a genetic algorithm for discovering association rules.…
Fecha:	2012-11-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

27.

Distinguishing ground from nonground information in defeasible argumentation
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually prove useless. Morover, the performance of backward chainers degrades quickly…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

28.

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

29.

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

30.

Matrix proof method in annotated paraconsistent logic
Kaestner, Celso A. A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

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

32.

Repositorio de Objetos de Aprendizaje: propuesta de diseño
Chiarani, Marcela Cristina - Pianucci, Irma Guadalupe - Leguizamón, Guillermo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El concepto de objeto de aprendizaje se ha convertido en el centro de un nuevo paradigma de diseño de actividades de aprendizaje, poniendo énfasis en la reutilización de contenidos y actividades. Surge por consiguiente la necesidad de almacenar, buscar, recuperar,…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

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

34.

Redes Neuronales para predecir el rendimiento académico de los alumnos ingresantes a la carrera de Bioquímica de la FACENA-UNNE en función de sus conocimientos matemáticos previos
López, María Victoria - Ramírez Arballo, M. G. - Porcel, Eduardo - Mata, Liliana E. - Barreto, Silvia E.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este trabajo tiene por objetivo desarrollar modelos de redes neuronales artificiales (RNA) para analizar la incidencia de los conocimientos matemáticos previos de los alumnos ingresantes a la carrera de Bioquímica de la FACENA-UNNE, en su rendimiento académico en el primer…
Fecha:	2012-11-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

35.

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

36.

CLUIN – a new method for extracting rules for large databases
Hasperué, Waldo - Corbalán, Leonardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	When there is a need to understand the data stored in a database, one of the main requirements is being able to extract knowledge in the form of rules. Classification strategies allow extracting rules almost naturally. In this paper, the…
Fecha:	2012-11-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

Sobre la negación y la inferencia no monótona en la programación en lógica
Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Dentro del lenguaje de la Programación en Lógica tradicional, el operador de negación por falla "not" ha sido empleado tanto para representar información negativa como para proveer el fundamento básico de inferencias no monótonas. En este trabajo se analiza este…
Fecha:	2012-11-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

Translating a subset of english to defeasible logic programs
García, Alejandro Javier - Dragunsky, César V.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Defeasible Logic Programming (DeLP) is an extension of Logic Programming capturing common-sense reasoning features. The DeLP language can manage defeasible reasoning, allowing the representation of defeasible and non- defeasible knowledge. Since DeLP syntax is based on a PROLOG-like notation, the…
Fecha:	2012-11-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

39.

On the logic for utopia
Areces, Carlos Eduardo - Becher, Verónica

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals. They possess the singular properties of…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

40.

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

41.

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

42.

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

43.

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

44.

Automatic identification of weed seeds by color image processing
Granitto, Pablo Miguel - Navone, Hugo D. - Verdes, Pablo Fabián - Ceccatto, Hermenegildo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The analysis and classification of seeds are essential activities contributing to the final added value in the crop production. Besides varietal identification and cereal grain grading, it is also of interest in the agricultural industry the early identification of weeds…
Fecha:	2012-11-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

45.

Una implementación de disputación basada en lógica default
Vaucheret, Claudio A. - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics: A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono…
Fecha:	2012-11-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

46.

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

47.

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

48.

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

49.

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

50.

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