A Reflective Proof System for Reasoning in Contexts

Details

Ressource 1Download: BIB_5E5D65EF7D86.P001.pdf (98.04 [Ko])
State: Public
Version: author
Serval ID
serval:BIB_5E5D65EF7D86
Type
Inproceedings: an article in a conference proceedings.
Collection
Publications
Institution
UNIL/CHUV
Title
A Reflective Proof System for Reasoning in Contexts
Title of the conference
Proc. 14th National Conference on Artificial Intelligence (AAAI 97), Providence, RI
Author(s)
Bonzon P.
Publication state
Published
Issued date
1997
Language
english
URN
urn:nbn:ch:serval-BIB_5E5D65EF7D864
OAI-PMH
oai:serval.unil.ch:BIB_5E5D65EF7D86
Create date
23/02/2009 15:24
Last modification date
20/08/2019 15:16
Usage data