Dynamic Abductive Logic Programming: Proof Revisions and Knowledge Aquisitions

View/Open

751_Hayashi_09-1998.pdf (1.740Mb)

Series

Department of Computer Science Technical Report;751 - September 1998

ISSN

1369-1961

Metadata

Show full item record

Authors

Hayashi, Hisashi

URI

http://qmro.qmul.ac.uk/xmlui/handle/123456789/4522

Collections

Department of Computer Science Technical Reports: up to 1999 [86]