Clingo2DSR - A clingo-based software system for declarative spatial reasoning

References

• Amor, R., & Dimyadi, J. (2021). The promise of automated compliance checking. Developments in the Built Environment, 5, 100039. https://doi.org/10.1016/j.dibe.2020.100039
   Google Scholar
• Arias, J., Carro, M., Salazar, E., Marple, K., & Gupta, G. (2018). Constraint answer set programming without grounding. Theory and Practice of Logic Programming, 18(3–4), 337–354. https://doi.org/10.1017/S1471068418000285
   Web of Science ®Google Scholar
• Arias, J., Törmä, S., Carro, M., & Gupta, G. (2022). Building information modeling using constraint logic programming. Theory and Practice of Logic Programming, 22(5), 723–738. https://doi.org/10.1017/S1471068422000138
   Web of Science ®Google Scholar
• Bartholomew, M., & Lee, J. (2014). System aspmt2smt: Computing ASPMT theories by SMT solvers. In E. Fermé & J. Leite (Eds.), Logics in artificial intelligence (pp. 529–542). Springer International Publishing.
   Google Scholar
• Battle, R., & Kolas, D. (2012). Enabling the geospatial semantic web with parliament and GeoSPARQL. Semantic Web, 3(4), 355–370. https://doi.org/10.3233/SW-2012-0065
   Web of Science ®Google Scholar
• Bhatt, M., Lee, J. H., & Schultz, C. (2011). CLP (QS): A declarative spatial reasoning framework. In International Conference on Spatial Information Theory, Belfast, ME, USA (pp. 210–230). Springer.
   Google Scholar
• Bhatt, M., Schultz, C., & Huang, M. (2012). The shape of empty space: Human-centred cognitive foundations in computing for spatial design. In 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Innsbruck, Austria (pp. 33–40).
   Google Scholar
• Cabalar, P., Fandinno, J., Garea, J., Romero, J., & Schaub, T. (2020). Eclingo: A solver for epistemic logic programs. Theory and Practice of Logic Programming, 20(6), 834–847. https://doi.org/10.1017/S1471068420000228
   Web of Science ®Google Scholar
• Cabalar, P., Kaminski, R., Morkisch, P., & Schaub, T. (2019). telingo= asp+ time. In International Conference on Logic Programming and Nonmonotonic Reasoning, Philadelphia, PA, USA (pp. 256–269). Springer.
   Google Scholar
• Cabalar, P., Kaminski, R., Schaub, T., & Schuhmann, A. (2018). Temporal answer set programming on finite traces. Theory and Practice of Logic Programming, 18(3–4), 406–420. https://doi.org/10.1017/S1471068418000297
   Web of Science ®Google Scholar
• Calimeri, F., Cozza, S., & Ianni, G. (2007). External sources of knowledge and value invention in logic programming. Annals of Mathematics and Artificial Intelligence, 50(3–4), 333–361. https://doi.org/10.1007/s10472-007-9076-z
   Web of Science ®Google Scholar
• Calimeri, F., Dodaro, C., Fuscà, D., Perri, S., & Zangari, J. (2020). Efficiently coupling the I-DLV grounder with ASP solvers. Theory and Practice of Logic Programming, 20(2), 205–224. https://doi.org/10.1017/S1471068418000546
   Web of Science ®Google Scholar
• Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F., & Schaub, T. (2019a). ASP-Core-2 input language format. Theory and Practice of Logic Programming, 20(2), 294–309. https://doi.org/10.1017/S1471068419000450
   Web of Science ®Google Scholar
• Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F., & Schaub, T. (2019b). ASP-Core-2 input language format. Theory and Practice of Logic Programming, 20(2), 294–309. https://doi.org/10.1017/S1471068419000450
   Web of Science ®Google Scholar
• Calimeri, F., Fuscà, D., Perri, S., Zangari, J., Maratea, M., Adorni, G., Cagnoni, S., & Gori, M. (2017). I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale, 11(1), 5–20. https://doi.org/10.3233/IA-170104
   Google Scholar
• De Moura, L., & Bjørner, N. (2008). Z3: An efficient smt solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems, Budapest, Hungary (pp. 337–340). Springer.
   Google Scholar
• Department of Building and Housing. (2011, October, 20). Compliance document for New Zealand building code clause G1 personal hygiene (2nd ed). https://www.building.govt.nz/assets/Uploads/building-code-compliance/g-services-and-facilities/g1-personal-hygiene/asvm/G1-personal-hygiene-2nd-edition-amendment-6.pdf
   Google Scholar
• der Bauwirtschaft (BG BAU), B. (2021, November, 9). B100 Absturzsicherungen auf Baustellen Seitenschutz/Absperrungen (Fall protection on construction sites). https://www.bgbau.de/fileadmin/Medien-Objekte/Medien/Bausteine/b_100/b_100.pdf
   Google Scholar
