Följ
UMUT OZTOK
UMUT OZTOK
Okänd anknytning
Verifierad e-postadress på g.ucla.edu
Titel
Citeras av
Citeras av
År
A General Formal Framework for Pathfinding Problems with Multiple Agents.
E Erdem, DG Kisa, U Öztok, P Schüller
AAAI, 2013
1992013
A Top-Down Compiler for Sentential Decision Diagrams.
U Oztok, A Darwiche
IJCAI, 3141-3148, 2015
1202015
On compiling CNF into decision-DNNF
U Oztok, A Darwiche
International Conference on Principles and Practice of Constraint …, 2014
512014
Generating explanations for biomedical queries
E Erdem, U Oztok
Theory and Practice of Logic Programming 15 (1), 35-78, 2015
412015
Finding Answers and Generating Explanations for Complex Biomedical Queries.
E Erdem, Y Erdem, H Erdogan, U Öztok
AAAI, 2011
312011
Solving PPPP-Complete Problems Using Knowledge Compilation.
U Oztok, A Choi, A Darwiche
KR, 94-103, 2016
292016
BioQuery-ASP: Querying biomedical ontologies using answer set programming
E Erdem, H Erdogan, U Oztok
Proc. of RuleML2011@ BRF Challenge, 573-578, 2011
162011
CV-width: A New Complexity Parameter for CNFs.
U Oztok, A Darwiche
ECAI, 675-680, 2014
152014
An Exhaustive DPLL Algorithm for Model Counting
U Oztok, A Darwiche
Journal of Artificial Intelligence Research 62, 1-32, 2018
112018
On Compiling DNNFs without Determinism
U Oztok, A Darwiche
arXiv preprint arXiv:1709.07092, 2017
62017
Generating Explanations for Complex Biomedical Queries.
U Öztok, E Erdem
AAAI, 2011
52011
Querying Biomedical Ontologies in Natural Language using Answer Set
H Erdogan, U Oztok, Y Erdem, E Erdem
arXiv preprint arXiv:1012.1899, 2010
32010
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–16