Twelfth Conference on Innovative Applications of Artificial IntelligenceAAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence. The annual AAAI National Conference provides a forum for information exchange and interaction among researchers from all disciplines of AI. Contributions include theoretical, experimental, and empirical results. Topics cover principles of cognition, perception, and action; the design, application, and evaluation of AI algorithms and systems; architectures and frameworks for classes of AI systems; and analyses of tasks and domains in which intelligent systems perform. Distributed for AAAI Press. |
From inside the book
Results 1-3 of 57
Page 266
... Selman , B .; McAloon , K .; and Tretkoff , C. 1998. Randomization in backtrack search : Exploit- ing heavy - tailed profiles for solving hard scheduling prob- lems . In Proceedings of the International Conference on Artificial ...
... Selman , B .; McAloon , K .; and Tretkoff , C. 1998. Randomization in backtrack search : Exploit- ing heavy - tailed profiles for solving hard scheduling prob- lems . In Proceedings of the International Conference on Artificial ...
Page 297
... ( Selman , Kautz , & McAllester 1997 ; Kautz & Selman 1996 ; Larrabee 1992 ) . Significant progress has been made on improving the speed of these methods since the development of GSAT . In fact , a series of innovations have led to ...
... ( Selman , Kautz , & McAllester 1997 ; Kautz & Selman 1996 ; Larrabee 1992 ) . Significant progress has been made on improving the speed of these methods since the development of GSAT . In fact , a series of innovations have led to ...
Page 298
... ( Selman , Levesque , & Mitchell 1992 ) HSAT ( ) Same as GSAT , but break ties in favor of the least recently flipped ... Selman , & Kautz 1997 ) WSAT - B ( p ) Like WSAT - G except , in the latter case , flip the variable that would cause ...
... ( Selman , Levesque , & Mitchell 1992 ) HSAT ( ) Same as GSAT , but break ties in favor of the least recently flipped ... Selman , & Kautz 1997 ) WSAT - B ( p ) Like WSAT - G except , in the latter case , flip the variable that would cause ...
Contents
InterLayer Learning Towards Emergent Cooperative Behavior3 | 3 |
Shawn Arseneau Wei Sun Changpeng Zhao and Jeremy R Cooperstock McGill University | 9 |
Bell NASA Ames Research Center W A Sethares and J A Bucklew University of WisconsinMadison | 15 |
Copyright | |
106 other sections not shown
Other editions - View all
Common terms and phrases
action agent algorithm allocation applied approach Artificial Intelligence assignment Association for Artificial axioms behavior bids bundle clauses Cobot combinatorial auctions complexity compute compute minimal consider consistent constraints Datalog defeasible logics defined Definition denote domain dynamic equivalent evaluation example Figure Fluent Calculus formula framework function given goal Golog Golomb ruler graph GSAT heuristic implementation inference input instances interaction knowledge base LambdaMOO language learning Lemma Levesque literal local search logic logic programming maximal method minimal models node NP-complete objects ontology optimal paper performance Player prediction problem Proc procedure propositional propositional logic pruning query reasoning relations representation robot rules Sandholm satisfiability Selman semantics sequence situation calculus solution solve specific step strategy structure subset techniques Theorem theory tion tractable tree utility V₁ variables WalkSAT www.aaai.org