• Dimyadi, J., & Amor, R. (2013). Automated building code compliance checking - Where is it at? Proceedings of the 19th CIB World Building Congress, Brisbane, Australia, 172–185.
   Google Scholar
• Dimyadi, J., Governatori, G., & Amor, R. (2017). Evaluating legaldocml and legalruleml as a standard for sharing normative information in the aec/fm domain. In Proceedings of the Joint Conference on Computing in Construction (JC3), 1 (pp. 637–644). Heriot-Watt University, Edinburgh, UK, Heraklion, Greece.
   Google Scholar
• Egenhofer, M., & Franzosa, R. (1991). Point set topological spatial relations. International Journal of Geographical Information Systems, 5(2), 161–174. https://doi.org/10.1080/02693799108927841
   Web of Science ®Google Scholar
• Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2008). Combining answer set programming with description logics for the semantic web. Artificial Intelligence, 172(12), 1495–1539. https://doi.org/10.1016/j.artint.2008.04.002
   Web of Science ®Google Scholar
• Eiter, T., Kaminski, T., Redl, C., Schüller, P., & Weinzierl, A. (2017). Answer set programming with external source access. Springer International Publishing.
   Google Scholar
• Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory solving made easy with clingo 5. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) Open Access Series in Informatics (OASIcs). Schloss-Dagstuhl-Leibniz Zentrum für Informatik. https://doi.org/10.4230/OASIcs.ICLP.2016.2
   Google Scholar
• Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2019). Multi-shot ASP solving with clingo. Theory and Practice of Logic Programming, 19(1), 27–82. https://doi.org/10.1017/S1471068418000054
   Web of Science ®Google Scholar
• Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F., & Schaub, T. (2018). Evaluation techniques and systems for answer set programming: A survey. In Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18), Stockholm, Sweden (pp. 5450–5456).
   Google Scholar
• Gebser, M., & Schaub, T. (2006). Characterizing ASP inferences by unit propagation. In First International Workshop on Search and Logic: Answer Set Programming and SAT (LaSh-06), Seattle, USA (pp. 41–56).
   Google Scholar
• Hjelseth, E., & Li, B. (2021). Use of “reasoner” for automated building code compliance assessment. In Proceedings of the 38th CIB W78 Conference, Luxembourg (pp. 11–15).
   Google Scholar
• Jaffar, J., & Lassez, J. L. (1987). Constraint logic programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Munich, West Germany (pp. 111–119).
   Google Scholar
• Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P., & Schaub, T. (2017). Clingo goes linear constraints over reals and integers. Theory and Practice of Logic Programming, 17(5–6), 872–888. https://doi.org/10.1017/S1471068417000242
   Web of Science ®Google Scholar
• Kamari, A., Schultz, C., & Kirkegaard, P. H. (2019). Towards a BIM-based decision support system for rapid generation and evaluation of holistic renovation scenarios. Proceedings of the 36th CIB W78 Conference, Northumbria, UK (pp. 244–254).
   Google Scholar
• Kaminski, R., Romero, J., Schaub, T., & Wanko, P. (2021). How to build your own ASP-based system?! Theory and Practice of Logic Programming, 23(1), 299–361. https://doi.org/10.1017/S1471068421000508
   Web of Science ®Google Scholar
• Krukar, J., Manivannan, C., Bhatt, M., & Schultz, C. (2020). Embodied 3d isovists: A method to model the visual perception of space. Environment and Planning B: Urban Analytics and City Science, 48(8), 2307–2325. https://doi.org/10.1177/2399808320974533
   Google Scholar
• Kyzirakos, K., Karpathiotakis, M., & Koubarakis, M. (2012). Strabon: A semantic geospatial DBMS. In International Semantic Web Conference, Boston, USA (pp. 295–311). Springer.
   Google Scholar
• Leone, N., Allocca, C., Alviano, M., Calimeri, F., Civili, C., Costabile, R., Fiorentino, A., Fuscà, D., Germano, S., Laboccetta, G., et al. (2019). Enhancing dlv for large-scale reasoning. In International Conference on Logic Programming and Nonmonotonic Reasoning, Philadelphia, PA, USA (pp. 312–325). Springer.
   Google Scholar
• Li, B., Bhatt, M., & Schultz, C. (2019). λProlog(QS): Functional spatial reasoning in higher order logic programming. In 14th International Conference on Spatial Information Theory (COSIT 2019), Regensburg, Germany. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
   Google Scholar
• Li, B., Dimyadi, J., Amor, R., & Schultz, C. (2020). Qualitative and traceable calculations for building codes. In Proceedings of the 37th CIB W78 Information Technology for Construction Conference (CIB W78 2020), São Paulo, Brazil (pp. 69–84).
   Google Scholar
• Li, B., Fitzgerald, J., & Schultz, C. (2022). Modelling the impacts of crowds on occupants in the built environment—a static, rule-based approach to human perception and movement. Advanced Engineering Informatics, 51, 101452. https://doi.org/10.1016/j.aei.2021.101452
   Web of Science ®Google Scholar
