Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Unversidad Nacional de La Plata (229)
Canadian Journal of Comumunication (187)
RUA Docencia (151)
Anglia Ruskin University (40)
Universidad de Princenton (35)

Más...

Año

2013 (47)
2011 (41)
2010 (23)
2009 (19)
2008 (29)
2006 (87)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

University formation and education: the Spanish University System in the European Frame of Higher Education
Gilar Corbi, Raquel

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	The reform of Spanish University System occurs for allow that the universities to board the needs derived from the new kinds of knowledge generation and transmission. The university’s objective is the formation of professionals capable of taking, analysing and elaborating…
Fecha:	2012-05-18
Recurso:	RUA Docencia

Recurso libre

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

A data mining approach to computational taxonomy
Perichinsky, Gregorio - García Martínez, Ramón

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 ot…
Fecha:	2012-10-10
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

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

HORROR VACUI: A CULTURAL HISTORY OF AIR AROUND 1900
Christian, Margareta Ingrid

Formato:	Academic dissertations (Ph.D.)
Enlaces:	The dissertation examines aesthetic, scientific and occult evocations of fluids such as air at the turn of the 20th century. Eighteenth century experimental philosophy postulated so-called "imponderable fluids" understood as instances of a subtle matter that fills empty space. The…
Fecha:	2012-08-01
Recurso:	Universidad de Princenton

Recurso libre

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

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

Groundhog Day? The strange case of sociology, race and 'science'
Skinner, David

Formato:	Article
Enlaces:	Discussion of the natural sciences had a foundational role in the development of the sociology of race and racism, underpinning the claim that races should, if at all, be studied as social rather than natural phenomena. Whatever its strengths, the…
Fecha:	2010-12-07
Recurso:	Anglia Ruskin University

Recurso libre

10.

Dynamic tuning of parallel programs
Morajko, Anna - Margalef, Tomás - Luque Fadón, Emilio - Espinosa, Antonio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Performance of parallel programs is one of the reasons of their development. The process of designing and programming a parallel application is a very hard task that requires the necessary knowledge for the detection of performance bottlenecks, and the corresponding…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

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

12.

Proposal of fuzzy object oriented model in extended JAVA
Pereira, Wilmer

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

A logical framework for modeling argumentation using labelled deduction
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Classical methods for representing and reasoning with knowledge rely on the assumption that the available information is complete, certain and consistent. In real-world problems this is usually not the case, and Al has long dealt with the issue of finding…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

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

15.

Using logic programs to model an agent's epistemic state
Capobianco, Marcela - Chesñevar, Carlos Iván

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The notion of rational agency was proposed by Russell [9] as an alternative characterization of intelligence agency. Loosely speaking, an agent is said to be rational if it perfomns the right actions according to the information it possesses and the…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

A documentary analysis of the use of leadership and change theory in changing practice in early years settings
Davis, Geraldine M.

Formato:	Article
Enlaces:	Early years professionals wrote about changes in their settings as part of their MA studies, and reflected on the use of theories of leadership in implementing these changes. This article describes a documentary analysis of the scripts produced. Initially basing…
Fecha:	2013-05-13
Recurso:	Anglia Ruskin University

Recurso libre

17.

Logic modules for communicating distributed agents
Zunino, Alejandro - Amandi, Analía

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The development of isolated agents involves the manipulation of components such as actions, mental attitudes and decisions. Multi-agent systems have to deal with these components from different agents, without to forget the privacy and autonomy of each agent. For programming…
Fecha:	2012-10-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

Reasoning about intentions: a defeasible argumentation approach
Rotstein, Nicolás D. - Simari, Guillermo Ricardo - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this work we present an approach to model an action-oriented system controlled by BDI agents using a defeasible argumentation formalism to represent its knowledge. Here, our main concern will be modelling the software agents that drive the physical robots.
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Biogeography, current knowledge and conservation of threatened vascular plants characteristic of Mexican temperate forests
Luna Vega, Mercedes Isolda - Ponce, A - Alcántara Ayala, Othon - Contreras Medina, Raúl

Formato:	Artículo de investigación
Enlaces:	Descripción completa.
Fecha:	20130312T14:39:15Z, 20130312T14:39:15Z, 2006
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

20.

Developing a Repository of Knowledge for virtual communities with semantic web technologies
Casalini, María Clara - Estevez, Elsa Clara - Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The appearance and continuous growth of virtual communities on the web imposes the challenge of coping with the large amount of information and knowledge these communities produce. The Semantic Web with its set of standards and technologies provides the basic…
Fecha:	2012-09-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

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

22.

The development of professor's professional knowledge in Psychology
Cardós, Paula Daniela - Compagnucci, Elsa Rosa

