Publications

  2015 (3)
ReAct!: An Interactive Educational Tool for AI Planning for Robotics. Dogmus, Z.; Erdem, E.; and Patoglu, V. Education, IEEE Transactions on, 58(1): 15-24. Feb 2015.
doi   bibtex   abstract
RehabRobo-Onto: Design, development and maintenance of a rehabilitation robotics ontology on the cloud . Dogmus, Z.; Erdem, E.; and Patoglu, V. Robotics and Computer-Integrated Manufacturing , 33(0): 100--109. 2015. Special Issue on Knowledge Driven Robotics and Manufacturing
RehabRobo-Onto: Design, development and maintenance of a rehabilitation robotics ontology on the cloud  [link]Paper   doi   bibtex   abstract
Integrating Hybrid Diagnostic Reasoning in Plan Execution Monitoring for Cognitive Factories with Multiple Robots. Erdem, E.; Patoglu, V.; and Saribatur, Z. G. In Proc. of ICRA, 2015. Finalist for Best Conference Paper Award, Finalist for Best Cognitive Robotics Paper Award
bibtex   abstract
  2014 (6)
Answering Natural Language Queries about Rehabilitation Robotics Ontology on the Cloud. Dogmus, Z.; Erdem, E.; and Patoglu, V. In Proc. of KEOD, pages 75--83, 2014.
bibtex
Cognitive Factories with Multiple Teams of Heterogeneous Robots: Hybrid Reasoning for Optimal Feasible Global Plans. Saribatur, Z. G.; Erdem, E.; and Patoglu, V. In Proc. of IROS, pages 2923--2930, 2014.
bibtex   abstract
A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks. Erdem, E.; Patoglu, V.; and Schüller, P. In Proc. of RCRA, 2014.
bibtex
Geometric Rearrangement of Multiple Movable Objects on Cluttered Surfaces: A Hybrid Reasoning Approach. Havur, G.; Ozbilgin, G.; Erdem, E.; and Patoglu, V. In Proc. of ICRA, pages 445--452, 2014.
bibtex   abstract   3 downloads
Hybrid Reasoning for Geometric Rearrangement of Multiple Movable Objects on Cluttered Surfaces. Havur, G.; Ozbilgin, G.; Erdem, E.; and Patoglu, V. In Proc. of CogRob, 2014.
bibtex
Coordination of Multiple Teams of Robots for an Optimal Global Plan. Saribatur, Z. G.; Erdem, E.; and Patoglu, V. In Proc. of AAAI, pages 3132--3133, 2014.
Coordination of Multiple Teams of Robots for an Optimal Global Plan [link]Paper   bibtex   abstract   5 downloads
  2013 (15)
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach. Erdem, E.; Patoglu, V.; Saribatur, Z. G.; Schüller, P.; and Uras, T. Theory and Practice of Logic Programming, 13: 831--846. 7 2013.
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach [link]Paper   doi   bibtex
Levels of Integration between Low-Level Reasoning and Task Planning. Schüller, P.; Patoglu, V.; and Erdem, E. In Proc. AAAI 2013 Workshop on Intelligent Robotic Systems, 2013.
bibtex
A Case Study on the Tower of Hanoi Challenge: Representation, Reasoning and Execution. Havir, G.; Haspalamutgil, K.; Palaz, C.; Erdem, E.; and Patoglu, V. In IEEE International Conference on Robotics and Automation (ICRA 2013), 2013.
bibtex   abstract
Rehabilitation Robotics Ontology on the Cloud. Dogmus, Z.; Papantoniou, A.; Kilinc, M.; Yildirim, S.; Erdem, E.; and Patoglu, V. In IEEE International Conference on Rehabilitation Robotics (ICORR 2013), 2013.
bibtex   abstract
Integration of Continuous Low-Level Reasoning with Task Planning: A Systematic Analysis. Scheuller, P.; Patoglu, V.; and Erdem, E. In IEEE International Conference on Robotics and Automation, Workshop on Combining Task and Motion Planning (TAMP 2013), 2013.
bibtex
ReAct! An Interactive Tool for Hybrid Planning in Robotics. Dogmus, Z.; Patoglu, V.; and Erdem, E. In Robotics: Sience and Systems, Combined Robot Motion Planning and AI Planning for Practical Applications (RSS 2013), 2013.
bibtex
A Systematic Analysis of Levels of Integration between Task Planning and Low-Level Reasoning. Scheuller, P.; Patoglu, V.; and Erdem, E. In Robotics: Sience and Systems, Combined Robot Motion Planning and AI Planning for Practical Applications (RSS 2013), 2013.
bibtex
Guvenli Bilissel Hizmet Robotu CoCoA'nin Gelistirilmesi: Tasarim, Modellenme ve Dinamik Benzetim. Coruhlu, G.; and Patoglu, V. In Otomatik Kontrol Ulusal Toplantisi (TOK 2013), 2013.
bibtex
ReAct! An Interactive Tool for Hybrid Planning in Robotics. Dogmus, Z.; Esra Erdem, undefined; and Patoglu, V. In International Conference on Logic Programming (ICLP), Workshop on Knowledge Representation and Reasoning in Robotics, 2013.
bibtex
Integration of 3D Object Recognition and Planning for Robotics Manipulation: A Preliminary Report. Duff, D. J.; Erdem, E.; and Patoglu, V. In International Conference on Logic Programming (ICLP), Workshop on Knowledge Representation and Reasoning in Robotics, 2013.
bibtex
A Case Study on the Tower of Hanoi Challenge: Representation, Reasoning and Execution. Havur, G.; Erdem, E.; and Patoglu, V. In Computer Science Student Workshop (CSW 2013), 2013.
bibtex
Intelligent Physical Rehabilitation using Serious Games. Gezici, G.; Dogmus, Z.; Erdem, E.; and Patoglu, V. In Computer Science Student Workshop (CSW 2013), 2013.
bibtex   1 download
Bilissel Fabrikalarda Birden Fazla Robot Takimi icin Eniyilestirilmis Ayristirilabilir Plan Hesaplanmasi. Saribatur, Z. G.; Schueller, P.; Patoglu, V.; and Erdem, E. In IEEE Sinyal Isleme ve Iletisim Uygulamalari Kurultayi, Bilissel Robotlar ve Uygulamalari Ozel Oturumu (SIU 2013), 2013.
bibtex
Cozum Kumesi Programlama Kullanarak Ortaklasa Ev Ici Hizmet Robotigi. Aker, E.; Patoglu, V.; and Erdem, E. In IEEE Sinyal Isleme ve Iletisim Uygulamalari Kurultayi, Bilissel Robotlar ve Uygulamalari Ozel Oturumu (SIU 2013), 2013.
bibtex
Hanoi Kulesi'nin Robotlarla Cozumu icin Nedensel Akil Yurutme, Icra ve Icra Takibi Cercevesi. Havur, G.; Haspalamutgil, K.; Palaz, C.; Erdem, E.; and Patoglu, V. In IEEE Sinyal Isleme ve Iletisim Uygulamalari Kurultayi, Bilissel Robotlar ve Uygulamalari Ozel Oturumu (SIU 2013), 2013.
bibtex
  2012 (6)
