Hunter, Anthony;
(2025)
Using Sentence Embeddings to Identify Conflicts in
Propositional Logic.
In:
(Proceedings) The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty.
Springer
(In press).
![[thumbnail of Hunter_EcsqaruCameraReadyVersion.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
Hunter_EcsqaruCameraReadyVersion.pdf - Accepted Version Access restricted to UCL open access staff until 24 January 2026. Download (222kB) |
| Type: | Proceedings paper |
|---|---|
| Title: | Using Sentence Embeddings to Identify Conflicts in Propositional Logic |
| Event: | The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
| Location: | Hagen Germany |
| Publisher version: | https://www.springer.com/gp? |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10211663 |
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
