The Horn Fragment of Branching Algebra.
Alessandro BertagnonMarco GavanelliAlessandro PassantinoGuido SciaviccoStefano TrevisaniPublished in: TIME (2020)
Keyphrases
- maximal tractable
- interval algebra
- path consistency
- search tree
- constraint language
- np hard
- branch and bound
- website
- data model
- temporal reasoning
- artificial intelligence
- horn theories
- temporal constraints
- query language
- information systems
- relational databases
- qualitative spatial reasoning
- social networks
- genetic algorithm
- algebraic expressions