CTLModel-Checking with Graded Quantifiers.

Alessandro Ferrante Margherita Napoli Mimmo Parente

Published in: ATVA (2008)

Keyphrases

first order logic
databases
real world
artificial intelligence
natural language
computational complexity
object recognition
training set
dynamic programming
general purpose
model checking