- Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution
- Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method
- Transformations of Logic Programs Related to Causality and Planning
- Resolving Conflicts in Action Descriptions Thomas Eiter and Esra Erdem and Michael Fink and J an Senko
- Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots
- Efficient Haplotype Inference with Answer Set Programming Ferhan Ture and Esra Erdem
- Genome Rearrangement and Planning Institute of Information Systems
- Updating Action Domain Descriptions # Thomas Eiter, Esra Erdem, Michael Fink, and J an Senko
- A ReDefinition of Least Generalizations, and Construction Modes as a New Declarative Bias for ILP
- Wire Routing and Satis ability Planning Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong
- Plan Reversals for Recovery in Execution Monitoring
- CharacterBased Cladistics and Answer Set Programming
- Bridging the Gap between High-Level Reasoning and Low-Level Control
- Rectilinear Steiner Tree Construction using Answer Set Programming
- An MSGMethod for Inductive Logic Program Synthesis
- The Dissertation Committee for Esra Erdem certi es that this is the approved version of the following dissertation
- On Reversing Actions: Algorithms and Complexity Thomas Eiter
- Transitive Closure, Answer Sets and Predicate Completion
- Generating Explanations for Complex Biomedical Queries Umut Oztok and Esra Erdem
- Applications of Answer Set Programming in Phylogenetic Systematics
- Querying Biomedical Ontologies in Natural Language using Answer Set Programming
- Finding Semantic Inconsistencies in UMLS using Answer Set Programming Halit Erdogan
- Computing Weighted Solutions in Answer Set Programming
- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
- Comparing ASP, CP, ILP on two Challenging Applications: Wire Routing and Haplotype Inference
- Forgetting Actions in Domain Descriptions Faculty of Engineering and Natural Sciences
- Efficient Haplotype Inference with Answer Set Programming Esra Erdem and Ferhan Ture
- HAPLO-ASP: Haplotype Inference Using Answer Set Programming
- Genome Rearrangement: A Planning Approach Tansel Uras and Esra Erdem
- Cumulative Effects of Concurrent Actions on NumericValued Fluents Institute of Information Systems,
- A Formal Method for Wire Routing Institute of Information Systems
- Fages' Theorem for Programs with Nested Expressions
- Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents
- Comparing ASP and CP on Four Grid Puzzles Mehmet Celik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, and
- Finding Answers and Generating Explanations for Complex Biomedical Queries Esra Erdema
- A New Heuristic to use Least Generalizations in ILP Department of Computer Sciences
- A Tight Integration of Task Planning and Motion Planning in an Execution Monitoring Framework
- Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts
- Updating Action Domain Descriptions Thomas Eiter a
- Applications of Logic Programming to Computational Experiments
- Reconstructing the Evolutionary History of Indo-European Languages
- From Discrete Task Plans to Continuous Trajectories Ozan Caldiran and Kadir Haspalamutgil and Abdullah Ok and Can Palaz
- Genome Rearrangement and Planning: Revisited Tansel Uras and Esra Erdem
- Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents Institute of Information Systems,
- Combining High-Level Causal Reasoning with Low-Level Geometric Reasoning and Motion Planning for Robotic Manipulation
- A Preliminary Report on Answering Complex Queries related to Drug Discovery using Answer Set Programming
- Finding Similar or Diverse Solutions in Answer Set Programming
