Categorial Fibring of Logics with Terms and Binding Operators.

Amílcar Sernadas Cristina Sernadas Carlos Caleiro Till Mossakowski

Published in: FroCoS (1998)

Keyphrases

modal logic
expert systems
database
databases
feature selection
co occurrence
background knowledge
morphological operators