Disjunctive logic programming with negation as failure in the head
Material type:
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
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 | A.0.2 CAC97 v.1 Generalización de un algoritmo de inferencia basado en gramáticas de grafos |