Items where Author is "Erdem, Esra"

Group by: Item Type | No Grouping
Number of items: 107.

Izmirlioglu, Yusuf and Erdem, Esra (2023) Qualitative reasoning about 2D cardinal directions using answer set programming. Journal of Artificial Intelligence Research, 77 . pp. 1371-1453. ISSN 1076-9757

Ahmad, Faseeh and Patoğlu, Volkan and Erdem, Esra (2023) Hybrid planning for challenging construction problems: an answer set programming approach. Artificial Intelligence, 319 . ISSN 0004-3702 (Print) 1872-7921 (Online)

Çoruhlu, Gökay and Erdem, Esra and Patoğlu, Volkan (2022) Explainable robotic plan execution monitoring under partial observability. IEEE Transactions on Robotics, 38 (4). pp. 2495-2515. ISSN 1552-3098 (Print) 1941-0468 (Online)

Tajelipirbazari, Nima and Yıldırımoğlu, Çağrı Uluç and Sabuncu, Orkunt and Arici, Ali Can and Ozen, Idil Helin and Patoğlu, Volkan and Erdem, Esra (2022) Multi-agent pick and delivery with capacities: action planning vs path finding. In: 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, Philadelphia, PA, USA

Fidan, Müge and Erdem, Esra (2021) Knowledge-based stable roommates problem: a real-world application. Theory and Practice of Logic Programming, 21 (6). pp. 852-869. ISSN 1471-0684 (Print) 1475-3081 (Online)

Nouman, Ahmed and Patoğlu, Volkan and Erdem, Esra (2021) Hybrid conditional planning for robotic applications. International Journal of Robotics Research, 40 (2-3). pp. 594-623. ISSN 0278-3649 (Print) 1741-3176 (Online)

Erdem, Esra and Fidan, Müge and Manlove, David and Prosser, Patrick (2020) A general framework for stable roommates problems using answer set programming. Theory and Practice of Logic Programming, 20 (6). pp. 911-925. ISSN 1471-0684 (Print) 1475-3081 (Online)

Boğatarkan, Aysu and Erdem, Esra (2020) Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming. Theory and Practice of Logic Programming, 20 (6). pp. 974-989. ISSN 1471-0684 (Print) 1475-3081 (Online)

İzmirlioğlu, Yusuf and Erdem, Esra (2020) Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming. Theory and Practice of Logic Programming, 20 (6). pp. 942-957. ISSN 1471-0684 (Print) 1475-3081 (Online)

Rizwan, Momina and Patoğlu, Volkan and Erdem, Esra (2020) Human robot collaborative assembly planning: an answer set programming approach. Theory and Practice of Logic Programming (SI), 20 (6). pp. 1006-1020. ISSN 1471-0684 (Print) 1475-3081 (Online)

Atiq, Basem Alqera and Patoğlu, Volkan and Erdem, Esra (2020) Dynamic multi-agent path finding based on conflict resolution using answer set programming. In: 36th International Conference on Logic Programming (ICLP 2020), Virtual

Erdem, Esra and Herzig, Andreas (2020) Solving gossip problems using answer set programming: an epistemic planning approach. In: 36th International Conference on Logic Programming (ICLP 2020), Virtual

Boğatarkan, Aysu and Erdem, Esra and Kleiner, Alexander and Patoğlu, Volkan (2020) Multi-modal multi-agent path finding with optimal resource utilization. In: 5th International Conference on the Industry 4.0 Model for Advanced Manufacturing (AMP 2020), Belgrade, Serbia

Boğatarkan, Aysu and Patoğlu, Volkan and Erdem, Esra (2019) A declarative method for dynamic multi-agent path finding. In: 5th Global Conference on Artificial Intelligence (GCAI 2019), Bolzano, Italy

