Constructive Semantics for Extensional PTQ.

Rogelio Dévila-Pérez

Published in: ENC (2003)

Keyphrases

formal semantics
logic programming
partial order
semantic information
conceptual schema
real time
data sets
neural network
machine learning
artificial intelligence
default reasoning
logical language
update semantics
intended meaning