Nominal Unification with Atom and Context Variables.

Manfred Schmidt-Schauß David Sabel

Published in: FSCD (2018)

Keyphrases

contextual information
database
real time
genetic algorithm
pairwise
higher order
context aware
context sensitive
theorem proving
context dependent
state variables
causal relationships
structural model