Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Conditional reasoning in logic programmingGabbay, D. ; Giordano, L. ; Martelli, A. ; Olivetti, N. ; Sapino, M.L.The journal of logic programming, 2000-07, Vol.44 (1), p.37-74Elsevier IncTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Negation as inconsistency. IGabbay, D.M. ; Sergot, M.J.The journal of logic programming, 1986, Vol.3 (1), p.1-35Elsevier IncTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failureGabbay, D.M.The journal of logic programming, 1985, Vol.2 (4), p.251-283Elsevier IncTexto completo disponível |