On Extracting Variable Herbrand Disjunctions.

Published in: Stud Logica (2022)

Keyphrases

logic programs
logic programming
first order logic
automatic extraction
information retrieval
neural network
horn clauses
social networks
image processing
high level
image sequences
data extraction
statistical relational learning