Semantic Restrictions over Second-Order Logic.

Flavio Antonio Ferrarotti Alejandro L. Grosso Jose Maria Turull Torres

Published in: SDKB (2011)

Keyphrases

semantic web technologies
semantic web
high order
higher order
modal logic
low level
logic programming
multi valued
classical logic
computational properties
predicate logic
linear logic
low level features
digital circuits
hessian matrix
logical representation