Login / Signup
Once More on Order-Sorted Algebras.
Axel Poigné
Published in:
MFCS (1991)
Keyphrases
</>
order sorted
predicate logic
topological spaces
distributive lattices
clifford algebra
temporal reasoning
spatial reasoning
knowledge representation and reasoning
relation algebra
case study
heuristic search
temporal logic