Skip to content

A Reflective Proof System for Reasoning in Contexts.

Pierre E. Bonzon

VenueA*AAAI
Year1997
ProceedingsAAAI/IAAI

Browse the full AAAI paper archive.