Halit Erdogan

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Modulo Theories

Answer Set Programming

Disjunctive Logic Programming

Top Venues

Theory Pract. Log. Program.

Publications

Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
Finding similar/diverse solutions in answer set programming. Theory Pract. Log. Program. 13 (3) (2013)
Duygu Çakmak, Esra Erdem, Halit Erdogan
Computing weighted solutions in ASP: representation-based method vs. search-based method. Ann. Math. Artif. Intell. 62 (3-4) (2011)
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
Finding Similar/Diverse Solutions in Answer Set Programming CoRR (2011)
Esra Erdem, Halit Erdogan, Umut Öztok
BIOQUERY-ASP: Querying Biomedical Ontologies using Answer Set Programming. RuleML America (2) (2011)
Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Öztok
Finding Answers and Generating Explanations for Complex Biomedical Queries. AAAI (2011)
Halit Erdogan, Esra Erdem, Olivier Bodenreider
Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts. MedInfo (2010)
Halit Erdogan, Umut Öztok, Yelda Erdem, Esra Erdem
Querying Biomedical Ontologies in Natural Language using Answer Set Programming. SWAT4LS (2010)
Halit Erdogan, Umut Öztok, Yelda Erdem, Esra Erdem
Querying Biomedical Ontologies in Natural Language using Answer Set CoRR (2010)
Halit Erdogan, Olivier Bodenreider, Esra Erdem
Finding Semantic Inconsistencies in UMLS using Answer Set Programming. AAAI (2010)
Duygu Çakmak, Halit Erdogan, Esra Erdem
Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method. RCRA@CPAIOR (2010)
Mehmet Çelik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, Esra Erdem
Comparing ASP and CP on Four Grid Puzzles. RCRA@AI*IA (2009)
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
Finding Similar or Diverse Solutions in Answer Set Programming. ICLP (2009)
Duygu Çakmak, Esra Erdem, Halit Erdogan
Computing Weighted Solutions in Answer Set Programming. LPNMR (2009)