Formato:	Articulo, Comunicacion
Enlaces:	This work belongs to the Project "Teaching and learning Psychology: a study of the educational practice in professors and beginners". It is part of an investigation program developed in the context of the subject "Didactic and Practical Planning of Psychology…
Fecha:	2012-03-28
Recurso:	Unversidad Nacional de La Plata

Recurso libre

23.

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

24.

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

25.

Tableau calculi for description logics revision
Moguillansky, Martín O. - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories…
Fecha:	2012-08-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

26.

Knowledge dynamics in a khepera robots’ application
Tamargo, Luciano H. - García, Alejandro Javier - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The theory change area have defined several operators trying to model the dynamic of knowledge. The goal of this work is to introduce a preprocessor of perceptions that could be part of an agent. The purpose of the preprocessor is…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

27.

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

28.

Software projects effort estimation using “use case points” method in the context of Project Management Body of Knowledge
Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Debnath, Narayan C.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	As a contribution to consider software projects to be risk investments, it is important the full standardization of either the planning methodology (as a subset of project management methodology) and the effort estimation method. We think there is important and…
Fecha:	2012-10-05
Recurso:	Unversidad Nacional de La Plata

Recurso libre

29.

Exemplifying Business Opportunities for Improving Data Quality From Corporate Household Research
Madnick, Stuart - Wang, Richard - Chettayar, Krishna - Dravis, Frank - Funk, James - Katz-Haas, Raïssa - Lee, Cindy - Lee, Yang - Xian, Xiang - Bhansali, Sumit

Formato:	Working Paper
Enlaces:	Corporate household (CHH) refers to the organizational information about the structure within the corporation and a variety of inter-organizational relationships. Knowledge derived from this data is becoming increasingly important for improving data quality in applications, such as Customer…
Fecha:	2004-12-10
Recurso:	MIT

Recurso libre

30.

A semantic web model for the situational awareness of indigenous knowledge in healt
Bassey, Patience - Ntekop, Mfon

Formato:	Articulo, Articulo
Enlaces:	Most unsupervised indigenous knowledge (IK) are known to be very useful in combating critical health issues as well as being dangerous if the administration is abused. Despite the fact that these locally prepared herbal medicine are not encouraged to be…
Fecha:	2013-10-03
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

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

32.

On the implementation of the belief change operators
Falappa, Marcelo Alejandro - Fermé, Eduardo L.

Formato:	Articulo, Articulo
Enlaces:	In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations in respecto to the internal structures of…
Fecha:	2004-05-07
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

Defeasible decision making in a robotic environment
Ferretti, Edgardo - Errecalde, Marcelo Luis

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Decision making models for autonomous agents are recently receiving increased attention, particularly in the feld of intelligent robots. This work presents a Defeasible Logic Programming approach to decision making in an environment with single and multiple robots. We will show,…
Fecha:	2012-10-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

34.

Knowledge Management and Competitive Advantage
Rahimli, Ailar

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	To have a sustainable competitive advantage, an organization should realize how to create, distribute and utilize knowledge through an organization and how attach it to organizational process. Another important thing is a manager should know what kind of knowledge they…
Fecha:	2012-11-30
Recurso:	Information and knowledge management

Recurso libre

35.

Identifying the Correlation Between the Gender and Knowledge of the South African Consumer in the Selection of Grocery Products
Cant, Michael C; University of South Africa CoD: Department of Marketing and Retail Management Tel +27 12 9971350 - Scheers, Louise Van; University of South Africa Department of Marketing and Retail Management Tel +27 12 9971350

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	The knowledge that consumers have of products and services as well as other factors serves as an indicator as to which product or store to “pick”. The products and store location add to the ease with which consumers are able…
Fecha:	2012-01-25
Recurso:	Asian Journal of Bussiness and Governance

Recurso libre

36.

Outsourced knowledge: knowledge transfer and strategic implications from design outsourcing, Knowledge transfer and strategic implications from design outsourcing
Grant, Peter L. (Peter Leigh), 1959-

Formato:	Thesis
Enlaces:	by Peter L. Grant., Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2000., Includes bibliographical references (p. 105-108).
Fecha:	2005-08-23
Recurso:	MIT

Recurso libre

37.

Brutian's Logic, Language and Argumentation in Projection of Philosophical Knowledge
Pietarinen, Juhani - Ritola, Juho

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, book-review,
Enlaces:	Descripción completa.
Fecha:	2000-01-01
Recurso:	Informal logic

Recurso libre

38.

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

Recurso libre

39.

