Your search returned 156 results.

Sort
Results
81.
A formalization of defeasible argumentation using labelled deductive systems by
  • Chesñevar, Carlos Iván
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

82.
Fundamentos lógicos e implementación de una extensión a Temporal Prolog by
  • Cobo, María Laura
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

83.
A sufficient condition for belief function construction from conditional belief functions by
  • Klopotek, Mieczyslaw A
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

84.
A similarity-based Lukasiewicz’s many-valued modal logic by
  • Rodríguez, Ricardo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

85.
Sources of parallelism in defeasible argumentation by
  • Simari, Guillermo Ricardo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

86.
Un operador general de contracción para programas lógicos by
  • Vancheret, Claudio A
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

87.
SIMULA : Ambiente de simulaçao em sistemas multiagentes reativos by
  • Sorio, Federico
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

88.
Una operación de consolidación basada en plausibilidad by
  • Simari, Guillermo Ricardo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

89.
Programación en lógica temporal basada en los operadores since y until by
  • Cobo, María Laura
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

90.
Disjunctive logic programming with negation as failure in the head by
  • Simari, Guillermo Ricardo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

91.
Propiedades del operador de consecuencia argumentativo by
  • Sardina, Sebastián
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

92.
Construction of revisions by explanations by
  • Falappa, Marcelo Alejandro
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

93.
Generalización de un algoritmo de inferencia basado en gramáticas de grafos by
  • Jeltsch, Eric
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

94.
Teoría de los juegos y selección de teorías by
  • Delrieux, Claudio Augusto
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

95.
Negation in logic programs : Is it necessary two connectives? by
  • Simari, Guillermo Ricardo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

96.
Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales by
  • Arcas-Guijarro, Miguel
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

97.
Integração ParTy-Granlog : Interpretação abstrata aplicada a paralelização de programas em Lógica by
  • Acevedo, Silvana Campos de
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

98.
Construcción y optimización de programas en Fork Álgebras by
  • Baum, Gabriel Alfredo
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

99.
Un análisis estadístico del equilibrio de Nash en juegos repetidos usand implementaciones computacionales by
  • Necco, Claudia
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

100.
A runnable functional formal memetic algorithm framework by
  • Russo, Wanda Mariana
Source: CACIC 97
Material type: Article Article; Format: large print regular print
Availability: No items available.

Pages

Powered by Koha