KBCS 1989: Bombay, India

AI Applications

• David Allport:
  A Computational Architecture for Co-operative Systems. 3-18
  
• K. K. Bajaj, R. K. Dubash, Robert A. Kowalski:
  Central Government Pension Rules as a Logic Program. 19-28
  
• Wesley W. Chu, Patrick H. Ngai:
  Solving the Generalized Job Shop Scheduling Problem via Temporal Constraint Propagation. 29-38
  

Computer Architecture and Parallel Processing

• Sunil Arvindam, Vipin Kumar, V. Nageshwara Rao, Vineet Singh:
  Automatic Test Pattern Generation on Multiprocessors: A Summary of Results. 41-51
  
• Rajat Moona, V. Rajaraman:
  Design and Implementation of a Broadcast Cube Multiprocessor. 52-63
  

Expert Systems

• P. Anguswamy, M. Krishna Kumar, V. Mala:
  Intelligent Onboard Telemetry System - A Design Approach. 67-77
  
• Patrick Brézillon:
  Interpretation and Rule Packet in Expert Systems. Application to the SEPT Expert System. 78-87
  
• M. S. Gandikota, J. F. Davis:
  An Expert System Framework for the Preliminary Design of Process Flowsheets. 88-104
  
• William S. Havens:
  The Playtypus Expert System Shell. 105-119
  
• P. L. Tan, Tharam S. Dillon, John Zeleznikow:
  Modelling Exceptions in Semantic Database and Knowledge-based Systems. 120-132
  

Intelligent Tutoring Systems

• S. H. Bhuiyan, Jim E. Greer, Gordon I. McCalla:
  Mental Models of Recursion and Their Use in the SCENT Programming Advisor. 135-144
  
• Jean-François Nicaud, M. Saidi:
  Explanation of Algebraic Reasoning: The Aplusix System. 145-154
  
• Parvati Rajan, Pramad Patil, K. S. R. Anjaneyulu, P. Srinivas:
  The Trigonometry Tutor. 155-166
  

Knowledge Representation

• Dan Fass:
  Four General Representations and Processes for Use in Problems Solving. 169-178
  
• Brian J. Garner, Dickson Lukose:
  Integrated Actor Paradigm for Knowledge Based Systems. 179-191
  
• Amitabha Mukerjee:
  A Representation for Modeling Functional Knowledge in Geometric Structures. 192-202
  
• Ashvin Radiya, Robert G. Sargent:
  Differing Perspectives of Knowledge Representation in Artificial Intelligence and Discrete Event Modeling. 203-212
  
• K. C. Reddy, C. S. Reddy K., P. G. Reddy:
  Implementation of Conceptual Graphs using Frames in LEAD. 213-229
  
• Manoj K. Saxena, K. K. Biswas, P. C. P. Bhatt:
  Knowledge Representation in Distributed Blackboard Architecture - Some Issues. 230-239
  

Logic Programming

• Milind Gandhe, G. Venkatesh:
  Improving Prolog Performance by Inductive Proof Generalizations. 243-253
  
• E. Ravindran, S. L. Mehndiratta:
  A Unified Framework for Characterising Logic Program Executions. 254-265
  
• Balkrishna Ramkumar, Laxmikant V. Kalé:
  An Abstract Machine for the Reduce-OR Process Model for Parallel Prolog. 266-275
  
• Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi:
  Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). 276-285
  
• Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi:
  Generalized Predicate Completion. 286-295
  
• Jia-Huai You, P. A. Subrahmanyam:
  On the Completeness of Narrowing for E-Unification. 296-305
  

Natural Language Understanding

• Abhay Bhandarkar, Raman Chandrasekar, S. Ramani, Anuray Bhatnagar:
  Intelligent Categorization, Archival and Retrieval of Information. 309-320
  
• Myriam Bras:
  Representing Discursive Temporal Knowledge: A Computational Application of DRT. 321-330
  
• Paul McFetridge, Chris Groeneboer:
  Novel Terms and Cooperation in a Natural Language Interface. 331-340
  
• T. Pattabhiraman, Nick Cercone:
  Representing and Using Protosemantic Information in Generating Bus Route Descriptions. 341-352
  
• Patrick Saint-Dizier:
  Parsing with Extended Unification Mechanisms. 353-362
  

Pattern Recognition and Vision

• D. K. Banerjee, Swapan K. Parui, D. Dutta Majumder:
  Shape Based Object Recognition. 365-374
  
• Venu Govindaraju, Stephen W. K. Lam, Debashish Niyogi, David B. Sher, Rohini K. Srihari, Sargur N. Srihari, Dacheng Wang:
  Newspaper Image Understanding. 375-384
  

Reasoning

• Afzal Ballim, Sylvia Candelaria de Ram, Dan Fass:
  Reasoning Using Inheritance from a Mixture of Knowledge and Beliefs. 387-396
  
• Sanjay Bhansali, Mehdi T. Harandi:
  Handling Multiple Inheritance with Exceptions: An Alternative Approach. 397-406
  
• Andrew Csinger, David Poole:
  From Utterance to Belief via Presupposition: Default Logic in User-Modelling. 407-417
  
• Dattatraya Kulkarni, N. Parameswaran:
  Implementing Persistence of Derived Information in a Reason Maintenance System. 418-427
  
• Peter Struss:
  New Techniques in Model-Based Diagnosis. 428-437
  

Search

• A. Mahanti, K. Ray:
  Network Search with Inadmissible Heuristics. 441-450
  
• U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
  Pruning by Upperbounds in Heuristic Search: Use of Approximate Algorithms. 451-461
  

Speech

• S. Krishnan, P. Poddar:
  A Probabilistic Training Scheme for the Time-Concentration Network. 465-472
  

Activities at the KBCS Nodal Centres

• K. K. Bajaj:
  DOE Nodal Centre Activities: Development of Expert Systems for Government Applications. 475-481
  
• Vijay P. Bhatkar:
  KBCS Activities at C-DAC. 482-492
  
• Hosaker N. Mahabala:
  KBCS Activities at I.I.T., Madras. 493-497
  
• D. Dutta Majumder:
  On KBCS Approach in Image Processing, Pattern Recognition and Computer Vision. 498-514
  
• S. Ramani, Raman Chandrasekar, K. S. R. Anjaneyulu:
  KBCS Activities at NCST. 515-524
  
• V. Rajaraman:
  Research and Development at KBCS Nodal Centre, IISc, Bangalore. 525-531
  
• P. V. S. Rao, S. Krishnan, P. Poddar, V. Ramasubramanian, K. Samudravijaya, A. Sen:
  Speech Recognition for Knowledge Based Computer Systems. 532-541