Matching logic: the foundation of the K framework (invited talk).

Grigore Rosu Xiaohong Chen

Published in: CPP (2020)

Keyphrases

invited talk
main contribution
logical framework
theoretical framework
artificial intelligence
matching algorithm
real world
machine learning
information systems
knowledge representation
theoretical foundation
database
databases