skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Nome da Publicação: The Journal Of Logic Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Conditional reasoning in logic programming
Material Type:
Artigo
Adicionar ao Meu Espaço

Conditional reasoning in logic programming

Gabbay, D. ; Giordano, L. ; Martelli, A. ; Olivetti, N. ; Sapino, M.L.

The journal of logic programming, 2000-07, Vol.44 (1), p.37-74

Elsevier Inc

Texto completo disponível

2
Negation as inconsistency. I
Material Type:
Artigo
Adicionar ao Meu Espaço

Negation as inconsistency. I

Gabbay, D.M. ; Sergot, M.J.

The journal of logic programming, 1986, Vol.3 (1), p.1-35

Elsevier Inc

Texto completo disponível

3
N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
Material Type:
Artigo
Adicionar ao Meu Espaço

N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure

Gabbay, D.M.

The journal of logic programming, 1985, Vol.2 (4), p.251-283

Elsevier Inc

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.