James R. Slagle

Available identifiers

zbMath Open slagle.james-rMaRDI QIDQ2549241

List of research outcomes

Publication	Date of Publication	Type
An object-oriented knowledge-based approach for formulating applied general equilibrium models	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q3311685	1982-01-01	Paper
Experiments with some algorithms that find central solutions for pattern classification	1979-01-01	Paper
Towards Automatic Auditing of Records	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4136605	1976-01-01	Paper
Automated theorem-proving for the theories of partial and total ordering	1975-01-01	Paper
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity	1974-01-01	Paper
Experiment with an automatic theorem-prover having partial ordering inference rules	1973-01-01	Paper
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets	1972-01-01	Paper
An Approach for Finding C -Linear Complete Inference Systems	1972-01-01	Paper
Application of game tree searching techniques to sequential pattern recognition	1971-01-01	Paper
Experiments in automatic learning for a multipurpose hueristic program	1971-01-01	Paper
Finding resolution proofs and using duplicate goals in AND/OR trees	1971-01-01	Paper
Interpolation Theorems for Resolution in Lower Predicate Calculus	1970-01-01	Paper
Experiments with the M & N tree-searching program	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5610102	1970-01-01	Paper
Experiments With Some Programs That Search Game Trees	1969-01-01	Paper
Experiments With a Multipurpose, Theorem-Proving Heuristic Program	1968-01-01	Paper
Generalizations of a Complex Analogue of the Real Tchebichev Polynomial Theorem	1968-01-01	Paper
Automatic Theorem Proving With Renamable and Semantic Resolution	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5559273	1966-01-01	Paper
An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions	1964-01-01	Paper
On an algorithm for minimum-cost procedures	1964-01-01	Paper
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus	1963-01-01	Paper

Research outcomes over time

This page was built for person: James R. Slagle