OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: A* Document Type: Sin Especificar Language: Inglés Year: 1995

Sort by Score Title Year -

1-10 from 10 results (0.096 seconds)

Title: MCPC: another approach to crossover in genetic algorithms
Author: Esquivel, Susana Cecilia / Gallard, Raúl Hector / Michalewicz, Zbigniew
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Algorithms / genetic algorithms / genetic operators / crossover

Acceder
Title: Similarity-based graded modal logic
Author: Garcia, Pere / Godo, Lluís / Rodríguez, Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Similarity Function / Graded Modal Logic / Graded Entailment

Acceder
Title: Matrix proof method in annotated paraconsistent logic
Author: Kaestner, Celso A. A.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Paraconsistent Logics / ARTIFICIAL INTELLIGENCE / Annotated Logics / Thcorem Proving / Matrix Connection Method

Acceder
Title: How to solve it by knowledge mining
Author: Sampaio, Pedro Rafael Falcone
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Knowledge Mining

Acceder
Title: On the logic for utopia
Author: Areces, Carlos Eduardo / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / theory of conditionals / modal logic / knowledge representation

Acceder
Title: On the logic of theory change: wr contraction without recovery
Author: Fermé, Eduardo L.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Theory Change / Contraction Without Recovery

Acceder
Title: Distinguishing ground from nonground information in defeasible argumentation
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / defeasible reasoning / argumentative systems

Acceder
Title: On the use of contexts for representing knowledge in defeasible argumentation
Author: Chesñevar, Carlos Iván
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / defeasible reasoning / argumentative systems

Acceder
Title: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder
Title: Total quality management strategic operations system and consumer-user needs evaluation workshop : an holistic approach to needs assessment for total customer satisfaction
Language: Inglés
Repository: 34
Subject: Administración de calidad total / Satisfacción del consumidor / CDH (Centro de Documentación Histórica) / 5 CIENCIAS SOCIALES

Acceder

« Previous 1 Next »