Reasoning about graded strategy quantifiers.

Vadim Malvone Fabio Mogavero Aniello Murano Loredana Sorrentino

Published in: Inf. Comput. (2018)

Keyphrases

databases
information systems
optimal strategy
qualitative reasoning
database
real time
data sets
support vector
first order logic
search strategy