Semantic Verification of Rule-Based Systems with Arithmetic Constraints.

Jaime Ramírez Angélica de Antonio

Published in: DEXA (2000)

Keyphrases

rule based systems
arithmetic constraints
rule base
security systems
rule based expert systems
expert systems
constraint satisfaction problems
knowledge representation
natural language
knowledge based systems
database
decision trees
neural network
np hard
membership functions
decision table