default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th IJCAI 2003: Acapulco, Mexico
- Georg Gottlob, Toby Walsh:
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 - Lan Yi, Bing Liu:
Web Page Cleaning for Web Mining through Feature Weighting. 43-50
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 - Michelle X. Zhou, Min Chen:
Automated Generation of Graphic Sketches by Example. 65-74
Automated Reasoning
- Eyal Amir, Stuart Russell:
Logical Filtering. 75-82 - 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
- Hei Chan, Adnan Darwiche:
On the Revision of Probabilistic Beliefs using Uncertain Evidence. 99-105 - 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 - Barry Smyth, Lorraine McGinty:
The Power of Suggestion. 127-132 - 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 - Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. 147-153 - 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 - Takehisa Yairi, Koichi Hori:
Qualitative Map Learning Based on Co-visibility of Objects. 183-190
Constraints
- Christian Bessiere, 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
- 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 - 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
- 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 - Sriram Narasimhan, Gautam Biswas:
Model-based Diagnosis of Hybrid Systems. 376-381 - Martin Sachenbacher, Peter Struss:
Automated Qualitative Domain Abstraction. 382-387 - 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 - 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
- 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 - Lourdes Peña Castillo, Stefan Wrobel:
Learning Minesweeper with Multirelational Learning. 533-540
Kernel Methods
- Fabio Aiolli, Alessandro Sperduti:
Multi-prototype Support Vector Machine. 541-546 - 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 - Sepandar D. Kamvar, Dan Klein, Christopher D. Manning:
Spectral Learning. 561-566 - 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 - Xiaoli Li, Bing Liu:
Learning to Classify Texts Using Positive and Unlabeled Data. 587-594
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
- Vincent Conitzer, Tuomas Sandholm:
Complexity of Determining Nonemptiness of the Core. 613-618 - Leen-Kiat Soh, Xin Li:
An Integrated Multilevel Learning Approach to Multiagent Coalition Formation. 619-624 - Yiming Ye, Yuhai Tu:
Dynamics of Coalition Formation in Combinatorial Trading. 625-632
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
- Michael H. Bowling, Manuela M. Veloso:
Simultaneous Adversarial Multi-Robot Learning. 699-704 - Ranjit Nair, Milind Tambe, Makoto Yokoo, David V. Pynadath, Stacy Marsella:
Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings. 705-711 - Bob Price, Craig Boutilier:
A Bayesian Approach to Imitation in Reinforcement Learning. 712-720
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 - Vincent Conitzer, Tuomas Sandholm:
Complexity Results about Nash Equilibria. 765-771 - Kevin Leyton-Brown, Moshe Tennenholtz:
Local-Effect Games. 772-780
Nonmanipulability and Fault-Tolerance
- Vincent Conitzer, Tuomas Sandholm:
Universal Voting Protocol Tweaks to Make Manipulation Hard. 781-788 - Sarit Kraus, V. S. Subrahmanian, Nazif Cihan Tas:
Probabilistically Survivable MASs. 789-795 - 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
- Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:
Answer Set Optimization. 867-872 - James P. Delgrande:
Weak Conditional Logics of Normality. 873-878 - Fangzhen Lin, Jia-Huai You:
Recycling Computed Answers in Rewrite Systems for Abduction. 879-886
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 - Heiner Stuckenschmidt, Michel C. A. Klein:
Integrity and Change in Modular Ontologies. 900-908
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
- Eyal Amir, Barbara Engelhardt:
Factored Planning. 929-935 - 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 - Adriana Lopez, Fahiem Bacchus:
Generalizing GraphPlan by Formulating Planning as a CSP. 954-960 - Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In Defense of PDDL Axioms. 961-968
Probabilistic Inference
- David Allen, Adnan Darwiche:
Optimal Time-Space Tradeoff in Probabilistic Inference. 969-975 - Vandi Verma, Sebastian Thrun, Reid G. Simmons:
Variable Resolution Particle Filter. 976-984
Probabilistic Inference: First Order
- David Poole:
First-order probabilistic inference. 985-991 - (Withdrawn) Dynamic Probabilistic Relational Models. IJCAI 2003: 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
- J. Andrew Bagnell, Jeff G. Schneider:
Covariant Policy Search. 1019-1024 - 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 - Dorian Suc, Daniel Vladusic, Ivan Bratko:
Qualitatively Faithful Quantitative Prediction. 1052-1060
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 - Joohyung Lee, Vladimir Lifschitz:
Describing Additive Fluents in Action Language C+. 1079-1084 - 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 - Hu Liu, Shier Ju:
Belief, Awareness, and Two-Dimensional Logic. 1113-1120
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 - John J. Leonard, Paul M. Newman:
Consistent, Convergent, and Constant-Time SLAM. 1143-1150 - 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
- Jinbo Huang, Adnan Darwiche:
A Structure-Based Variable Ordering Heuristic for SAT. 1167-1172 - Ryan Williams, Carla P. Gomes, Bart Selman:
Backdoors To Typical Case Complexity. 1173-1178 - 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 - Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Understanding the Power of Clause Learning. 1194-1201 - 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 - Rong Zhou, Eric A. Hansen:
Sparse-Memory Graph Search. 1259-1268
Spatial Reasoning
- Maureen Donnelly:
Layered Mereotopology. 1269-1274 - Frank Wolter, Michael Zakharyaschev:
Reasoning about distances. 1275-1282
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
- Nate Blaylock, James F. Allen:
Corpus-based, Statistical Goal Recognition. 1303-1308 - 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
- Brian Knight, Fei Ling Woon:
Case Base Adaptation Using Solution-Space Metrics. 1347-1348 - 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 - 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 M. 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 E. Santos, Murray Shanahan:
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring. 1408-
Information Retrieval and Data Mining
- Joo-Hwee Lim, Jesse S. Jin:
Learning Consumer Photo Categories for Semantic Retrieval. 1413-1414 - 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 - Xingquan Zhu, Xindong Wu:
Mining Video Associations for Efficient Database Management. 1422-
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øller Jensen, Manuela M. Veloso:
A Formalization of Equilibria for Multiagent Planning. 1460-1462 - Amy 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 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 - Michel Galley, Kathleen R. 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 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 P. Garforth, Sue L. McHale, Anthony Meehan:
Neural Executive Attentional Control in Robots. 1501-1502 - Jimmy Jiang Liu, Kia-Fock Loe:
Boosting Face Identification in Airports. 1503-1504 - 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 - Sorin Moga, Philippe Gaussier:
Artificial Neural Network for Sequence Learning. 1507-
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 - Christopher W. Geib, Robert P. Goldman:
Recognizing Plan/Goal Abandonment. 1515-1517 - 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 - Romeo Sanchez Nigenda, Subbarao Kambhampati:
Parallelizing State Space Plans Online. 1522-1523 - 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 - 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. Arsénio:
Towards Pervasive Robotics. 1553-1554 - Matthias Fichtner, Axel Großmann:
A Visual-Sensor Model for Mobile Robot Localisation. 1555-1556 - 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 - Robert Sim, Gregory Dudek:
Comparing image-based localization methods. 1560-1562 - Salvador Elías Venegas-Andraca, S. Bose:
Quantum Computation and Image Processing: New Trends in Artificial Intelligence. 1563-
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 M. 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 - Kathleen Suzanne Barber, Daniel Faith, Karen Fullam, Thomas J. Graser, David C. Han, J. Jeong, Joonoo Kim, Dung N. Lam, Ryan McKay, M. Pal, Jisun Park, Marcelo 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 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-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-14 22:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
