A constructive semantics for non-deducibility.

Francesco Ciraulo

Published in: Math. Log. Q. (2008)

Keyphrases

formal semantics
genetic algorithm
case study
programming language
logic programming
semantic information
operational semantics
databases
neural network
computer vision
web services
data structure
conceptual model
specification language