BIOQUERY-ASP: Querying Biomedical Ontologies in Natural Language using Answer Set Programming. Erdem, E.; Erdem, Y.; Erdogan, H.; and Oztok, U. In Program Book of CSHALS, 2012.
BIOQUERY-ASP: Querying Biomedical Ontologies in Natural Language using Answer Set Programming [pdf]Link   bibtex
Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Erdem, E.; Lee, J.; Lierler, Y.; and Pearce, D. , editor s. Volume 7265, of Lecture Notes in Computer Science. 2012.Springer.
Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz [link]Link   bibtex   buy
Applications of Action Languages in Cognitive Robotics. Erdem, E.; and Patoglu, V. In Correct Reasoning, pages 229--246, 2012.
Applications of Action Languages in Cognitive Robotics [link]Link   bibtex   abstract
Developing and Maintaining an Ontology for Rehabilitation Robotics. Dogmus, Z.; Gezici, G.; Erdem, E.; and Patoglu, V. In Proc. of the 4'th International Conference on Knowledge Engineering and Ontology Development (KEOD 2012), 2012. To appear
bibtex   abstract
Causality-Based Planning and Diagnostic Reasoning for Cognitive Factories. Erdem, E.; Haspalamutgil, K.; Patoglu, V.; and Uras, T. In Proc. of the 17'th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), 2012. To appear
bibtex   abstract
Answer Set Programming for Reasoning with Semantic Knowledge in Collaborative Housekeeping Robotics. Aker, E.; Patoglu, V.; and Erdem, E. In Proc. of IFAC SYROCO, 2012. To appear
bibtex   abstract
  2011 (16)
