Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Unversidad Nacional de La Plata (17)

Más...

Año

2008 (1)
2007 (1)
2006 (5)
2004 (1)
2002 (2)
2001 (4)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Ontological evaluation in the knowledge based system
Bueno, Tânia C. D. - Hoeschl, Hugo Cesar - Cancellier, Fabricia - Bedin, Sonali

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In the last few years, several studies have emphasized the use of ontologies as an alternative to organization of the information. The notion of ontology has become popular in fields such as intelligent information integration, information retrieval on the Internet,…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A methodology for knowledge representation in defeasible logic programming
Stankevicius, Alejandro G. - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Humans have always been intrigued by their ability to reason. We have constantly attempted to emulate this process, trying almost everything, from physiological explanations, to sociological accounts. The approach with possibly the longest tradition conceives this process as a mere…
Fecha:	2012-10-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Argument exchange over the semantic web
Stankevicius, Alejandro G.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The Semantic Web purports to give computeraccessible meaning to the content of the World Wide Web. The rationale behind this project is to create an environment where all this information could be freely exchanged among diverse entities, yet retaining its…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Precompiled knowledge support for dynamic argumentation
Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Argumentative formalisms have been widely recognized as knowledge representation and reasoning tools able to deal with incomplete and potentially contradictory informa- tion. All such formalisms are computationally demanding. Hence, optimizing argumen- tative systems has been approached from di erent views.
Fecha:	2012-10-29
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

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

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

Analyzing the defeat relation in observation-based defeasible logic programming
Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In the last decade several ways to formalize defeasible reasoning have been studied. A particular approach, defeasible argumentation, has been particularly successful to achieve this goal. The inference process of argument-based systems is based on the interaction of ar- guments…
Fecha:	2012-10-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Towards a semantics for argumentative systems
Stankevicius, Alejandro G. - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Defeasible argumentation is one of the approaches that attempt to address the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Nowadays, several of them started shifting their semantics towards a dialectical characterization.…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

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

11.

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

12.

Negation-as-failure considered harmful
Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also…
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

Representing generalization relationships in logic programming
Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

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

15.

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

16.

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

17.

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