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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(9)
Show More
Show Less
Author
Areces, Carlos Eduardo
(2)
Chesñevar, Carlos Iván
(2)
Becher, Verónica
(1)
Esquivel, Susana Cecilia
(1)
Fermé, Eduardo L.
(1)
Gallard, Raúl Hector
(1)
Garcia, Pere
(1)
Godo, Lluís
(1)
Hirsch, Dan Francisco
(1)
Kaestner, Celso A. A.
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(9)
ARTIFICIAL INTELLIGENCE
(7)
argumentative systems
(2)
defeasible reasoning
(2)
Algorithms
(1)
Annotated Logics
(1)
Contraction Without Recovery
(1)
Formal Verification
(1)
Graded Entailment
(1)
Graded Modal Logic
(1)
Show More
Show Less
Year
1995
(9)
2012
(9)
Show More
Show Less
Document Type
Sin Especificar
(9)
Show More
Show Less
Language
Inglés
(9)
Show More
Show Less
Your search
Year:
2012
Year:
1995
Language:
Inglés
Sort by
Score
Title
Year
-
1-9 from
9
results
(0.012 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:
From boxes to worlds
Author:
Hirsch, Dan Francisco
/
Areces, Carlos Eduardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software Design
/
Graphic Languages
/
Modal Logics
/
Formal Verification
/
Languages
/
Software
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
« Previous
1
Next »