AAAI-96: Proceedings of the Thirteenth National Conference on Artificial Intelligence and The Eighth Annual Conference on Innovative Applications of Artificial Intelligence (2 volume set), Volumes 1-2
AAAI Press, Jul 1, 1996 - Computers - 1642 pages
August 4-8, 1996, Portland, Oregon
AAAI '96 provides a broad forum for information exchange and interaction among researchers working in different subdisciplines, in different research paradigms, and in different stages of research in artificial intelligence. Topics cover principles underlying cognition, perception and action; design, application, and evaluation of AI algorithms and systems; architectures and frameworks for classes of AI systems; and analysis of tasks and domains in which intelligent systems perform. Included are contributions that describe theoretical, empirical, or experimental results; represent areas of AI that may have been underrepresented in recent conferences; present promising new research concepts, techniques, or perspectives; or discuss issues that cross traditional subdisciplinary boundaries.
Distributed for the AAAI Press
51 pages matching satisfiability in this book
Results 1-3 of 51
What people are saying - Write a review
We haven't found any reviews in the usual places.
Advantages of a Leveled Commitment Contracting Data Consistency
AAAI96 Best Paper Award xxi Multiagent Learning
Agent Amplified Communication Cooperation
54 other sections not shown
3SAT abstraction actions agents Alpha-Beta alpha-beta pruning application approach arc consistency Artificial Intelligence assignment backtracking behavior bigram Branch and Bound checks clauses coalition CommonKADS complexity constraint satisfaction constraint satisfaction problems cost decommit defined denote domain edge efficient estimate evaluation example experiments Figure formula function game tree given global goal graph GSAT heuristic inference initial instances instantiation interactive Kautz knowledge base language learning Machine Learning MaxFlips MemSSS method minimal minimax operator optimal paper parameter path performance phase transition player possible problem solving Proc procedure pruning query random real-time search relations representation retrieval role rules sample satisfiability search algorithms search space selected Selman semantics sequence series-parallel graph shows simulation solution specific straints strategy structure subproblem subset subteam task techniques Theorem tion transposition table tree University variables VECA