MACHINE INTELLIGENCE 9
–AI Classics/files/AI/classics/Machine_Intelligence_9/Machine Intelligence v9.pdf
A. YONEZAWA and C. HEWITT 41 REPRESENTATIONS FOR ABSTRACT REASONING 4 A maximal method for set variables in automatic theorem-proving W. W. BLEDSOE
Jan-25-2015, 22:24:03 GMT
- Country:
- Asia > Middle East (0.67)
- North America
- United States > California (1.00)
- Canada (1.00)
- Europe
- United Kingdom > England (1.00)
- Netherlands (0.67)
- Genre:
- Research Report (1.00)
- Personal (1.00)
- Instructional Material > Course Syllabus & Notes (0.67)
- Industry:
- Law (1.00)
- Education (1.00)
- Media > News (0.92)
- Information Technology (0.92)
- Law Enforcement & Public Safety (0.92)
- Consumer Products & Services (0.92)
- Leisure & Entertainment
- Government
- Military (1.00)
- Regional Government
- North America Government > United States Government (0.92)
- >
- > > > > North America Government (0.92)
- Health & Medicine > Therapeutic Area
- Neurology (1.00)
- Energy > Oil & Gas
- Upstream (0.92)
- Transportation
- Technology:
- Information Technology
- Knowledge Management > Knowledge Engineering (1.00)
- Software > Programming Languages (1.00)
- Communications > Networks (0.92)
- Artificial Intelligence
- Cognitive Science > Problem Solving (1.01)
- Machine Learning > Pattern Recognition (1.00)
- Games > Chess (0.93)
- Vision (0.92)
- Robots > Locomotion (0.67)
- History (0.67)
- Representation & Reasoning
- Logic & Formal Reasoning (1.01)
- Optimization (1.01)
- Expert Systems (1.01)
- Uncertainty > Fuzzy Logic (1.01)
- Rule-Based Reasoning (1.00)
- Search (1.00)
- Scripts & Frames (1.00)
- Ontologies (0.67)
- Planning & Scheduling (0.67)
- Natural Language
- Grammars & Parsing (0.92)
- Text Processing (0.92)
- Information Technology