18. AAAI / 13. IAAI 2002:
Edmonton, Alberta, Canada Rina Dechter , Richard S. Sutton (Eds.):
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada.
AAAI Press / The MIT Press 2002 AAAI-02 Technical Papers
Constraint Satisfaction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ulrich Junker :
Preference-Based Search and Multi-Criteria Optimization.
34-40
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Knowledge Representation
export record as
dblp key:
export record as
dblp key:
Anthony Hunter :
Measuring Inconsistency in Knowledge via Quasi-Classical Models.
68-73
export record as
dblp key:
Yongmei Liu :
A Hoare-Style Proof System for Robot Programs.
74-79
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Logic Programming
export record as
dblp key:
export record as
dblp key:
Pedro Cabalar :
A Three-Valued Characterization for Strong Equivalence of Logic Programs.
106-111
export record as
dblp key:
Learning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Russell Greiner ,
Wei Zhou :
Structural Extension to Logistic Regression: Discriminative Parameter Learning of Belief Net Classifiers.
167-173
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Theodore J. Perkins :
Reinforcement Learning for POMDPs Based on Action Values and Stochastic Optimization.
199-204
export record as
dblp key:
export record as
dblp key:
Benjamin W. Wah ,
Minglun Qian :
Constrained Formulations and Algorithms for Stock-Price Predictions Using Recurrent FIR Neural Networks.
211-216
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Markov Decision Processes
export record as
dblp key:
Craig Boutilier :
A POMDP Formulation of Preference Elicitation Problems.
239-246
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Omid Madani :
On Policy Iteration as a Newton s Method and Polynomial Policy Iteration Algorithms.
273-278
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Multiagent Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Auctions
export record as
dblp key:
Craig Boutilier :
Solving Concisely Expressed Combinatorial Auction Problems.
359-366
export record as
dblp key:
export record as
dblp key:
conf/aaai/Leyton-BrownST02 export record as
dblp key:
export record as
dblp key:
Game Theory
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Natural Language Processing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Planning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Luke Hunsberger :
Algorithms for a Temporal Decoupling Problem in Multi-Agent Planning.
468-475
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Todd W. Neller :
Iterative-Refinement for Action Timing Discretization.
492-497
export record as
dblp key:
Aarati Parmar :
A Logical Measure of Progress for Planning.
498-506
Actions and Temporal Reasoning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Probabilistic and Causal Reasoning
export record as
dblp key:
Jim Blythe :
Visual Exploration and Incremental Utility Elicitation.
526-532
export record as
dblp key:
Carlos Brito ,
Judea Pearl :
A Graphical Criterion for the Identification of Causal Effects in Linear Models.
533-538
export record as
dblp key:
export record as
dblp key:
Mark Hopkins :
Strategies for Determining Causes of Events.
546-552
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jin Tian ,
Judea Pearl :
A New Characterization of the Experimental Implications of Causal Bayesian Networks.
574-580
Robotics
export record as
dblp key:
export record as
dblp key:
conf/aaai/MontemerloPRTV02 export record as
dblp key:
conf/aaai/MontemerloTKW02 export record as
dblp key:
export record as
dblp key:
Anthony Stentz :
CD*: A Real-Time Resolution Optimal Re-Planner for Globally Constrained Problems.
605-612
Satisfiability
export record as
dblp key:
Fahiem Bacchus :
Enhancing Davis Putnam with Extended Binary Clause Reasoning.
613-619
export record as
dblp key:
export record as
dblp key:
Adnan Darwiche :
A Compiler for Deterministic, Decomposable Negation Normal Form.
627-634
export record as
dblp key:
export record as
dblp key:
Alex S. Fukunaga :
Automated Discovery of Composite SAT Variable-Selection Heuristics.
641-648
export record as
dblp key:
conf/aaai/GiunchigliaNT02 export record as
dblp key:
export record as
dblp key:
Holger H. Hoos :
A Mixture-Model for the Behaviour of SLS Algorithms for SAT.
661-667
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
James D. Park :
Using Weighted MAX-SAT Engines to Solve MPE.
682-687
export record as
dblp key:
export record as
dblp key:
Toby Walsh :
The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT.
695-701
Search
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/aaai/FinkelsteinMR02 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/aaai/McNaughtonLSS02 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Vision
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Web and Information Extraction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
export record as
dblp key:
conf/aaai/DamianosPWRDWH02 export record as
dblp key:
export record as
dblp key:
conf/aaai/FukunagaHFAMN02 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/aaai/TecuciBMSBCLDC02
Emerging Applications
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Howard E. Shrobe :
Computational Vulnerability Analysis for Information Survivability.
919-926
export record as
dblp key:
conf/aaai/ThomereBCCEMPR02 export record as
dblp key:
Student Abstracts
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Thomas Lin :
Analogical Inference over a Common Sense Database.
955-956
export record as
dblp key:
Hugo Liu ,
Push Singh :
MAKEBELIEVE: Using Commonsense Knowledge to Generate Stories.
957-958
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
SIGART/AAAI Doctoral Consortium
export record as
dblp key:
export record as
dblp key:
Boris Brandherm :
Efficient Modeling of Temporally Variable User Properties with Dynamic Bayesian Networks.
979
export record as
dblp key:
Doina Caragea :
Learning in Open-Ended Dynamic Distributed Environments.
980
export record as
dblp key:
Murat Deviren :
Dynamic Bayesian Networks for Automatic Speech Recognition.
981
export record as
dblp key:
export record as
dblp key:
Haipeng Guo :
A Bayesian Metareasoner for Algorithm Selection for Real-Time Bayesian Network Inference Problems.
983
export record as
dblp key:
Lalana Kagal :
An Agent Approach to Security in Pervasive Environments.
984
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pragnesh Jay Modi :
Distributed Constraint Optimization and Its Application to Multiagent Resource Allocation.
987
export record as
dblp key:
export record as
dblp key:
Thomas T. Tran :
A Reputation-Oriented Reinforcement Learning Approach for Agents in Electronic Marketplaces.
989
export record as
dblp key:
Tzong-Han Tsai :
A Dialogue System with Digression Handling-An Ontology-Based Approach.
990-991
Intelligent Systems Demonstrations
export record as
dblp key:
export record as
dblp key:
conf/aaai/ChannarukulMA02 export record as
dblp key:
export record as
dblp key:
Richard A. Frost :
SpeechWeb: A Web of Natural-Language Speech Applications.
998-999
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Talks
export record as
dblp key:
Hector Geffner :
Perspectives on Artificial Intelligence Planning.
1013-1023
export record as
dblp key:
data released under the ODC-BY 1.0 license
