Implementing logic spreadsheets in LESS.

André Valente David Van Brackle Hans Chalupsky Gary Edwards

Published in: Knowl. Eng. Rev. (2007)

Keyphrases

neural network
logic programming
automated reasoning
multi valued
predicate logic
classical logic
probabilistic logic
modal operators
epistemic logic
formal theory
digital circuits
computational properties
probability theory
modal logic
text mining
query processing
data structure
multiscale
real world