Abstract is missing.
- A Computational Architecture for Co-operative SystemsDavid Allport. 3-18
- Central Government Pension Rules as a Logic ProgramK. K. Bajaj, R. K. Dubash, Robert A. Kowalski. 19-28
- Solving the Generalized Job Shop Scheduling Problem via Temporal Constraint PropagationWesley W. Chu, Patrick H. Ngai. 29-38
- Automatic Test Pattern Generation on Multiprocessors: A Summary of ResultsSunil Arvindam, Vipin Kumar, V. Nageshwara Rao, Vineet Singh. 41-51
- Design and Implementation of a Broadcast Cube MultiprocessorRajat Moona, V. Rajaraman. 52-63
- Intelligent Onboard Telemetry System - A Design ApproachP. Anguswamy, M. Krishna Kumar, V. Mala. 67-77
- Interpretation and Rule Packet in Expert Systems. Application to the SEPT Expert SystemPatrick Brézillon. 78-87
- An Expert System Framework for the Preliminary Design of Process FlowsheetsM. S. Gandikota, J. F. Davis. 88-104
- The Playtypus Expert System ShellWilliam S. Havens. 105-119
- Modelling Exceptions in Semantic Database and Knowledge-based SystemsP. L. Tan, Tharam S. Dillon, John Zeleznikow. 120-132
- Mental Models of Recursion and Their Use in the SCENT Programming AdvisorS. H. Bhuiyan, Jim E. Greer, Gordon I. McCalla. 135-144
- Explanation of Algebraic Reasoning: The Aplusix SystemJean-François Nicaud, M. Saidi. 145-154
- The Trigonometry TutorParvati Rajan, Pramad Patil, K. S. R. Anjaneyulu, P. Srinivas. 155-166
- Four General Representations and Processes for Use in Problems SolvingDan Fass. 169-178
- Integrated Actor Paradigm for Knowledge Based SystemsBrian J. Garner, Dickson Lukose. 179-191
- A Representation for Modeling Functional Knowledge in Geometric StructuresAmitabha Mukerjee. 192-202
- Differing Perspectives of Knowledge Representation in Artificial Intelligence and Discrete Event ModelingAshvin Radiya, Robert G. Sargent. 203-212
- Implementation of Conceptual Graphs using Frames in LEADK. C. Reddy, C. S. Reddy K., P. G. Reddy. 213-229
- Knowledge Representation in Distributed Blackboard Architecture - Some IssuesManoj K. Saxena, K. K. Biswas, P. C. P. Bhatt. 230-239
- Improving Prolog Performance by Inductive Proof GeneralizationsMilind Gandhe, G. Venkatesh. 243-253
- A Unified Framework for Characterising Logic Program ExecutionsE. Ravindran, S. L. Mehndiratta. 254-265
- An Abstract Machine for the Reduce-OR Process Model for Parallel PrologBalkrishna Ramkumar, Laxmikant V. Kalé. 266-275
- Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes)Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi. 276-285
- Generalized Predicate CompletionAtsushi Togashi, Ben-Hui Hou, Shoichi Noguchi. 286-295
- On the Completeness of Narrowing for E-UnificationJia-Huai You, P. A. Subrahmanyam. 296-305
- Intelligent Categorization, Archival and Retrieval of InformationAbhay Bhandarkar, Raman Chandrasekar, S. Ramani, Anuray Bhatnagar. 309-320
- Representing Discursive Temporal Knowledge: A Computational Application of DRTMyriam Bras. 321-330
- Novel Terms and Cooperation in a Natural Language InterfacePaul McFetridge, Chris Groeneboer. 331-340
- Representing and Using Protosemantic Information in Generating Bus Route DescriptionsT. Pattabhiraman, Nick Cercone. 341-352
- Parsing with Extended Unification MechanismsPatrick Saint-Dizier. 353-362
- Shape Based Object RecognitionD. K. Banerjee, Swapan K. Parui, D. Dutta Majumder. 365-374
- Newspaper Image UnderstandingVenu Govindaraju, Stephen W. K. Lam, Debashish Niyogi, David B. Sher, Rohini K. Srihari, Sargur N. Srihari, Dacheng Wang. 375-384
- Reasoning Using Inheritance from a Mixture of Knowledge and BeliefsAfzal Ballim, Sylvia Candelaria de Ram, Dan Fass. 387-396
- Handling Multiple Inheritance with Exceptions: An Alternative ApproachSanjay Bhansali, Mehdi T. Harandi. 397-406
- From Utterance to Belief via Presupposition: Default Logic in User-ModellingAndrew Csinger, David Poole. 407-417
- Implementing Persistence of Derived Information in a Reason Maintenance SystemDattatraya Kulkarni, N. Parameswaran. 418-427
- New Techniques in Model-Based DiagnosisPeter Struss. 428-437
- Network Search with Inadmissible HeuristicsA. Mahanti, K. Ray. 441-450
- Pruning by Upperbounds in Heuristic Search: Use of Approximate AlgorithmsU. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar. 451-461
- A Probabilistic Training Scheme for the Time-Concentration NetworkS. Krishnan, P. Poddar. 465-472
- DOE Nodal Centre Activities: Development of Expert Systems for Government ApplicationsK. K. Bajaj. 475-481
- KBCS Activities at C-DACVijay P. Bhatkar. 482-492
- KBCS Activities at I.I.T., MadrasHosaker N. Mahabala. 493-497
- On KBCS Approach in Image Processing, Pattern Recognition and Computer VisionD. Dutta Majumder. 498-514
- KBCS Activities at NCSTS. Ramani, Raman Chandrasekar, K. S. R. Anjaneyulu. 515-524
- Research and Development at KBCS Nodal Centre, IISc, BangaloreV. Rajaraman. 525-531
- Speech Recognition for Knowledge Based Computer SystemsP. V. S. Rao, S. Krishnan, P. Poddar, V. Ramasubramanian, K. Samudravijaya, A. Sen. 532-541