Quantification and Intensionality in Situation Semantics.

Roussanka Loukanova

Published in: CICLing (2002)

Keyphrases

semantic information
formal semantics
logic programming
database
neural network
decision making
real time
data sets
artificial intelligence
case study
data structure
search algorithm
default reasoning
graphical representation
logical framework