Predicate callback summaries.

Danilo Dominguez Perez Wei Le

Published in: ICSE (Companion Volume) (2017)

Keyphrases

first order logic
neural network
information systems
image sequences
special case
text summarization
automatic text summarization
database
knowledge representation
horn clauses