Conical logic and l-groups logic.

Marta Sagastume

Published in: J. Appl. Non Class. Logics (2005)

Keyphrases

logic programming
asynchronous circuits
modal logic
classical logic
predicate logic
genetic algorithm
automated reasoning
multi valued
delay insensitive
data sets
data mining
machine learning
probabilistic logic
computational properties
formal theory