Reports of the AAAI 2011 Spring Symposia. Buller, M.; Cuddihy, P.; Davis, E.; Doherty, P.; Doshi-Velez, F.; Erdem, E.; Fisher, D. H.; Green, N.; Hinkelmann, K.; Maher, M. L.; McLurkin, J.; Maheswaran, R. T.; Rubinelli, S.; Schurr, N.; Scott, D.; Shell, D. A.; Szekely, P. A.; Thonssen, B.; and Urken, A. AI Magazine, 32(3): 119--127. 2011.
Reports of the AAAI 2011 Spring Symposia [link]Link   bibtex   abstract
BIOQUERY-ASP: Querying Biomedical Ontologies using Answer Set Programming. Erdem, E.; Erdogan, H.; and Oztok, U. In Proc. of RuleML2011@BRF Challenge, 2011.
BIOQUERY-ASP: Querying Biomedical Ontologies using Answer Set Programming [link]Link   BIOQUERY-ASP: Querying Biomedical Ontologies using Answer Set Programming [pdf]N   bibtex   abstract
Finding Answers and Generating Explanations for Complex Biomedical Queries using Answer Set Programming. Erdem, E. Association for Logic Programming Newsletter, . 2011.
Finding Answers and Generating Explanations for Complex Biomedical Queries using Answer Set Programming [link]Link   bibtex
Housekeeping with Multiple Autonomous Robots: Knowledge Representation and Automated Reasoning for a Tightly Integrated Robot Control Architecture. Aker, E.; Erdogan, A.; Erdem, E.; and Patoglu, V. In IROS 2011 Workshop: Knowledge Representation for Autonomous Robots, 2011.
Housekeeping with Multiple Autonomous Robots: Knowledge Representation and Automated Reasoning for a Tightly Integrated Robot Control Architecture [link]Link   Housekeeping with Multiple Autonomous Robots: Knowledge Representation and Automated Reasoning for a Tightly Integrated Robot Control Architecture [pdf]N   bibtex   abstract   2 downloads
Finding Similar/Diverse Solutions in Answer Set Programming. Eiter, T.; Erdem, E.; Erdogan, H.; and Fink, M. Theory and Practice of Logic Programming (TPLP), . 2011. To appear
Finding Similar/Diverse Solutions in Answer Set Programming [link]Link   bibtex   abstract   1 download
Answer-Set Programming as a New Approach to Event-Sequence Testing. Erdem, E.; Inoue, K.; Oetsch, J.; Puehrer, J.; Tompits, H.; and Yilmaz, C. In Proc. of the 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID'11), 2011.
Answer-Set Programming as a New Approach to Event-Sequence Testing [pdf]N   bibtex   abstract
Finding Similar/Diverse Solutions in Answer Set Programming: Theory and Applications. Erdogan, H. Master's Thesis, Sabanci University, Istanbul, Turkey, 2011.
bibtex   abstract
Applications of AI Planning in Genome Rearrangement and in Multi-Robot Systems. Uras, T. Master's Thesis, Sabanci University, Istanbul, Turkey, 2011.
bibtex   abstract
Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method. Cakmak, D.; Erdem, E.; and Erdogan, H. Annals of Mathematics and Artificial Intelligence (AMAI), . 2011.
Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method [link]Link   Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method [pdf]N   bibtex   abstract
Incorporating HADAMAC experiment into NVR for NMR Structure-Based Assignments. Halit Erdogan, undefined; and Apaydin, M. S. In Proc. of the 6th International Symposium on Health Informatics and Bioinformatics (HIBIT'11), 2011.
Incorporating HADAMAC experiment into NVR for NMR Structure-Based Assignments [pdf]N   bibtex   abstract
Generating Explanations for Complex Biomedical Queries. Oztok, U.; and Erdem, E. In Proc. of the 25th AAAI Conference on Artificial Intelligence (AAAI'11), 2011.
Generating Explanations for Complex Biomedical Queries [pdf]N   Generating Explanations for Complex Biomedical Queries [link]Link   bibtex   abstract
Finding Answers and Generating Explanations for Complex Biomedical Queries. Erdem, E.; Erdem, Y.; Erdogan, H.; and Oztok, U. In Proc. of the 25th AAAI Conference on Artificial Intelligence (AAAI'11), 2011.
Finding Answers and Generating Explanations for Complex Biomedical Queries [pdf]N   Finding Answers and Generating Explanations for Complex Biomedical Queries [link]Link   bibtex   abstract   1 download
Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots. Aker, E.; Erdogan, A.; Erdem, E.; and Patoglu, V. In Proc. of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), 2011.
Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots [pdf]N   bibtex   abstract   1 download
Applications of Answer Set Programming in Phylogenetic Systematics. Erdem, E. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond, pages 415-431. 2011.
Applications of Answer Set Programming in Phylogenetic Systematics [link]Link   Applications of Answer Set Programming in Phylogenetic Systematics [pdf]N   bibtex   abstract   buy   2 downloads
Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution. Aker, E.; Erdogan, A.; Erdem, E.; and Patoglu, V. In Proc. of the Tenth International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense 2011), 2011.
Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution [pdf]N   bibtex   abstract
Combining High-Level Causal Reasoning with Low-Level Geometric Reasoning and Motion Planning for Robotic Manipulation. Erdem, E.; Haspalamutgil, K.; Palaz, C.; Patoglu, V.; and Uras, T. In Proc. of the 2011 IEEE International Conference on Robotics and Automation (ICRA 2011), 2011.
Combining High-Level Causal Reasoning with Low-Level Geometric Reasoning and Motion Planning for Robotic Manipulation [pdf]N   bibtex   abstract   4 downloads
  2010 (14)
Reconstructing Weighted Phylogenetic Trees and Phylogenetic Networks Using Answer Set Programming. Cakmak, D. Master's Thesis, Sabanci University, Istanbul, Turkey, 2010.
bibtex   abstract
Querying Biomedical Ontologies in Natural Language using Answer Set Programming. Erdogan, H.; Oztok, U.; Erdem, Y.; and Erdem, E. In Proc. of the Third International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS'10), 2010.
Querying Biomedical Ontologies in Natural Language using Answer Set Programming [pdf]N   bibtex   abstract
Updating action domain descriptions. Eiter, T.; Erdem, E.; Fink, M.; and Senko, J. Artificial Intelligence, 174(15): 1172-1221. 2010.
Updating action domain descriptions [link]Link   Updating action domain descriptions [pdf]N   bibtex   abstract
A Tight Integration of Task Planning and Motion Planning in an Execution Monitoring Framework. Haspalamutgil, K.; Palaz, C.; Uras, T.; Erdem, E.; and Patoglu, V. In Proc. of AAAI'10 Workshop, Bridging The Gap Between Task And Motion Planning (BTAMP'10), 2010.
A Tight Integration of Task Planning and Motion Planning in an Execution Monitoring Framework [pdf]N   bibtex   abstract   3 downloads
Bilissel Montaj Planlama ve Icra Takibi. Haspalamutgil, K.; Palaz, C.; Uras, T.; Erdem, E.; and Patoglu, V. In Proc. of the National Conference on Automatic Control (TOK'10), 2010. In Turkish
Bilissel Montaj Planlama ve Icra Takibi [pdf]N   bibtex
Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts. Erdogan, H.; Erdem, E.; and Bodenreider, O. In Proc. of the 13th International Congress on Medical Informatics (MedInfo'10), 2010.
Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts [pdf]N   bibtex   abstract   1 download
Using amino acid typing to improve the accuracy of NMR structure based assignments. Halit Erdogan, undefined; and Apaydin, M. S. In Proc. of the 5th International Symposium on Health Informatics and Bioinformatics (HIBIT'10), 2010.
bibtex   abstract
Quantifying solutions in answer set programming. Erdogan, H. In Proc. of the 1st Computer Science Student Workshop (CSW'10), 2010.
Quantifying solutions in answer set programming [pdf]N   bibtex   abstract
Genome Rearrangement and Planning: Revisited. Uras, T.; and Erdem, E. In Proc. of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10), 2010.
Genome Rearrangement and Planning: Revisited [pdf]N   bibtex   abstract
Genome rearrangement: A Planning approach. Uras, T. In Proc. of the 1st Computer Science Student Workshop (CSW'10), 2010.
Genome rearrangement: A Planning approach [pdf]N   bibtex
Haplotype Inference with Polyallelic and Polyploid Genotypes. Erdem, O. In Proc. of the 1st Computer Science Student Workshop (CSW'10), 2010.
Haplotype Inference with Polyallelic and Polyploid Genotypes [pdf]N   bibtex
Finding Semantic Inconsistencies in UMLS using Answer Set Programming. Erdogan, H.; Bodenreider, O.; and Erdem, E. In Proc. of the 24th AAAI Conference on Artificial Intelligence (AAAI'10), 2010.
Finding Semantic Inconsistencies in UMLS using Answer Set Programming [link]Link   Finding Semantic Inconsistencies in UMLS using Answer Set Programming [pdf]N   bibtex   abstract
Genome Rearrangement: A Planning Approach. Uras, T.; and Erdem, E. In Proc. of the 24th AAAI Conference on Artificial Intelligence (AAAI'10), 2010.
Genome Rearrangement: A Planning Approach [link]Link   Genome Rearrangement: A Planning Approach [pdf]N   bibtex   abstract
Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method. Cakmak, D.; Erdem, E.; and Erdogan, H. In Proc. of the 17th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'10), 2010.
Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method [link]Link   Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method [pdf]N   bibtex   abstract
  2009 (11)
Transforming controlled natural language biomedical queries into answer set programs. Erdem, E.; and Yeniterzi, R. In Proc. of the Workshop on BioNLP (BioNLP'09), pages 117-124, 2009.
Transforming controlled natural language biomedical queries into answer set programs [pdf]N   bibtex   abstract
Successful Applications of Answer Set Programming. Dovier, A.; and Erdem, E. Association for Logic Programming Newsletter, . 2009.
Successful Applications of Answer Set Programming [link]Link   bibtex
10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E.; Lin, F.; and Schaub, T. , editor s. Volume 5753, of Lecture Notes in Computer Science. 2009.Springer.
10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings [link]Link   bibtex   buy
Finding Similar or Diverse Solutions in Answer Set Programming. Eiter, T.; Erdem, E.; Erdogan, H.; and Fink, M. In Proc. of the 25th International Conference of Logic Programming (ICLP'09), pages 342-356, 2009.
Finding Similar or Diverse Solutions in Answer Set Programming [link]Link   Finding Similar or Diverse Solutions in Answer Set Programming [pdf]N   bibtex   abstract
Bridging the Gap between High-Level Reasoning and Low-Level Control. Caldiran, O.; Haspalamutgil, K.; Ok, A.; Palaz, C.; Erdem, E.; and Patoglu, V. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), pages 342-354, 2009.
Bridging the Gap between High-Level Reasoning and Low-Level Control [link]Link   Bridging the Gap between High-Level Reasoning and Low-Level Control [pdf]N   bibtex   abstract
Computing Weighted Solutions in Answer Set Programming. Cakmak, D.; Erdem, E.; and Erdogan, H. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), pages 416-422, 2009.
Computing Weighted Solutions in Answer Set Programming [link]Link   Computing Weighted Solutions in Answer Set Programming [pdf]N   bibtex   abstract   1 download
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming. Erdem, E. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), pages 567-572, 2009.
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming [link]Link   PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming [pdf]N   bibtex   abstract
HAPLO-ASP: Haplotype Inference Using Answer Set Programming. Erdem, E.; Erdem, O.; and Türe, F. In Proc. of the 10th International Conference of Logic Programming and Nonmonotonic Reasoning (LPNMR'09), pages 573-578, 2009.
HAPLO-ASP: Haplotype Inference Using Answer Set Programming [link]Link   HAPLO-ASP: Haplotype Inference Using Answer Set Programming [pdf]N   bibtex   abstract
From Discrete Task Plans to Continuous Trajectories. Caldiran, O.; Haspalamutgil, K.; Ok, A.; Palaz, C.; Erdem, E.; and Patoglu, V. In Proc. of the 19th International Conference on Automated Planning and Scheduling (ICAPS'09) Workshop, Bridging The Gap Between Task And Motion Planning, 2009.
From Discrete Task Plans to Continuous Trajectories [pdf]N   bibtex   abstract
Robot Kontrolu icin Mantiksal Akil Yurutme. Caldiran, O.; Haspalamutgil, K.; Ok, A.; Palaz, C.; Erdem, E.; and Patoglu, V. In Proc. of the National Conference on Automatic Control (TOK'09), 2009. In Turkish
Robot Kontrolu icin Mantiksal Akil Yurutme [pdf]N   bibtex
Comparing ASP and CP on four grid puzzles. Celik, M.; Erdogan, H.; Tahaoglu, F.; Uras, T.; and Erdem, E. In Proc. of the 16th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'09), 2009.
Comparing ASP and CP on four grid puzzles [pdf]N   Comparing ASP and CP on four grid puzzles [link]Paper   bibtex   abstract   1 download
  2008 (6)
Efficient Haplotype Inference with Answer Set Programming. Türe, F.; and Erdem, E. In Proc. of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08), pages 1834-1835, 2008. Student abstract
Efficient Haplotype Inference with Answer Set Programming [pdf]N   bibtex   abstract
Efficient Haplotype Inference with Answer Set Programming. Erdem, E.; and Türe, F. In Proc. of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08), pages 436-441, 2008.
Efficient Haplotype Inference with Answer Set Programming [pdf]N   bibtex   abstract
Undoing the effects of action sequences. Eiter, T.; Erdem, E.; and Faber, W. Applied Logic, 6(3): 380-415. 2008.
Undoing the effects of action sequences [link]Link   bibtex   abstract
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Eiter, T.; Erdem, E.; Faber, W.; and Senko, J. Fundamenta Informaticae, 79(1-2): 25-69. 2008.
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution [link]Link   bibtex   abstract
Comparing ASP, CP, ILP on two Challenging Applications: Wire Routing and Haplotype Inference. Coban, E.; Erdem, E.; and Ture, F. In Proc. of the 2nd International Workshop on Logic and Search (LaSh 2008), 2008.
Comparing ASP, CP, ILP on two Challenging Applications: Wire Routing and Haplotype Inference [pdf]N   bibtex   abstract
A Preliminary Report on Answering Complex Queries related to Drug Discovery using Answer Set Programming. Bodenreider, O.; Coban, Z. H.; Doganay, M. C.; Erdem, E.; and Kosucu, H. In Proc. of the 3rd International Workshop on Applications of Logic Programming to the Semantic Web and Web Services (ALPSWS'08), 2008.
A Preliminary Report on Answering Complex Queries related to Drug Discovery using Answer Set Programming [pdf]N   bibtex   abstract
  2007 (5)
Forgetting Actions in Domain Descriptions. Erdem, E.; and Ferraris, P. In Proc. of the 22nd AAAI Conference on Artificial Intelligence (AAAI'07), pages 409-414, 2007.
Forgetting Actions in Domain Descriptions [pdf]N   bibtex   abstract
On Reversing Actions: Algorithms and Complexity. Eiter, T.; Erdem, E.; and Faber, W. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pages 336-341, 2007.
On Reversing Actions: Algorithms and Complexity [pdf]Link   bibtex   abstract
Comparing action descriptions based on semantic preferences. Eiter, T.; Erdem, E.; Fink, M.; and Senko, J. Annals of Mathematics and Artificial Intelligence, 50(3-4): 273-304. 2007.
Comparing action descriptions based on semantic preferences [link]Link   bibtex   abstract
Inferring Phylogenetic Trees Using Answer Set Programming. Brooks, D. R.; Erdem, E.; Erdogan, S. T.; Minett, J. W.; and Ringe, D. Automated Reasoning, 39(4): 471-511. 2007.
Inferring Phylogenetic Trees Using Answer Set Programming [link]Link   bibtex   abstract   2 downloads
Solving Challenging Grid Puzzles with Answer Set Programming. Cayli, M.; Karatop, A. G.; Kavlak, E.; Kaynar, H.; Ture, F.; and Erdem, E. In Proc. of ASP, pages 175-190, 2007.
Solving Challenging Grid Puzzles with Answer Set Programming [pdf]N   bibtex   abstract
  2006 (4)
Resolving Conflicts in Action Descriptions. Eiter, T.; Erdem, E.; Fink, M.; and Senko, J. In ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pages 367-371, 2006.
Resolving Conflicts in Action Descriptions [pdf]N   bibtex   abstract
Comparing Action Descriptions Based on Semantic Preferences. Eiter, T.; Erdem, E.; Fink, M.; and Senko, J. In Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pages 124-137, 2006.
Comparing Action Descriptions Based on Semantic Preferences [link]Link   bibtex   abstract
Representing Action Domains with Numeric-Valued Fluents. Erdem, E.; and Gabaldon, A. In Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pages 151-163, 2006.
Representing Action Domains with Numeric-Valued Fluents [link]Link   bibtex   abstract
Temporal phylogenetic networks and logic programming. Erdem, E.; Lifschitz, V.; and Ringe, D. TPLP, 6(5): 539-558. 2006.
Temporal phylogenetic networks and logic programming [link]Link   bibtex   abstract
  2005 (4)
Genome Rearrangement and Planning. Erdem, E.; and Tillier, E. R. M. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pages 1139-1144, 2005.
Genome Rearrangement and Planning [pdf]N   bibtex   abstract
Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. Erdem, E.; and Gabaldon, A. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pages 627-632, 2005.
Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents [pdf]N   bibtex   abstract
Updating Action Domain Descriptions. Eiter, T.; Erdem, E.; Fink, M.; and Senko, J. In IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005, pages 418-423, 2005.
Updating Action Domain Descriptions [pdf]Link   bibtex   abstract
Character-Based Cladistics and Answer Set Programming. Brooks, D. R.; Erdem, E.; Minett, J. W.; and Ringe, D. In Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, pages 37-51, 2005.
Character-Based Cladistics and Answer Set Programming [link]Link   bibtex   abstract
  2004 (4)
Diagnosing plan execution discrepancies in a logic-based action framework. Eiter, T.; Erdem, E.; and Faber, W. Technical Report INFSYS RR-1843-04-03, Vienna University of Technology, 2004.
Diagnosing plan execution discrepancies in a logic-based action framework [link]Link   bibtex   abstract
Undoing the effects of action sequences. Eiter, T.; Erdem, E.; and Faber, W. Technical Report INFSYS RR-1843-04-05, Vienna University of Technology, 2004.
Undoing the effects of action sequences [link]Link   bibtex   abstract
Rectilinear Steiner Tree Construction Using Answer Set Programming. Erdem, E.; and Wong, M. D. F. In Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pages 386-399, 2004.
Rectilinear Steiner Tree Construction Using Answer Set Programming [link]Link   bibtex   abstract
Plan reversals for recovery in execution monitoring. Eiter, T.; Erdem, E.; and Faber, W. In 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pages 147-154, 2004.
Plan reversals for recovery in execution monitoring [pdf]Link   bibtex   abstract
  2003 (2)
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. Erdem, E.; Lifschitz, V.; Nakhleh, L.; and Ringe, D. In Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pages 160-176, 2003.
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming [link]Link   bibtex   abstract
Tight logic programs. Erdem, E.; and Lifschitz, V. TPLP, 3(4-5): 499-518. 2003.
bibtex   abstract
  2002 (1)
Theory and applications of answer set programming. Erdem, E. Ph.D. Thesis, Department of Computer Sciences, University of Texas at Austin, 2002.
Theory and applications of answer set programming [pdf]N   bibtex   abstract
  2001 (2)
Fages' Theorem for Programs with Nested Expressions. Erdem, E.; and Lifschitz, V. In Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pages 242-254, 2001.
Fages' Theorem for Programs with Nested Expressions [link]Link   Fages' Theorem for Programs with Nested Expressions [pdf]N   bibtex   abstract
Transitive Closure, Answer Sets and Predicate Completion. And, E. E.; Erdem, E.; and Lifschitz, V. In Working notes of AAAI Spring Symposium, pages 60-65, 2001.
Transitive Closure, Answer Sets and Predicate Completion [pdf]N   bibtex   abstract
  2000 (3)
Wire Routing and Satisfiability Planning. Erdem, E.; Lifschitz, V.; and Wong, M. D. F. In Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pages 822-836, 2000.
Wire Routing and Satisfiability Planning [link]Link   Wire Routing and Satisfiability Planning [pdf]N   bibtex   abstract
A New Declarative Bias for ILP: Construction Modes. Erdem, E.; and Flener, P. In Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings, 2000.
A New Declarative Bias for ILP: Construction Modes [ps]Link   bibtex   abstract
Fages' Theorem and Answer Set Programming. Babovich, Y.; Erdem, E.; and Lifschitz, V. In Proc. of the 8th International Workshop on Non-Monotonic Reasoning (NMR'00), 2000.
Fages' Theorem and Answer Set Programming [link]Link   bibtex   abstract
  1999 (4)
Transformations of Logic Programs Related to Causality and Planning. Erdem, E.; and Lifschitz, V. In Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pages 107-116, 1999.
Transformations of Logic Programs Related to Causality and Planning [link]Link   Transformations of Logic Programs Related to Causality and Planning [pdf]N   bibtex   abstract
Completing Open Logic Programs by Constructive Induction. Erdem, E.; and Flener, P. International Journal of Intelligent Systems, 14(10): 995-1019. 1999.
Completing Open Logic Programs by Constructive Induction [link]Paper   bibtex   abstract
A new heuristic to use least generalizations in ILP. Erdem, E. 1999. Unpublished draft
A new heuristic to use least generalizations in ILP [pdf]N   bibtex   abstract
Applications of logic programs to planning: computational experiments. Erdem, E. 1999. Unpublished Draft
Applications of logic programs to planning: computational experiments [link]Paper   Applications of logic programs to planning: computational experiments [pdf]N   bibtex   abstract
  1997 (1)
A re-definition of least generalizations, and construction modes as a new declarative bias for ILP. Erdem, E. Technical Report BU-CEIS-9718, Bilkent University, 1997.
A re-definition of least generalizations, and construction modes as a new declarative bias for ILP [pdf]N   bibtex   abstract
  1996 (1)
An MSG-method for inductive logic program synthesis. Erdem, E. 1996. Senior Project Final Report
An MSG-method for inductive logic program synthesis [pdf]N   bibtex   abstract
  to appear (3)
Finding Optimal Plans for Multiple Teams of Robots through a Mediator: A Logic-Based Approach. Erdem, E.; Patoglu, V.; Saribatur, Z. G.; Schueller, P.; and Uras, T. Theory and Practice of Logic Programming, . to appear.
bibtex
ReAct!: An Interactive Educational Tool for AI Planning for Robotics. Dogmus, Z.; Erdem, E.; and Patoglu, V. IEEE Transactions on Education, . to appear.
bibtex
Housekeeping with Autonomous Robots: Representation, Reasoning and Execution. Aker, E.; Erdogan, A.; Erdem, E.; and Patoglu, V. of Bridges between the Methodological and Practical Work of the Robotics and Cognitive Systems Communities From Sensors to Concepts, Intelligent Systems Reference Library. Springer, to appear.
bibtex   buy