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

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

Onderzoeksoutput: Boek/rapportRapportPopulair

2 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijInstituut voor Perceptie Onderzoek (IPO)
Aantal pagina's21
StatusGepubliceerd - 29 mrt. 1990

Publicatie series

NaamIPO-Rapport
Volume739

Bibliografische nota

Stageverslag

Citeer dit