Bogaerts, Bart and Erdem, Esra and Fodor, Paul and Formisano, Andrea and Ianni, Giovambattista and Inclezan, Daniela and Vidal, German and Villanueva, Alicia and De Vos, Marina and Yang, Fangkai (2019) Preface [Proceedings 35th International Conference on Logic Programming (Technical Communications)]. [Volumes Edited / Special Issues]

Erdem, Esra and Formisano, Andrea and Vidal, German and Yang, Fangkai (2019) Introduction to the 35th International Conference on Logic Programming Special Issue. [Volumes Edited / Special Issues]

Bogaerts, Bart and Erdem, Esra and Harrison, Amelia (2019) Guest editorial: special issue on answer set programming and other computing paradigms. [Volumes Edited / Special Issues]

Songur, Emre Hilmi and Boğatarkan, Aysu and Barotov, Farukhzhon and Yıldırım, Batuhan and Çoruhlu, Gökay and Erdem, Esra and Patoğlu, Volkan (2019) Çok-etmenli yörünge bulma probleminin lego robotlarında uygulanması: bir eğitsel robotik çalışması. In: 5. Türkiye Robotbilim Konferansı (TORK 2019), İstanbul, Türkiye

Dabbour, Abdul Rahman and Erdem, Esra and Patoğlu, Volkan (2019) Robotic object placement on cluttered surfaces. In: 5. Türkiye Robotbilim Konferansı (TORK 2019), İstanbul, Türkiye

Doğmuş, Zeynep and Erdem, Esra and Patoğlu, Volkan (2019) Rehabrobo-query: answering natural language queries about rehabilitation robotics ontology on the cloud. Semantic Web (SI), 10 (3). pp. 605-629. ISSN 1570-0844 (Print) 2210-4968 (Online)

Gençay, Eray and Schüller, Peter and Erdem, Esra (2019) Applications of non-monotonic reasoning to automotive product configuration using answer set programming. Journal of Intelligent Manufacturing, 30 (3). pp. 1407-1422. ISSN 0956-5515 (Print) 1572-8145 (Online)

Sarıbatur, Zeynep G. and Patoğlu, Volkan and Erdem, Esra (2019) Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories. Autonomous Robots, 43 (1). pp. 213-238. ISSN 0929-5593 (Print) 1573-7527 (Online)

Kahraman, Muhammed Kerem and Erdem, Esra (2019) Personalized course schedule planning using answer set programming. In: 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019), Lisbon, Portugal

Erdem, Esra and Patoğlu, Volkan (2018) Applications of ASP in robotics. Künstliche Intelligenz, 32 (2-3). pp. 143-149. ISSN 0933-1875 (Print) 1610-1987 (Online)

Rizwan, Momina and Patoğlu, Volkan and Erdem, Esra (2018) Human-robot collaborative assembly planning using hybrid conditional planning. In: FAIM/ISCA Workshop on Artificial Intelligence for Multimodal Human Robot Interaction, Stockholm, Sweden

Rizwan, Momina and Patoğlu, Volkan and Erdem, Esra (2018) A formal model for human robot collaboration using hybrid conditional planning. In: RSS Workshop on Models and Representations for Natural Human-Robot Communication, USA

Rizwan, Momina and Erdem, Esra and Patoğlu, Volkan (2018) Addressing challenges of theory of mind using hybrid conditional planning. In: RSS2018 Workshop: Towards a Framework for Joint Action - What About Theory of Mind?, USA

Ahmad, Faseeh and Erdem, Esra and Patoğlu, Volkan (2018) Revisiting robot construction problems as benchmarks for task and motion planning. In: RSS Workshop on Exhibition and Benchmarking of Task and Motion Planners, USA

Nouman, Ahmed and Erdem, Esra and Patoğlu, Volkan (2018) Solving the kitchen benchmark using HCplan. In: RSS Workshop on Exhibition and Benchmarking of Task and Motion Planners, USA

Erdem, Esra and Patoğlu, Volkan (2018) Developing an educational tool for teaching cognitive robotics. In: Sabanci University 1st Internal Education Conference, Istanbul, Turkey

