Learning to Classify Logical Formulas Based on Their Semantic Similarity-Reference-Cited by-同舟云学术

Learning to Classify Logical Formulas Based on Their Semantic Similarity

Published:2022-11-12 Issue: Volume: Page:364-380
ISSN:0302-9743
Container-title:PRIMA 2022: Principles and Practice of Multi-Agent Systems
language:
Short-container-title:

Author:

Ballout Ali,da Costa Pereira Célia,Tettamanzi Andrea G. B.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-21203-1_22

Reference16 articles.

1. Amgoud, L., David, V.: Measuring similarity between logical arguments. In: Thielscher, M., Toni, F., Wolter, F. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October–2 November 2018, pp. 98–107. AAAI Press (2018)

2. Anthony, M., Hammer, P.L.: A Boolean measure of similarity. Discrete Appl. Math. 154(16), 2242–2246 (2006)

3. Antoniou, G., Ghose, A.: What is default reasoning good for? applications revisited. In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 5–8 January 1999, Maui, Hawaii, USA. IEEE Computer Society (1999)

4. Badreddine, S., d’Avila Garcez, A., Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022). https://doi.org/10.1016/j.artint.2021.103649

5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Blee,2009

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Predicting the Acceptability of Atomic Candidate OWL Class Axioms;2023 IEEE International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT);2023-10-26

2. gym-saturation: Gymnasium Environments for Saturation Provers (System description);Lecture Notes in Computer Science;2023