Knowledge Based Computer Systems: International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings 1990 ed. [Pehme köide]

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 functionalknowledge 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.