AAAI-90: Proceedings of the Eighth National Conference on Artificial Intelligence (2 volume set), Volume 8, Part 1
AAAI Press, Jul 27, 1990 - Artificial intelligence - 1174 pages
AI and Education. Automated Reasoning: automatic programming, planning and scheduling, rule-based reasoning, search, theorem proving, uncertainty, truth-maintenance systems, constraint-based systems. Cognitive Modeling. Commonsense Reasoning: qualitative reasoning, design, diagnosis, simulation. Impacts of AI Technology: organizational, economic, and social implications. Knowledge Acquisition and Expert System Design Methodologies: techniques for designing expert systems and acquiring domain knowledge. Knowledge Representation: knowledge-representation systems, inheritance, nonmonotonic logic, nonstandard logics, temporal reasoning. Machine Architectures and Computer Languages for AI. Machine Learning. Natural Language: generation and understanding; syntax, speech, dialogue. Perception and Signal Understanding: vision. Philosophical Foundations. Robotics. User Interfaces.
75 pages matching logic in this book
Results 1-3 of 75
What people are saying - Write a review
We haven't found any reviews in the usual places.
Abstract action active agent algorithm analysis apply approach Artificial Intelligence assumptions axioms backtracking behavior Case-Based Reasoning causal clause clustering complete complete graph component Computer Science conflict consider consistent constraint network constraint satisfaction constraint satisfaction problems context corresponding Dechter default defined definition described diagnosis domain edge equations example execution explanation Figure formula given goal graph heuristic Horn clause implemented inference initial input instantiation interactions k-tree Kleer knowledge base Knowledge Representation labeling literal logic logic programs method minimal NIMF node ontology operator paper parameters paramodulation parse partial path performance planner possible precondition prediction problem solving procedure Proceedings properties proposition qualitative query reasoning relation represent representation Research rules satisfy semantics sequence simulation situation solution specific step strategy symbol task techniques theorem theory tion tree truth maintenance system tuple University values variables