Author:
Ebbinghaus H.-D.,Flum J.,Thomas W.
Cited by
158 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
2. Count-free Weisfeiler–Leman and group isomorphism;International Journal of Algebra and Computation;2024-04-03
3. A new complete construction method for the system K;Fifth International Conference on Image, Video Processing, and Artificial Intelligence (IVPAI 2023);2024-03-14
4. Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers;Journal of the London Mathematical Society;2024-01-31
5. Argument-based inductive logics, with coverage of compromised perception;Frontiers in Artificial Intelligence;2024-01-08