Inter-procedural Herbrand Equalities.

Stefan Schulze Frielinghaus

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)

Keyphrases

function symbols
logic programs
logic programming
horn clauses
real time
first order logic
statistical relational learning
case study
object oriented
intra class
machine learning
information retrieval
knowledge base
domain knowledge
reasoning tasks