Innovation and acoustic
Nicolas, Jean; G.A.U.S, Dept. de Genie Mecan., Université de Sherbrooke, Sherbrooke, Qué. J1K 2R1, Canada

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Conference Proceedings, Actes de congrès
Enlaces:	Innovation implies managing knowledge in a creative way in order to respond to the requests coming from the market and to other social needs. Communication and human interaction contribute a lot in this direction. Innovation provides a great challenge for…
Fecha:	2000-09-01
Recurso:	Canadian Acoustics

Recurso libre

40.

Toward integration of knowledge based systems and knowledge discovery systems
Rancan, Claudio - Pesado, Patricia - García-Martínez, Ramón

Formato:	Articulo, Articulo
Enlaces:	This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…
Fecha:	2008-05-21
Recurso:	Unversidad Nacional de La Plata

Recurso libre

41.

Metadata, Knowledge Management, and Communications
Wolfe, Mark

Formato:	info:eu-repo/semantics/article, research-article, info:eu-repo/semantics/publishedVersion
Enlaces:	Abstract: The increased volume and complexity of information available via the Internet and other networked information and communications systems (ICTs) have heightened the need for more efficient and effective ways of searching on-line resources. Technologies involving automated and human-operated software…
Fecha:	2000-04-01
Recurso:	Canadian Journal of Comumunication

Recurso libre

42.

Array element localisation of rapidly deployed systems
Greening, Michael V.; Def. Sci. and Technol. Organisation, Salisbury Site, MOD Building 79, P.O. Box 1500, Salisbury, SA 5108, Australia

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, ,
Enlaces:	Array processing techniques such as beamforming or matched field processing require accurate knowledge of the location of individual elements in the array. For horizontal arrays laid on the ocean floor, relative arrival times measured across the array from nearby implosive…
Fecha:	2000-06-01
Recurso:	Canadian Acoustics

Recurso libre

43.

New species of the Stenus hostilis group, mainly from Mexico (Coleoptera: Staphylinidae) (265th contribution to the knowledge of Steninae)
Puthz,V.

Formato:	Article
Enlaces:	Descripción completa.
Fecha:	2011-07-29
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

44.

Webexpert – tool for knowledge acquisition by web
Fernandes, Anita Ma. da Rocha - Nascimento, Raphael Luiz

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Knowledge acquisition for systems based on knowledge can be called knowledge engineering, according to Feigenbaum (1980) who used the term to describe the reduction of a wide context of knowledge for a set of facts and rules. The term Knowledge…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

45.

Managing Knowledge Workers for Change Management Dimensions
Ramanigopal, C. - Joy, P.A.

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	The knowledge economy requires a different contribution from human capital (i.e. knowledge workers). Knowledge workers are challenge seekers, have high enthusiasm for learning and prefer freedom and flexibility, so it would be wise to suggest that knowledge management should consider…
Fecha:	2012-09-09
Recurso:	European Journal of Business and Management

Recurso libre

46.

Influence of three accuracy levels of knowledge of results on motor skill acquisition
Núñez Sánchez, Francisco Javier - Gálvez González, Javier

Formato:	info:eu-repo/semantics/article
Enlaces:	This study analyse the influence of Knowledge of Results (KR) with different accuracy levels on the learning rate of a throwing skill of spatial non-vision accuracy, during the acquisition stage. We assessed the number of successful events, the distance from…
Fecha:	2010-10-26
Recurso:	RUA Docencia

Recurso libre

47.

An AI Approach to English Morphemic Analysis
Winograd, Terry

Formato:
Enlaces:	This paper illustrated an approach toward understanding natural language through the techniques of artificial intelligence. It explores the structure of English word-endings both morpho-graphemically and semantically. It illustrated the use of procedures and semantic representations in relating the broad range…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

48.

Dovetailing of Business Intelligence and Knowledge Management: An Integrative Framework
Khan, Rafi Ahmad - Quadri, S.M. K.

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	The rapid advancement in Information and Communication Technology is driving a revolutionary change in the way organizations do business. The fast growing capabilities of both generating and collecting data has generated an imperative need for new techniques and tools that can…
Fecha:	2012-07-01
Recurso:	Information and knowledge management

Recurso libre

49.

Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems
Firat, Aykut - Madnick, Stuart E. - Grosof, Benjamin

Formato:	Article
Enlaces:	The shift towards global networking brings with it many opportunities and challenges. In this paper, we discuss key technologies in achieving global semantic interoperability among heterogeneous information systems, including both traditional and web data sources. In particular, we focus on…
Fecha:	2003-11-16
Recurso:	MIT

Recurso libre

50.

The Use of Equality in Deduction and Knowledge Representation
McAllester, David Allen

Formato:
Enlaces:	This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used…
Fecha:	2004-10-20
Recurso:	MIT