A Reflective Proof System for Reasoning in Contexts.

Details

Serval ID
serval:BIB_1772
Type
Article: article from journal or magazin.
Collection
Publications
Institution
Title
A Reflective Proof System for Reasoning in Contexts.
Journal
Proceedings of the 14th National Conference on Artificial Intelligence (AAAI 97), Providence, RI
Author(s)
Bonzon P
Publication state
Published
Issued date
1997
Create date
19/11/2007 9:39
Last modification date
20/08/2019 12:47
Usage data