Login / Signup
Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers.
Vilém Novák
Petra Murinová
Petr Ferbas
Published in:
Int. J. Approx. Reason. (2022)
Keyphrases
</>
formal analysis
formal methods
association rules
background knowledge
rule sets
databases
decision trees
decision rules
production rules
ban logic
natural language
association rule mining
first order logic
classification rules
agent model
quantitative measures