Wei Si Jiang

According to our database¹, Wei Si Jiang authored at least 3 papers between 1986 and 1987.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1987

A frame-based approach to hardware verification (abstract only).

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

Commonsense reasoning in Prolog.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986

An approach to exploiting a database as a frame-like knowledge base (abstract).

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986