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 BibTeX
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 BibTeX
- Andrei A. Bulatov, Evgeny S. Skvortsov:
Amalgams of Constraint Satisfaction Problems.
197-202 BibTeX
- Assef Chmeiss, Philippe Jégou, Lamia Keddar:
On a generalization of triangulated graphs for domains decomposition of CSPs.
203-208 BibTeX
- David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin:
A Maximal Tractable Class of Soft Constraints.
209-214 BibTeX
- Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
215-220 BibTeX
- Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints.
221-226 BibTeX
- Gianluigi Greco, Francesco Scarcello:
Non-Binary Constraints and Optimal Dual-Graph Representations.
227-232 BibTeX
- Christophe Jermann, Bertrand Neveu, Gilles Trombettoni:
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems.
233-238 BibTeX
- Javier Larrosa, Thomas Schiex:
In the quest of the best form of local consistency for Weighted CSP.
239-244 BibTeX
- 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 BibTeX
- Samir Loudni, Patrice Boizumault:
Solving Constraint Optimization Problems in Anytime Contexts.
251-256 BibTeX
- Suresh Manandhar, Armagan Tarim, Toby Walsh:
Scenario-based Stochastic Constraint Programming.
257-262 BibTeX
- Yuanlin Zhang, Roland H. C. Yap:
Consistency and Set Intersection.
263-270 BibTeX
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 BibTeX
- Franz Baader:
Terminological Cycles in a Description Logic with Existential Restrictions.
325-330 BibTeX
- Piero A. Bonatti:
On the Undecidability of Description and Dynamic Logics with Recursion and Counting.
331-336 BibTeX
- Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Abductive Matchmaking using Description Logics.
337-342 BibTeX
- Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms.
343-348 BibTeX
- Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
349-354 BibTeX
- Stefan Schlobach, Ronald Cornet:
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.
355-362 BibTeX
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 BibTeX
- 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 BibTeX
- Ion Muslea, Steven Minton, Craig A. Knoblock:
Active Learning with Strong and Weak Views: A Case Study on Wrapper Induction.
415-420 BibTeX
- Leonid Peshkin, Avi Pfeffer:
Bayesian Information Extraction Network.
421-426 BibTeX
- Marios Skounakis, Mark Craven, Soumya Ray:
Hierarchical Hidden Markov Models for Information Extraction.
427-433 BibTeX
- Peter D. Turney:
Coherent Keyphrase Extraction via Web Mining.
434-442 BibTeX
Knowledge Representation
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 BibTeX
- Geoff Nitschke:
Emergence of Cooperation in a Pursuit-Evasion Game.
639-646 BibTeX
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
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 BibTeX
- Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls:
Grid-based SensorDCSP.
1359-1361 BibTeX
- Russell Bent, Pascal Van Hentenryck:
Dynamic Vehicle Routing with Stochastic Requests.
1362-1363 BibTeX
- Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
1364-1365 BibTeX
- James Bowen, Chavalit Likitvivatanavong:
Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems.
1366-1367 BibTeX
- Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Efficient Representation of Adhoc Constraints.
1368-1369 BibTeX
- Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy for Permutation Channels.
1370-1371 BibTeX
- Iván Dotú, Alvaro del Val, Manuel Cebrián:
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.
1372-1373 BibTeX
- Carlos Eisenberg, Boi Faltings:
Making the Breakout Algorithm Complete Using Systematic Search.
1374-1375 BibTeX
- Jordan Erenrich, Bart Selman:
Sampling Combinatorial Spaces Using Biased Random Walks.
1376-1380 BibTeX
- Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtchenko, AbdelAli Ed-Dbali:
Finite Domain Constraint Solver Learning.
1379-1380 BibTeX
- Adrian Petcu, Boi Faltings:
Applying interchangeability techniques to the distributed breakout algorithm.
1381-1382 BibTeX
- Timothy Weale, Jennifer Seitzer:
EVOC: A Music Generating System using Genetic Algorithms.
1383-1384 BibTeX
- Neil Yorke-Smith, Kristen Brent Venable, Francesca Rossi:
Temporal Reasoning with Preferences and Uncertainty.
1385- BibTeX
Knowledge Representation
- Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
BDIOCTL: Obligations and the Specification of Agent Behavior.
1389-1390 BibTeX
- James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco:
Prolegomenon to a Theory of Conservative Belief Revision.
1391-1393 BibTeX
- Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer:
Extending DTGOLOG with Options.
1394-1395 BibTeX
- Jeremy Forth:
Indirect and Conditional Sensing in the Event Calculus.
1396-1397 BibTeX
- Jihie Kim, Yolanda Gil:
Proactive Dialogue for Interactive Knowledge Capture.
1398-1399 BibTeX
- Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak:
Coherence of Laws.
1400-1401 BibTeX
- Churn-Jung Liau:
An Epistemic Logic for Arbitration (Extended Abstract).
1402-1403 BibTeX
- Angelo C. Restificar, Peter Haddawy:
Constructing utility models from observed negotiation actions.
1404-1405 BibTeX
- Jorge Santos, Steffen Staab:
Engineering a complex ontology with time.
1406-1407 BibTeX
- Paulo Santos, Murray Shanahan:
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring.
1408- BibTeX
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 BibTeX
- Rinat Khoussainov, Nicholas Kushmerick:
Learning to Compete in Heterogeneous Web Search Environments.
1429-1431 BibTeX
- Michail G. Lagoudakis, Ronald Parr:
Approximate Policy Iteration using Large-Margin Classifiers.
1432-1434 BibTeX
- Huan Liu, Amit Mandvikar, Patricia G. Foschi, Kari Torkkola:
Active Learning with Ensembles for Image Classification.
1435-1436 BibTeX
- Rachael Rafter, Barry Smyth:
Item Selection Strategies for Collaborative Filtering.
1437-1439 BibTeX
- Bruno Scherrer:
Modular self-organization for a long-living autonomous agent.
1440-1442 BibTeX
- Alexander K. Seewald:
Towards a Theoretical Framework for Ensemble Classification.
1443-1444 BibTeX
- Nathan Sprague, Dana H. Ballard:
Multiple-Goal Reinforcement Learning with Modular Sarsa(0).
1445-1447 BibTeX
- Sarah Zelikovitz, Haym Hirsh:
Integrating Background Knowledge Into Text Classification.
1448-1449 BibTeX
- Zhihua Zhang, James T. Kwok, Dit-Yan Yeung:
Parametric Distance Metric Learning with Label Information.
1450- BibTeX
Multiagents
- Donovan Artz, Maxim Peysakhov, William C. Regli:
Network Meta-Reasoning for Information Assurance in Mobile Agent Systems.
1455-1457 BibTeX
- Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, William E. Walsh:
Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems.
1458-1459 BibTeX
- Michael H. Bowling, Rune M. Jensen, Manuela M. Veloso:
A Formalization of Equilibria for Multiagent Planning.
1460-1462 BibTeX
- Amy R. Greenwald:
Bidding Marginal Utility in Simultaneous Auctions.
1463-1464 BibTeX
- Martin J. Kollingbaum, Timothy J. Norman:
NoA - A Normative Agent Architecture.
1465-1466 BibTeX
- Thuc Duong Nguyen, Nicholas R. Jennings:
A heuristic model for concurrent bi-lateral negotiations in incomplete information settings.
1467-1469 BibTeX
- Itsuki Noda:
Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling.
1470-1472 BibTeX
- Eric Normand, Sheila Tejada:
Virtual World as Interface for Human-Robot Interaction.
1473-1474 BibTeX
- Thomas Tran, Robin Cohen:
Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments.
1475-1476 BibTeX
- 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- BibTeX
Natural Language
- James Fan, Ken Barker, Bruce W. Porter:
The Knowledge Required to Interpret Noun Compounds.
1483-1485 BibTeX
- Michel Galley, Kathleen McKeown:
Improving Word Sense Disambiguation in Lexical Chaining.
1486-1488 BibTeX
- Xiangen Hu, Zhiqiang Cai, Max M. Louwerse, Andrew Olney, Phanni Penumatsa, Arthur C. Graesser:
A Revised Algorithm for Latent Semantic Analysis.
1489-1491 BibTeX
- Dekang Lin, Shaojun Zhao, Lijuan Qin, Ming Zhou:
Identifying Synonyms among Distributionally Similar Words.
1492-1493 BibTeX
- Dan I. Moldovan, Christine Clark:
A Logic Prover for Text Processing.
1494-1495 BibTeX
- 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- BibTeX
Neural Networks
Planning
Search
- Vadim Bulitko, Lihong Li, Russell Greiner, Ilya Levner:
Lookahead Pathologies for Single Agent Search.
1531-1533 BibTeX
- Michael Buro:
Real-Time Strategy Games: A New AI Research Challenge.
1534-1535 BibTeX
- Mark Goldenberg, Alexander Kovarsky, Xiaomeng Wu, Jonathan Schaeffer:
Multiple Agents Moving Target Search.
1536-1538 BibTeX
- Richard E. Korf:
Delayed Duplicate Detection: Extended Abstract.
1539-1541 BibTeX
- Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham:
A Portfolio Approach to Algorithm Selection.
1542-1542 BibTeX
- Andrew Lim, Brian Rodrigues, Fei Xiao:
A New Node Centroid Algorithm for Bandwidth Minimization.
1544-1545 BibTeX
- Arathi Ramani, Igor L. Markov:
Combining Two Local Search Approaches to Hypergraph Partitioning.
1546- BibTeX
Vision and Robotics
Invited Speakers
- Alon Y. Halevy, Jayant Madhavan:
Corpus-Based Knowledge Representation.
1567-1572 BibTeX
- Monika Rauch Henzinger, Rajeev Motwani, Craig Silverstein:
Challenges in Web Search Engines.
1573-1579 BibTeX
- Craig A. Knoblock:
Deploying Information Agents on the Web.
1580-1586 BibTeX
- Phokion G. Kolaitis:
Constraint Satisfaction, Databases, and Logic.
1587-1595 BibTeX
- Jiming Liu:
Web Intelligence (WI): What Makes Wisdom Web?
1596-1601 BibTeX
- Daniela Rus:
Self-reconfiguring Robots: Successes and Challenges.
1602 BibTeX
- Moshe Y. Vardi:
Automated Verification: Graphs, Logic, and Automata.
1603-1606 BibTeX
- Andrei Voronkov:
Automated Reasoning: Past Story and New Trends.
1607-1612 BibTeX
- Daniel S. Weld, Corin R. Anderson, Pedro Domingos, Oren Etzioni, Krzysztof Gajos, Tessa A. Lau, Steven A. Wolfman:
Automatically Personalizing User Interfaces.
1613-1619 BibTeX
- Hannes Werthner:
Intelligent Systems in Travel and Tourism.
1620- BibTeX
Intelligent Systems Demonstrations
- Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber:
Writer's Aid: Using a Planner in a Collaborative Interface.
1629-1630 BibTeX
- 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 BibTeX
- Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo:
GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints.
1633-1634 BibTeX
- Carlos Gershenson:
Comparing Different Cognitive Paradigms with a Virtual Laboratory.
1635-1636 BibTeX
- Darsana P. Josyula, Michael L. Anderson, Donald Perlis:
Towards domain-independent, task-oriented, conversational adequacy.
1637-1638 BibTeX
- Mark T. Maybury:
Broadcast News Navigator (BNN) Demonstration.
1639-1640 BibTeX
- Debra Schreckenghost, R. Peter Bonasso, David Kortenkamp, Cheryl E. Martin, Tod Milam, Carroll Thronesbery:
Demonstration: Liaison Agents for Distributed Space Operations.
1641-1642 BibTeX
- 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 BibTeX
- Youyong Zou, Timothy W. Finin, Li Ding, Harry Chen, Rong Pan:
TAGA: Travel Market Framework in Agentcities.
1645- BibTeX
Computers and Thought Award Paper
Copyright © Sat May 16 23:23:28 2009
by Michael Ley (ley@uni-trier.de)