Erdem, Esra (2018) Teaching logic with a socratic method. In: Sabanci University 1st Internal Education Conference, Istanbul, Turkey

İzmirlioğlu, Yusuf and Erdem, Esra (2018) Qualitative reasoning about cardinal directions using answer set programming. In: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, New Orleans, US

Jeanpierre, Laurent and Mouaddib, Abdel-Illah and Iocchi, Luca and Lazaro, Maria and Pennisi, Andrea and Sahli, Hichem and Erdem, Esra and Demirel, Ezgi and Patoğlu, Volkan (2017) COACHES: an assistance multi-robot system in public areas. In: European Conference on Mobile Robotics (ECMR 2017), Paris, France

Doğmuş, Zeynep and Patoğlu, Volkan and Erdem, Esra (2017) Interoperability of RehabRobo-Onto. In: NETTAB 2017: Methods, Tools & Platforms for Personalized Medicine in the Big Data Era, Palermo, Italy

Yalçıner, İbrahim Faruk and Nouman, Ahmed and Patoğlu, Volkan and Erdem, Esra (2017) Hybrid conditional planning using answer set programming. Theory and Practice of Logic Programming . ISSN 1471-0684 (Print) 1475-3081 (Online) Published Online First http://dx.doi.org/10.1017/S1471068417000321

İzmirlioğlu, Yusuf and Pehlivan, Bahadır Ali and Turp, Mısra and Erdem, Esra (2017) A general formal framework for multi-agent meeting problems. In: IEEE International Conference on Robotics and Automation (ICRA 2017), Singapore

Çoruhlu, Gökay and Erdem, Esra and Patoğlu, Volkan (2016) A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation. In: IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), San Francisco, CA, USA

Nouman, Ahmed and Patoğlu, Volkan and Erdem, Esra (2016) Experimental evaluation of hybrid conditional planning for service robotics. In: Türkiye Robotbilim Konferansı (ToRK 2016), İstanbul, Türkiye

Nouman, Ahmed and Yalçıner, İbrahim Faruk and Erdem, Esra and Patoğlu, Volkan (2016) Experimental evaluation of hybrid conditional planning for service robotics. In: 2016 International Symposium on Experimental Robotics (ISER 2016), Tokyo, Japan

Erdem, Esra and Gelfond, Michael and Leone, Nicola (2016) Applications of answer set programming. AI Magazine, 37 (3). pp. 53-68. ISSN 0738-4602

Bhatt, Mehul and Erdem, Esra and Heintz, Fredrik and Spranger, Michael (2016) Cognitive robotics. [Volumes Edited / Special Issues]

Demirel, Ezgi and Gür, Kamil Doruk and Erdem, Esra (2016) Human-robot interaction in a shopping mall: a CNL approach. In: International Workshop Controlled Natural Language (CNL), Aberdeen, UK

Erdem, Esra and Patoğlu, Volkan and Schüller, Peter (2016) A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Communications, 29 (2). pp. 319-349. ISSN 0921-7126 (Print) 1875-8452 (Online)

Erdem, Esra and Patoğlu, Volkan and Sarıbatur, Zeynep Gözen (2015) Bilişsel fabrikalarda nedensel icra takibi. In: 2. Türkiye Robotbilim Konferansı (ToRK), Istanbul

Erdem, Esra and Patoğlu, Volkan and Sarıbatur, Zeynep Gözen (2015) Diagnostic reasoning for robotics using action languages. In: 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015), Lexington, KY, USA

Doğmuş, Zeynep and Erdem, Esra and Patoğlu, Volkan (2015) RehabRobo-Onto: design, development and maintenance of a rehabilitation robotics ontology on the cloud. Robotics and Computer Integrated Manufacturing (SI), 33 . pp. 100-109. ISSN 0736-5845 (Print) 1879-2537 (Online)

