A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems.

Shin-ya Katsumata

Published in: ICALP (2004)

Keyphrases

artificial intelligence
database
information retrieval
social networks
knowledge based systems
retrieval systems
lambda calculus
metadata
information extraction
distributed systems
intelligent systems
computer systems
building blocks
learning systems
complex systems