What people are saying - Write a review
We haven't found any reviews in the usual places.
A New Model of Hard Binary Constraint Satisfaction Problems
Runtime Performance Predictors
26 other sections not shown
Other editions - View all
abstract action agent anaphora APACS applied approach Artificial Intelligence attribute axioms background knowledge Bayesian networks circumscription class labels clauses complete component concept consistent coreference corresponding CSPs decision tree defined described dialogue domain edge effects environment example Figure first-order logic fluent frame problem global goal GSAT haze-order graph heuristic hierarchy implementation inference input interestingness International knowledge representation knowledge-base language learning algorithm logic programming lower bound LPMEME Machine Learning mapping metarule method minimal modality MSBN Negoplan nodes nonmonotonic operation output paper paraconsistent paraconsistent logic parameters parse path performance phase transition possible predicate problem Proceedings Prolog propagation pure literal query query expansion reasoning recursive reference constraints relation relevant represent representation retrieval rule Section selected semantic sentence situation situation calculus solution specific strategies structure subnets Table target techniques Theorem theory translation unsupervised learning user's variables