The use of logic in the provision of knowledge base systems

The use of logic in the provision of knowledge base systems

Bibliographic Details
Main Author:	Foley, Richard W.
Published:	Glasgow Caledonian University 1994
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385012

Similar Items

Efficient knowledge and action planning in first order logic
by: Becket, Ralph William Allen
Published: (1998)

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

Logical verification of reactive software systems
by: Jackson, David Mark
Published: (1992)

Serial processing of binary data using mode-controlled logic systems
by: Daws, D. C.
Published: (1982)

The application of logic programming to data bases
by: Neves, Jose Carlos Ferreira Maia
Published: (1983)

Program transformation using temporal logic specifications
by: Lacey, D. J.
Published: (2003)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)

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

Distributing and- and or-work in the Andorra-I parallel logic programming system
by: Dutra, Ines de Castro
Published: (1995)

A temporal logic for the specification and verification of real-time systems
by: Naik, Yogesh
Published: (1993)

Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)

Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)

An extended interval temporal logic and a framing technique for temporal logic programming
by: Duan, Zhenhua
Published: (1996)

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

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

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)

A compiled inference approach to the integration of logic and relational database systems
by: Marir, Farhi
Published: (1993)

Logic program development based on typed moded schemata and data types
by: Marakakis, Emmanouil I.
Published: (1997)

Abductive and constraint logic programming
by: Wetsel, Gerhard
Published: (1997)

Towards AND/OR parallel logic programming
by: Khabaza, Tom
Published: (1989)

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

Parallel implementation of concurrent logic languages using graph rewriting techniques
by: Papadopoulos, George Angelos
Published: (1989)

The prediction of risk of welding defects at the procedure stage using computer knowledge based systems
by: Da Costa, S. C.
Published: (1992)

A logic-based modelling language and integer-programming framework for multicriteria optimisation
by: Vieira Pinto, Rodrigo Lamas
Published: (1995)

Judgement day : terminating logic programs
by: Martin, Jonathan Charles
Published: (2000)

Computer architectures for functional and logic languages
by: Millichamp, Roger Charles
Published: (1983)

A decision making information system for labour resource allocations of logic and time based large scale project computer simulations
by: Stevens, Christopher Gerald John
Published: (1991)

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

Support logic programming and its implementation in Prolog
by: Monk, M. R. M.
Published: (1989)

Hoare logic's for run-time analysis of programs
by: Nielson, Hanne Riis
Published: (1984)

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

Mechanising a particularly expressive many sorted logic
by: Cohn, A. G.
Published: (1983)

A toolkit for static analysis of constraint logic programs
by: Saglam, Hueseyin
Published: (1998)

The associative evaluation of logic programs and heuristic search techniques
by: Rodohan, Darren Patrick
Published: (1993)

Data-driven and demand-driven evaluation of logic programs
by: Halim, M. Z.
Published: (1984)

Improved logic optimisation for field programmable gate arrays
by: Camus, Dominic Roger
Published: (1999)

Self-organisation and autonomous learning in logical neural networks
by: Kerin, Michael A.
Published: (1991)

Compile-time analysis of concurrent logic programs for multiprocessors
by: King, Andrew Malcolm
Published: (1992)

A theory of program correctness with three valued logic
by: Jervis, Clive Andrew
Published: (1988)