Thomas L. Dean
International Joint Conferences on Artificial Intelligence, Incorporated, 1999 - Computers - 1452 pages
IJCAI-99 is the Sixteenth International Joint Conference on Artificial Intelligence, sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAII) and the Scandinavian AI societies: Danish AI Society (DAIS), Finnish AI Society (FAIS), Norwegian AI Society (NAIS) and the Swedish AI Society (SAIS). To organize IJCAI-99 a Nordic IJCAI Scientific Advisory Committee (NISAC) has been established. IJCAII sponsors biennial conferences on artificial intelligence, which are the main forums for presenting AI-research results to the international AI communities.
83 pages matching rules in this book
Results 1-3 of 83
What people are saying - Write a review
We haven't found any reviews in the usual places.
NEURAL NETWORKS 2 Roni Khardon Dan Roth and Leslie G Valiant 911
DESCRIPTION LOGICS 1
Lemma Generation for Model Elimination by Reasoning with Concrete Domains
46 other sections not shown
Abstract action agents algorithm allocation application approach Artificial Intelligence assumption axioms belief revision belief sets bidder binary case-based case-based reasoning causal clauses combinatorial complexity computed concept conditional consider consistent constraints contract coordination corresponding database decision decommit decomposition default logic default theory defined Definition denote description logics DNNF domain encoding epistemic example Figure fluent formula framework function given goal Graphplan heuristic inference input instance knowledge language learning lemma linear Logic Programming maximal method modal modal logics model checking mutex Nash equilibrium node nonmonotonic NP-complete optimal paper path-consistency performance polynomial problem Proc proof propositional protocol provers query reasoning relations represent representation revision robot rules satisfiability SATPLAN Section Selman semantics similarity situation situation calculus Sokoban solution solve specific strategy structure subset temporal Theorem tion tractable tree tuple variables WalkSAT