Knowledge Based Computer Systems [electronic resource] : International Conference KBCS '89 Bombay, India, December 11–13, 1989 Proceedings / edited by S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu.

Contributor(s): Ramani, S [editor.] | Chandrasekar, R [editor.] | Anjaneyulu, K. S. R [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 444Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Description: X, 546 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540471684Subject(s): Computer science | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics)Additional physical formats: Printed edition:: No titleDDC classification: 006.3 LOC classification: Q334-342TJ210.2-211.495Online resources: Click here to access online
Contents:
A computational architecture for co-operative systems -- Central government pension rules as a logic program -- Solving the generalized job shop scheduling problem via temporal constraint propagation -- Automatic test pattern generation on multiprocessors: a summary of results -- Design and implementation of a broadcast cube multiprocessor -- Intelligent onboard telemetry system-a design approach -- Interpretation and rule packet in expert systems. Application to the sept expert system -- An expert system framework for the preliminary design of process flowsheets -- The platypus expert system shell -- Modelling exceptions in semantic database and knowledge-based systems -- Mental models of recursion and their use in the SCENT programming advisor -- Explanation of algebraic reasoning : the Aplusix system -- The trigonometry tutor -- Four general representations and processes for use in problem solving -- Integrated actor paradigm for knowledge based systems -- A representation for modeling functional knowledge in geometric structures -- Differing perspectives of knowledge representation in artificial intelligence and discrete event modeling -- Implementation of conceptual graphs using frames in lead -- Knowledge representation in distributed blackboard architecture — Some issues -- Improving prolog performance by inductive proof generalizations -- A unified framework for characterising logic program executions -- An abstract machine for the Reduce-OR process model for parallel Prolog -- Believability in default logic entails logical consequence from circumscription (sometimes) -- Generalized predicate completion -- On the completeness of narrowing for E-unification -- Intelligent categorization, archival and retrieval of information -- Representing discursive temporal knowledge: A computational application of DRT -- Novel terms and cooperation in a natural language interface -- Representing and using protosemantic information in generating bus route descriptions -- Parsing with extended unification mechanisms -- Shape based object recognition -- Newspaper image understanding -- Reasoning using inheritance from a mixture of knowledge and beliefs -- Handling multiple inheritance with exceptions : An alternative approach -- From utterance to belief via presupposition -- Implementing persistence of derived information in a reason maintenance system -- New techniques in model-based diagnosis -- Network search with inadmissible heuristics -- Pruning by upperbounds in heuristic search: Use of approximate algorithms -- A probabilistic training scheme for the time-concentration network -- Doe nodal centre activities development of expert systems for govt. applications -- KBCS Activities at C-DAC -- KBCS activities at I.I.T., madras -- On KBCS approach in image processing, pattern recognition and computer vision -- KBCS activities at NCST -- Research and development at KBCS nodal centre, IISc bangalore -- Speech recognition for knowledge based computer systems.
In: Springer eBooksSummary: This volume presents selected papers from KBCS '89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India with United Nations assistance. The papers are grouped into sections including: - AI applications - computer architecture and parallel processing - expert systems - intelligent tutoring systems - knowledge representation - logic programming - natural language understanding - pattern recognition - reasoning - search - activities at the KBCS Nodal Centres.
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK5994

A computational architecture for co-operative systems -- Central government pension rules as a logic program -- Solving the generalized job shop scheduling problem via temporal constraint propagation -- Automatic test pattern generation on multiprocessors: a summary of results -- Design and implementation of a broadcast cube multiprocessor -- Intelligent onboard telemetry system-a design approach -- Interpretation and rule packet in expert systems. Application to the sept expert system -- An expert system framework for the preliminary design of process flowsheets -- The platypus expert system shell -- Modelling exceptions in semantic database and knowledge-based systems -- Mental models of recursion and their use in the SCENT programming advisor -- Explanation of algebraic reasoning : the Aplusix system -- The trigonometry tutor -- Four general representations and processes for use in problem solving -- Integrated actor paradigm for knowledge based systems -- A representation for modeling functional knowledge in geometric structures -- Differing perspectives of knowledge representation in artificial intelligence and discrete event modeling -- Implementation of conceptual graphs using frames in lead -- Knowledge representation in distributed blackboard architecture — Some issues -- Improving prolog performance by inductive proof generalizations -- A unified framework for characterising logic program executions -- An abstract machine for the Reduce-OR process model for parallel Prolog -- Believability in default logic entails logical consequence from circumscription (sometimes) -- Generalized predicate completion -- On the completeness of narrowing for E-unification -- Intelligent categorization, archival and retrieval of information -- Representing discursive temporal knowledge: A computational application of DRT -- Novel terms and cooperation in a natural language interface -- Representing and using protosemantic information in generating bus route descriptions -- Parsing with extended unification mechanisms -- Shape based object recognition -- Newspaper image understanding -- Reasoning using inheritance from a mixture of knowledge and beliefs -- Handling multiple inheritance with exceptions : An alternative approach -- From utterance to belief via presupposition -- Implementing persistence of derived information in a reason maintenance system -- New techniques in model-based diagnosis -- Network search with inadmissible heuristics -- Pruning by upperbounds in heuristic search: Use of approximate algorithms -- A probabilistic training scheme for the time-concentration network -- Doe nodal centre activities development of expert systems for govt. applications -- KBCS Activities at C-DAC -- KBCS activities at I.I.T., madras -- On KBCS approach in image processing, pattern recognition and computer vision -- KBCS activities at NCST -- Research and development at KBCS nodal centre, IISc bangalore -- Speech recognition for knowledge based computer systems.

This volume presents selected papers from KBCS '89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India with United Nations assistance. The papers are grouped into sections including: - AI applications - computer architecture and parallel processing - expert systems - intelligent tutoring systems - knowledge representation - logic programming - natural language understanding - pattern recognition - reasoning - search - activities at the KBCS Nodal Centres.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha