The use of logic in the provision of knowledge base systems
Main Author: | Foley, Richard W. |
---|---|
Published: |
Glasgow Caledonian University
1994
|
Subjects: | |
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)