İÇİNDEKİLER

Davetli Bildiri / Invited Paper

• Towards Program Understanding Systems (Program Anlayan Sistemlere Doğru) T. İ. Ören, University of Ottawa, Kanada

Akıl Yürütme / Reasoning

• Proof-Checking Process-Based Reasoning about Physical Systems (Fiziksel Sistemlerde Süreç Tabanlı Akıl Yürütmenin İspat Denetimi) E. Uçar, V. Akman, Bilkent Üniversitesi, Türkiye

• An Extension of the Corresponding Value Technique in Qualitative Modeling and Simulation Nitel Modellemede Karşılık Değer Tekniğinin Genişletilmiş Hali A. C. Cem Say, S. Kuru, Boğaziçi Üniversitesi, Türkiye

• Qualitative Reasoning Experiments with the MVL Theorem Proving System

  (MVL Teorem İspatlama Sistemi ile Nitel Akıl Yürütme Deneyleri)

  M. Ü. Şencan, V. Akman, Bilkent Üniversitesi, Türkiye

• Tekdüze Olmayan Usavurum Yöntemleri ve Yapay Zeka

  (Nonmonotonic Reasoning Methods and Artifıcial Intelligence)

  M. M. Dağlı, TÜBİTAK ve ODTÜ, Türkiye

• Issues in Commonsense Set Theory

  (Sağduyusal Küme Kuramında Konular) M. Pakkan, V. Akman, Bilkent Üniversitesl, Türkiye

Yapay Sinir Ağları Uygulamaları / Applications of Artificial Neural Networks

• A Survey of Neural Network Applications far Scheduling Problerns (Sinir Ağlarının Çizelgeleme Problemlerine Uygulanmasına bir Bakış) B. Gürgün, İ. Sabuncuoğlu, Bilkent Üniversitesi, Türkiye

• A Study in Connectionist Modeling of Hard-Constraint Problems: Solving Tangram Puzzles (Zor-Sınırlama Problemlerinin Bağlantısal Modellenmesi Üzerine bir Çalışma: Tangram Bilmecelerinin Çözülmesi) K. Oflazer, Bilkent Üniversitesi, Türkiye

• Solving Maze Problems by Cellular Neural Networks (Labirent Problemlerinin Hücresel Sinir Ağları ile Çözülmesi) U. Halıcı, U. Yaranlı, ODTÜ, Türkiye

• Ping-Pong Oynamasını Öğrenen Yapay Sinir Ağı (An Artificial Neural Network which Learns to Play Ping-Pong) S. Aratma, H. L. Akın, Boğaziçi Üniversitesi, Türkiye

Doğal Diller - Bilgi Gösterimi / Natural Languages - Knowledge Representation

