Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar18. 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. IJCAI 2003: 3-9 - Loreto Bravo, Leopoldo E. Bertossi:
Logic Programs for Consistently Querying Data Integration Systems. IJCAI 2003: 10-15 - Andrea Calì, Domenico Lembo, Riccardo Rosati:
Query rewriting and answering under constraints in data integration systems. IJCAI 2003: 16-21 - Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden:
Integrating Multiple Internet Directories by Instance-based Learning. IJCAI 2003: 22-30
AI and the Internet
- Jérôme Euzenat, Nabil Layaïda, Victor Dias:
A semantic framework for multimedia document adaptation. IJCAI 2003: 31-36 - Frederico Luiz Gonçalves de Freitas, Guilherme Bittencourt:
An Ontology-based Architecture for Cooperative Information Agents. IJCAI 2003: 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. IJCAI 2003: 51-58 - Oliviero Stock, Carlo Strapparava:
Getting Serious about the Development of Computational Humor. IJCAI 2003: 59-64
Automated Reasoning
- Yongmei Liu, Hector J. Levesque:
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI 2003: 83-88 - Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe:
Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98
Belief Revision and Update
- Hei Chan, Adnan Darwiche:
On the Revision of Probabilistic Beliefs using Uncertain Evidence. IJCAI 2003: 99-105 - Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Quantifying information and contradiction in propositional logic through test actions. IJCAI 2003: 106-111 - Yan Zhang:
Minimal Change and Maximal Coherence for Epistemic Logic Program Updates. IJCAI 2003: 112-120
Case-Based Reasoning
- David McSherry:
Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality. IJCAI 2003: 121-126 - Bram Vanschoenwinkel, Bernard Manderick:
A Weighted Polynomial Information Gain Kernel for Resolving Prepositional Phrase Attachment Ambiguities with Support Vector Machines. IJCAI 2003: 133-140
Causality
- Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153
Cognitive Modeling
- Frédéric Dehais, Catherine Tessier, Laurent Chaudron:
GHOST: experimenting conflicts countermeasures in the pilot's activity. IJCAI 2003: 163-168 - Vincent Labatut, Josette Pastor, Serge Ruff:
Dynamic Bayesian modeling of the cerebral activity. IJCAI 2003: 169-176
Cognitive Robotics
- Takayuki Kanda, Hiroshi Ishiguro, Michita Imai, Tetsuo Ono:
Body Movement Analysis of Human-Robot Interaction. IJCAI 2003: 177-182 - Takehisa Yairi, Koichi Hori:
Qualitative Map Learning Based on Co-visibility of Objects. IJCAI 2003: 183-190
Constraints
- Christian Bessière, Anaïs Fabre, Ulrich Junker:
Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving. IJCAI 2003: 191-196 - Andrei A. Bulatov, Evgeny S. Skvortsov:
Amalgams of Constraint Satisfaction Problems. IJCAI 2003: 197-202 - Assef Chmeiss, Philippe Jégou, Lamia Keddar:
On a generalization of triangulated graphs for domains decomposition of CSPs. IJCAI 2003: 203-208 - David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin:
A Maximal Tractable Class of Soft Constraints. IJCAI 2003: 209-214 - Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. IJCAI 2003: 215-220 - Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints. IJCAI 2003: 221-226 - Gianluigi Greco, Francesco Scarcello:
Non-Binary Constraints and Optimal Dual-Graph Representations. IJCAI 2003: 227-232 - Christophe Jermann, Bertrand Neveu, Gilles Trombettoni:
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems. IJCAI 2003: 233-238 - Javier Larrosa, Thomas Schiex:
In the quest of the best form of local consistency for Weighted CSP. IJCAI 2003: 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. IJCAI 2003: 245-250 - Samir Loudni, Patrice Boizumault:
Solving Constraint Optimization Problems in Anytime Contexts. IJCAI 2003: 251-256 - Suresh Manandhar, Armagan Tarim, Toby Walsh:
Scenario-based Stochastic Constraint Programming. IJCAI 2003: 257-262
Constraints and Symmetry
- Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov:
Efficient Symmetry Breaking for Boolean Satisfiability. IJCAI 2003: 271-276 - Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren:
Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI 2003: 277-284
Decision Theory
- Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility. IJCAI 2003: 291-296 - Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. IJCAI 2003: 297-302 - Hélène Fargier, Régis Sabbadin:
Qualitative Decision under Uncertainty: Back to Expected Utility. IJCAI 2003: 303-308 - Tianhan Wang, Craig Boutilier:
Incremental Utility Elicitation with the Minimax Regret Decision Criterion. IJCAI 2003: 309-318
Description Logics
- Franz Baader:
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI 2003: 319-324 - Franz Baader:
Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI 2003: 325-330 - Piero A. Bonatti:
On the Undecidability of Description and Dynamic Logics with Recursion and Counting. IJCAI 2003: 331-336 - Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Abductive Matchmaking using Description Logics. IJCAI 2003: 337-342 - Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348 - Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354 - Stefan Schlobach, Ronald Cornet:
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. IJCAI 2003: 355-362
Diagnosis
- Alessandro Cimatti, Charles Pecheur, Roberto Cavada:
Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI 2003: 363-369 - Meir Kalech, Gal A. Kaminka:
On the Design of Social Diagnosis Algorithms for Multi-Agent Teams. IJCAI 2003: 370-375 - Markus Stumptner, Franz Wotawa:
Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. IJCAI 2003: 388-393 - Gianluca Torta, Pietro Torasso:
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability. IJCAI 2003: 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. IJCAI 2003: 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. IJCAI 2003: 409-414 - Ion Muslea, Steven Minton, Craig A. Knoblock:
Active Learning with Strong and Weak Views: A Case Study on Wrapper Induction. IJCAI 2003: 415-420 - Marios Skounakis, Mark Craven, Soumya Ray:
Hierarchical Hidden Markov Models for Information Extraction. IJCAI 2003: 427-433
Knowledge Representation
- Thomas Bolander:
From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. IJCAI 2003: 443-448 - Tracy Hammond, Randall Davis:
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition. IJCAI 2003: 461-467
Learning
Clustering and Bayes Net Learning
- Chris H. Q. Ding:
Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks. IJCAI 2003: 479-484 - Matthias Klusch, Stefano Lodi, Gianluca Moro:
Distributed Clustering Based on Sampling Local Density Estimates. IJCAI 2003: 485-490 - Hannes Wettig, Peter Grünwald, Teemu Roos, Petri Myllymäki, Henry Tirri:
When Discriminative Learning of Bayesian Network Parameters Is Easy. IJCAI 2003: 491-498
Ensembles
- Roberto Esposito, Lorenza Saitta:
Monte Carlo Theory as an Explanation of Bagging and Boosting. IJCAI 2003: 499-504 - Prem Melville, Raymond J. Mooney:
Constructing Diverse Classifier Ensembles using Artificial Training Examples. IJCAI 2003: 505-512
Evaluating Classifiers
- Chuck P. Lam, David G. Stork:
Evaluating Classifiers by Means of Test Data with Noisy Labels. IJCAI 2003: 513-518 - Charles X. Ling, Jin Huang, Harry Zhang:
AUC: a Statistically Consistent and more Discriminating Measure than Accuracy. IJCAI 2003: 519-526
Inductive Logic Programming
- Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile:
Spaces of Theories with Ideal Refinement Operators. IJCAI 2003: 527-532 - Lourdes Peña Castillo, Stefan Wrobel:
Learning Minesweeper with Multirelational Learning. IJCAI 2003: 533-540
Kernel Methods
- Matthew Brand:
Continuous nonlinear dimensionality reduction by kernel Eigenmaps. IJCAI 2003: 547-554
Partially Labeled Data
- Massih-Reza Amini, Patrick Gallinari:
Semi-Supervised Learning with Explicit Misclassification Modeling. IJCAI 2003: 555-560
Text and Web
- Michelangelo Diligenti, Marco Gori, Marco Maggini:
A Learning Algorithm for Web Page Scoring Systems. IJCAI 2003: 575-580 - Giorgio Maria Di Nunzio, Alessandro Micarelli:
Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization? IJCAI 2003: 581-586 - Xiaoli Li, Bing Liu:
Learning to Classify Texts Using Positive and Unlabeled Data. IJCAI 2003: 587-594
Tree Learning
- Wei Fan, Haixun Wang, Philip S. Yu, Shaw-hwa Lo:
Inductive Learning in Less Than One Sequential Data Scan. IJCAI 2003: 595-600 - David Page, Soumya Ray:
Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction. IJCAI 2003: 601-612
Multiagent Systems
Coalition Formation
- Vincent Conitzer, Tuomas Sandholm:
Complexity of Determining Nonemptiness of the Core. IJCAI 2003: 613-618 - Leen-Kiat Soh, Xin Li:
An Integrated Multilevel Learning Approach to Multiagent Coalition Formation. IJCAI 2003: 619-624
Emergent Behavior
- Attila Kondacs:
Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation. IJCAI 2003: 633-638
Evolution and Genetic Algorithms
- Thomas Miconi:
When Evolving Populations is Better than Coevolving Individuals: The Blind Mice Problem. IJCAI 2003: 647-652 - Liviu Panait, R. Paul Wiegand, Sean Luke:
Improving Coevolutionary Search for Optimal Multiagent Behaviors. IJCAI 2003: 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. IJCAI 2003: 661-668
Logic-Based MAS and Communication Languages
- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
Protocol Conformance for Logic-based Agents. IJCAI 2003: 679-684 - Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert:
Hidden Uncertainty in the Logical Representation of Desires. IJCAI 2003: 685-690
Multiagent Reinforcement Learning and POMDPs
- Michael H. Bowling, Manuela M. Veloso:
Simultaneous Adversarial Multi-Robot Learning. IJCAI 2003: 699-704 - Ranjit Nair, Milind Tambe, Makoto Yokoo, David V. Pynadath, Stacy Marsella:
Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings. IJCAI 2003: 705-711 - Bob Price, Craig Boutilier:
A Bayesian Approach to Imitation in Reinforcement Learning. IJCAI 2003: 712-720
Multiagent Systems
- John Thangarajah, Lin Padgham, Michael Winikoff:
Detecting & Avoiding Interference Between Goals in Intelligent Agents. IJCAI 2003: 721-726 - Scott A. Wallace, John E. Laird:
Behavior Bounding: Toward Effective Comparisons of Agents & Humans. IJCAI 2003: 727-732 - Makoto Yokoo:
Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol. IJCAI 2003: 733-742
Multiagent Tracking
- Ronald Ashri, Michael Luck, Mark d'Inverno:
On Identifying and Managing Relationships in Multi-Agent Systems. IJCAI 2003: 743-748 - Salvador Mandujano, Arturo Galván:
ODISET: On-line Distributed Session Tracing using Agents. IJCAI 2003: 749-756
Nash Equilibria
- Ben Blum, Christian R. Shelton, Daphne Koller:
A Continuation Method for Nash Equilibria in Structured Games. IJCAI 2003: 757-764
Nonmanipulability and Fault-Tolerance
- Vincent Conitzer, Tuomas Sandholm:
Universal Voting Protocol Tweaks to Make Manipulation Hard. IJCAI 2003: 781-788 - Sarit Kraus, V. S. Subrahmanian, N. Cihan Tas:
Probabilistically Survivable MASs. IJCAI 2003: 789-795 - Fariba Sadri, Francesca Toni, Paolo Torroni:
Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804
Natural Language
- Satanjeev Banerjee, Ted Pedersen:
Extended Gloss Overlaps as a Measure of Semantic Relatedness. IJCAI 2003: 805-810 - Massimiliano Ciaramita, Thomas Hofmann, Mark Johnson:
Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge. IJCAI 2003: 817-822 - Guy De Pauw:
GRAEL: an agent-based evolutionary computing approach for natural language grammar development. IJCAI 2003: 823-832
Nonmonotonic Reasoning
Default Logic
- Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier Detection Using Default Logic. IJCAI 2003: 833-838
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. IJCAI 2003: 847-852 - Fangzhen Lin, Jicheng Zhao:
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. IJCAI 2003: 853-858 - Jia-Huai You, Li-Yan Yuan, Mingyi Zhang:
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. IJCAI 2003: 859-866
Nonmonotonic Reasoning
- Fangzhen Lin, Jia-Huai You:
Recycling Computed Answers in Rewrite Systems for Abduction. IJCAI 2003: 879-886
Ontologies and Foundations
- Selmer Bringsjord, Bettina Schimanski:
What is Artificial Intelligence? Psychometric AI as an Answer. IJCAI 2003: 887-893 - Heiner Stuckenschmidt, Michel C. A. Klein:
Integrity and Change in Modular Ontologies. IJCAI 2003: 900-908
Perception
- Grzegorz Cielniak, Maren Bennewitz, Wolfram Burgard:
Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots. IJCAI 2003: 909-914 - Dirk Hähnel, Sebastian Thrun, Wolfram Burgard:
An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots. IJCAI 2003: 915-920 - Dirk Schulz, Dieter Fox, Jeffrey Hightower:
People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters. IJCAI 2003: 921-928
Planning
- Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu:
A Parametric Hierarchical Planner for Experimenting Abstraction Techniques. IJCAI 2003: 936-941 - Antonio Garrido Tejero, Eva Onaindia:
On the application of least-commitment and heuristic search in temporal planning. IJCAI 2003: 942-947 - Adriana Lopez, Fahiem Bacchus:
Generalizing GraphPlan by Formulating Planning as a CSP. IJCAI 2003: 954-960
Probabilistic Inference
- David Allen, Adnan Darwiche:
Optimal Time-Space Tradeoff in Probabilistic Inference. IJCAI 2003: 969-975 - Vandi Verma, Sebastian Thrun, Reid G. Simmons:
Variable Resolution Particle Filter. IJCAI 2003: 976-984
Probabilistic Inference: First Order
Probabilistic Planning
Abstraction, Transfer
- Carlos Guestrin, Daphne Koller, Chris Gearhart, Neal Kanodia:
Generalizing Plans to New Environments in Relational MDPs. IJCAI 2003: 1003-1010 - Balaraman Ravindran, Andrew G. Barto:
SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes. IJCAI 2003: 1011-1018
Probabilistic Planning
- Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun:
Point-based value iteration: An anytime algorithm for POMDPs. IJCAI 2003: 1025-1032
Qualitative Reasoning
- Ronen I. Brafman, Yannis Dimopoulos:
A New Look at the Semantics and Optimization Methods of CP-Networks. IJCAI 2003: 1033-1038 - Sylvie Galichet, Didier Dubois, Henri Prade:
Categorizing classes of signals by means of fuzzy gradual rules. IJCAI 2003: 1039-1044 - Naren Ramakrishnan, Christopher Bailey-Kellogg:
Gaussian Process Models of Spatial Aggregation Algorithms. IJCAI 2003: 1045-1051 - Dorian Suc, Daniel Vladusic, Ivan Bratko:
Qualitatively Faithful Quantitative Prediction. IJCAI 2003: 1052-1060
Reasoning about Actions and Change
- Alfredo Gabaldon:
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. IJCAI 2003: 1061-1066 - Andreas Herzig, Jérôme Lang, Pierre Marquis:
Action representation and partially observable planning using epistemic logic. IJCAI 2003: 1067-1072 - Jérôme Lang, Fangzhen Lin, Pierre Marquis:
Causal Theories of Action: A Computational Core. IJCAI 2003: 1073-1078 - Joohyung Lee, Vladimir Lifschitz:
Describing Additive Fluents in Action Language C+. IJCAI 2003: 1079-1084 - Richard B. Scherl:
Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. IJCAI 2003: 1091-1098
Resource-Bounded Reasoning
- Vincent Conitzer, Tuomas Sandholm:
Definition and Complexity of Some Basic Metareasoning Problems. IJCAI 2003: 1099-1106 - Dmitri A. Dolgov, Edmund H. Durfee:
Approximating Optimal Policies for Agents with Limited Execution Resources. IJCAI 2003: 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. IJCAI 2003: 1121-1126 - Cyrill Stachniss, Wolfram Burgard:
Exploring Unknown Environments with Mobile Robots using Coverage Maps. IJCAI 2003: 1127-1134
Simultaneous Localization and Mapping
- Austin I. Eliazar, Ronald Parr:
DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks. IJCAI 2003: 1135-1142 - John J. Leonard, Paul M. Newman:
Consistent, Convergent, and Constant-Time SLAM. IJCAI 2003: 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. IJCAI 2003: 1151-1156 - Mark A. Paskin:
Thin Junction Tree Filters for Simultaneous Localization and Mapping. IJCAI 2003: 1157-1166
Satisfiability
- Jinbo Huang, Adnan Darwiche:
A Structure-Based Variable Ordering Heuristic for SAT. IJCAI 2003: 1167-1172 - Ryan Williams, Carla P. Gomes, Bart Selman:
Backdoors To Typical Case Complexity. IJCAI 2003: 1173-1178 - Weixiong Zhang, Ananda Rangan, Moshe Looks:
Backbone Guided Local Search for Maximum Satisfiability. IJCAI 2003: 1179-1186
Satisfiability and Phase Transitions
- Delbert D. Bailey, Phokion G. Kolaitis:
Phase Transitions of Bounded Satisfiability Problems. IJCAI 2003: 1187-1193 - Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Understanding the Power of Clause Learning. IJCAI 2003: 1194-1201
Scheduling
- Daniel S. Bernstein, Lev Finkelstein, Shlomo Zilberstein:
Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems. IJCAI 2003: 1211-1217 - Laurence A. Kramer, Stephen F. Smith:
Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems. IJCAI 2003: 1218-1223 - Torsten O. Paulussen, Nicholas R. Jennings, Keith S. Decker, Armin Heinzl:
Distributed Patient Scheduling in Hospitals. IJCAI 2003: 1224-1232
Search
- Blai Bonet, Hector Geffner:
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback. IJCAI 2003: 1233-1238 - Heath Hohwald, Ignacio Thayer, Richard E. Korf:
Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment. IJCAI 2003: 1239-1245 - Dan Klein, Christopher D. Manning:
Factored A* Search for Models over Sequences and Trees. IJCAI 2003: 1246-1251
Spatial Reasoning
Temporal Reasoning
- Alfonso Gerevini:
Incremental Tractable Reasoning about Qualitative Temporal Constraints. IJCAI 2003: 1283-1288 - Lina Khatib, Paul H. Morris, Robert A. Morris, Kristen Brent Venable:
Tractable Pareto Optimization of Temporal Preferences. IJCAI 2003: 1289-1294 - Van-Thinh Vu, François Brémond, Monique Thonnat:
Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition. IJCAI 2003: 1295-1302
User Modeling
Vision
- Ramana Isukapalli, Russell Greiner:
Use of Off-line Dynamic Programming for Efficient Image Interpretation. IJCAI 2003: 1319-1325 - Yang Wang, Tele Tan, Kia-Fock Loe:
Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking. IJCAI 2003: 1326-1336
Poster Papers
Automated Reasoning
- Mark Brodie, Irina Rish, Sheng Ma, Natalia Odintsova:
Active Probing Strategies for Problem Diagnosis in Distributed Systems. IJCAI 2003: 1337-1338 - Gregory M. Provan:
A Novel Framework for Integrating Discrete Event System Control and Diagnosis. IJCAI 2003: 1341-1342 - Quoc Bao Vo, Christoph Benzmüller, Serge Autexier:
Assertion Application in Theorem Proving and Proof Planning. IJCAI 2003: 1343-
Case-Based Reasoning
- Brian Knight, Fei Ling Woon:
Case Base Adaptation Using Solution-Space Metrics. IJCAI 2003: 1347-1348 - Derry O'Sullivan, Barry Smyth, David C. Wilson:
Explicit vs Implicit Profiling - A Case-Study in Electronic Programme Guides. IJCAI 2003: 1351-
Constraints
- Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358 - Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls:
Grid-based SensorDCSP. IJCAI 2003: 1359-1361 - Russell Bent, Pascal Van Hentenryck:
Dynamic Vehicle Routing with Stochastic Requests. IJCAI 2003: 1362-1363 - Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI 2003: 1364-1365 - James Bowen, Chavalit Likitvivatanavong:
Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems. IJCAI 2003: 1366-1367 - Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369 - Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371 - Iván Dotú, Alvaro del Val, Manuel Cebrián:
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem. IJCAI 2003: 1372-1373 - Carlos Eisenberg, Boi Faltings:
Making the Breakout Algorithm Complete Using Systematic Search. IJCAI 2003: 1374-1375 - Jordan Erenrich, Bart Selman:
Sampling Combinatorial Spaces Using Biased Random Walks. IJCAI 2003: 1376-1380 - Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtchenko, AbdelAli Ed-Dbali:
Finite Domain Constraint Solver Learning. IJCAI 2003: 1379-1380 - Adrian Petcu, Boi Faltings:
Applying interchangeability techniques to the distributed breakout algorithm. IJCAI 2003: 1381-1382 - Timothy Weale, Jennifer Seitzer:
EVOC: A Music Generating System using Genetic Algorithms. IJCAI 2003: 1383-1384 - Neil Yorke-Smith, Kristen Brent Venable, Francesca Rossi:
Temporal Reasoning with Preferences and Uncertainty. IJCAI 2003: 1385-
Knowledge Representation
- Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
BDIOCTL: Obligations and the Specification of Agent Behavior. IJCAI 2003: 1389-1390 - James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco:
Prolegomenon to a Theory of Conservative Belief Revision. IJCAI 2003: 1391-1393 - Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer:
Extending DTGOLOG with Options. IJCAI 2003: 1394-1395 - Angelo C. Restificar, Peter Haddawy:
Constructing utility models from observed negotiation actions. IJCAI 2003: 1404-1405 - Paulo E. Santos, Murray Shanahan:
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring. IJCAI 2003: 1408-
Information Retrieval and Data Mining
- Joo-Hwee Lim, Jesse S. Jin:
Learning Consumer Photo Categories for Semantic Retrieval. IJCAI 2003: 1413-1414 - Barry Smyth, Evelyn Balfe, Peter Briggs, Maurice Coyle, Jill Freyne:
Collaborative Web Search. IJCAI 2003: 1417-1419 - Xingquan Zhu, Xindong Wu:
Mining Video Associations for Efficient Database Management. IJCAI 2003: 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. IJCAI 2003: 1427-1428 - Rinat Khoussainov, Nicholas Kushmerick:
Learning to Compete in Heterogeneous Web Search Environments. IJCAI 2003: 1429-1431 - Michail G. Lagoudakis, Ronald Parr:
Approximate Policy Iteration using Large-Margin Classifiers. IJCAI 2003: 1432-1434 - Huan Liu, Amit Mandvikar, Patricia G. Foschi, Kari Torkkola:
Active Learning with Ensembles for Image Classification. IJCAI 2003: 1435-1436 - Rachael Rafter, Barry Smyth:
Item Selection Strategies for Collaborative Filtering. IJCAI 2003: 1437-1439 - Alexander K. Seewald:
Towards a Theoretical Framework for Ensemble Classification. IJCAI 2003: 1443-1444 - Nathan Sprague, Dana H. Ballard:
Multiple-Goal Reinforcement Learning with Modular Sarsa(0). IJCAI 2003: 1445-1447 - Sarah Zelikovitz, Haym Hirsh:
Integrating Background Knowledge Into Text Classification. IJCAI 2003: 1448-1449 - Zhihua Zhang, James T. Kwok, Dit-Yan Yeung:
Parametric Distance Metric Learning with Label Information. IJCAI 2003: 1450-
Multiagents
- Donovan Artz, Maxim Peysakhov, William C. Regli:
Network Meta-Reasoning for Information Assurance in Mobile Agent Systems. IJCAI 2003: 1455-1457 - Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, William E. Walsh:
Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems. IJCAI 2003: 1458-1459 - Michael H. Bowling, Rune M. Jensen, Manuela M. Veloso:
A Formalization of Equilibria for Multiagent Planning. IJCAI 2003: 1460-1462 - Martin J. Kollingbaum, Timothy J. Norman:
NoA - A Normative Agent Architecture. IJCAI 2003: 1465-1466 - Thuc Duong Nguyen, Nicholas R. Jennings:
A heuristic model for concurrent bi-lateral negotiations in incomplete information settings. IJCAI 2003: 1467-1469 - Itsuki Noda:
Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling. IJCAI 2003: 1470-1472 - Eric Normand, Sheila Tejada:
Virtual World as Interface for Human-Robot Interaction. IJCAI 2003: 1473-1474 - Thomas T. Tran, Robin Cohen:
Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments. IJCAI 2003: 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. IJCAI 2003: 1477-
Natural Language
- James Fan, Ken Barker, Bruce W. Porter:
The Knowledge Required to Interpret Noun Compounds. IJCAI 2003: 1483-1485 - Michel Galley, Kathleen R. McKeown:
Improving Word Sense Disambiguation in Lexical Chaining. IJCAI 2003: 1486-1488 - Xiangen Hu, Zhiqiang Cai, Max M. Louwerse, Andrew Olney, Phanni Penumatsa, Arthur C. Graesser:
A Revised Algorithm for Latent Semantic Analysis. IJCAI 2003: 1489-1491 - Dekang Lin, Shaojun Zhao, Lijuan Qin, Ming Zhou:
Identifying Synonyms among Distributionally Similar Words. IJCAI 2003: 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. IJCAI 2003: 1496-
Neural Networks
- Jason P. Garforth, Sue L. McHale, Anthony Meehan:
Neural Executive Attentional Control in Robots. IJCAI 2003: 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. IJCAI 2003: 1505-1506
Planning
- Yngvi Björnsson, Markus Enzenberger, Robert Holte, Jonathan Schaeffer, Peter Yap:
Comparison of Different Grid Abstractions for Pathfinding on Maps. IJCAI 2003: 1511-1512 - Max Horstmann, Shlomo Zilberstein:
Automated Generation of Understandable Contingency Plans. IJCAI 2003: 1518-1519 - Masoumeh T. Izadi, Doina Precup:
A Planning Algorithm for Predictive State Representations. IJCAI 2003: 1520-1521 - Romeo Sanchez Nigenda, Subbarao Kambhampati:
Parallelizing State Space Plans Online. IJCAI 2003: 1522-1523 - Terry Zimmerman, Subbarao Kambhampati:
Using Available Memory to Transform Graphplan's Search. IJCAI 2003: 1526-
Search
- Vadim Bulitko, Lihong Li, Russell Greiner, Ilya Levner:
Lookahead Pathologies for Single Agent Search. IJCAI 2003: 1531-1533 - Mark Goldenberg, Alexander Kovarsky, Xiaomeng Wu, Jonathan Schaeffer:
Multiple Agents Moving Target Search. IJCAI 2003: 1536-1538 - Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham:
A Portfolio Approach to Algorithm Selection. IJCAI 2003: 1542 - Andrew Lim, Brian Rodrigues, Fei Xiao:
A New Node Centroid Algorithm for Bandwidth Minimization. IJCAI 2003: 1544-1545 - Arathi Ramani, Igor L. Markov:
Combining Two Local Search Approaches to Hypergraph Partitioning. IJCAI 2003: 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. IJCAI 2003: 1551-1552 - Matthias Fichtner, Axel Großmann:
A Visual-Sensor Model for Mobile Robot Localisation. IJCAI 2003: 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. IJCAI 2003: 1557-1559 - Salvador Elías Venegas-Andraca, S. Bose:
Quantum Computation and Image Processing: New Trends in Artificial Intelligence. IJCAI 2003: 1563-
Invited Speakers
- Monika Rauch Henzinger, Rajeev Motwani, Craig Silverstein:
Challenges in Web Search Engines. IJCAI 2003: 1573-1579 - Daniel S. Weld, Corin R. Anderson, Pedro M. Domingos, Oren Etzioni, Krzysztof Gajos, Tessa A. Lau, Steven A. Wolfman:
Automatically Personalizing User Interfaces. IJCAI 2003: 1613-1619
Intelligent Systems Demonstrations
- Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber:
Writer's Aid: Using a Planner in a Collaborative Interface. IJCAI 2003: 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. IJCAI 2003: 1631-1632 - Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo:
GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints. IJCAI 2003: 1633-1634 - Carlos Gershenson:
Comparing Different Cognitive Paradigms with a Virtual Laboratory. IJCAI 2003: 1635-1636 - Darsana P. Josyula, Michael L. Anderson, Donald Perlis:
Towards domain-independent, task-oriented, conversational adequacy. IJCAI 2003: 1637-1638 - Debra Schreckenghost, R. Peter Bonasso, David Kortenkamp, Cheryl E. Martin, Tod Milam, Carroll Thronesbery:
Demonstration: Liaison Agents for Distributed Space Operations. IJCAI 2003: 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. IJCAI 2003: 1643-1644 - Youyong Zou, Timothy W. Finin, Li Ding, Harry Chen, Rong Pan:
TAGA: Travel Market Framework in Agentcities. IJCAI 2003: 1645-
Computers and Thought Award Paper
- Tuomas Sandholm:
Making Markets and Democracy Work: A Story of Incentives and Computing. IJCAI 2003: 1649-
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint