Affiliation:
1. Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, Texas
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Cited by
2405 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The completeness of reasoning algorithms for clause sets in description logic ALC;Knowledge-Based Systems;2024-02
2. Farkas Bounds on Horn Constraint Systems;Theory of Computing Systems;2024-01-06
3. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05
4. Polymorphic Type Inference for Dynamic Languages;Proceedings of the ACM on Programming Languages;2024-01-05
5. Orthologic with Axioms;Proceedings of the ACM on Programming Languages;2024-01-05