A General Formal Framework for Pathfinding Problems with Multiple Agents. E Erdem, DG Kisa, U Öztok, P Schüller AAAI, 2013 | 219 | 2013 |
A Top-Down Compiler for Sentential Decision Diagrams. U Oztok, A Darwiche IJCAI, 3141-3148, 2015 | 133 | 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 | 48 | 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 | 32 | 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 | | |