Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Towards a unifying domain model of construction safety, health and well-being: SafeConDM
Specific occupational construction safety, health, and well-being related knowledge and
information are scattered and fragmented. Despite technological advancements of …
information are scattered and fragmented. Despite technological advancements of …
[HTML][HTML] Commonsense visual sensemaking for autonomous driving–On generalised neurosymbolic online abduction integrating vision and semantics
We demonstrate the need and potential of systematically integrated vision and semantics
solutions for visual sensemaking in the backdrop of autonomous driving. A general …
solutions for visual sensemaking in the backdrop of autonomous driving. A general …
[PDF][PDF] Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges.
Abstract Qualitative Spatial & Temporal Reasoning (QSTR) is a major field of study in
Symbolic AI that deals with the representation and reasoning of spatiotemporal information …
Symbolic AI that deals with the representation and reasoning of spatiotemporal information …
Clingo2DSR-A clingo-based software system for declarative spatial reasoning
B Li, C Schultz - Spatial Cognition & Computation, 2025 - Taylor & Francis
We present a modified ground-and-solve approach based on the clingo Answer Set
Programming (ASP) system to perform non-monotonic spatial reasoning tasks, Clingo2DSR …
Programming (ASP) system to perform non-monotonic spatial reasoning tasks, Clingo2DSR …
Non-monotonic spatial reasoning for safety analysis in construction
We present a new approach based on spatial reasoning in Answer Set Programming (ASP),
and a prototype software tool, for automatically evaluating construction safety compliance of …
and a prototype software tool, for automatically evaluating construction safety compliance of …
A trajectory calculus for qualitative spatial reasoning using answer set programming
Spatial information is often expressed using qualitative terms such as natural language
expressions instead of coordinates; reasoning over such terms has several practical …
expressions instead of coordinates; reasoning over such terms has several practical …
[PDF][PDF] Safe and lean location-based construction scheduling
Based on case studies within the construction industry, the application of location-based
construction scheduling and utilizing software-based rule checking has delivered promising …
construction scheduling and utilizing software-based rule checking has delivered promising …
Neuro-symbolic spatio-temporal reasoning
Abstract Knowledge about space and time is necessary to solve problems in the physical
world. Spatio-temporal knowledge, however, is required beyond interacting with the physical …
world. Spatio-temporal knowledge, however, is required beyond interacting with the physical …
Artificial visual intelligence: Perceptual commonsense for human-centred cognitive technologies
We address computational cognitive vision and perception at the interface of language,
logic, cognition, and artificial intelligence. The chapter presents general methods for the …
logic, cognition, and artificial intelligence. The chapter presents general methods for the …
Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement
B Li, J Fitzgerald, C Schultz - Advanced Engineering Informatics, 2022 - Elsevier
A building occupant's experiences are not passive responses to environmental stimuli, but
are the results of multifaceted, prolonged interactions between people and space. We …
are the results of multifaceted, prolonged interactions between people and space. We …