KBCS 1989: Bombay, India

S. Ramani, Raman Chandrasekar, K. S. R. Anjaneyulu (Eds.): Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings. Lecture Notes in Computer Science 444 Springer 1990, ISBN 3-540-52850-4 BibTeX

@proceedings{DBLP:conf/kbcs/1989,
  editor    = {S. Ramani and
               Raman Chandrasekar and
               K. S. R. Anjaneyulu},
  title     = {Knowledge Based Computer Systems, International Conference KBCS
               '89, Bombay, India, December 11-13, 1989, Proceedings},
  booktitle = {KBCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {444},
  year      = {1990},
  isbn      = {3-540-52850-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

AI Applications

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

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 BibTeX
Rajat Moona, V. Rajaraman: Design and Implementation of a Broadcast Cube Multiprocessor. 52-63 BibTeX

Expert Systems

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

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 BibTeX
Jean-François Nicaud, M. Saidi: Explanation of Algebraic Reasoning: The Aplusix System. 145-154 BibTeX
Parvati Rajan, Pramad Patil, K. S. R. Anjaneyulu, P. Srinivas: The Trigonometry Tutor. 155-166 BibTeX

Knowledge Representation

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

Logic Programming

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

Natural Language Understanding

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

Pattern Recognition and Vision

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

Reasoning

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

Search

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

Speech

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

Activities at the KBCS Nodal Centres

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