Semantic Clash Detection
Semantic Clash Detection is a clash detection method that identifies inconsistencies arising from mismatches in meaning or intended functionality between entities in a system, distinguished from syntactic or geometric clash detection by its focus on conceptual rather than structural or spatial discrepancies.
23
Publications
882
Citations
86
Authors
37
Institutions
Publications per year
2017–2026
4
Parents
23
Automatic Theorem Proving With Renamable and Semantic Resolution
James R. Slagle · Journal of the ACM · 1967 · 172 citations · Full text
Sven Apel, Jörg Liebig, Benjamin Brandl et al. · 2011 · 109 citations
Reasoning About Semantic Conflicts Between Aspects
Pascal Dürr, Tom Staijen, Lodewijk Bergmans et al. · University of Twente Research Information · 2005 · 67 citations · Full text
1–5 of 23
86
2
h-index
2
h-index
2
h-index
1
h-index
1
h-index
1–5 of 86
37
University of Technology Sydney
Sydney, Australia
1 h-index
1 publications
23 citations

Universidade Federal de Pernambuco
Recife, Brazil
1 h-index
3 publications
66 citations
Lancaster University
Lancaster, United Kingdom
1 h-index
3 publications
42 citations

Johannes Kepler University of Linz
Linz, Austria
1 h-index
1 publications
18 citations
University of Illinois Chicago
Chicago, United States
1 h-index
2 publications
158 citations

Waterford Institute of Technology
Waterford, Ireland
1 h-index
3 publications
33 citations

Hashemite University
Zarqa, Jordan
1 h-index
1 publications
50 citations

Troy University
Troy, United States
1 h-index
1 publications
12 citations
1–8 of 37
1 publications · 79 citations
1
h-index
1 publications · 13 citations
1
h-index
1 publications · 50 citations
1
h-index
1 publications · 14 citations
1
h-index
1 publications · 13 citations
1
h-index
1–5