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