Concepedia

Umut Öztok

UÖ

4

Publications

244

Citations

4

H-Index

2011

Active since

Affiliations

Sabancı Üniversitesi(Current)

University of California, Los Angeles

Umut Öztok is an author at Sabancı Üniversitesi specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceData ScienceKnowledge CompilationArtificial IntelligenceComputational ComplexityHealthPlanning

Publications per year

2011–2016

4

Publications

4

A General Formal Framework for Pathfinding Problems with Multiple Agents

Esra Erdem, Doga Kisa, Umut Öztok et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2013 · 155 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +24

A top-down compiler for sentential decision diagrams

Umut Öztok, Adnan Darwiche · 2015 · 60 citations

Engineering, Boolean Function, Sentential Decision Diagrams +20

Finding Answers and Generating Explanations for Complex Biomedical Queries

Esra Erdem, Yelda Erdem, Halit Erdoğan et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2011 · 17 citations · Full text

Complex Biomedical Queries, Engineering, Knowledge Extraction +17

Solving PP PP -complete problems using knowledge compilation

Umut Öztok, Arthur Choi, Adnan Darwiche · 2016 · 12 citations

Artificial Intelligence, Engineering, Data Science +14

Rows per page

1–4 of 4