#### Filter Results:

- Full text PDF available (20)

#### Publication Year

1959

2007

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Richard C. T. Lee, James R. Slagle, H. Blum
- IEEE Trans. Computers
- 1977

- James R. Slagle
- J. ACM
- 1974

To prove really difficult theorems, resolution principle programs need to make better inferences and to make them faster. An approach is presented for taking advantage of the structure of some special theories. These are theories with simplifiers, commutativity, and associativity, which are valuable concepts to build in, since they so frequently occur inâ€¦ (More)

- James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
- IJCAI
- 1969

The object of consequence-finding is to deduce logical consequences from a set of axioms. The theory of J.R. Slagle's semantic resolution principle , an inference rule for first-order predicate calculus, is extended to consequence-finding. Given an interpretation I, it is proved that any prime (non-trivial) consequence, which is false in I, can be derivedâ€¦ (More)

- Richard C. T. Lee, James R. Slagle, C. T. Mong
- IEEE Transactions on Software Engineering
- 1978

We computer scientists face at least two problems in promoting the use of computerized data-base systems: 1) some important data might be missing; 2) there might be errors in the data. Both of these problems can be quite serious. If they cannot be solved, it will be quite hard to convince potential users that computerized information systems are useful.

- James R. Slagle, John K. Dixon
- J. ACM
- 1969

Many problems in artificial intelligence involve the searching of large trees of alternative possibilities—for example, game-playing and theorem-proving. The problem of efficiently searching large trees is discussed. A new method called “dynamic ordering” is described, and the older minimax and Alpha-Beta procedures are described forâ€¦ (More)

- James R. Slagle
- J. ACM
- 1967

The theory of J. A. Robinson's resolution principle, an inference rule for first-order predicate calculus, is unified and extended. A theorem-proving computer program based on the new theory is proposed and the proposed semantic resolution program is compared with hyper-resolution and set-of-support resolution programs. Renamable and semantic resolution areâ€¦ (More)

- James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
- IEEE Trans. Computers
- 1970

- Chin-Liang Chang, James R. Slagle
- Artif. Intell.
- 1971

- James R. Slagle
- J. ACM
- 1963

A large high-speed general-purpose digital computer (IBM 7090) was Programmed to solve elementary symbolic integration problems at approximately the level of a good college freshman. The program is called SAINT, an acronym for "Symbolic Automatic INTegrator." The SAINT program is written in LISP (McCarthy, 1960), and most of the work reported here Js theâ€¦ (More)

- James R. Slagle, Henry Hamburger
- Commun. ACM
- 1985

We describe an expert system for resource allocation in a particular military domain. The system incorporates variants of several important techniques of artificial intelligence and makes the first use of the Merit system for question selection. This technique enables the system to direct the acquisition of information by finding questions with a high ratioâ€¦ (More)