| A General Formal Framework for Pathfinding Problems with Multiple Agents. E Erdem, DG Kisa, U Öztok, P Schüller AAAI, 2013 | 215 | 2013 |
| A Top-Down Compiler for Sentential Decision Diagrams. U Oztok, A Darwiche IJCAI, 3141-3148, 2015 | 131 | 2015 |
| On compiling CNF into decision-DNNF U Oztok, A Darwiche International Conference on Principles and Practice of Constraint …, 2014 | 54 | 2014 |
| Generating explanations for biomedical queries E Erdem, U Oztok Theory and Practice of Logic Programming 15 (1), 35-78, 2015 | 46 | 2015 |
| Finding Answers and Generating Explanations for Complex Biomedical Queries. E Erdem, Y Erdem, H Erdogan, U Öztok AAAI, 2011 | 33 | 2011 |
| Solving PPPP-Complete Problems Using Knowledge Compilation. U Oztok, A Choi, A Darwiche KR, 94-103, 2016 | 31 | 2016 |
| CV-width: A New Complexity Parameter for CNFs. U Oztok, A Darwiche ECAI, 675-680, 2014 | 19 | 2014 |
| BioQuery-ASP: Querying biomedical ontologies using answer set programming E Erdem, H Erdogan, U Oztok Proc. of RuleML2011@ BRF Challenge, 573-578, 2011 | 16 | 2011 |
| An Exhaustive DPLL Algorithm for Model Counting U Oztok, A Darwiche Journal of Artificial Intelligence Research 62, 1-32, 2018 | 11 | 2018 |
| On Compiling DNNFs without Determinism U Oztok, A Darwiche arXiv preprint arXiv:1709.07092, 2017 | 7 | 2017 |
| Generating Explanations for Complex Biomedical Queries. U Öztok, E Erdem AAAI, 2011 | 6 | 2011 |
| Querying Biomedical Ontologies in Natural Language using Answer Set H Erdogan, U Oztok, Y Erdem, E Erdem arXiv preprint arXiv:1012.1899, 2010 | 3 | 2010 |
| Experimental Evaluation of Multi-Agent Pathfinding Problems using Answer Set Programming E Erdem, DG Kisa, U Oztok, P Schüller Proceedings of the 20th International Workshop on Knowledge Representation …, 2013 | 2 | 2013 |
| BioQuery-ASP: querying biomedical databases and ontologies using answer set programming E Erdem, U Oztok EMBnet. journal 18 (B), pp. 62-64, 2012 | 1 | 2012 |
| Knowledge Compilation for Solving Computationally Hard Problems U Oztok UCLA, 2017 | | 2017 |
| Bio Query-ASP: Querying Biomedical Ontologies using E Erdem, H Erdogan, U Oztok | | |