• Li, B., Schultz, C., Melzner, J., Golovina, O., & Teizer, J. (2020). Safe and lean location-based construction scheduling. In H. Osumi, H. Furuya, & K. Tateyama, Eds., Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020) Kitakyushu, Japan (pp. 1409–1416). International Association for Automation and Robotics in Construction (IAARC).
   Google Scholar
• Li, B., Schultz, C., Teizer, J., Golovina, O., & Melzner, J. (2022). Towards a unifying domain model of construction safety, health and well-being: Safecondm. Advanced Engineering Informatics, 51, 101487. https://doi.org/10.1016/j.aei.2021.101487
   Web of Science ®Google Scholar
• Li, B.; Teizer, J., & Schultz, C. (2020). Non-monotonic spatial reasoning for safety analysis in construction. In Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, Virtual conference organized by University of Bologna, Italy (pp. 1–12).
   Google Scholar
• Moratz, R. (2006). Representing relative direction as a binary relation of oriented points. In Proceedings of the 2006 Conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 – September 1, 2006, Riva Del Garda, Italy (pp. 407–411). NLD: IOS Press.
   Google Scholar
• Mutsunori, B., Kaufmann, B., Ostrowski, M., & Schaub, T. (2017). Clingcon: The next generation. Theory and Practice of Logic Programming, 17(4), 408–461. https://doi.org/10.1017/S1471068417000138
   Web of Science ®Google Scholar
• Neufert, E., Neufert, P., Baiche, B., & Walliman, N. (2000). Architects’ data. Blackwell Science.
   Google Scholar
• Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. Theory and Practice of Logic Programming, 12(4–5), 485–503. https://doi.org/10.1017/S1471068412000142
   Google Scholar
• Randell, D. A., Cui, Z., & Cohn, A. G. (1992). A spatial logic based on regions and connection. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR’92 (pp. 165–176). San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.
   Google Scholar
• Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13(1), 81–132. Special Issue on Non-Monotonic Logic. https://doi.org/10.1016/0004-3702(80)90014-4
   Web of Science ®Google Scholar
• Safety, O., & Administration, H. (2015). Fall protection in construction (OSHA 3146-05R 2015). Retrieved November 9, 2021, from https://www.osha.gov/sites/default/files/publications/OSHA3146.pdf
   Google Scholar
• Schultz, C., & Bhatt, M. (2013). InSpace3D: A middleware for built environment data access and analytics. Procedia Computer Science, 18, 80–89. https://doi.org/10.1016/j.procs.2013.05.171
   Google Scholar
• Schultz, C., & Bhatt, M. (2014). Declarative spatial reasoning with booclean combinations of axis-aligned rectangular polytopes. In 21st European Conference on Artificial Intelligence (ECAI-2014), Prague, Czech Republic (pp. 795–800). IOS Press.
   Google Scholar
• Schultz, C., & Bhatt, M. (2015). Spatial symmetry driven pruning strategies for efficient declarative spatial reasoning. In 12th International Conference on Spatial Information Theory (COSIT 2015), Santa Fe, NM, USA (pp. 331–353). Springer.
   Google Scholar
• Schultz, C., Bhatt, M., & Borrmann, A. (2017). Bridging qualitative spatial constraints and feature-based parametric modelling: Expressing visibility and movement constraints. Advanced Engineering Informatics, 31, 2–17. Towards a new generation of the smart built environment. https://doi.org/10.1016/j.aei.2015.10.004.
   Web of Science ®Google Scholar
• Scivos, A., & Nebel, B. (2005). The finest of its class: The natural point-based ternary calculus LR for qualitative spatial reasoning. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, & T. Barkowsky (Eds.), Spatial cognition IV. Reasoning, action, interaction (pp. 283–303). Springer.
   Google Scholar
• Soman, R. K. (2019). Modelling construction scheduling constraints using shapes constraint language (SHACL). In 2019 European Conference on Computing in Construction, Chania, Crete, Greece (pp. 351–358).
   Google Scholar
• Stolk, S., and McGlinn, K. (2020). Validation of IfcOWL datasets using SHACL. In Proceedings of the 8th Linked Data in Architecture and Construction Workshop, Dublin, Ireland (Virtually hosted) (pp. 91–104).
   Google Scholar
• Walega, P. A., Bhatt, M., & Schultz, C. (2015). ASPMT (QS): Non-monotonic spatial reasoning with answer set programming modulo theories. In International Conference on Logic Programming and Nonmonotonic Reasoning, Lexington, KY, USA (pp. 488–501). Springer.
   Google Scholar
• Walega, P. A., Schultz, C., & Bhatt, M. (2017). Non-monotonic spatial reasoning with answer set programming modulo theories. Theory and Practice of Logic Programming, 17(2), 205–225. https://doi.org/10.1017/S1471068416000193
   Web of Science ®Google Scholar