Explicit provability and constructive semantics.

Sergei N. Artëmov

Published in: Bull. Symb. Log. (2001)

Keyphrases

formal semantics
logic programming
artificial intelligence
relational databases
real world
information retrieval
search engine
graphical representation
transformation rules
model theoretic
update semantics
intended meaning