Keyword:consistency checking

Publications
Reasoning about Relative Position and Orientation of Moving Objects Using Answer Set Programming Yusuf Izmirlioglu EasyChair Preprint 14505
Do Developers Benefit from Recommendations When Repairing Inconsistent Design Models? a Controlled Experiment Luciano Marchezan, Wesley K. G. Assunção, Gabriela Karoline Michelon and Alexander Egyed EasyChair Preprint 10357