Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers Using Peterson's Rules.

Petra Murinová Vilém Novák

Published in: EUSFLAT/AGOP (2023)

Keyphrases

rule discovery
rule sets
attribute values
randomly selected
classification rules
database
rule based systems
production rules
rule generation
rule learning
rule extraction
association rule mining
knowledge based systems
knowledge discovery
association rules
natural language
search algorithm
real world
databases