Syntactic Conditions for Antichain Property in Consistency Restoring Prolog.

Published in: CoRR (2018)

Keyphrases

sufficient conditions
global consistency
logic programming
expert systems
natural language
environmental conditions
databases
neural network
theorem proving
database
multiscale
search algorithm
knowledge representation
consistency checking
logic programming language
disjunctive constraints