An implementation in PROLOG of the extension membership problem for Reiter's default logic

Research output: Book/Report › Report › Popular

57 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Instituut voor Perceptie Onderzoek (IPO)
Number of pages	21
Publication status	Published - 29 Mar 1990

Name	IPO-Rapport
Volume	739

Stageverslag

Access to Document

@book{4007f3c4fa0e477b86622f4014f17ec9,

title = "An implementation in PROLOG of the extension membership problem for Reiter's default logic",

author = "G. Shmuely and \{van Bergen\}, E.L.G.A.",

note = "Stageverslag",

year = "1990",

month = mar,

day = "29",

language = "English",

series = "IPO-Rapport",

publisher = "Instituut voor Perceptie Onderzoek (IPO)",

}

TY - BOOK

T1 - An implementation in PROLOG of the extension membership problem for Reiter's default logic

AU - Shmuely, G.

AU - van Bergen, E.L.G.A.

N1 - Stageverslag

PY - 1990/3/29

Y1 - 1990/3/29

M3 - Report

T3 - IPO-Rapport

BT - An implementation in PROLOG of the extension membership problem for Reiter's default logic

PB - Instituut voor Perceptie Onderzoek (IPO)

CY - Eindhoven

ER -