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 ---------------------------