Proceedings of the ... Annual National Conference on Artificial Intelligence, Volume 14AAAI, 1997 - Artificial intelligence |
From inside the book
Results 1-3 of 68
Page 201
... approach described here finds symmetries in the problem description , and the approach described in ( Crawford et al . 1996 ) finds symmetries in the full propositional expansion of the problem , but both break those symmetries by ...
... approach described here finds symmetries in the problem description , and the approach described in ( Crawford et al . 1996 ) finds symmetries in the full propositional expansion of the problem , but both break those symmetries by ...
Page 249
... approach ) , or the relations stored by the in- formation sources are described in terms of the global scheme ( source - centric approach ) . The TSIMMIS project ( Chawathe et al . 1994 ) investigates the query - centric approach to ...
... approach ) , or the relations stored by the in- formation sources are described in terms of the global scheme ( source - centric approach ) . The TSIMMIS project ( Chawathe et al . 1994 ) investigates the query - centric approach to ...
Page 424
... approaches were proposed to achieve this goal . ( Etherington and Crawford 1996 ) propose restric- tion of the search space to a " relevant portion " of the knowledge base ; their approach will usually deliver dif- ferent results than ...
... approaches were proposed to achieve this goal . ( Etherington and Crawford 1996 ) propose restric- tion of the search space to a " relevant portion " of the knowledge base ; their approach will usually deliver dif- ferent results than ...
Contents
Agent Architecture | 3 |
Language and Learning | 10 |
Agent Coordination | 16 |
Copyright | |
53 other sections not shown
Other editions - View all
Common terms and phrases
3SAT Abstract action agents algorithm applied approach arc-consistency Artificial Intelligence assignment axioms backtracking Bayesian network behavior Carnegie Mellon University causal CBASlack chatter clauses coloring 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 node optimal paper parameters performance phase transition planning possible post-failure prob probability problem instances Proc procedure propagation propositional qualitative quasigroup random reasoning representation Research resource retrievable query robot robustness rule rule-base satisfied scheduling Selman semantics sequence server simulation solution solve spatial specific strategies structure subgraph suffix tree SumHeight techniques temporal Theorem theory tion tree University unsatisfiable variables WSAT www.aaai.org