First-Degree Entailment and its Relatives.

Yaroslav Shramko Dmitry Zaitsev Alexander Belikov

Published in: Stud Logica (2017)

Keyphrases

logic programming
artificial intelligence
search engine
np complete
probabilistic logic
databases
machine learning
information retrieval
case study
first order logic
data sets
computer vision
image segmentation
optimal solution
artificial neural networks