A New Type Theory for Representing Logics.

Philippa Gardner

Published in: LPAR (1993)

Keyphrases

general theory
expert systems
expressive power
database
modal logic
theoretical basis
databases
artificial intelligence
data structure
computational model
theoretical foundation