机译:Building Information Modeling Using Constraint Logic Programming
CETINIA, Universidad Rey Juan Carlos, Madrid, Spain;
VisuaLynk Oy, Espoo, Finland;
Universidad Politecnica de Madrid, Madrid, Spain IMDEA Software Institute, Pozuelo de Alarcon, SpainUniversity of Texas at Dallas, Richardson, TX 75080, USA;
building information modeling; constraint; commonsense reasoning; answer set programming;