Follow
UMUT OZTOK
UMUT OZTOK
Unknown affiliation
Verified email at g.ucla.edu
Title
Cited by
Cited by
Year
A General Formal Framework for Pathfinding Problems with Multiple Agents.
E Erdem, DG Kisa, U Öztok, P Schüller
AAAI, 2013
1542013
A Top-Down Compiler for Sentential Decision Diagrams.
U Oztok, A Darwiche
IJCAI, 3141-3148, 2015
862015
On compiling CNF into decision-DNNF
U Oztok, A Darwiche
International Conference on Principles and Practice of Constraint …, 2014
372014
Generating explanations for biomedical queries
E Erdem, U Oztok
Theory and Practice of Logic Programming 15 (1), 35-78, 2015
352015
Finding Answers and Generating Explanations for Complex Biomedical Queries.
E Erdem, Y Erdem, H Erdogan, U Öztok
AAAI, 2011
302011
Solving PPPP-Complete Problems Using Knowledge Compilation.
U Oztok, A Choi, A Darwiche
KR, 94-103, 2016
202016
CV-width: A New Complexity Parameter for CNFs.
U Oztok, A Darwiche
ECAI, 675-680, 2014
152014
BioQuery-ASP: Querying biomedical ontologies using answer set programming
E Erdem, H Erdogan, U Oztok
Proc. of RuleML2011@ BRF Challenge, 573-578, 2011
152011
An Exhaustive DPLL Algorithm for Model Counting
U Oztok, A Darwiche
Journal of Artificial Intelligence Research 62, 1-32, 2018
82018
Generating Explanations for Complex Biomedical Queries.
U Öztok, E Erdem
AAAI, 2011
42011
Querying Biomedical Ontologies in Natural Language using Answer Set
H Erdogan, U Oztok, Y Erdem, E Erdem
arXiv preprint arXiv:1012.1899, 2010
32010
On Compiling DNNFs without Determinism
U Oztok, A Darwiche
arXiv preprint arXiv:1709.07092, 2017
22017
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
22013
BioQuery-ASP: querying biomedical databases and ontologies using answer set programming
E Erdem, U Oztok
EMBnet. journal 18 (B), pp. 62-64, 2012
12012
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
The system can't perform the operation now. Try again later.
Articles 1–16