A Canonical Disjunctive Form of Extended Kleene-Stone Logic Functions.

Noboru Takagi Kyoichi Nakashima Masao Mukaidono

Published in: ISMVL (1993)

Keyphrases

machine learning
logic programming
databases
data mining
multi agent
modal logic
formal language
information retrieval
genetic algorithm
social networks
objective function
natural language
deductive databases
regular expressions
propositional logic
predicate logic