Login / Signup
Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation.
Kiyoshi Akama
Ekawit Nantajeewarawat
Published in:
KEOD (2013)
Keyphrases
</>
query answering
data sets
databases
artificial intelligence
decision problems
incomplete information
query relaxation