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, Pinaki 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, Pinaki Poddar, V. Ramasubramanian, K. Samudravijaya, A. Sen: Speech Recognition for Knowledge Based Computer Systems. 532-541

last updated on Sun May 26 04:15:26 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page