Programación en lógica temporal basada en los operadores since y until
Material type:
Article
In:
Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) - Conferencia Latinoamericana de Programación Funcional (2ª : 1997 : La Plata) - Workshop de Aspectos Teóricos de Inteligencia Artificial (4º : 1997 : La Plata) - Encuentro de Investigadores del Consorcio Iberoamericano para Educación en Ciencia y Tecnología (ISTEC) (1er : 1997 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (1ª : 1997 : La Plata) - Jornadas de la Red Universitaria Argentina (3ª : 1997 : La Plata) - Universidad Nacional de La Plata - Ateneo de Profesores Universitarios de Computación (5º : 1997 : La Plata) CACIC 97
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | A.0.2 CAC97 v.1 (Browse shelf(Opens below)) | No corresponde |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| A.0.2 CAC97 v.1 Un operador general de contracción para programas lógicos | A.0.2 CAC97 v.1 SIMULA : Ambiente de simulaçao em sistemas multiagentes reativos | A.0.2 CAC97 v.1 Una operación de consolidación basada en plausibilidad | A.0.2 CAC97 v.1 Programación en lógica temporal basada en los operadores since y until | A.0.2 CAC97 v.1 Disjunctive logic programming with negation as failure in the head | A.0.2 CAC97 v.1 Propiedades del operador de consecuencia argumentativo | A.0.2 CAC97 v.1 Construction of revisions by explanations |