Erdem, Esra and Patoğlu, Volkan and Sarıbatur, Zeynep Gözen (2015) Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In: IEEE International Conference on Robotics and Automation (ICRA 2015), Seattle, WA

Doğmuş, Zeynep and Erdem, Esra and Patoğlu, Volkan (2015) ReAct!: an interactive educational tool for AI planning for robotics. IEEE Transactions on Education, 58 (1). pp. 15-24. ISSN 0018-9359 (Print) 1557-9638 (Online)

Erdem, Esra and Öztok, Umut (2015) Generating explanations for biomedical queries. Theory and Practice of Logic Programming, 15 (Part: ). pp. 35-78. ISSN 1471-0684 (Print) 1475-3081 (Online)

Erdem, Esra and Havur, Giray and Özbilgin, Güçhan and Patoğlu, Volkan (2014) A hybrid reasoning approach to geometric rearrangement of multiple movable objects on cluttered surfaces. In: 3rd Workshop on Robots in Clutter: Perception and Interaction in Clutter - IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, Illinois

Sarıbatur, Zeynep Gözen and Erdem, Esra and Patoğlu, Volkan (2014) Cognitive factories with multiple teams of heterogeneous robots: hybrid reasoning for optimal feasible global plans. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014), Chicago, Illinois

Doğmuş, Zeynep and Patoğlu, Volkan and Erdem, Esra (2014) Ontological query answering about rehabilitation robotics. In: IROS 2014 Workshop: Standardized Knowledge Representation and Ontologies for Robotics and Automation, Chicago, Illinois, USA

Havur, Giray and Özbilgin, Güçhan and Erdem, Esra and Patoğlu, Volkan (2014) Hybrid reasoning for geometric rearrangement of multiple movable objects on cluttered surfaces. In: The 9th International Workshop on Cognitive Robotics (CogRob 2014), Prague, Czech Republic

Havur, Giray and Özbilgin, Güçhan and Erdem, Esra and Patoğlu, Volkan (2014) Geometric rearrangement of multiple movable objects on cluttered surfaces: a hybrid reasoning approach. In: IEEE International Conference on Robotics and Automation (ICRA), Hong Kong, China

Sarıbatur, Zeynep Gözen and Erdem, Esra and Patoğlu, Volkan (2014) Hybrid reasoning for teams of heterogeneous robots: finding an optimal feasible global plan. In: AAAI Spring Symposium Series: Knowledge Representation and Reasoning in Robotics, Palo Alto, California

Erdem, Esra and Patoğlu, Volkan and Schüller, Peter (2014) A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. In: 21st RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Vienna, Austria

Doğmuş, Zeynep and Patoğlu, Volkan and Erdem, Esra (2014) Answering natural language queries about rehabilitation robotics ontology on the cloud. In: 6th International Conference on Knowledge Engineering and Ontology Development (KEOD 2014), Rome, Italy

Sarıbatur, Zeynep Gözen and Erdem, Esra and Patoğlu, Volkan (2014) Coordination of multiple teams of robots for an optimal global plan. In: Twenty-Eighth AAAI Conferenceon Artificial Intelligence (AAAI-14), Québec, Canada

Erdem, Esra and Patoğlu, Volkan and Sarıbatur, Zeynep Gözen and Schüller, Peter and Uras, Tansel (2013) Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach. Theory and Practice of Logic Programming (Sl), 13 (4-5). pp. 831-846. ISSN 1471-0684 (Print) 1475-3081 (Online)

Havur, Giray and Haspalamutgil, Kadir and Palaz, Can and Erdem, Esra and Patoğlu, Volkan (2013) A case study on the Tower of Hanoi challenge: representation, reasoning and execution. In: IEEE International Conference on Robotics and Automation (ICRA 2013), Karlsruhe

Eiter, Thomas and Erdem, Esra and Erdoğan, Halit and Fink, Michael (2013) Finding similar/diverse solutions in answer set programming. Theory and Practice of Logic Programming, 13 (3). pp. 303-359. ISSN 1471-0684 (Print) 1475-3081 (Online)

