What people are saying - Write a review
We haven't found any reviews in the usual places.
Language and Learning
53 other sections not shown
Other editions - View all
3SAT Abstract action agents algorithm allocation applied approach arc-consistency Artificial Intelligence assignment axioms backtracking Bayesian network behavior Carnegie Mellon University causal CBASlack chatter clauses complexity component Computer constraint satisfaction constraint satisfaction problems context dataset decision defined denoted described description logic distribution document domain dynamic emotion evaluation example expected value Figure formula function goal graph graph coloring GSAT heuristic commitments inference input literals local search logic Logic Programming method minimal negotiation node optimal paper parameters performance phase transition planning possible post-failure prob probability problem instances Proc procedure propagation qualitative quasigroup random reasoning representation Research resource retrievable query robot robustness rule rule-base satisfied scheduling Selman semantics sequence servers simulation solution solve spatial specific strategies structure subgraph suffix tree SumHeight techniques temporal Theorem theory tion tree University unsatisfiable variables WSAT www.aaai.org