surface-reconstruction urban-reconstruction urban-modeling primitive-extraction piecewise-planar-object sharp-feature linear-integer-programming hypothesis-and-selection

ai logic artificial-intelligence symbolic multi-modal hypothesis-testing multi-modal-logic hypotheses hypothesis-and-selection logics symbolic-ai pluralitynet symbolic-artificial-intelligence ai-forecasting-and-planning multi-modal-logics all-inclusive all-inclusive-approach axiom-hypotheses axiom-hypothesis multi-type-valued-logic-statements