Non-monotonic Spatial Reasoning for Safety Analysis in Construction.

Beidi Li Jochen Teizer Carl P. L. Schultz

Published in: PPDP (2020)

Keyphrases

spatial reasoning
safety analysis
spatial relations
nuclear power plant
safety critical
control system
fault model
temporal reasoning
symbolic model checking
topological relations
decision making
data structure
optimal solution
artificial intelligence
formal methods
qualitative spatial reasoning
data mining