Rule-Based Consistency Checking of Railway Infrastructure Designs.

Bjørnar Luteberget Christian Johansen Martin Steffen

Published in: IFM (2016)

Keyphrases

consistency checking
stochastic search
expert systems
query answering
temporal reasoning
temporal constraints
data driven
rule base
data sets
linear programming
database
building blocks
data integration
upper bound
low level
objective function
three dimensional
computer vision