Sarıbatur, Zeynep Gözen and Schüller, Peter and Patoğlu, Volkan and Erdem, Esra (2013) Bilişsel fabrikalarda birden fazla robot takımı için eniyilestirilmiş ayrıştırılabilir plan hesaplanması (Finding optimal decoupled plans for multiple teams of robots in cognitive factories). In: 21st Signal Processing and Communications Applications Conference (SIU 2013), Haspolat

Aker, Erdi and Patoğlu, Volkan and Erdem, Esra (2013) Çözüm kümesi programlama kullanarak ortaklaşa ev içi hizmet robotiği (Collaborative housekeeping robotics using answer set programming). In: 21st Signal Processing and Communications Applications Conference (SIU 2013), Haspolat

Havur, Giray and Haspalamutgil, Kadir and Palaz, Can and Erdem, Esra and Patoğlu, Volkan (2013) Hanoi Kulesi'nin robotlarla çözümü için nedensel akıl yürütme, icra ve icra takibi çerçevesi (Reasoning, execution and monitoring framework for robotic Tower of Hanoi challenge). In: 21st Signal Processing and Communications Applications Conference (SIU 2013), Haspolat

Erdem, Esra and Kısa, Doğa Gizem and Öztok, Umut and Schüller, Peter (2013) A general formal framework for pathfinding problems with multiple agents. In: Twenty-Seventh AAAI Conference on Artificial Intelligence, Bellevue, Washington, USA

Doğmuş, Zeynep and Papantoniou, Agissilaos and Kılınç, Muhammed and Yıldırım, Sibel and Erdem, Esra and Patoğlu, Volkan (2013) Rehabilitation robotics ontology on the cloud. In: IEEE International Conference on Rehabilitation Robotics (ICORR 2013), Seattle, WA

Erdem, Esra and Aker, Erdi and Patoğlu, Volkan (2012) Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution. Intelligent Service Robotics, 5 (4). pp. 275-291. ISSN 1861-2776 (Print) 1861-2784 (Online)

Aker, Erdi and Patoğlu, Volkan and Erdem, Esra (2012) Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics. In: 10th IFAC Symposiums on Robot Control (SYROCO 2012), Valamar Lacroma Dubrovnik, Dubrovnik, Croatia

Erdem, Esra and Patoğlu, Volkan (2012) Applications of action languages in cognitive robotics. In: Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David, (eds.) Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science, 7265. Springer, Germany, pp. 229-246. ISBN 978-3-642-30742-3 (Print) 978-3-642-30743-0 (Online)

Erdem, Esra and Haspalamutgil, Kadir and Patoğlu, Volkan and Uras, Tansel (2012) Causality-based planning and diagnostic reasoning for cognitive factories. In: 17th IEEE International Confence on Emerging Technologies & Factory Automation (ETFA2012), Krakow, Poland

Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David (2012) Correct reasoning: essays on logic-based AI in honour of Vladimir Lifschitz. Lecture Notes in Computer Science, 7265. Springer, Berlin. ISBN 978-3-642-30742-3 (Print) 978-3-642-30743-0 (Online)

Doğmuş, Zeynep and Gezici, Gizem and Patoğlu, Volkan and Erdem, Esra (2012) Developing and maintaining an ontology for rehabilitation robotics. In: 4th International Conference on Knowledge Engineering and Ontology Development (KEOD 2012), Barcelona, Spain

Barin, Martin and Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Puhrer, Jorg and Tompits, Hans and Yılmaz, Cemal (2012) Event-sequence testing using answer-set programming. (Accepted)

Çakmak, Duygu and Erdem, Esra and Erdoğan, Halit (2011) Computing weighted solutions in ASP: representation-based method vs. search-based method. Annals of Mathematics and Artificial Intelligence (SI), 62 (3-4). pp. 219-258. ISSN 1012-2443 (Print) 1573-7470 (Online)

