Building Information Modeling Using Constraint Logic Programming

DOI10.1017/S1471068422000138MaRDI QIDQ5038474zbMATH OpenOpenAlexWikidataFDO

Authors Joaquin Arias, Seppo Törmä, M. Carro, Gopal Gupta

Publication date 30 September 2022

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2205.08572

zbMATH Keywords

answer set programmingbuilding information modelingcommonsense reasoningconstraint

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• \textit{clingcon}: the next generation
• Constraint answer set programming without grounding
• Constraint answer set solver EZCSP and why integration schemas matter

Describes a project that uses

Uses Software

• ezcsp
• sCASP
• Clingcon

This page was built for publication: Building Information Modeling Using Constraint Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5038474)