pk1j+@andrew.cmu.edu (Prakash N. Kytharam) (11/09/89)
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: ikbcs@shakti.uu.net Telex: +81 (11) 78260 NCST IN Telephone: +91 (22) 620 1606 -- Good health is merely the slowest rate at which one can die.