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

D. M. Gabbay

Research output: Contribution to journal › Article › peer-review

65 Scopus citations

Original language	English
Pages (from-to)	251-283
Number of pages	33
Journal	Journal of Logic Programming
Volume	2
Issue number	4
DOIs	https://doi.org/10.1016/s0743-1066(85)80003-0
State	Published - 1985

Access to Document

@article{ffdef84a4bdb4a5fbe99f9005b8566ec,

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

author = "Gabbay, {D. M.}",

year = "1985",

doi = "10.1016/s0743-1066(85)80003-0",

language = "אנגלית",

volume = "2",

pages = "251--283",

journal = "Journal of Logic Programming",

issn = "0743-1066",

publisher = "Elsevier BV",

number = "4",

}

TY - JOUR

T1 - N-Prolog

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

AU - Gabbay, D. M.

PY - 1985

Y1 - 1985

UR - http://www.scopus.com/inward/record.url?scp=0022251734&partnerID=8YFLogxK

U2 - 10.1016/s0743-1066(85)80003-0

DO - 10.1016/s0743-1066(85)80003-0

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0022251734

SN - 0743-1066

VL - 2

SP - 251

EP - 283

JO - Journal of Logic Programming

JF - Journal of Logic Programming

IS - 4

ER -