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
- Greg Barish, Craig A. Knoblock: Learning Value Predictors for the Speculative Execution of Information Gathering Plans. 3-9
- Loreto Bravo, Leopoldo E. Bertossi: Logic Programs for Consistently Querying Data Integration Systems. 10-15
- Andrea Calì, Domenico Lembo, Riccardo Rosati: Query rewriting and answering under constraints in data integration systems. 16-21
- Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden: Integrating Multiple Internet Directories by Instance-based Learning. 22-30
AI and the Internet
- Jérôme Euzenat, Nabil Layaïda, Victor Dias: A semantic framework for multimedia document adaptation. 31-36
- Frederico Luiz Gonçalves de Freitas, Guilherme Bittencourt: An Ontology-based Architecture for Cooperative Information Agents. 37-42
Art and Creativity
- Masatoshi Hamanaka, Masataka Goto, Hideki Asoh, Nobuyuki Otsu: A Learning-Based Jam Session System that Imitates a Player's Personality Model. 51-58
- Oliviero Stock, Carlo Strapparava: Getting Serious about the Development of Computational Humor. 59-64
Automated Reasoning
- Yongmei Liu, Hector J. Levesque: A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. 83-88
- Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe: Practical Partition-Based Theorem Proving for Large Knowledge Bases. 89-98
Belief Revision and Update
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis: Quantifying information and contradiction in propositional logic through test actions. 106-111
- Yan Zhang: Minimal Change and Maximal Coherence for Epistemic Logic Program Updates. 112-120
Case-Based Reasoning
- David McSherry: Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality. 121-126
- Bram Vanschoenwinkel, Bernard Manderick: A Weighted Polynomial Information Gain Kernel for Resolving Prepositional Phrase Attachment Ambiguities with Support Vector Machines. 133-140
Causality
- Alexander Bochman: A Logic For Causal Reasoning. 141-146
- James D. Park: Causes and Explanations Revisited. 154-162
Cognitive Modeling
- Frédéric Dehais, Catherine Tessier, Laurent Chaudron: GHOST: experimenting conflicts countermeasures in the pilot's activity. 163-168
- Vincent Labatut, Josette Pastor, Serge Ruff: Dynamic Bayesian modeling of the cerebral activity. 169-176
Cognitive Robotics
- Takayuki Kanda, Hiroshi Ishiguro, Michita Imai, Tetsuo Ono: Body Movement Analysis of Human-Robot Interaction. 177-182
Constraints
- Christian Bessière, Anaïs Fabre, Ulrich Junker: Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving. 191-196
- 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
Constraints and Symmetry
- Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov: Efficient Symmetry Breaking for Boolean Satisfiability. 271-276
- Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Tractable Symmetry Breaking for CSPs with Interchangeable Values. 277-284
Decision Theory
- Craig Boutilier: On the Foundations of Expected Expected Utility. 285-290
- Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part I: On the Customizability of Generalized Expected Utility. 291-296
- Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. 297-302
- Hélène Fargier, Régis Sabbadin: Qualitative Decision under Uncertainty: Back to Expected Utility. 303-308
- Tianhan Wang, Craig Boutilier: Incremental Utility Elicitation with the Minimax Regret Decision Criterion. 309-318
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
- 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
- Alessandro Cimatti, Charles Pecheur, Roberto Cavada: Formal Verification of Diagnosability via Symbolic Model Checking. 363-369
- Meir Kalech, Gal A. Kaminka: On the Design of Social Diagnosis Algorithms for Multi-Agent Teams. 370-375
- Markus Stumptner, Franz Wotawa: Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. 388-393
- Gianluca Torta, Pietro Torasso: Automatic Abstraction in Component-Based Diagnosis Driven by System Observability. 394-402
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
- 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
- Chris H. Q. Ding: Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks. 479-484
- Matthias Klusch, Stefano Lodi, Gianluca Moro: Distributed Clustering Based on Sampling Local Density Estimates. 485-490
- Hannes Wettig, Peter Grünwald, Teemu Roos, Petri Myllymäki, Henry Tirri: When Discriminative Learning of Bayesian Network Parameters Is Easy. 491-498
Ensembles
- Roberto Esposito, Lorenza Saitta: Monte Carlo Theory as an Explanation of Bagging and Boosting. 499-504
- Prem Melville, Raymond J. Mooney: Constructing Diverse Classifier Ensembles using Artificial Training Examples. 505-512
Evaluating Classifiers
- Chuck P. Lam, David G. Stork: Evaluating Classifiers by Means of Test Data with Noisy Labels. 513-518
- Charles X. Ling, Jin Huang, Harry Zhang: AUC: a Statistically Consistent and more Discriminating Measure than Accuracy. 519-526
Inductive Logic Programming
- Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile: Spaces of Theories with Ideal Refinement Operators. 527-532
Kernel Methods
- Matthew Brand: Continuous nonlinear dimensionality reduction by kernel Eigenmaps. 547-554
Partially Labeled Data
- Massih-Reza Amini, Patrick Gallinari: Semi-Supervised Learning with Explicit Misclassification Modeling. 555-560
- Hwanjo Yu: SVMC: Single-Class Classification With Support Vector Machines. 567-574
Text and Web
- Michelangelo Diligenti, Marco Gori, Marco Maggini: A Learning Algorithm for Web Page Scoring Systems. 575-580
- Giorgio Maria Di Nunzio, Alessandro Micarelli: Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization? 581-586
Tree Learning
- Wei Fan, Haixun Wang, Philip S. Yu, Shaw-hwa Lo: Inductive Learning in Less Than One Sequential Data Scan. 595-600
- David Page, Soumya Ray: Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction. 601-612
Multiagent Systems
Coalition Formation
- Leen-Kiat Soh, Xin Li: An Integrated Multilevel Learning Approach to Multiagent Coalition Formation. 619-624
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
- Thomas Miconi: When Evolving Populations is Better than Coevolving Individuals: The Blind Mice Problem. 647-652
- Liviu Panait, R. Paul Wiegand, Sean Luke: Improving Coevolutionary Search for Optimal Multiagent Behaviors. 653-660
Game Playing
- Darse Billings, Neil Burch, Aaron Davidson, Robert C. Holte, Jonathan Schaeffer, Terence Schauenberg, Duane Szafron: Approximating Game-Theoretic Optimal Strategies for Full-scale Poker. 661-668
- Nathan R. Sturtevant: Last-Branch and Speculative Pruning Algorithms for Maxn. 669-678
Logic-Based MAS and Communication Languages
- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Protocol Conformance for Logic-based Agents. 679-684
- Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert: Hidden Uncertainty in the Logical Representation of Desires. 685-690
- Jeremy Pitt: Constitutive Rules for Agent Communication Languages. 691-698
Multiagent Reinforcement Learning and POMDPs
- Ranjit Nair, Milind Tambe, Makoto Yokoo, David V. Pynadath, Stacy Marsella: Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings. 705-711
Multiagent Systems
- John Thangarajah, Lin Padgham, Michael Winikoff: Detecting & Avoiding Interference Between Goals in Intelligent Agents. 721-726
- Scott A. Wallace, John E. Laird: Behavior Bounding: Toward Effective Comparisons of Agents & Humans. 727-732
- Makoto Yokoo: Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol. 733-742
Multiagent Tracking
- Ronald Ashri, Michael Luck, Mark d'Inverno: On Identifying and Managing Relationships in Multi-Agent Systems. 743-748
- Salvador Mandujano, Arturo Galván: ODISET: On-line Distributed Session Tracing using Agents. 749-756
Nash Equilibria
- Ben Blum, Christian R. Shelton, Daphne Koller: A Continuation Method for Nash Equilibria in Structured Games. 757-764
Nonmanipulability and Fault-Tolerance
- Vincent Conitzer, Tuomas Sandholm: Universal Voting Protocol Tweaks to Make Manipulation Hard. 781-788
- Fariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. 796-804
Natural Language
- Satanjeev Banerjee, Ted Pedersen: Extended Gloss Overlaps as a Measure of Semantic Relatedness. 805-810
- Charles B. Callaway: Evaluating Coverage for Large Symbolic NLG Grammars. 811-816
- Massimiliano Ciaramita, Thomas Hofmann, Mark Johnson: Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge. 817-822
- Guy De Pauw: GRAEL: an agent-based evolutionary computing approach for natural language grammar development. 823-832
Nonmonotonic Reasoning
Default Logic
- Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. 833-838
- Chiaki Sakama: Ordering Default Theories. 839-846
Logic Programming
- Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. 847-852
- Fangzhen Lin, Jicheng Zhao: On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. 853-858
- Jia-Huai You, Li-Yan Yuan, Mingyi Zhang: On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. 859-866
Nonmonotonic Reasoning
- James P. Delgrande: Weak Conditional Logics of Normality. 873-878
Ontologies and Foundations
- Selmer Bringsjord, Bettina Schimanski: What is Artificial Intelligence? Psychometric AI as an Answer. 887-893
- Pierre Grenon: Tucking RCC in Cyc's Ontological Bed. 894-899
Perception
- Grzegorz Cielniak, Maren Bennewitz, Wolfram Burgard: Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots. 909-914
- Dirk Hähnel, Sebastian Thrun, Wolfram Burgard: An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots. 915-920
- Dirk Schulz, Dieter Fox, Jeffrey Hightower: People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters. 921-928
Planning
- Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu: A Parametric Hierarchical Planner for Experimenting Abstraction Techniques. 936-941
- Antonio Garrido Tejero, Eva Onaindia: On the application of least-commitment and heuristic search in temporal planning. 942-947
- Philippe Laborie: Resource Temporal Networks: Definition and Complexity. 948-953
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
- Carlos Guestrin, Daphne Koller, Chris Gearhart, Neal Kanodia: Generalizing Plans to New Environments in Relational MDPs. 1003-1010
- Balaraman Ravindran, Andrew G. Barto: SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes. 1011-1018
Probabilistic Planning
- Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun: Point-based value iteration: An anytime algorithm for POMDPs. 1025-1032
Qualitative Reasoning
- Ronen I. Brafman, Yannis Dimopoulos: A New Look at the Semantics and Optimization Methods of CP-Networks. 1033-1038
- Sylvie Galichet, Didier Dubois, Henri Prade: Categorizing classes of signals by means of fuzzy gradual rules. 1039-1044
- Naren Ramakrishnan, Christopher Bailey-Kellogg: Gaussian Process Models of Spatial Aggregation Algorithms. 1045-1051
Reasoning about Actions and Change
- Alfredo Gabaldon: Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. 1061-1066
- Andreas Herzig, Jérôme Lang, Pierre Marquis: Action representation and partially observable planning using epistemic logic. 1067-1072
- Jérôme Lang, Fangzhen Lin, Pierre Marquis: Causal Theories of Action: A Computational Core. 1073-1078
- Yves Martins: The Concurrent, Continuous FLUX. 1085-1090
- Richard B. Scherl: Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. 1091-1098
Resource-Bounded Reasoning
- Vincent Conitzer, Tuomas Sandholm: Definition and Complexity of Some Basic Metareasoning Problems. 1099-1106
- Dmitri A. Dolgov, Edmund H. Durfee: Approximating Optimal Policies for Agents with Limited Execution Resources. 1107-1112
Robotics
- José del R. Millán, Frédéric Renkens, Josep Mouriño, Wulfram Gerstner: Non-Invasive Brain-Actuated Control of a Mobile Robot. 1121-1126
- Cyrill Stachniss, Wolfram Burgard: Exploring Unknown Environments with Mobile Robots using Coverage Maps. 1127-1134
Simultaneous Localization and Mapping
- Austin I. Eliazar, Ronald Parr: DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks. 1135-1142
- Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit: FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges. 1151-1156
- Mark A. Paskin: Thin Junction Tree Filters for Simultaneous Localization and Mapping. 1157-1166
Satisfiability
- Weixiong Zhang, Ananda Rangan, Moshe Looks: Backbone Guided Local Search for Maximum Satisfiability. 1179-1186
Satisfiability and Phase Transitions
- Delbert D. Bailey, Phokion G. Kolaitis: Phase Transitions of Bounded Satisfiability Problems. 1187-1193
- Weixiong Zhang: Phase Transitions of the Asymmetric Traveling Salesman. 1202-1210
Scheduling
- Daniel S. Bernstein, Lev Finkelstein, Shlomo Zilberstein: Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems. 1211-1217
- Laurence A. Kramer, Stephen F. Smith: Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems. 1218-1223
- Torsten O. Paulussen, Nicholas R. Jennings, Keith S. Decker, Armin Heinzl: Distributed Patient Scheduling in Hospitals. 1224-1232
Search
- Blai Bonet, Hector Geffner: Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback. 1233-1238
- Heath Hohwald, Ignacio Thayer, Richard E. Korf: Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment. 1239-1245
- Dan Klein, Christopher D. Manning: Factored A* Search for Models over Sequences and Trees. 1246-1251
- Richard E. Korf: An Improved Algorithm for Optimal Bin Packing. 1252-1258
Spatial Reasoning
- Maureen Donnelly: Layered Mereotopology. 1269-1274
Temporal Reasoning
- Alfonso Gerevini: Incremental Tractable Reasoning about Qualitative Temporal Constraints. 1283-1288
- Lina Khatib, Paul H. Morris, Robert A. Morris, Kristen Brent Venable: Tractable Pareto Optimization of Temporal Preferences. 1289-1294
- Van-Thinh Vu, François Brémond, Monique Thonnat: Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition. 1295-1302
User Modeling
- Hung Hai Bui: A General Model for Online Probabilistic Plan Recognition. 1309-1318
Vision
- Ramana Isukapalli, Russell Greiner: Use of Off-line Dynamic Programming for Efficient Image Interpretation. 1319-1325
- Yang Wang, Tele Tan, Kia-Fock Loe: Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking. 1326-1336
Poster Papers
Automated Reasoning
- Mark Brodie, Irina Rish, Sheng Ma, Natalia Odintsova: Active Probing Strategies for Problem Diagnosis in Distributed Systems. 1337-1338
- Pascal Hitzler: A Resolution Theorem for Algebraic Domains. 1339-1340
- Gregory M. Provan: A Novel Framework for Integrating Discrete Event System Control and Diagnosis. 1341-1342
- Quoc Bao Vo, Christoph Benzmüller, Serge Autexier: Assertion Application in Theorem Proving and Proof Planning. 1343-
Case-Based Reasoning
- David McSherry: Coverage-Optimized Retrieval. 1349-1350
- Derry O'Sullivan, Barry Smyth, David C. Wilson: Explicit vs Implicit Profiling - A Case-Study in Electronic Programme Guides. 1351-
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
- 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
- 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
- Jeremy Forth: Indirect and Conditional Sensing in the Event Calculus. 1396-1397
- 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
- Paulo E. Santos, Murray Shanahan: A Logic-based Algorithm for Image Sequence Interpretation and Anchoring. 1408-
Information Retrieval and Data Mining
- Mark T. Maybury: Intelligent Multimodal Stream Processing. 1415-1416
- Barry Smyth, Evelyn Balfe, Peter Briggs, Maurice Coyle, Jill Freyne: Collaborative Web Search. 1417-1419
- Atsuhiro Takasu: A Statistical Model for Flexible String Similarity. 1420-1421
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
- 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
- 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 Greenwald: Bidding Marginal Utility in Simultaneous Auctions. 1463-1464
- 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
- Thomas T. 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
- 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
- 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
- Jason Garforth, Sue L. McHale, Anthony Meehan: Neural Executive Attentional Control in Robots. 1501-1502
- Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr.: Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps. 1505-1506
Planning
- Yngvi Björnsson, Markus Enzenberger, Robert Holte, Jonathan Schaeffer, Peter Yap: Comparison of Different Grid Abstractions for Pathfinding on Maps. 1511-1512
- Michael Brenner: Multiagent Planning with Partially Ordered Temporal Plans. 1513-1514
- Max Horstmann, Shlomo Zilberstein: Automated Generation of Understandable Contingency Plans. 1518-1519
- Masoumeh T. Izadi, Doina Precup: A Planning Algorithm for Predictive State Representations. 1520-1521
- Vincent Vidal: A lookahead strategy for solving large planning problems. 1524-1525
- Terry Zimmerman, Subbarao Kambhampati: Using Available Memory to Transform Graphplan's Search. 1526-
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
- Marco Anelli, Alessandro Micarelli, Enver Sangineto: A New Content Based Image Retrieval Method Based on a Sketch-Driven Interpretation of Line Segments. 1551-1552
- Artur M. Arsenio: Towards Pervasive Robotics. 1553-1554
- Robert J. Ross, R. P. S. O'Donoghue, Gregory M. P. O'Hare: Improving Speech Recognition on a Mobile Robot Platform through the use of Top-Down Visual Queues. 1557-1559
- Salvador Elías Venegas-Andraca, S. Bose: Quantum Computation and Image Processing: New Trends in Artificial Intelligence. 1563-
Invited Speakers
- 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-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team