IJCAI-99: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Stockholm, Sweden, July 31-August 6, 1999, Volume 1International 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. |
Contents
from Observed Data Based on ScaleTypes | 30 |
Fixpoints based on Automata on Infinite Trees | 84 |
Reasoning with Concrete Domains | 90 |
Copyright | |
67 other sections not shown
Common terms and phrases
Abstract action agents algorithm allocation application approach Artificial Intelligence 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 NP-complete optimal paper path-consistency performance polynomial problem Proc proof propositional provers query reasoning relations represent representation revision robot rules satisfiability SATPLAN Section Selman semantics similarity situation situation calculus Sokoban solution solve space specific strategy structure subset temporal Theorem tion tractable tree tuple variables WalkSAT