67 citations · 116 across the 15 of their papers we have counts for
1 paper · 1 filter
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
Reasoning semantically in first-order logic is notoriously a challenge. This paper surveys a selection of semantically-guided or model-based methods that aim at meeting aspects of…