Unfolding Existentially Quantified Sets of Extended Clauses.

Kiyoshi Akama Ekawit Nantajeewarawat

Published in: KEOD (2016)

Keyphrases

existentially quantified
logic programs
universally quantified
horn clauses
search space
first order logic
definite clause
domain knowledge
background knowledge