AI Day, May 21, 2008, 13:40, FENS G035, 15:40, G029
  • FENS
  • AI Day, May 21, 2008, 13:40, FENS G035, 15:40, G029

You are here

Faculty of Engineering and Natural Sciences




AI Day




Knowledge Representation and Automated Reasoning



Wednesday, 21 May 2008, 13:40–15:30, FENS G035, 15:40–17:00, FENS G029



Knowledge Representation and Automated Reasoning (KR&AR) is a vibrant and exciting field of Artificial Intelligence (AI), that has led to significant advances in practical applications in a wide range of areas in computer sciences and other sciences, such as natural language understanding, machine learning, intelligent user interfaces, robotics, multi-agent systems, semantic web, web servcies, game playing, software engineering, distributed computing, security, databases, computational biology, historical linguistics, operations research, game theory, economics. KR&AR is the study of representing knowledge explicitly in such a way that a computer can reason about it (infer appropriate knowledge from it) to behave intelligently. Explicit representations of knowledge manipulated by reasoning engines are an integral and crucial component of intelligent systems.



The AI Day at Sabancı University includes talks about recent progress on the theoretical principles underlying the representation and computational management of knowledge, and applications of KR&AR to some challenging problems in computational biology and biomedical informatics.



Distinguished Speaker


Vladimir Lifschitz, University of Texas at Austin



Vladimir Lifschitz is Gottesman Family Centennial Professor in Computer Sciences at the University of Texas at Austin. His research interests are in the areas of knowledge representation and computational logic. He is a Fellow of the Association for the Advancement of Artificial Intelligence, a co-editor of the Handbook of Knowledge Representation, the Editor-in-Chief of the ACM Transactions on Computational Logic, and an Editorial Advisor of the journal Theory and Practice of Logic Programming. He has received the Publisher’s Prize at International Joint Conference on Artificial Intelligence twice, and the Most Influential Paper in 20 Years Award from the Association for Logic Programming.



AI Day Program



14:00 – 15:00  Vladimir Lifschitz, University of Texas at Austin, “A New Perspective on the Semantics of Answer Set Programming”


15:00 – 15:30  Orkunt Sabuncu, Middle East Technical University, “Computing Answer Sets using Model Generation Theorem Provers”


15:40 – 16:00  Esra Erdem, Sabancı University, “An Overview of KR&AR Research at Sabancı University


16:00 – 16:30  Ferhan Türe, Sabancı University, “Efficient Haplotype Inference with Answer Set Programming”


16:30 – 17:00  Esra Erdem, Sabancı University, “A New Approach to Integrating Biomedical Ontologies and Answering Complex Queries related to Drug Discovery”