Acapulco, Mexico
Edited by Georg Gottlob and Toby Walsh
No papers match this filter.
Papers
Logical Filtering
Pages 75–81
The Power of Suggestion
Pages 127–131
A Logic For Causal Reasoning
Pages 141–145
Responsibility and Blame: A Structural-Model Approach
Pages 147–152
Causes and Explanations Revisited
Pages 154–161
Dynamic Bayesian modeling of the cerebral activity
Pages 169–175
Body Movement Analysis of Human-Robot Interaction
Pages 177–181
Amalgams of Constraint Satisfaction Problems
Pages 197–201
A Maximal Tractable Class of Soft Constraints
Pages 209–213
Multiset Ordering Constraints
Pages 221–225
Scenario-based Stochastic Constraint Programming
Pages 257–261
Consistency and Set Intersection
Pages 263–269
Efficient Symmetry Breaking for Boolean Satisfiability
Pages 271–275
On the Foundations of Expected Expected Utility
Pages 285–289
Abductive Matchmaking using Description Logics
Pages 337–341
Keys, Nominals, and Concrete Domains
Pages 349–353
Model-based Diagnosis of Hybrid Systems
Pages 376–380
Automated Qualitative Domain Abstraction
Pages 382–386
Bayesian Information Extraction Network
Pages 421–425
Coherent Keyphrase Extraction via Web Mining
Pages 434–441
Inverse Circumscription
Pages 449–453
Evaluating Significance of Inconsistencies
Pages 468–477
Spaces of Theories with Ideal Refinement Operators
Pages 527–531
Learning Minesweeper with Multirelational Learning
Pages 533–539
Multi-prototype Support Vector Machine
Pages 541–545
Spectral Learning
Pages 561–565
A Learning Algorithm for Web Page Scoring Systems
Pages 575–579
Complexity of Determining Nonemptiness of the Core
Pages 613–617
Emergence of Cooperation in a Pursuit-Evasion Game
Pages 639–645
Protocol Conformance for Logic-based Agents
Pages 679–683
Constitutive Rules for Agent Communication Languages
Pages 691–697
Simultaneous Adversarial Multi-Robot Learning
Pages 699–703
Complexity Results about Nash Equilibria
Pages 765–770
Local-Effect Games
Pages 772–779
Probabilistically Survivable MASs
Pages 789–794
Evaluating Coverage for Large Symbolic NLG Grammars
Pages 811–815
Outlier Detection Using Default Logic
Pages 833–837
Ordering Default Theories
Pages 839–845
Answer Set Optimization
Pages 867–871
Weak Conditional Logics of Normality
Pages 873–877
Tucking RCC in Cyc's Ontological Bed
Pages 894–898
Integrity and Change in Modular Ontologies
Pages 900–907
Factored Planning
Pages 929–934
Resource Temporal Networks: Definition and Complexity
Pages 948–952
In Defense of PDDL Axioms
Pages 961–967
Optimal Time-Space Tradeoff in Probabilistic Inference
Pages 969–974
Variable Resolution Particle Filter
Pages 976–983
First-order probabilistic inference
Pages 985–990
Dynamic Probabilistic Relational Models
Pages 992–1001
Generalizing Plans to New Environments in Relational MDPs
Pages 1003–1009
Covariant Policy Search
Pages 1019–1023
Point-based value iteration: An anytime algorithm for POMDPs
Pages 1025–1031
Gaussian Process Models of Spatial Aggregation Algorithms
Pages 1045–1050
Qualitatively Faithful Quantitative Prediction
Pages 1052–1059
Causal Theories of Action: A Computational Core
Pages 1073–1077
Describing Additive Fluents in Action Language C+
Pages 1079–1083
The Concurrent, Continuous FLUX
Pages 1085–1089
Definition and Complexity of Some Basic Metareasoning Problems
Pages 1099–1105
Non-Invasive Brain-Actuated Control of a Mobile Robot
Pages 1121–1125
Consistent, Convergent, and Constant-Time SLAM
Pages 1143–1149
A Structure-Based Variable Ordering Heuristic for SAT
Pages 1167–1171
Backdoors To Typical Case Complexity
Pages 1173–1177
Backbone Guided Local Search for Maximum Satisfiability
Pages 1179–1185
Phase Transitions of Bounded Satisfiability Problems
Pages 1187–1192
Understanding the Power of Clause Learning
Pages 1194–1200
Phase Transitions of the Asymmetric Traveling Salesman
Pages 1202–1209
Distributed Patient Scheduling in Hospitals
Pages 1224–1231
Factored A* Search for Models over Sequences and Trees
Pages 1246–1250
An Improved Algorithm for Optimal Bin Packing
Pages 1252–1257
Sparse-Memory Graph Search
Pages 1259–1267
Layered Mereotopology
Pages 1269–1273
Reasoning about distances
Pages 1275–1281
Tractable Pareto Optimization of Temporal Preferences
Pages 1289–1293
Corpus-based, Statistical Goal Recognition
Pages 1303–1307
A General Model for Online Probabilistic Plan Recognition
Pages 1309–1317
A Resolution Theorem for Algebraic Domains
Pages 1339–1339
Case Base Adaptation Using Solution-Space Metrics
Pages 1347–1347
Coverage-Optimized Retrieval
Pages 1349–1349
Grid-based SensorDCSP
Pages 1359–1360
Dynamic Vehicle Routing with Stochastic Requests
Pages 1362–1362
Efficient Representation of Adhoc Constraints
Pages 1368–1368
Propagation Redundancy for Permutation Channels
Pages 1370–1370
Making the Breakout Algorithm Complete Using Systematic Search
Pages 1374–1374
Sampling Combinatorial Spaces Using Biased Random Walks
Pages 1376–1379
Finite Domain Constraint Solver Learning
Pages 1379–1379
EVOC: A Music Generating System using Genetic Algorithms
Pages 1383–1383
Temporal Reasoning with Preferences and Uncertainty
Pages 1385–-1
BDIOCTL: Obligations and the Specification of Agent Behavior
Pages 1389–1389
Prolegomenon to a Theory of Conservative Belief Revision
Pages 1391–1392
Extending DTGOLOG with Options
Pages 1394–1394
Indirect and Conditional Sensing in the Event Calculus
Pages 1396–1396
Proactive Dialogue for Interactive Knowledge Capture
Pages 1398–1398
Coherence of Laws
Pages 1400–1400
An Epistemic Logic for Arbitration (Extended Abstract)
Pages 1402–1402
Constructing utility models from observed negotiation actions
Pages 1404–1404
Engineering a complex ontology with time
Pages 1406–1406
Learning Consumer Photo Categories for Semantic Retrieval
Pages 1413–1413
Intelligent Multimodal Stream Processing
Pages 1415–1415
Collaborative Web Search
Pages 1417–1418
A Statistical Model for Flexible String Similarity
Pages 1420–1420
Learning to Compete in Heterogeneous Web Search Environments
Pages 1429–1430
Approximate Policy Iteration using Large-Margin Classifiers
Pages 1432–1433
Active Learning with Ensembles for Image Classification
Pages 1435–1435
Item Selection Strategies for Collaborative Filtering
Pages 1437–1438
Modular self-organization for a long-living autonomous agent
Pages 1440–1441
Towards a Theoretical Framework for Ensemble Classification
Pages 1443–1443
Multiple-Goal Reinforcement Learning with Modular Sarsa(0)
Pages 1445–1446
Integrating Background Knowledge Into Text Classification
Pages 1448–1448
A Formalization of Equilibria for Multiagent Planning
Pages 1460–1461
Bidding Marginal Utility in Simultaneous Auctions
Pages 1463–1463
NoA - A Normative Agent Architecture
Pages 1465–1465
Virtual World as Interface for Human-Robot Interaction
Pages 1473–1473
The Knowledge Required to Interpret Noun Compounds
Pages 1483–1484
Improving Word Sense Disambiguation in Lexical Chaining
Pages 1486–1487
A Revised Algorithm for Latent Semantic Analysis
Pages 1489–1490
Identifying Synonyms among Distributionally Similar Words
Pages 1492–1492
A Logic Prover for Text Processing
Pages 1494–1494
Neural Executive Attentional Control in Robots
Pages 1501–1501
Boosting Face Identification in Airports
Pages 1503–1503
Artificial Neural Network for Sequence Learning
Pages 1507–-1
Multiagent Planning with Partially Ordered Temporal Plans
Pages 1513–1513
Recognizing Plan/Goal Abandonment
Pages 1515–1516
Automated Generation of Understandable Contingency Plans
Pages 1518–1518
A Planning Algorithm for Predictive State Representations
Pages 1520–1520
Parallelizing State Space Plans Online
Pages 1522–1522
A lookahead strategy for solving large planning problems
Pages 1524–1524
Using Available Memory to Transform Graphplan's Search
Pages 1526–-1
Lookahead Pathologies for Single Agent Search
Pages 1531–1532
Real-Time Strategy Games: A New AI Research Challenge
Pages 1534–1534
Multiple Agents Moving Target Search
Pages 1536–1537
Delayed Duplicate Detection: Extended Abstract
Pages 1539–1540
A New Node Centroid Algorithm for Bandwidth Minimization
Pages 1544–1544
Towards Pervasive Robotics
Pages 1553–1553
A Visual-Sensor Model for Mobile Robot Localisation
Pages 1555–1555
Comparing image-based localization methods
Pages 1560–1561
Corpus-Based Knowledge Representation
Pages 1567–1571
Challenges in Web Search Engines
Pages 1573–1578
Deploying Information Agents on the Web
Pages 1580–1585
Constraint Satisfaction, Databases, and Logic
Pages 1587–1594
Web Intelligence (WI): What Makes Wisdom Web?
Pages 1596–1600
Self-reconfiguring Robots: Successes and Challenges
Pages 1602–-1
Automated Verification: Graphs, Logic, and Automata
Pages 1603–1605
Automated Reasoning: Past Story and New Trends
Pages 1607–1611
Automatically Personalizing User Interfaces
Pages 1613–1618
Intelligent Systems in Travel and Tourism
Pages 1620–-1
Writer's Aid: Using a Planner in a Collaborative Interface
Pages 1629–1629
Broadcast News Navigator (BNN) Demonstration
Pages 1639–1639
Demonstration: Liaison Agents for Distributed Space Operations
Pages 1641–1641
TAGA: Travel Market Framework in Agentcities
Pages 1645–-1
Front matter, copyright and publication details
Sponsored by the
International Joint Conferences on Artificial Intelligence, Inc. (IJCAI)
The American Association for Artificial Intelligence (AAAI)
The Mexican Society for Artificial Intelligence (SMIA)
In cooperation with the AI Communities from Argentina, Brazil, Chile, and Venezuela
Copyright © 2003 International Joint Conferences on Artificial Intelligence, Inc.
All rights reserved.
Distributed by Morgan Kaufmann Publishers an imprint of Elsevier Science
500 Sansome Street, Suite 400, San Francisco, CA 941111
http://www.mkp.com
Secretary-Treasurer: Ramasamy Uthurusamy, General Motors Corporation (USA)
Carol McKenna Hamilton, Executive Director
ISBN 0-127-05661-0
Front matter
- Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
- Dynamic Probabilistic Relational Models
- Belief, Awareness, and Two-Dimensional Logic
- Channeling Constraints and Value Ordering in the Quasi Group Completion Problem
- A Portfolio Approach to Algorithm Selection
- Towards domain-independent, task-oriented, conversational adequacy
- Author Index
