Proof Systems for exact Entailment.

Johannes Korbmacher

Published in: Rev. Symb. Log. (2023)

Keyphrases

management system
data sets
real world
computer systems
complex systems
data mining
database systems
expert systems
information extraction
information retrieval systems
logic programming
learning systems
retrieval systems