[comp.ai] Technical Programme of KBCS-90

rao@sunrise.Stanford.EDU (Subbarao Kambhampati) (12/17/90)

;;;Sorry, this is a little late (the news.announce.conferences posting
;;;never showed up. I am posting the programme anyway so it might 
;;;give an idea of the papers presented at the conferences  



       Technical Programme for KBCS-90

Knowledge Based Computer Systems 1990
Pune, December 13-15, 1990

Contact person:  Dr Kiran Rege
(kmr%parcom@ncst.ernet.in)


** December 13, 1990 Thursday

Plenary I 

1100-1200 The Relevance of Panini to Natural Language  
          Understanding
          by E Schredl

Plenary II

1200-1300 Temporal and Spatial Constraints for Mental  
          Modelling
          by E Poppel,  L Chen,  H Glunder,  U Mitzdorf,
             E Ruhnau, K Schill and N von Steinbuchel

Session I A

1430-1500 Completeness of Logic Programs under Finite  
          Failure Rule
          by B Wang and RK Shyamasundar

1500-1520 Analogical Explanations            
          by VO Mittal and CL Paris

1520-1540 A Uniform  Framework for Meta-Reasoning, 
          Constraint Solving and Truth  Maintenance
          Systems: A Preliminary Report
          by A Sattar and R Goebel

1540-1600 Truth Propagation in Activity Knowledge Base  
          by H N Dholakia,  V Sundararajan  and
             N Parmeswaran

Session I B

1430-1500 Intelligent Coached  Apprenticeship Systems:  
          Experience from the Sherlock Project (Invited)
          by AM Lesgold

1500-1520 Vidya: A Hindi Language Tutor         
          by TVVV Prasad, T Raghava Babu, KN Prakash,
             KSR Anjaneyulu and S Ramani

1520-1540 An Approach for Constructing a Connectionist  
          Knowledge-Based Expert System Using Back-
          propagation Rule Extensions
          by W Abu-Salameh and MR Tolun

1540-1600 Text Retrieval Using Neural Networks      
           by R Sharma and AK Pujari

Session II A

1630-1700 High Performance Reading Machines (Invited)
          by SN Srihari

1700-1720 Development of a Speech-to-Text System for  
          Indian Languages
          by C Chandra Sekhar, GV Ramana Rao, P Eswar,
             J Saikumar, N Ramasubramanian, R Sundar
             and B Yegnanarayana

1720-1740 Development of a Text-to-Speech System for  
          Indian Languages
          by B Yegnanarayana, HA Murthy,  R Sundar,
             VR Ramachandran, AS Madhukumar, N Alwar
             and S Rajendran

1740-1800 KOMKET - An  Object-oriented  Knowledge  
          Engineering Tool for NL Applications
          by A Dieberger, Th Grechenig and K Klebesits

Session II B 

1630-1700 Dynamization of Event Based Production System  
          by SS Iyengar, W Deng and AA Nanavati

1700-1720 Learning the Topology of a Feedforward Neural  
          Network from Examples
          by VV Vinod, S Ghose and PP Chakrabarti

1720-1740 COSMOS: C++ Object Oriented System Made for  
          Expert System Development
          by P Bhattacharyya, S Ahmed,P Bakeri, KW Cheong,
             B Fromont, J Thomas, AS Wong and D Sriram

1740-1800 A Partially Shared Parallel Rete Network for  
          Faster Execution of Production Systems
          by A Gupta and C Mazumdar

 ** December 14, 1990 Friday

Plenary III

0900-1000 Japan's Fifth Generation Computer Programme  
          by K Furukawa

Plenary IV

1000-1015 KBCS Nodal Centre Presentations: KBCS Overview              
          by KKK Kutty

1015-1030 Development of Knowledge Based Systems for  
          Legal Reasoning Applications in the Government
          by KK Bajaj

1030-1045 KBCS Activities at C-DAC          
          by VP Bhatkar, SN Bhavsar and KM Rege

1045-1100 Research and Development at KBCS Nodal Centre,  
          Indian Institute of Science, Bangalore
          by V Rajaraman

Plenary V

1130-1145 KBCS Nodal Centre Presentations: 
          KBCS Activities at IIT, Madras         
          by HN Mahabala

1145-1200 Advances in Image Processing, Pattern Recognition 
          and Computer Vision:A KBCS Approach
          by D Dutta Majumder

1200-1215 KBCS Activities at NCST:An Overview       
          by S Ramani, R Chandrasekar and KSR Anjaneyulu

1215-1230 Activity Report of TIFR for KBCS-90       
          by PVS Rao

Plenary VI
 
1230-1315 The TDIL Project              
          by Om Vikas

Session III A

1430-1500 A Knowledge Representation Language Based on 
          by Navya Nyaya, AV Hudli

1500-1520 Local Word Grouping and Its Relevance to Indian  
          Languages
          by A Bharati, V Chaitanya and R Sangal

1520-1540 Recognizing Ill-formed Words in Indian Languages  
          by B Srinivas and PV Ravisankar

1540-1600 Shastric Analysis of Natural Language System    
          by MMDhaygude

Session III B

1430-1500 Overcoming Brittleness Using Granularity and  
          Ignorance (Invited)
          by GI McCalla

1500-1520 An AI Based State Encoding Paradigm for the  
          Synthesis of VLSI Logic Controllers
          by B Mitra and P Pal Choudhuri

1520-1540 Connectivity Verification of Printed Circuit Boards:  
          A Fast AI Approach
          by S Chaudhury, P Bose and A Sengupta

1540-1600 Model Based Qualitative Reasoning for Network  
          Diagnosis
          by KK Swarup and HS Chandrasekharaiah

Session IV A 

1630-1700 Multi-level Knowledge Representation      
          by K Schill, E Poppel and C Zetzsche

1700-1720 Temporal  Order  Threshold and  Language  
          Perception
          by N von Steinbuchel and E Poppel

1720-1740 Understanding in Humans: Its Implications on the  
          Development of NLU Systems
          by A Srivastava and G Krishna

1740-1800 Adaptive Psychophysical Methods        
          by B Treutwein

Session IV B

1630-1700 A Software Architecture for Visual Semantic  
          Network
          by A Bagchi and A Gupta

1700-1720 SARG: A Representation Scheme for 3D Object  
          Recognition
          by SK Bose and KK Biswas

1720-1740 A Concurrent Problem Solving Framework for  
          Object Recognition
          by S Mukherjee, S Chaudhury and S Subramanian

1740-1800 CAMOR: A Connectionist Architecture for Model  
          based Object Recognition
          by J Basak, S Chaudhuri and D Dutta Majumder

 ** December 15, 1990 Saturday

Plenary VII

0900-1000 Machine Translation: Issues and Prospects    
          by AK Joshi

Plenary VIII

1000-1100 Recent  Advances  in Syntactic  Pattern   
          Recognition
          by A Klinger

Session V A 

1130-1200 Towards Generating Cooperative Responses in  
          Natural Language: A Case Study
          by P Amsili, A Gal, F Molines, P Saint-Dizier
             and E Viegas

1200-1220 INDEED:A Semantic Database System       
          by RS Jawadi and HN Mahabala

1220-1240 A Constraint and Typed-based Environment for the  
          Incremental Acquisition of Lexical Semantics Data
          by A Condamines and P Saint-Dizier

1240-1300 Aspects of Text Planning  for Incremental  
          Generation of Route Descriptions
          by T Pattabhiraman and N Cercone

Session V B

1130-1200 A New Bidirectional Inadmissible  Heuristic  
          Search Algorithm
          by S Ghosh and A Mahanti

1200-1220 Reducing the Selection Overhead in a Best First  
          Search Scheme
          by UK Sarkar, PP Chakrabarti, S Ghose and
             SC De Sarkar

1220-1240 A Best First Search Algorithm for the Knapsack  
          Problem
          by  KV Viswanathan

Session VI A

1430-1500 Knowledge Based Machine Translation      
          by J Barnett, I Mani, E Rich, C Aone, K Knight
             and JC Martinez

1500-1520 Representing Pragmatics as Search in Natural  
          Language Generation
          by M Gandhe and G Venkatesh

1520-1540 Environment at Stake in the Lexicalization of  
          Concepts and Conceptual Relations
          by E Viegas

1540-1600 Spatial Semantics: An Illustration by the Relation  
          "dans" ("in")
          by L Vieu

Session VI B

1430-1500 Expert Systems for Frequency Management  
          in ISRO
          by VVS Sarma, KS Mohanavelu, S Manoharan and
             PVR Moorty

1500-1520 COSMIC: A Control Specification Methodology  
          for Rule Based Expert Systems
          by BIB Madhav

1520-1540 Real Time Performance Monitoring Using Frame  
          Based Knowledge Representation
          by B Jaganmohana Rao, T Srinivasa Rao  and
             Ch Sreehari Rao

1540-1600 Artificial Intelligence Based Diagnostic Aid for  
          Diesel Generator Systems in a Nuclear Power Plant
          by SV Shrikhande, S Thangasamy and G Govindrajan

---------------------------