Decomposing Modal Quantification.

Adrian Brasoveanu

Published in: J. Semant. (2010)

Keyphrases

modal logic
nonmonotonic logics
artificial intelligence
databases
genetic algorithm
viewpoint
data model
software engineering
transition systems