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