Advanced Topics in Artificial Intelligence: 10th Australian Joint Conference on Artificial Intelligence AI'97, Perth, Australia, November 30 - December 4, 1997. Proceedings
Springer, Nov 25, 1997 - Artificial intelligence - 516 pages
This book constitutes the refereed proceedings of the 10th Australian Joint Conference on Artificial Intelligence, AI'97, held in Perth, Australia, in November/December 1997. The volume presents 48 revised full papers selected from a total of 143 submissions. Also included are three keynote talks and one invited paper. The book is divided into topical sections on constraint satisfaction and scheduling, computer vision, distributed AI, evolutionary computing, knowledge-based systems, knowledge representation and reasoning, learning and machine vision, machine learning, NLP and user modeling, neural networks, robotics and machine recognition, and temporal qualitative reasoning.
14 pages matching default theory in this book
Results 1-3 of 14
What people are saying - Write a review
We haven't found any reviews in the usual places.
On Finding Needles in WWW Haystacks
22 other sections not shown
actions actor graph agent algorithm application approach Artificial Intelligence backtracking belief revision Boolean browsing cache caching algorithms calculated CasCor CasPer causal causal system CDBT chromosome classification complexity Computer Science concept consistent constraint data set databases decision tree default logic default theory Defeasible Logic defined domain effect error evolved genes example experimental experiments extracted Figure filter FL system formula frame function fuzzy heuristic hidden neurons induction input iterative repair knowledge base learning Machine Learning method mutation neural networks neurons nogood object optical flow output paper parameters pattern performance prediction problem Proceedings pursuers recognition representation represented Ripple Down Rules robot rules S_CasPer sample segment selected semantic sensor sequence simulated annealing simulation situation calculus solution solving specification strategy structure syntactic Table techniques Theorem University variables vector weight workflow