• Towards a Formal Semantics of Turkish (Türkçe'nin Biçimsel Anlambilimine Doğru)

  E. Tın, V. Akman, Bilkent Üniversitesi, Türkiye

• An Approach to Machine Translation (Bilgisayarla Çeviriye bir Yaklaşım)

  M. K. Özgüven, J. Tsujii, UMIST, İngiltere

• Functional Categorization of Knowledge (Bilginin İşlevsel Sınıflandırılması)

  Ş. Kocabaş, TÜBİTAK-Marmara Araştırma Merkezi, Türkiye

• Four Levels of Learning and Representation in Modeling Scientific Discovery (Bilimsel Keşfin Modellenmesinde Öğrenmenin ve Gösterimin Dört Düzeyi) Ş. Kocabaş, TÜBİTAK-Marmara Araştırma Merkezi, Türkiye

Konuşma Tanıma/ Speech Recognition

• Konuşma İşaretinin Tanınması için Kullanılan Yapay Nöron Ağları ve Diğer Teknikler (Use of Artificial Neural Networks and Other Techniques in Speech Recognition)

  F. Gürgen, F. Güneş, Boğaziçi Üniversitesi, Türkiye

• Isolated Speech Recognition System (Kesintili Konuşma Tanıma Sistemi) M. Aktekin, Teletaş, Türkiye A. Daloğlu, Yıldız Üniversitesi, Türkiye

• Vocal Tract Shape Estimation (Ses Üreten Organların Şekillerinin Kestirilmesi) M. B. Gülmezoğlu, A. Barkana, Anadolu Üniversitesi, Türkiye

• Comparison of Human and Lovebird Speech (İnsan ve Muhabbet Kuşu Konuşmalannın Karşılaştmlınasr)

  O. Parlokıuna, A. Barkana, Anadolu Üniversitesi, Türkiye.

Yapay Sinir Ağları Yapıları/ Artificial Neural Network Architectures

• Artificial Neural Networks that Grow When They Learn and Shrink When They Forget (Öğrenince Büyüyen Unutunca Küçülen Yapay Sinir Ağları) Ethem Alpaydın, Boğaziçi Üniversitesi, Türkiye

• Sinir Ağlarının Optik Cihazlarla Tasarımı (Implementation of Neural Networks Using Optical Devices)

  B. S. Yılbaş, Erciyes Üniversitesi, Türkiye

  N. Karaboğa, University of Wales, İngiltere

• Classiflcation and Computation on Non-uniform Finite Cellular Automata Networks

  (Değişen Sonlu Hücresel Özdevinik Ağlarında Sınıflandırma ve Hesaplama)

  H. Kılıç, Bilkent Üniversitesi, Türkiye M. Güler, ODTÜ, Türkiye

• Yapay Sinir Ağları Konusunda Hukuki bir Yaklaşım (A Juridical Approach to Artificial Neural Networks) N. Turunç, B&L Danışmanlık, Türkiye A. Koltuksuz, Ege Üniversitesi, Türkiye

Tasarımda Yapay Zeka / Artificial Intelligence in Design

• Fuzzy Lojik Kontrolerlerin Dizaynı için Yeni bir Metod (A New Method for the Design of Fuzzy Logic Controllers) D. T. Pham, D. Karaboğa, University of Wales, İngiltere

• Bilgi Tabanlı Yaratıcı Kavramsal Dizayn (Knowledge-Based Creative Conceptual Design) D. T. Pham, U. F. Güner, University of Wales, İngiltere

• A Distributed Expert System Architecture (Bir Dağıtık Uzman Sistem Mimarisi) F. Polat, H. A. Güvenir, Bilkent Üniversitesi, Türkiye

• KNOWALL! An Experimental Inscriptor-Based Expert System (KNOWALL! Deneysel bir Not-Tabanlı Uzman Sistem) D. Davenport, M. Sen, A. N. Ertürk, Bilkent Üniversitesi, Türkiye

Örüntü Tanıma / Pattern Recognition

• A Counterpropagation Network Model to Recognize and Classify Chart Patterns in Automated Manufacturing (Otomatik Üretimde Şema Örüntülerinin Tanınması ve Sınıflandırılması için bir Karşı-Yayılım Ağ Modeli)

  D. T. Pham, University of Wales, İngiltere. Z. Yılbaş, Erciyes Üniversitesi, Türkiye

• Experiments with RST, A Rotation, Scaling and Translation Invariant Pattern Classification System (Döndürme, Ölçekleme ve Ötelemeden Etkilenmeyen Örüntü Sınıflandırma Sistemi RST ile Deneyler) C. Yüceer, K. Oflazer , Bilkent Üniversitesi, Türkiye

• Application of Artificial Neural Networks to Pattern Recognition (Yapay Sinir Ağlarının Örüntü Tanımada Uygulanması) I. Celasun, M. B. Gökgöz, M. K. Cılız, Y. İstefanopulos, Boğaziçi Üniversitesi, Türkiye

• Segmentation of Ottoman Characters (Osmanlı Harflerinin Parçalara Ayrılması) S. Bıyıksız, TÜBİTAK-Marmara Araştırma Merkezi, Türkiye

Görme ve Görüntü İşleme / Vision and Image Processing

• Active Vision (Etkin Görme)

  E. Alpaydın, Boğaziçi Üniversitesi, Türkiye

• Renkli Resim İşlemenin Teorik ve Pratik Özellikleri (Theoretical and Practical Aspects of Color Image Processing) D. T. Pham, Y. Samast, University of Wales, İngiltere

• Otomatik Odaklama (Automatic Focusing) D. T. Pham, V. Aslantaş, University of Wales, İngiltere

• Executing Prolog Programs with Dataflow Approach (Prolog Programlarının Veri Akışı Yaklaşımı ile Çalıştırılması)

  O. Başbuğoğlu, I. Aybay, ODTÜ, Türkiye

Yapay Sinir Ağları Uygulamaları / Application of Artificial Neural Networks

• A Neural Network Architecture for Emulating Forward Dynamics of a Robot Manipulator (Robot Manipülatörünün İleri Dinamiğinin Benzetişimi için bir Yapay Sinir Ağı Mimarisi) T. Tunalı, B. Şamlı, Ege Üniversitesi, Türkiye

  M. Kuntalp, Dokuz Eylül Üniversitesi, Türkiye

• Stability Properties of Artificial Neural Network Based Robotic Controllers (Yapay Sinir Ağları Kullanan Robot Denetçilerinin Kararlılık Özellikleri)

  M. K. Cılız, Boğaziçi Üniversitesi, Türkiye

• Pattern Classifier (Örüntü Sınıflandırıcı) A. E. Günhan, University of Bergen, Norveç

• Yapay Sinir Ağlarının Robotikteki Uygulamaları (Applications of Artificial Neural Networks in Robotics) D. T. Pham, S. Sağıroğlu, University of Wales, İngiltere