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

G. Shmuely, E.L.G.A. van Bergen

Research output: Book/ReportReportPopular

Original languageEnglish
Place of PublicationEindhoven
PublisherInstituut voor Perceptie Onderzoek (IPO)
Number of pages21
Publication statusPublished - 29 Mar 1990

Publication series

NameIPO-Rapport
Volume739

Bibliographical note

Stageverslag

Cite this