On connections between classical and constructive semantics.

Sergei Starchenko Andrei Voronkov

Published in: Conference on Computer Logic (1988)

Keyphrases

formal semantics
real world
logic programming
active rules
semantic information
neural network
artificial intelligence
expert systems
semantic relationships