A Formal Model of the Intermediate Quantifiers "A Few", "Several" and "A Little".

Vilém Novák Petra Murinová

Published in: IFSA/NAFIPS (2019)

Keyphrases

formal model
natural language
security patterns
security properties
predicate calculus
probabilistic knowledge
first order logic
formal models
database
artificial intelligence
software engineering
e government
business process
software design
intermediate level