From: Prakash N. Kytharam
Subject: Advance Programme for KBCS '89 (Dec 11-13, Bombay)
Date: 
Message-ID: <AZK42b200W0E8piVpL@andrew.cmu.edu>
        
  Conference on Knowledge Based Computer Systems - KBCS '89

                        Bombay, India


               Venue: Centaur Hotel Juhu Beach

                     December 11-13, 1989

                      Advance Programme



 1.  About the Conference


     141 papers were received from India  and  abroad  within
     the  deadline,  and  44 have been selected for presenta-
     tion.

     The technical programme will consist of  invited  talks,
     paper  presentations  and  poster  sessions.   The paper
     presentations will be held in two parallel streams.


 2.  Invited Speakers

     A Computational Architecture for Co-operative Systems
     David Allport, Hewlett Packard Laboratories, UK

     Computer Architecture: What it can do and what it
     cannot do for AI
     Arvind, MIT, USA

     Could a Computer be Creative?
     Margaret Boden, University of Sussex, UK

     Developments in Expert Systems
     B Chandrasekaran, Ohio State University, USA

     Natural Language Understanding (title to be confirmed)
     Aravind Joshi, University of Pennsylvania, USA

     Human and Artificial Intelligence: Report on the
     Conclusions of a Seminar
     R Narasimhan, Tata Institute of Fundamental Research, Bombay

     Parsing with Extended Unification
     P Saint-Dizier, Universite Paul Sabatier, France

     Parallel Logic Programming Systems
     David Warren, University of Bristol, UK

     3-D Computer Vision
     Steven Zucker, McGill University, Canada


 3.  Contributed Papers

     Advances in Expert Systems
     --------------------------

     Modelling Exceptions in Semantic Database and
       Knowledge-based Systems
     PL Tan, TS Dillon and J Zeleznikow
     La Trobe University, Australia

     Interpretation and Rule Packet in Expert Systems:
       Application to the SEPT Expert System
     Patrick Brezillon
     Universite de Paris XI, France

     New Techniques in Model-Based Diagnosis
     Peter Struss
     Siemens AG, West Germany

     An Expert System Framework for the Preliminary Design of
       Process Flowsheets
     MS Gandikota and JF Davis
     Ohio State University, USA

     Intelligent Onboard Telemetry System: A Design Approach
     P Anguswamy, M Krishnakumar and V Mala
     Vikram Sarabhai Space Centre, Trivandrum, India

     The Platypus Expert System Shell
     Bill Havens
     Simon Fraser University, Canada

     Logic Programming
     -----------------

     Believability in Default Logic Entails Logical Consequence
       from Circumscription (Sometimes)
     Atsushi Togashi, Ben Hui Hou and Shoichi Noguchi
     Research Institute of Electrical Communication, Japan

     An Abstract Machine for the REDUCE-OR Process Model
       for Parallel Prolog
     B Ramkumar and LV Kale
     University of Illinois at Urbana-Champaign, USA

     Generalized Predicate Completion
     Atsushi Togashi, A Ben Hui Hou and A Shoichi Noguchi
     Tohoku University, Japan

     On the Completeness of Narrowing for E-unification
     Jia-Huai You and PA Subrahmanyam
     University of Alberta, Canada

     On the Generalized Predicate Completion of Non-Horn Program
     Phan Minh Dung and Kanchana Kanchanasut
     Asian Institute of Technology, Thailand

     A Unified Framework for Characterising Logic Program
       Executions
     SL Mehndiratta and E Ravindran
     Indian Institute of Technology, Bombay, India

     Improving Prolog Performance through Inductive
       Proof Generalization
     Milind Gandhe and G Venkatesh
     Indian Institute of Technology, Bombay, India

     Knowledge Representation
     ------------------------

     Representing and Using Protosemantic Information in
       Generating Bus Route Descriptions
     T Pattabhiraman and Nick Cercone
     Simon Fraser University, Canada

     Integrated Actor Paradigm for Knowledge Based Systems
     BJ Garner and D Lukose
     Deakin University, Australia

     Knowledge Representation in Distributed Blackboard
       Architecture: Some Issues
     Manoj K Saxena, KK Biswas and PCP Bhatt
     CMC Ltd, New Delhi, India

     Differing Perspectives of Knowledge Representation in
       Artificial Intelligence and Discrete Event Modeling:
       A Technical Summary
     Ashvin Radiya
     Syracuse University, USA

     A Representation for Modeling Functional Knowledge
       in Geometric Structures
     Amitabha Mukerjee
     Texas A&M University, USA

     Four General Representations and Processes for Use
       in Problem Solving
     Dan Fass
     Simon Fraser University, Canada

     Handling Multiple Inheritance with Exceptions:
       An Alternate Approach
     Sanjay Bhansali and Mehdi T Harandi
     University of Illinois at Urbana Champaign, USA

     Reasoning using Inheritance from a Mixture of
       Knowledge and Beliefs
     Afzal Ballim, Sylvia Candelaria de Ram and Dan Fass
     Institut Dalle Molle pour les Etudes
       Semantiques et Cognitives, Switzerland

     Implementation of Conceptual Graphs using Frames in LEAD
     KC Reddy, CSK Reddy and PG Reddy
     University of Hyderabad, Hyderabad, India

     Natural Language Understanding
     ------------------------------

     Representing Discursive Temporal Knowledge: A Computational
       Application of DRT
     Myriam Bras
     Institut de Recherche en Informatique de Toulouse, France

     From Utterance to Belief via Presupposition:
       Default Logic in User-Modelling
     A Csinger and D Poole
     University of British Columbia, Canada

     Novel Terms and Cooperation in a Natural  Language Interface
     Paul McFetridge and Chris Groeneboer
     Simon Fraser University, Canada

     Parsing with Extended Unification Mechanisms
     Patrick Saint-Dizier
     LSI Universite Paul Sabatier, France

     Intelligent Information Categorization, Archival and Retrieval
     Abhay Bhandarkar, R Chandrasekar, S Ramani and A Bhatnagar
     National Centre for Software Technology, Bombay, India

     Pattern Recognition and Vision
     ------------------------------

     Shape Based Object Recognition
     DK Banerjee, SK Parui, D Dutta Majumder
     Indian Statistical Institute, Calcutta, India

     Newspaper Image Understanding
     V Govindaraju, S Lam, D Niyogi, DB Sher, R Srihari,
       SN Srihari and D Wang
     State University of New York at Buffalo, USA

     Learning
     --------

     A Methodology for Self Monitoring in Information
       Retrieval Systems
     Padmini Srinivasan
     George Mason University, USA

     Knowledge Discovery: A Theoretical Perspective
     Dimitrios Thanassas
     Imperial College, United Kingdom

     Computer Architecture and Parallel Processing
     ---------------------------------------------

     Design and Implementation of a Broadcast Cube Multiprocesser
     Rajat Moona and V Rajaraman
     Indian Institute of Science, Bangalore, India

     Automatic Test Pattern Generation on Multiprocessors
     Sunil Aravindam, Vipin Kumar, V Nageshwara Rao and Vineet Singh
     University of Texas at Austin, USA

     Tools for Representation of Knowledge on Parallel Machines
     Perry J Busalacchi and James R Slagle
     University of Minnesota, USA

     Intelligent Tutoring Systems
     ----------------------------

     Mental Models of Recursion and Their Use in the
       SCENT Programming Advisor
     Shawkat H Bhuiyan, Jim E Greer and Gordon I McCalla
     University of Saskatchewan, Canada

     A Trigonometry Tutor
     Parvati Rajan, P Patil, KSR Anjaneyulu and P Srinivas
     National Centre for Software Technology, Bombay, India

     Explanation of Algebraic Reasoning: The Aplusix System
     Jean-Francois Nicaud and Mustapha Saidi
     Universite Paris XI, France

     Reasoning
     ---------

     Implementing Persistence of Derived Information in a
       Reason Maintenance System
     N Parameswaran and D Kulkarni
     Indian Institute of Technology, Madras, India

     Pruning by Upperbounds in Heuristic Search: Use of
       Approximate Algorithms
     UK Sarkar, PP Chakrabarti, S Ghose and SC De Sarkar
     Indian Institute of Technology, Kharagpur, India

     Speech
     ------

     A Probabilistic Training Scheme for the
       Time-Concentration Network
     S Krishnan and P Poddar
     Tata Institute of Fundamental Research, Bombay, India

     AI Applications
     ---------------

     Solving the Generalized Job Shop Scheduling Problem via
       Temporal Constraint Propagation
     Wesley Chu and Patrick Ngai
     University of California at Los Angeles, USA

     Network Search with Inadmissible Heuristics
     A Mahanti and K Ray
     Jadavpur University Campus, Calcutta, India

     Central Government Pension Rules as a Logic Program
     KK Bajaj, RK Dubash and R Kowalski
     Department of Electronics, Govt of India, New Delhi, India

     A Computational Architecture for Co-operative Systems
     David Allport
     Hewlett Packard Laboratories, United Kingdom


 4.  Pre-Conference Tutorials (On December 10th, 1989)

     A1: Task Specific Architectures for the Construction of
     Knowledge Based Systems
     B Chandrasekaran, Ohio State University, USA

     A2: Natural Language Processing and Logic Programming
     P Saint-Dizier, Universite Paul Sabatier, France

     B1: Representation of Linguistic Knowledge: Recent
     Grammatical Formalisms
     Aravind Joshi,  University of Pennsylvania, USA

     B2: Logic Programming Systems
     David Warren, University of Bristol, UK

     B3: The Computational Neurobiology of Vision
     Steven Zucker, McGill University, Canada



 5.  Conference Committees

     International Advisory Committee
     --------------------------------

     K Apt, Centrum voor Wiskunde en Informatica, Amsterdam
     Arvind, Massachusetts Institute of Technology, USA
     M Boden, University of Sussex, UK
     A Joshi, University of Pennsylvania, USA
     R Kowalski, Imperial College, UK
     CJP Lucena, Pontifficia Universidade Catoilica do Rio de Janeiro, Brazil
     P Saint-Dizier, Universite Paul Sabatier, France
     A Togashi, Tohoku University, Japan

     Programme Committee
     -------------------

     S Ramani, National Centre for Software Technology, Bombay (Chairman)
     S Arun Kumar, Indian Institute of Technology, Bombay
     KK Bajaj, Department of Electronics, Delhi
     VP Bhatkar, Centre for Development of Advanced Computing, Pune
     PCP Bhatt, Indian Institute of Technology, Delhi
     D Dutta Majumder, Indian Statistical Institute, Calcutta
     HN Mahabala, Indian Institute of Technology, Madras
     V Rajaraman, Indian Institute of Science, Bangalore
     PVS Rao, Tata Institute Fundamental Research, Bombay
     R Sangal, Indian Institute of Technology, Kanpur


 6.  Registration Fee

     Conference

        On or before November 30, 1989 : Rs 1500 (US $90)
        After November 30, 1989        : Rs 1800 (US $110)
        On-site Registration           : Rs 2000 (US $125)

     On-site registration will be subject to availability  of
     seats.  Coupons  for  the Conference Dinner will be free
     for those who register on or before November 15.  Others
     will be able to purchase it for Rs 50 (US $5).

     Tutorials

     Rs 500 (US $35) per tutorial for conference participants.

     All payments should be  made  by  a  crossed  cheque  or
     draft, payable to National Center for Software Technology.
     Credit Cards cannot be accepted.


 7.  Address for Correspondence

     KBCS '89 Secretariat
     National Centre for Software Technology
     Gulmohar Cross Road No. 9
     Juhu, Bombay 400 049, INDIA
     
     Email: ·····@shakti.uu.net
     Telex: +81 (11) 78260 NCST IN
     Telephone: +91 (22) 620 1606