FENS, CSE

Home
People
Publications
Projects
Links
Courses
Events
News

KR&R Group: Publications

  2011 (8)
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   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   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 (13)
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 (10)
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
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   2 downloads
  2008 (5)
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
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.; and Erdem, E. 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 (6)
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
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. 2007.
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution [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