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
Finding resolution proofs and using duplicate goals in AND/OR trees	1971-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
Experiments with the M & N tree-searching program	1970-01-01	Paper
Interpolation Theorems for Resolution in Lower Predicate Calculus	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
Generalizations of a Complex Analogue of the Real Tchebichev Polynomial Theorem	1968-01-01	Paper
Experiments With a Multipurpose, Theorem-Proving Heuristic Program	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James R. Slagle