SOLVING PROBLEMS BY FORMULA MANIPULATION IN LOGIC AND LINEAR INEQUALITIES

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 1971, Pages 553-559

  Hodes, Louis ^a  

^a NATIONAL INSTITUTES OF HEALTH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; LINEAR PROGRAMMING;

AXIOMATICS; GENERALIZED METHOD; LINEAR INEQUALITIES; LINEAR-PROGRAMMING; MECHANICAL; ORDERS OF MAGNITUDE; PRACTICAL PROBLEMS; REAL NUMBER;

FORMAL LOGIC;

EID: 0009670130     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Chang, C.L.: Fuzzy Algebras, Fuzzy Functions, and Their Application to Function Approximation. Heuristics Laboratory Report, Division of Computer Research and Technology, N.I.H., July, 1970.
2. Collins, G.E.: Tarski's Decision Method for Elementary Algebra. Summer Institute for Symbolic Logic. Cornell University, 1957.
3. Gass, S.I.: Linear Programming. Third Edi- tion, McGraw-Hill, 1969.
4. Hodes, L.: Dense Linear Order and Linear Inequalities. IBM Research Report RC-908, 1963.
5. Hodes, L.: Programming Languages, Logic and Cooperative Games. Presented at Symposium for Symbolic and Algebraic Manipulation, March, 1966. Abstract in Comm of ACM, August, 1966.
6. McCarthy, J. et. a I.: LISP 1.5 Programmer's Manual, M.I.T., 1963.
7. Rogers, H.: An Example in Mathematical Logic. Mathematical Monthly. November, 1963.
8. Tarski, A.: A Decision Method for Elementary Algebra and Geometry. Second Edition, Berkeley and Los Angeles, 1951.
9. Waugh, F.V.: The Minimum-Cost Dairy Feed. Journal of Farm Economics, August, 19 51.