A formalism for representing qualified knowledge and its implementation for large knowledge bases

A formalism for representing qualified knowledge and its implementation for large knowledge bases

Bibliographic Details
Main Author:	Jiang, Y. J.
Published:	University of Manchester 1986
Subjects:	005 Logic programming][Software applications
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377662

Similar Items

The implementation of knowledge based systems into organizations
by: Wadsworth, Paul M.
Published: (1991)

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge
by: Cunningham, J.
Published: (1985)

Coupled resolution engines for programming knowledge based systems in logic
by: Taylor, Hamish
Published: (1989)

A framework for analysis, implementation and re-use in knowledge based engineering applications
by: Kneebone, Stephen
Published: (1995)

The representation of knowledge in knowledge based systems for chemical and process plant selection
by: Campbell, Colin
Published: (1990)

Knowledge acquisition for knowledge-based systems : an empirical comparison of two methods
by: Nicholson, Clive
Published: (1992)

Data structure for knowledge bases
by: Freeston, Michael William
Published: (1997)

Knowledge-based technology transfer
by: Murphy, Maureen T.
Published: (1993)

Automating the refinement of knowledge based systems
by: Craw, Susan
Published: (1991)

Knowledge-based advising in the domain of scientific programming
by: Meehan, Diane
Published: (1993)

The use of logic in the provision of knowledge base systems
by: Foley, Richard W.
Published: (1994)

The creation of missing rules for knowledge based systems
by: Ellery, Ian Gareth
Published: (1991)

Software reuse : a knowledge-based approach
by: Wang, Yuyi
Published: (1993)

Application of formal methods to digital system design
by: Herbert, J. M. J.
Published: (1986)

A knowledge-based approach to software design support
by: Sharp, Helen Claire
Published: (1989)

A methodology for the development of embedded knowledge-based procedures
by: Booth, Alan Edward
Published: (1995)

Use of a layered knowledge architecture to support multiple views of system development knowledge
by: Green, Richard
Published: (1998)

A graphical based formalism for executable specification
by: Gaskell, Craig
Published: (1997)

An object-centred interpretation of the blackboard architecture for knowledge-based programming
by: McArthur, David
Published: (1987)

Applications of knowledge based expert systems in recurrent competitive bidding
by: Phythian, Gary John
Published: (1991)

Contributions to time-bounded problem solving using knowledge-based techniques
by: Chatterjee, Niladri
Published: (1995)

Integration project management methodologies using knowledge-based system techniques
by: Kuczora, Paul William
Published: (1992)

The application of Petri-nets and stochastic processes to knowledge based project planning
by: Inkpen, Christopher John
Published: (1992)

A computational model and knowledge based system for well completion design
by: Dunn-Norman, Shari
Published: (1990)

A generic model for representing software development methods
by: Wong, Alan C. Y.
Published: (1996)

The use of a lattice in knowledge processing
by: Oosthuizen, Gerhard Deon
Published: (1988)

Investigating the use of metaphors for knowledge acquisition
by: Karunananda, Asoka S.
Published: (1995)

Logic and objects : language, application and implementation
by: McCabe, Francis Gregory Christopher
Published: (1989)

Knowledge refinement in constraint satisfaction and case classification problems
by: Winter, Mark J.
Published: (1999)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

A knowledge based database system for jet impingement heat transfer correlations
by: Moss, Michael Andrew
Published: (1993)

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

Meta description of experimental identification of medical knowledge
by: Behrooz, A.
Published: (1986)

Automatic acquisition of knowledge for solving analysis tasks
by: Patel, Jitendra M.
Published: (1989)

Knowledge restructuring and the development of expertise in computer programming
by: Davies, Simon P.
Published: (1992)

The formal specification of computational structures
by: Stewart, Alan
Published: (1986)

The formal development of secure systems
by: Graham, -Cumming
Published: (1992)

Formal models for systems prototyping
by: Barroca, Leonor Maria Melo Torcato
Published: (1989)

A semantic knowledge-based computational dictionary for support of natural language processing systems
by: Al-Hafez, Muhammad Yassin
Published: (1993)

Knowledge-based software engineering : a software quality management expert system prototype
by: Karami, Daryoosh
Published: (1995)

Cannot write session to /tmp/vufind_sessions/sess_j16n6etpnlfhfcq1tmlr66tacn