Proceedings: The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence ConferenceAlso available in 4 volume print edition. |
Contents
Tractable Description Logics for Ontologies 602 | xxiii |
Search | xxiv |
AAAI Organization | xxvii |
Copyright | |
48 other sections not shown
Common terms and phrases
AAAI action algorithm allocation applications approach approximation Artificial Intelligence assignment behavior belief bidders Boolean bundle Carnegie Mellon University clauses coalition combinatorial auctions complexity Computer Conference consistent constraint satisfaction problem coordination CP-net dataset defined denote diagnosis distribution DNNF domain domain theory dynamic efficient encoding environment equations evaluation example Figure formula function given global goal goal models graph hidden Markov models inference instantiation interaction learning mechanism method multi-agent systems negotiation node nogoods NP-complete OBDD optimal outcome paper parameters Pareto optimal partition performance planning player polynomial prob problem Proc proposed propositional protocol pruned quantified random represent Research robot Sandholm satisfied sensor model sequence solution solve solvers strategy structure sub-events subset task techniques Theorem tion trajectories trust metric tuple University updated utility V₁ valuation variables WalkSAT