Revisiting the Institutional Approach to Herbrand's Theorem.

Ionut Tutu José Luiz Fiadeiro

Published in: CALCO (2015)

Keyphrases

logic programs
logic programming
first order logic
statistical relational learning
internal and external
horn clauses
higher education
genetic algorithm
database systems
digital topology
artificial neural networks
answer set programming
social context