IBM Journal of Research and Development
IBM Skip to main content
  Home     Products & services     Support & downloads     My account  
  Select a country  
Journals Home  
  Systems Journal  
Journal of Research
and Development
    Current Issue  
    Recent Issues  
    Papers in Progress  
    Recent publications  
    Author's Guide  
  Contact Us  
  Related links:  
     IBM Research  
IBM Journal of Research and Development

Browse by Subject

Related Papers
2007Production design for plate products in the steel industry
2000Some studies in machine learning using the game of checkers
1996Primary production scheduling at steelmaking industries
1994Algorithms for Arabic name transliteration
1992An experiment in constructing an open expert system using a knowledge substrate
1992Arthur Samuel: Pioneer in Machine Learning
1992Capturing the deep meaning of texts through deduction and inference
1992Explaining SLDNF resolution with non-normal defaults
1992Knowledge in operation
1992Logic programming with typed unification and its realization on an abstract machine
1992STORK and PENGUIN: Logic programming systems using general clauses and defaults
1992The controlled experiment in knowledge-acquisition research
1992Topological reasoning about dextrous grasps
1992Use of natural language for knowledge acquisition: Strategies to cope with semantic and pragmatic variation
1992Zephyr: Toward true compiler-based programming in Prolog
1991Visualizing processes in neural networks
1986A continuous real-time expert system for computer operations
1986A theory for the representation of knowledge
1986An experimental computer architecture supporting expert systems and logic programming
1986Conceptual graphs for semantics and knowledge processing
1986Implementing a semantic interpreter using conceptual graphs
1986Interfaces for knowledge-base builders' control knowledge and application-specific procedures
1986Knowledge systems: Principles and practice
1986Storing and evaluating Horn-clause rules in a relational database
1986Structures of rule-based belief functions
1960Information-Theoretical Aspects of Inductive and Deductive Inference
1959A Learning Machine: Part II
1959Some Studies in Machine Learning Using the Game of Checkers
1958A Learning Machine: Part I
1958Intelligent Behavior in Problem-Solving Machines