Rigidification of Algebras Over Essentially Algebraic Theories.

Published in: Appl. Categorical Struct. (2015)

Keyphrases

theoretical framework
temporal reasoning
spatial reasoning
cognitive psychology
defeasible logic
databases
information retrieval
decision making
bayesian networks
evolutionary algorithm
expressive power
legal knowledge
distributive lattices