Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Shirly Stephen

Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies With Datasets

Proceedings of the AAAI Conference on Artificial Intelligence

English