18. IJCAI 2003:
Acapulco,
Mexico
Georg Gottlob, Toby Walsh (Eds.):
IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003.
Morgan Kaufmann 2003 
AI and Data Integration
AI and the Internet
Art and Creativity
Automated Reasoning
Belief Revision and Update
Case-Based Reasoning
Causality
Cognitive Modeling
Cognitive Robotics
Constraints
- Christian Bessière, Anaïs Fabre, Ulrich Junker:
Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving.
191-196
- Andrei A. Bulatov, Evgeny S. Skvortsov:
Amalgams of Constraint Satisfaction Problems.
197-202
- Assef Chmeiss, Philippe Jégou, Lamia Keddar:
On a generalization of triangulated graphs for domains decomposition of CSPs.
203-208
- David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin:
A Maximal Tractable Class of Soft Constraints.
209-214
- Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
215-220
- Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints.
221-226
- Gianluigi Greco, Francesco Scarcello:
Non-Binary Constraints and Optimal Dual-Graph Representations.
227-232
- Christophe Jermann, Bertrand Neveu, Gilles Trombettoni:
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems.
233-238
- Javier Larrosa, Thomas Schiex:
In the quest of the best form of local consistency for Weighted CSP.
239-244
- Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek:
A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint.
245-250
- Samir Loudni, Patrice Boizumault:
Solving Constraint Optimization Problems in Anytime Contexts.
251-256
- Suresh Manandhar, Armagan Tarim, Toby Walsh:
Scenario-based Stochastic Constraint Programming.
257-262
- Yuanlin Zhang, Roland H. C. Yap:
Consistency and Set Intersection.
263-270
Constraints and Symmetry
Decision Theory
Description Logics
- Franz Baader:
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles.
319-324
- Franz Baader:
Terminological Cycles in a Description Logic with Existential Restrictions.
325-330
- Piero A. Bonatti:
On the Undecidability of Description and Dynamic Logics with Recursion and Counting.
331-336
- Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Abductive Matchmaking using Description Logics.
337-342
- Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms.
343-348
- Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
349-354
- Stefan Schlobach, Ronald Cornet:
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.
355-362
Diagnosis
Information Extraction
- Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel:
Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference.
403-408
- Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg:
Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging.
409-414
- Ion Muslea, Steven Minton, Craig A. Knoblock:
Active Learning with Strong and Weak Views: A Case Study on Wrapper Induction.
415-420
- Leonid Peshkin, Avi Pfeffer:
Bayesian Information Extraction Network.
421-426
- Marios Skounakis, Mark Craven, Soumya Ray:
Hierarchical Hidden Markov Models for Information Extraction.
427-433
- Peter D. Turney:
Coherent Keyphrase Extraction via Web Mining.
434-442
Knowledge Representation
- Thomas Bolander:
From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief.
443-448
- Hubie Chen:
Inverse Circumscription.
449-454
- Hubie Chen:
A Theory of Average-Case Compilability in Knowledge Representation.
455-460
- Tracy Hammond, Randall Davis:
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition.
461-467
- Anthony Hunter:
Evaluating Significance of Inconsistencies.
468-478
Learning
Clustering and Bayes Net Learning
Ensembles
Evaluating Classifiers
Inductive Logic Programming
Kernel Methods
Partially Labeled Data
Text and Web
Tree Learning
Multiagent Systems
Coalition Formation
Emergent Behavior
- Attila Kondacs:
Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation.
633-638
- Geoff Nitschke:
Emergence of Cooperation in a Pursuit-Evasion Game.
639-646
Evolution and Genetic Algorithms
Game Playing
Logic-Based MAS and Communication Languages
Multiagent Reinforcement Learning and POMDPs
Multiagent Systems
Multiagent Tracking
Nash Equilibria
Nonmanipulability and Fault-Tolerance
Natural Language
Nonmonotonic Reasoning
Default Logic
Logic Programming
Nonmonotonic Reasoning
Ontologies and Foundations
Perception
Planning
Probabilistic Inference
Probabilistic Inference:
First Order
- David Poole:
First-order probabilistic inference.
985-991
- *** paper retracted by the authors *** [Dynamic Probabilistic Relational Models].
992-1002
Probabilistic Planning
Abstraction,
Transfer
Probabilistic Planning
Qualitative Reasoning
Reasoning about Actions and Change
Resource-Bounded Reasoning
Robotics
Simultaneous Localization and Mapping
Satisfiability
Satisfiability and Phase Transitions
Scheduling
Search
Spatial Reasoning
Temporal Reasoning
User Modeling
Vision
Poster Papers
Automated Reasoning
Case-Based Reasoning
Constraints
- Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A Simulated Annealing Approach to the Travelling Tournament Problem.
1357-1358
- Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls:
Grid-based SensorDCSP.
1359-1361
- Russell Bent, Pascal Van Hentenryck:
Dynamic Vehicle Routing with Stochastic Requests.
1362-1363
- Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
1364-1365
- James Bowen, Chavalit Likitvivatanavong:
Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems.
1366-1367
- Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Efficient Representation of Adhoc Constraints.
1368-1369
- Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy for Permutation Channels.
1370-1371
- Iván Dotú, Alvaro del Val, Manuel Cebrián:
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.
1372-1373
- Carlos Eisenberg, Boi Faltings:
Making the Breakout Algorithm Complete Using Systematic Search.
1374-1375
- Jordan Erenrich, Bart Selman:
Sampling Combinatorial Spaces Using Biased Random Walks.
1376-1380
- Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtchenko, AbdelAli Ed-Dbali:
Finite Domain Constraint Solver Learning.
1379-1380
- Adrian Petcu, Boi Faltings:
Applying interchangeability techniques to the distributed breakout algorithm.
1381-1382
- Timothy Weale, Jennifer Seitzer:
EVOC: A Music Generating System using Genetic Algorithms.
1383-1384
- Neil Yorke-Smith, Kristen Brent Venable, Francesca Rossi:
Temporal Reasoning with Preferences and Uncertainty.
1385-
Knowledge Representation
- Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
BDIOCTL: Obligations and the Specification of Agent Behavior.
1389-1390
- James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco:
Prolegomenon to a Theory of Conservative Belief Revision.
1391-1393
- Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer:
Extending DTGOLOG with Options.
1394-1395
- Jeremy Forth:
Indirect and Conditional Sensing in the Event Calculus.
1396-1397
- Jihie Kim, Yolanda Gil:
Proactive Dialogue for Interactive Knowledge Capture.
1398-1399
- Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak:
Coherence of Laws.
1400-1401
- Churn-Jung Liau:
An Epistemic Logic for Arbitration (Extended Abstract).
1402-1403
- Angelo C. Restificar, Peter Haddawy:
Constructing utility models from observed negotiation actions.
1404-1405
- Jorge Santos, Steffen Staab:
Engineering a complex ontology with time.
1406-1407
- Paulo Santos, Murray Shanahan:
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring.
1408-
Information Retrieval and Data Mining
Machine Learning
- Sebastian Thrun, Geoffrey J. Gordon, Frank Pfenning, Mary Berna, Brennan Sellner, Brad Lisien:
A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data.
1427-1428
- Rinat Khoussainov, Nicholas Kushmerick:
Learning to Compete in Heterogeneous Web Search Environments.
1429-1431
- Michail G. Lagoudakis, Ronald Parr:
Approximate Policy Iteration using Large-Margin Classifiers.
1432-1434
- Huan Liu, Amit Mandvikar, Patricia G. Foschi, Kari Torkkola:
Active Learning with Ensembles for Image Classification.
1435-1436
- Rachael Rafter, Barry Smyth:
Item Selection Strategies for Collaborative Filtering.
1437-1439
- Bruno Scherrer:
Modular self-organization for a long-living autonomous agent.
1440-1442
- Alexander K. Seewald:
Towards a Theoretical Framework for Ensemble Classification.
1443-1444
- Nathan Sprague, Dana H. Ballard:
Multiple-Goal Reinforcement Learning with Modular Sarsa(0).
1445-1447
- Sarah Zelikovitz, Haym Hirsh:
Integrating Background Knowledge Into Text Classification.
1448-1449
- Zhihua Zhang, James T. Kwok, Dit-Yan Yeung:
Parametric Distance Metric Learning with Label Information.
1450-
Multiagents
- Donovan Artz, Maxim Peysakhov, William C. Regli:
Network Meta-Reasoning for Information Assurance in Mobile Agent Systems.
1455-1457
- Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, William E. Walsh:
Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems.
1458-1459
- Michael H. Bowling, Rune M. Jensen, Manuela M. Veloso:
A Formalization of Equilibria for Multiagent Planning.
1460-1462
- Amy R. Greenwald:
Bidding Marginal Utility in Simultaneous Auctions.
1463-1464
- Martin J. Kollingbaum, Timothy J. Norman:
NoA - A Normative Agent Architecture.
1465-1466
- Thuc Duong Nguyen, Nicholas R. Jennings:
A heuristic model for concurrent bi-lateral negotiations in incomplete information settings.
1467-1469
- Itsuki Noda:
Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling.
1470-1472
- Eric Normand, Sheila Tejada:
Virtual World as Interface for Human-Robot Interaction.
1473-1474
- Thomas Tran, Robin Cohen:
Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments.
1475-1476
- Michael Walsh, Robert Kelly, Gregory M. P. O'Hare, Julie Carson-Berndsen, Tarek Abu-Amer:
A Multi-Agent Computational Linguistic Approach to Speech Recognition.
1477-
Natural Language
- James Fan, Ken Barker, Bruce W. Porter:
The Knowledge Required to Interpret Noun Compounds.
1483-1485
- Michel Galley, Kathleen McKeown:
Improving Word Sense Disambiguation in Lexical Chaining.
1486-1488
- Xiangen Hu, Zhiqiang Cai, Max M. Louwerse, Andrew Olney, Phanni Penumatsa, Arthur C. Graesser:
A Revised Algorithm for Latent Semantic Analysis.
1489-1491
- Dekang Lin, Shaojun Zhao, Lijuan Qin, Ming Zhou:
Identifying Synonyms among Distributionally Similar Words.
1492-1493
- Dan I. Moldovan, Christine Clark:
A Logic Prover for Text Processing.
1494-1495
- Tom O'Hara, Michael J. Witbrock, Bjørn Aldag, Stefano Bertolo, Nancy Salay, Jon Curtis, Kathy Panton:
Inducing criteria for lexicalization parts of speech using the Cyc KB.
1496-
Neural Networks
Planning
Search
- Vadim Bulitko, Lihong Li, Russell Greiner, Ilya Levner:
Lookahead Pathologies for Single Agent Search.
1531-1533
- Michael Buro:
Real-Time Strategy Games: A New AI Research Challenge.
1534-1535
- Mark Goldenberg, Alexander Kovarsky, Xiaomeng Wu, Jonathan Schaeffer:
Multiple Agents Moving Target Search.
1536-1538
- Richard E. Korf:
Delayed Duplicate Detection: Extended Abstract.
1539-1541
- Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham:
A Portfolio Approach to Algorithm Selection.
1542-1542
- Andrew Lim, Brian Rodrigues, Fei Xiao:
A New Node Centroid Algorithm for Bandwidth Minimization.
1544-1545
- Arathi Ramani, Igor L. Markov:
Combining Two Local Search Approaches to Hypergraph Partitioning.
1546-
Vision and Robotics
Invited Speakers
- Alon Y. Halevy, Jayant Madhavan:
Corpus-Based Knowledge Representation.
1567-1572
- Monika Rauch Henzinger, Rajeev Motwani, Craig Silverstein:
Challenges in Web Search Engines.
1573-1579
- Craig A. Knoblock:
Deploying Information Agents on the Web.
1580-1586
- Phokion G. Kolaitis:
Constraint Satisfaction, Databases, and Logic.
1587-1595
- Jiming Liu:
Web Intelligence (WI): What Makes Wisdom Web?
1596-1601
- Daniela Rus:
Self-reconfiguring Robots: Successes and Challenges.
1602
- Moshe Y. Vardi:
Automated Verification: Graphs, Logic, and Automata.
1603-1606
- Andrei Voronkov:
Automated Reasoning: Past Story and New Trends.
1607-1612
- Daniel S. Weld, Corin R. Anderson, Pedro Domingos, Oren Etzioni, Krzysztof Gajos, Tessa A. Lau, Steven A. Wolfman:
Automatically Personalizing User Interfaces.
1613-1619
- Hannes Werthner:
Intelligent Systems in Travel and Tourism.
1620-
Intelligent Systems Demonstrations
- Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber:
Writer's Aid: Using a Planner in a Collaborative Interface.
1629-1630
- K. Suzanne Barber, D. Faith, Karen Fullam, Thomas J. Graser, David C. Han, J. Jeong, Joonoo Kim, Dung N. Lam, Ryan McKay, M. Pal, Jisun Park, M. Vanzin:
Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains.
1631-1632
- Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo:
GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints.
1633-1634
- Carlos Gershenson:
Comparing Different Cognitive Paradigms with a Virtual Laboratory.
1635-1636
- Darsana P. Josyula, Michael L. Anderson, Donald Perlis:
Towards domain-independent, task-oriented, conversational adequacy.
1637-1638
- Mark T. Maybury:
Broadcast News Navigator (BNN) Demonstration.
1639-1640
- Debra Schreckenghost, R. Peter Bonasso, David Kortenkamp, Cheryl E. Martin, Tod Milam, Carroll Thronesbery:
Demonstration: Liaison Agents for Distributed Space Operations.
1641-1642
- Karl Schultz, Brady Clark, Elizabeth Owen Bratt, Stanley Peters, Heather Pon-Barry, Pucktada Treeratpituk, Zack Thomsen-Gray:
Interactive Spoken Simulation Control and Conversational Tutoring.
1643-1644
- Youyong Zou, Timothy W. Finin, Li Ding, Harry Chen, Rong Pan:
TAGA: Travel Market Framework in Agentcities.
1645-
Computers and Thought Award Paper
- Tuomas Sandholm:
Making Markets and Democracy Work: A Story of Incentives and Computing.
1649-
Copyright © Fri Mar 12 17:16:01 2010
by Michael Ley (ley@uni-trier.de)