Aker, Erdi and Erdoğan, Ahmetcan and Erdem, Esra and Patoğlu, Volkan (2011) Housekeeping with multiple autonomous robots: representation, reasoning and execution. In: Tenth International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense 2011), San Francisco, CA, USA

Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Pührer, Jörg and Tompits, Hans and Yılmaz, Cemal (2011) Answer-set programming as a new approach to event-sequence testing. In: International Conference on Advances in System Testing and Validation Lifecycle, (Accepted)

Buller, Mark and Cuddihy, Paul and Davis, Ernest and Doherty, Patrick and Doshi-Velez, Finale and Erdem, Esra and Fisher, Douglas and Green, Nancy and Hinkelmann, Knut and McLurkin, James and Maher, Mary Lou and Maheswaran, Rajiv and Rubinelli, Sara and Schurr, Nathan and Scott, Donia and Shell, Dylan and Szekely, Pedro and Thoenssen, Barbara and Urken, Arnold B. (2011) Reports of the AAAI 2011 spring symposia. Ai Magazine, 32 (3). pp. 119-127. ISSN 0738-4602

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Jan (2010) Updating action domain descriptions. Artificial Intelligence, 174 (15). pp. 1172-1221. ISSN 0004-3702

Haspalamutgil, Kadir and Palaz, Can and Uras, Tansel and Erdem, Esra and Patoğlu, Volkan (2010) Bilişsel montaj planlama ve icra takibi. In: Otomatik Kontrol Ulusal Toplantısı 2010 (TOK'10), Gebze, Kocaeli, Türkiye

Haspalamutgil, Kadir and Palaz, Can and Uras, Tansel and Erdem, Esra and Patoğlu, Volkan (2010) A tight integration of task planning and motion planning in an execution monitoring framework. In: AAAI Conference on Artificial Intelligence, Workshop on Bridging The Gap Between Task And Motion Planning (BTAMP), Atlanta, Georgia, USA

Çakmak, Duygu and Erdoğan, Halit and Erdem, Esra (2010) Computing weighted solutions in ASP: representation-based method vs. search-based method. In: 17th International RCRA workshop (RCRA 2010): Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Bologna, Italy

Erdoğan, Halit and Erdem, Esra and Bodenreider, Olivier (2010) Exploiting UMLS semantics for quality assurance purposes. In: 13th International Congress on Medical Informatics (MEDINFO 2010), Cape Town, South Africa

Erdoğan, Halit and Bodenreider, Olivier and Erdem, Esra (2010) Finding semantic inconsistencies in UMLS using answer set programming. In: The 24th AAAI Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA

Uras, Tansel and Erdem, Esra (2010) Genome rearrangement and planning: revisited. In: 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), Toronto, Ontario, Canada

Uras, Tansel and Erdem, Esra (2010) Genome rearrangement: a planning approach. In: The 24th AAAI Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA

Çaldıran, Ozan and Haspalamutgil, Kadir and Ok, Abdullah and Palaz, Can and Erdem, Esra and Patoğlu, Volkan (2009) Bridging the gap between high-level reasoning and low-level control. In: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany

Çelik, Mehmet and Erdoğan, Halit and Tahaoğlu, Fırat Hamit and Uras, Tansel and Erdem, Esra (2009) Comparing ASP and CP on four grid puzzles. In: 16th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2009), Reggio Emilia, Italy

Çakmak, Duygu and Erdem, Esra and Erdoğan, Halit (2009) Computing weighted solutions in answer set programming. In: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany

Eiter, Thomas and Erdem, Esra and Erdoğan, Halit and Fink, Michael (2009) Finding similar or diverse solutions in answer set programming. In: 25th International Conference on Logic Programming (ICLP), Pasadena, CA

