DyALog: une implantation des Clauses de Horn en Programmtion Dynamique.
Éric Villemonte de la ClergeriePublished in: SPLT (1990)
Keyphrases
- horn clauses
- function free horn
- random sat instances
- np hard
- search space
- first order logic
- horn theories
- inference rules
- logic programs
- consequence finding
- propositional logic
- description logics
- inductive logic programming
- knowledge compilation
- logical formulas
- horn logic
- boolean formulae
- computational complexity
- database
- stochastic local search
- lower bound
- neural network