System Description: RDL : Rewrite and Decision Procedure Laboratory.

Alessandro Armando Luca Compagna Silvio Ranise

Published in: IJCAR (2001)

Keyphrases

decision making
high level
iterative procedure
neural network
decision makers
decision problems
decision rules
decision process
real time
image sequences
rough sets