Rules in relevant logic-II: formula representation.

Published in: Stud Logica (1993)

Keyphrases

logical formulas
linear temporal logic
logical representation
logical rules
multi valued
horn clauses
logic programming
classification rules
predicate logic
association rule mining
highly expressive
rule engine
search engine
knowledge base
closely related
rule language