Çaldıran, Ozan and Haspalamutgil, Kadir and Ok, Abdullah and Palaz, Can and Erdem, Esra and Patoğlu, Volkan (2009) From discrete task plans to continuous trajectories. In: ICAPS’09 Workshop on Bridging The Gap Between Task And Motion Planning, Thessaloniki, Greece

Erdem, Esra and Erdem, Ozan and Türe, Ferhan (2009) HAPLO-ASP: Haplotype inference using answer set programming. In: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany

Erdem, Esra and Lin, Fangzhen and Schaub, Torsten (2009) Logic programming and nonmonotonic reasoning. Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence , Vol. 5753. Springer, Potsdam, Germany. ISBN 978-3-642-04237-9

Erdem, Esra (2009) PHYLO-ASP: Phylogenetic systematics with answer set programming. In: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany

Çaldıran, Ozan and Haspalamutgil, Kadir and Ok, Abdullah and Palaz, Can and Erdem, Esra and Patoğlu, Volkan (2009) Robot kontrolü için mantıksal akıl yürütme. In: Otomatik Kontrol Ulusal Toplantısı 2009 (TOK'09), İstanbul, Türkiye

Erdem, Esra and Yeniterzi, Reyyan (2009) Transforming controlled natural language biomedical queries into answer set programs. In: BioNLP 2009, Boulder, Colorado

Bodenreider, Olivier and Çoban, Zeynep Hande and Doğanay, Mahir Can and Erdem, Esra and Koşucu, Hilal (2008) A preliminary report on answering complex queries related to drug discovery using answer set programming. In: 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS2008), Udine, Italy

Çoban, Elvin and Erdem, Esra and Türe, Ferhan (2008) Comparing ASP, CP, ILP on two challenging applications: wire routing and haplotype inference. In: 2nd International Workshop on Logic and Search (LaSh 2008), Leuven, Belgium

Türe, Ferhan and Erdem, Esra (2008) Efficient haplotype inference with answer set programming. In: The Twenty-Third AAAI Conference on Artificial Intelligence (AAAI'08), Chicago, USA

Eiter, Thomas and Erdem, Esra and Faber, Wolfgang (2008) Undoing the effects of action sequences. Journal of Applied Logic, 6 (3). pp. 380-415. ISSN 1570-8683

Brooks, Dan and Erdem, Esra and Erdoğan, Selim and Minett, James and Ringe, Don (2007) Inferring phylogenetic trees using answer set programming. Journal of Automated Reasoning, 39 (4). pp. 471-511. ISSN 0168-7433 (Print) 1573-0670 (Online)

Çaylı, Merve and Karatop, Ayşe Gül and Kavlak, Ahmet Emrah and Kaynar, Hakan and Türe, Ferhan and Erdem, Esra (2007) Solving challenging grid puzzles with answer set programming. In: International Workshop on Answer Set Programming,

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Jan (2007) Comparing action descriptions based on semantic preferences. Annals of Mathematics and Artificial Intelligence, 50 (3-4). pp. 273-304. ISSN 1012-2443

Erdem, Esra and Ferraris, Paolo (2007) Forgetting actions in domain descriptions. In: The Twenty-Second AAAI Conference on Artificial Intelligence (AAAI'07), Vancouver, British Columbia, Canada

Eiter, Thomas and Erdem, Esra and Faber, Wolfgang (2007) On reversing actions: algorithms and complexity. In: The Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India

Eiter, Thomas and Faber, Wolfgang and Erdem, Esra and Senko, Jan (2007) A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Fundamenta Informaticae, 79 (1-2). pp. 25-69. ISSN 0169-2968

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Ján (2006) Comparing action descriptions based on semantic preferences. In: European Conference on Logics in Artificial Intelligence -- Multidisciplinary Workshop on Advances in Preference Handling,

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Jan (2006) Resolving conflicts in action descriptions. In: The Seventeenth European Conference on Artificial Intelligence (ECAI'06), Riva del Garda, Italy

This list was generated on Tue Nov 26 22:43:14 2024 +03.