default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th IJCAI 2001: Seattle, Washington, USA
- Bernhard Nebel:
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. Morgan Kaufmann 2001, ISBN 1-55860-777-3
Knowledge Representation and Reasoning
Cognitive Robotics
- Emilio Remolina, Benjamin Kuipers:
A Logical Account of Causal and Topological Maps. IJCAI 2001: 5-11 - Henrik Grosskreutz, Gerhard Lakemeyer:
On-Line Execution of cc-Golog Plans. IJCAI 2001: 12-18 - Mikhail Soutchanski:
An On-line Decision-Theoretic Golog Interpreter. IJCAI 2001: 19-26
Structure-Based Causality
- Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001: 27-34 - Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Structure-Based Causality. IJCAI 2001: 35-42
Spatial Reasoning
- Christopher Bailey-Kellogg, Naren Ramakrishnan:
Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems. IJCAI 2001: 43-50 - Jochen Renz:
A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals. IJCAI 2001: 51-56 - David A. Randell, Mark Witkowski, Murray Shanahan:
From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. IJCAI 2001: 57-66
Qualitative Reasoning for Biological Systems
- Hidde de Jong, Michel Page, Céline Hernandez, Johannes Geiselmann:
Qualitative Simulation of Genetic Regulatory Networks: Method and Application. IJCAI 2001: 67-73 - Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jean-Luc Gouzé, Nicolaas J. I. Mars:
Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology. IJCAI 2001: 74-82
Temporal Reasoning
- Andrei A. Krokhin, Peter Jeavons, Peter Jonsson:
A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. IJCAI 2001: 83-88 - Carsten Lutz:
Interval-based Temporal Reasoning with General TBoxes. IJCAI 2001: 89-96
Belief Revision
- Chitta Baral, Yan Zhang:
On the Semantics of Knowledge Update. IJCAI 2001: 97-102 - Pierre Marquis, Nadège Porquet:
Resource-bounded inference from inconsistent belief bases. IJCAI 2001: 103-108 - Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams:
Weakening Conflicting Information for Iterated Revision and Knowledge Integration. IJCAI 2001: 109-118
Action and Causality
- Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek:
Updates, actions, and planning. IJCAI 2001: 119-124 - Maurice Pagnucco, Pavlos Peppas:
Causality and Minimal Change Demystified. IJCAI 2001: 125-130 - Dongmo Zhang, Norman Y. Foo:
EPDL: A Logic for Causal Reasoning. IJCAI 2001: 131-138
Action
- G. Neelakantan Kartha:
A Circumscriptive Formalization of the Qualification Problem. IJCAI 2001: 139-144 - Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. IJCAI 2001: 145-154
Description Logics
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160 - Volker Haarslev, Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001: 161-168
Complexity Analysis
- Marco Cadoli, Thomas Eiter, Georg Gottlob:
Complexity of Nested Circumscription and Abnormality Theories. IJCAI 2001: 169-174 - Adnan Darwiche, Pierre Marquis:
A Perspective on Knowledge Compilation. IJCAI 2001: 175-182 - Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis:
Phase Transitions of PP-Complete Satisfiability Problems. IJCAI 2001: 183-192
Description Logics and Conceptual Graphs
- Fabio Massacci:
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity. IJCAI 2001: 193-198 - Ian Horrocks, Ulrike Sattler:
Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204 - Jean-François Baget, Marie-Laure Mugnier:
The SG Family: Extensions of Simple Conceptual Graphs. IJCAI 2001: 205-212
Description Logics and Formal Concept Analysis
- Franz Baader, Sebastian Brandt, Ralf Küsters:
Matching under Side Conditions in Description Logics. IJCAI 2001: 213-218 - Ralf Küsters, Ralf Molitor:
Computing Least Common Subsumers in ALEN. IJCAI 2001: 219-224 - Gerd Stumme, Alexander Maedche:
FCA-MERGE: Bottom-Up Merging of Ontologies. IJCAI 2001: 225-234
Search, Satisfiability, and Constraint Satisfaction Problems
Search
- Wheeler Ruml:
Incomplete Tree Search using Adaptive Probing. IJCAI 2001: 235-241 - Theodore J. Perkins, Andrew G. Barto:
Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis. IJCAI 2001: 242-247 - Olivier Dubois, Gilles Dequen:
A backbone-search heuristic for efficient solving of hard 3-SAT formulae. IJCAI 2001: 248-253 - John K. Slaney, Toby Walsh:
Backbones in Optimization and Approximation. IJCAI 2001: 254-259 - Cyril Terrioux:
Cooperative Search and Nogood Recording. IJCAI 2001: 260-265 - Toby Walsh:
Search on High Degree Graphs. IJCAI 2001: 266-274
Satisfiability
- Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281 - Alan M. Frisch, Timothy J. Peugniez:
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI 2001: 282-290
Constraint Satisfaction Problems
- Jean-François Baget, Yannic S. Tognetti:
Backtracking Through Biconnected Components of a Constraint Graph. IJCAI 2001: 291-296 - Micha Janssen, Pascal Van Hentenryck, Yves Deville:
A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302 - Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Improved bounds on the complexity of kB-consistency. IJCAI 2001: 303-308 - Christian Bessière, Jean-Charles Régin:
Refining the Basic Constraint Propagation Algorithm. IJCAI 2001: 309-315 - Yuanlin Zhang, Roland H. C. Yap:
Making AC-3 an Optimal Algorithm. IJCAI 2001: 316-321 - Lina Khatib, Paul H. Morris, Robert A. Morris, Francesca Rossi:
Temporal Constraint Reasoning With Preferences. IJCAI 2001: 322-327 - Michel Vasquez, Jin-Kao Hao:
A Hybrid Approach for the 01 Multidimensional Knapsack problem. IJCAI 2001: 328-333 - Dale Schuurmans, Finnegan Southey, Robert C. Holte:
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming. IJCAI 2001: 334-341 - Andrew Lim, Wang Ying:
A New Method For The Three Dimensional Container Packing Problem. IJCAI 2001: 342-350
Satisfiability
- Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel:
Balance and Filtering in Structured Satisfiable Problems. IJCAI 2001: 351-358 - Laurent Simon, Alvaro del Val:
Efficient Consequence Finding. IJCAI 2001: 359-370
Cognitive Modeling
Cognitive Modeling - Diagramatic Reasoning
- Christopher G. Healey:
Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces. IJCAI 2001: 371-376 - Jim Davies, Ashok K. Goel:
Visual Analogy in Problem Solving. IJCAI 2001: 377-384
Cognitive Modeling - Categorization
- Peter Gärdenfors, Mary-Anne Williams:
Reasoning about Categories in Conceptual Spaces. IJCAI 2001: 385-392 - Tony Belpaeme:
Simulating the Formation of Color Categories. IJCAI 2001: 393-400
Cognitive Modeling - Perceptual Grounding
- Josefina Sierra-Santibáñez:
Grounded Models as a Basis for Intuitive Reasoning. IJCAI 2001: 401-406 - Silvia Coradeschi, Alessandro Saffiotti:
Perceptual Anchoring of Symbols for Action. IJCAI 2001: 407-416
Panning
Panning with Forward Search
- Fahiem Bacchus, Michael Ady:
Planning with Resources and Concurrency: A Forward Chaining Approach. IJCAI 2001: 417-424 - Dana S. Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell:
Total-Order Planning with Partially Ordered Subtasks. IJCAI 2001: 425-430 - Lars Karlsson:
Conditional progressive planning under uncertainty. IJCAI 2001: 431-438
Domain Analysis for Planning
- Emmanuel Guere, Rachid Alami:
One action is enough to plan. IJCAI 2001: 439-444 - Maria Fox, Derek Long:
Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning. IJCAI 2001: 445-452
Search Heuristics in Planning
- Jörg Hoffmann:
Local Search Topology in Planning Benchmarks: An Empirical Analysis. IJCAI 2001: 453-458 - XuanLong Nguyen, Subbarao Kambhampati:
Reviving Partial Order Planning. IJCAI 2001: 459-466
Planning with Incomplete Information
- Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri:
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472 - Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478 - Marco Pistore, Paolo Traverso:
Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI 2001: 479-486
Planning with Temporal Uncertainty
- Phil Kim, Brian C. Williams, Mark Abramson:
Executing Reactive, Model-based Programs through Graph-based Temporal Planning. IJCAI 2001: 487-493 - Paul H. Morris, Nicola Muscettola, Thierry Vidal:
Dynamic Control Of Plans With Temporal Uncertainty. IJCAI 2001: 494-502
Complexity of Planning
- Jussi Rintanen:
Complexity of Probabilistic Planning under Average Rewards. IJCAI 2001: 503-508 - Chitta Baral, Vladik Kreinovich, Raul Trejo:
Computational Complexity of Planning with Temporal Goals. IJCAI 2001: 509-514 - Ronen I. Brafman:
A Simplifier for Propositional Formulas with Many Binary Clauses. IJCAI 2001: 515-522
Games
- Tristan Cazenave:
Iterative Widening. IJCAI 2001: 523-528 - Jonathan Schaeffer, Markian Hlynka, Vili Jussila:
Temporal Difference Learning Applied to a High-Performance Game-Playing Program. IJCAI 2001: 529-534 - Jeff L. Stimpson, Michael A. Goodrich, Lawrence C. Walters:
Satisficing and Learning Cooperation in the Prisoner s Dilemma. IJCAI 2001: 535-544
Diagnosis
Diagnosis
- Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees or the lazy ECU vindicated. IJCAI 2001: 545-550 - Louise Travé-Massuyès, Teresa Escobet, Robert Milne:
Model-based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem. IJCAI 2001: 551-556 - Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung, Claudia Picardi:
Distributed Monitoring of Hybrid Systems: A model-directed approach. IJCAI 2001: 557-564 - Irène Grosclaude, Marie-Odile Cordier, Rene Quiniou:
Causal interaction: from a high-level representation to an operational event-based representation. IJCAI 2001: 565-572
Hierarchical Diagnosis and Monitoring
- Luca Chittaro, Roberto Ranon:
Hierarchical Diagnosis Guided by Observations. IJCAI 2001: 573-578 - Brian C. Williams, Seung Chung, Vineet Gupta:
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. IJCAI 2001: 579-590
Logic Programming and Theorem Proving
Logic Programming
- Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker:
A-System: Problem Solving through Abduction. IJCAI 2001: 591-596 - Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602 - Piero A. Bonatti:
Reasoning with infinite stable models. IJCAI 2001: 603-610
Theorem Proving
- Alexandre Riazanov, Andrei Voronkov:
Splitting Without Backtracking. IJCAI 2001: 611-617 - Lifeng He:
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. IJCAI 2001: 618-623 - Sheila A. McIlraith, Eyal Amir:
Theorem Proving with Structured Theories. IJCAI 2001: 624-634
Answer Set Programming
- Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640 - Thomas Linke:
Graph Theoretical Characterization and Computation of Answer Sets. IJCAI 2001: 641-648
Logic Programming
- Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Framework for Declarative Update Specifications in Logic Programs. IJCAI 2001: 649-654 - Fangzhen Lin, Jia-Huai You:
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. IJCAI 2001: 655-666
Uncertainty amd Probabilistic Reasoning
Probabilistic Reasoning
- Silja Renooij, Simon Parsons, Linda C. van der Gaag:
Context-specific Sign-propagation in Qualitative Probabilistic Networks. IJCAI 2001: 667-672 - Carlos Guestrin, Daphne Koller, Ronald Parr:
Max-norm Projections for Factored MDPs. IJCAI 2001: 673-682
Factored Markov Decision Procedures
- Kee-Eung Kim, Thomas L. Dean:
Solving Factored MDPs via Non-Homogeneous Partitioning. IJCAI 2001: 683-689 - Craig Boutilier, Raymond Reiter, Bob Price:
Symbolic Dynamic Programming for First-Order MDPs. IJCAI 2001: 690-700
Markov Decision Processes
- Stéphane Cardon, Abdel-Illah Mouaddib, Shlomo Zilberstein, Richard Washington:
Adaptive Control of Acyclic Progressive Processing Task Structures. IJCAI 2001: 701-706 - Rong Zhou, Eric A. Hansen:
An Improved Grid-Based Approximation Algorithm for POMDPs. IJCAI 2001: 707-716
Uncertainty
- Adriana Zapico:
Weakening Commensurability Hypothesis in Possibilistic Qualitative Decision Theory. IJCAI 2001: 717-722 - Lluís Godo, Petr Hájek, Francesc Esteva:
A Fuzzy Modal Logic for Belief Functions. IJCAI 2001: 723-732
Probabilistic Reasoning
- Avi Pfeffer:
IBAL: A Probabilistic Rational Programming Language. IJCAI 2001: 733-740 - Hanna Pasula, Stuart Russell:
Approximate inference for first-order probabilistic languages. IJCAI 2001: 741-748 - Wilhelm Rödder:
Knowledge Processing under Information Fidelity. IJCAI 2001: 749-754 - Manfred Jaeger:
Constraints as Data: A New Perspective on Inferring Probabilities. IJCAI 2001: 755-764
Neural Networks and Genetic Algorithms
Neural Networks
- Kenneth McGarry, Stefan Wermter, John MacIntyre:
Knowledge Extraction from Local Function Networks. IJCAI 2001: 765-770 - Benjamin W. Wah, Minglun Qian:
Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions. IJCAI 2001: 771-776 - Fredrik Linåker, Henrik Jacobsson:
Mobile Robot Learning of Delayed Response Tasks through Event Extraction: A Solution to the Road Sign Problem and Beyond. IJCAI 2001: 777-782 - Raymond S. T. Lee, James N. K. Liu:
NORN Finance Forecaster - A Neural Oscillatory-based Recurrent Network for Finance Prediction. IJCAI 2001: 783-788 - Shenshan Qiu, Eric C. C. Tsang, Daniel S. Yeung, Xizhao Wang:
A General Updating Rule for Discrete Hopfield-Type Neural Network with Delay. IJCAI 2001: 789-796
Neural Networks and Genetic Algorithms
- Zhi-Hua Zhou, Jianxin Wu, Yuan Jiang, Shifu Chen:
Genetic Algorithm based Selective Neural Network Ensemble. IJCAI 2001: 797-802 - Chew Lim Tan, Henry Wai Kit Chia:
Neural Logic Network Learning using Genetic Programming. IJCAI 2001: 803-808 - Daniel S. Yeung, Xuequan Sun, Xiaoqin Zeng:
Sensitivity Analysis of Multilayer Perceptron. IJCAI 2001: 809-818
Machine Learning and Data Mining
Reinforcement Learning and Multi-Agent Systems
- David H. Wolpert, Joseph Sill, Kagan Tumer:
Reinforcement Learning in Distributed Domains: Beyond Team Games. IJCAI 2001: 819-824 - Bikramjit Banerjee, Sandip Sen, Jing Peng:
Fast Concurrent Reinforcement Learners. IJCAI 2001: 825-832
Reinforcement Learning / Robotics
- Alain Dutech, Olivier Buffet, François Charpillet:
Multi-Agent Systems by Incremental Gradient Reinforcement Learning. IJCAI 2001: 833-838 - Michael T. Rosenstein, Andrew G. Barto:
Robot Weightlifting By Direct Policy Search. IJCAI 2001: 839-846
Inductive Logic Programming
- Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro:
OI-implication: Soundness and Refutation Completeness. IJCAI 2001: 847-852 - Luc De Raedt, Stefan Kramer:
The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding. IJCAI 2001: 853-862
Probabilistic Learning
- Simon Tong, Daphne Koller:
Active Learning for Structure in Bayesian Networks. IJCAI 2001: 863-869 - Benjamin Taskar, Eran Segal, Daphne Koller:
Probabilistic Classification and Clustering in Relational Data. IJCAI 2001: 870-878
Machine Learning and Data Mining
- Corin R. Anderson, Pedro M. Domingos, Daniel S. Weld:
Adaptive Web Navigation for Wireless Devices. IJCAI 2001: 879-884 - Sofus A. Macskassy, Haym Hirsh, Arunava Banerjee, Aynur A. Dayanik:
Using Text Classifiers for Numerical Classification. IJCAI 2001: 885-890 - Siegfried Nijssen, Joost N. Kok:
Faster Association Rules for Multiple Relations. IJCAI 2001: 891-896 - Pascal Soucy, Guy W. Mineau:
A Simple Feature Selection Method for Text Classification. IJCAI 2001: 897-902 - Andrew Y. Ng, Alice X. Zheng, Michael I. Jordan:
Link Analysis, Eigenvectors and Stability. IJCAI 2001: 903-910 - Maytal Saar-Tsechansky, Foster J. Provost:
Active Learning for Class Probability Estimation and Ranking. IJCAI 2001: 911-920
Machine Learning
- Alessandro Serra, Attilio Giordana, Lorenza Saitta:
Learning on the Phase Transition Edge. IJCAI 2001: 921-926 - Fabio Aiolli, Alessandro Sperduti:
A Simple Additive Re-weighting Strategy for Improving Margins. IJCAI 2001: 927-934
Knowledge Acquisition
- Jihie Kim, Yolanda Gil:
Knowledge Analysis on Process Models. IJCAI 2001: 935-942 - Jim Blythe:
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge. IJCAI 2001: 943-952
Reinforcement Learning
- Ronen I. Brafman, Moshe Tennenholtz:
R-MAX - A General Polynomial Time Algorithm for Near-Optimal Reinforcement Learning. IJCAI 2001: 953-958 - Frédérick Garçia, Florent Serre:
From Q(lambda) to Average Q-learning: Efficient Implementation of an Asymptotic Approximation. IJCAI 2001: 959-964 - Gregory Z. Grudic, Lyle H. Ungar:
Exploiting Multiple Secondary Reinforcers in Policy Gradient Reinforcement Learning. IJCAI 2001: 965-972
Machine Learning and Data Mining
- Charles Elkan:
The Foundations of Cost-Sensitive Learning. IJCAI 2001: 973-978 - Un Yong Nahm, Raymond J. Mooney:
Mining Soft-Matching Rules from Textual Data. IJCAI 2001: 979-986
Case-Based Reasoning
- David W. Aha, Rosina Weber, Héctor Muñoz-Avila, Len Breslow, Kalyan Moy Gupta:
Bridging the Lesson Distribution Gap. IJCAI 2001: 987-992 - David McSherry:
Minimizing Dialog Length in Interactive Case-Based Reasoning. IJCAI 2001: 993-998 - Héctor Muñoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow, Fusun Yaman:
SiN: Integrating Case-based Reasoning with Task Decomposition. IJCAI 2001: 999-1004 - Maurizio Panti, Luca Spalazzi, Loris Penserini:
A Distributed Case-Based Query Rewriting. IJCAI 2001: 1005-1010 - Jacek Jarmulak, Susan Craw, Ray Rowe:
Using Case-Base Data to Learn Adaptation Knowledge for Design. IJCAI 2001: 1011-1020
Multi-Agent Systems
Multi-Agent Games
- Michael H. Bowling, Manuela M. Veloso:
Rational and Convergent Learning in Stochastic Games. IJCAI 2001: 1021-1026 - Daphne Koller, Brian Milch:
Multi-Agent Influence Diagrams for Representing and Solving Games. IJCAI 2001: 1027-1036
Multi-Agent Systems
- Tim D. Barfoot, Gabriele M. T. D'Eleuterio:
Multiagent Coordination by Stochastic Cellular Automata. IJCAI 2001: 1037-1042 - Sanguk Noh, Piotr J. Gmytrasiewicz:
Identifying the Scope of Modeling for Time-Critical Multiagent Decision- Making. IJCAI 2001: 1043-1050
Lifelike Characters
- Damian A. Isla, Robert C. Burke, Marc Downie, Bruce Blumberg:
A Layered Brain Architecture for Synthetic Creatures. IJCAI 2001: 1051-1058 - Berardina De Carolis, Catherine Pelachaud, Isabella Poggi, Fiorella de Rosis:
Behavior Planning for a Reflexive Agent. IJCAI 2001: 1059-1066
Cooperative Behavior
- Moshe Tennenholtz:
Rational Competitive Analysis. IJCAI 2001: 1067-1072 - Andrew Garland, Richard Alterman:
Learning Procedural Knowledge to Better Coordinate. IJCAI 2001: 1073-1083
Multi-Agent Systems
- Yoav Shoham, Moshe Tennenholtz:
Fair Imposition. IJCAI 2001: 1083-1088 - Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara:
Robust Multi-unit Auction Protocol against False-name Bids. IJCAI 2001: 1089-1094 - Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara:
Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids. IJCAI 2001: 1095-1101 - Tuomas Sandholm, Subhash Suri, Andrew Gilpin, David Levine:
CABOB: A Fast Optimal Algorithm for Combinatorial Auctions. IJCAI 2001: 1102-1108 - Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan:
A software architecture for dynamically generated adaptive Web stores. IJCAI 2001: 1109-1114 - Joanna Bryson, Lynn Andrea Stein:
Modularity and Design in Reactive Intelligence. IJCAI 2001: 1115-1120 - Leen-Kiat Soh, Costas Tsatsoulis:
Reflective Negotiating Agents for Real-Time Multisensor Target Tracking. IJCAI 2001: 1121-1127 - Rina Azoulay-Schwartz, Sarit Kraus:
Stable Strategies for Sharing Information among Agents. IJCAI 2001: 1128-1134 - John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz:
CAST: Collaborative Agents for Simulating Teamwork. IJCAI 2001: 1135-1144
Market Mechanisms
- Tuomas Sandholm, Subhash Suri:
Market Clearability. IJCAI 2001: 1145-1151 - William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman:
On Market-Inspired Approaches to Propositional Satisfiability. IJCAI 2001: 1152-1160
Multi-Agent Systems
- David C. Parkes, Jayant Kalagnanam, Marta Eso:
Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges. IJCAI 2001: 1161-1168 - Rajarshi Das, James E. Hanson, Jeffrey O. Kephart, Gerald Tesauro:
Agent-Human Interactions in the Continuous Double Auction. IJCAI 2001: 1169-1187
User Interfaces
- Robert St. Amant, Christopher G. Healey:
Usability Guidelines for Interactive Search in Direct Manipulation Systems. IJCAI 2001: 1179-1184 - Anthony Jameson, Frank Wittig:
Leveraging Data About Users in General in the Learning of Individual User Models. IJCAI 2001: 1185-1194
Multi-Agent Systems Applications
- Catholijn M. Jonker, Jan Treur:
An Agent Architecture for Multi-Attribute Negotiation. IJCAI 2001: 1195-1201 - Luis A. García, Francisco Toledo:
A Multiagent System for Helping Urban Traffic Management. IJCAI 2001: 1202-1210
Multi-Agent Systems
- Craig Boutilier, Holger H. Hoos:
Bidding Languages for Combinatorial Auctions. IJCAI 2001: 1211-1217 - Fatma Ozcan, V. S. Subrahmanian:
Partitioning Activities for Agents. IJCAI 2001: 1218-1228
Natural Language Processing and Information Retrieval
Natural Language Generation
- Rong Jin, Alexander G. Hauptmann:
Title Generation for Machine-Translated Documents. IJCAI 2001: 1229-1234 - Kalina Bontcheva, Yorick Wilks:
Dealing with Dependencies between Content Planning and Surface Realisation in a Pipeline Generation Architecture. IJCAI 2001: 1235-1240 - Charles B. Callaway, James C. Lester:
Narrative Prose Generation. IJCAI 2001: 1241-1250
Natural Language - Learning for Information Extraction
- Fabio Ciravegna:
Adaptive Information Extraction from Text by Rule Induction and Generalisation. IJCAI 2001: 1251-1256 - Dan Roth, Wen-tau Yih:
Relational Learning via Propositional Algorithms: An Information Extraction Case Study. IJCAI 2001: 1257-1263 - Thierry Poibeau:
Deriving a multi-domain information extraction system from a rough ontology. IJCAI 2001: 1264-1272
Information Extraction and Retrieval
- Soumya Ray, Mark Craven:
Representing Sentence Structure in Hidden Markov Models for Information Extraction. IJCAI 2001: 1273-1279 - Dennis Nilsson, Jacob Goldberger:
Sequentially finding the N-Best List in Hidden Markov Models. IJCAI 2001: 1280-1285 - Roberto Basili, Alessandro Moschitti, Maria Teresa Pazienza:
NLP-driven IR: Evaluating Performances over a Text Classification task. IJCAI 2001: 1286-1294
Natural Language Explanation and Argumentation
- Armin Fiedler:
Dialog-driven Adaptation of Explanations of Proofs. IJCAI 2001: 1295-1300 - Cristina Conati, Giuseppe Carenini:
Generating Tailored Examples to Support Learning via Self-explanation. IJCAI 2001: 1301-1306 - Giuseppe Carenini, Johanna D. Moore:
An Empirical Study of the Influence of User Tailoring on Evaluative Argument Effectiveness. IJCAI 2001: 1307-1314
Statistical Processing of Natural Language Grammars
- Joseph Bockhorst, Mark Craven:
Refining the Structure of a Stochastic Context-Free Grammar. IJCAI 2001: 1315-1322 - Fei Xia, Chung-hye Han, Martha Stone Palmer, Aravind K. Joshi:
Automatically Extracting and Comparing Lexicalized Grammars for Different Languages. IJCAI 2001: 1321-1330
Robotics and Perception
Robotics
- Alberto Finzi, Fiora Pirri:
Combining Probabilities, Failures and Safety in Robot Control. IJCAI 2001: 1331-1336 - Mitchell A. Potter, Lisa Meeden, Alan C. Schultz:
Heterogeneity in the Coevolved Behaviors of Mobile Robots: The Emergence of Specialists. IJCAI 2001: 1337-1343 - Jeremy Kubica, Arancha Casal, Tad Hogg:
Agent-Based Control for Object Manipulation with Modular Self-reconfigurable Robots. IJCAI 2001: 1344-1352
Vision
- Sven Behnke:
Learning Iterative Image Reconstruction. IJCAI 2001: 1353-1358 - Richard C. Meathrel, Antony Galton:
A Hierarchy of Boundary-based Shape Descriptors. IJCAI 2001: 1359-1364 - Christine Alvarado, Randall Davis:
Resolving Ambiguities to Create a Natural Computer-Based Sketching Environment. IJCAI 2001: 1365-1374
Vision I
- Hiroshi Ishiguro, Takuichi Nishimura:
VAMBAM: View and Motion-based Aspect Models for Distributed Omnidirectional Vision Systems. IJCAI 2001: 1375-1380 - Ramana Isukapalli, Russell Greiner:
Efficient Interpretation Policies. IJCAI 2001: 1381-1390
Vision II
- Huizhong Long, Wee Kheng Leow:
Perceptual Texture Space Improves Perceptual Consistency of Computational Features. IJCAI 2001: 1391-1396 - Philippe Mulhem, Wee Kheng Leow, Yoong Keok Lee:
Fuzzy Conceptual Graphs for Matching Images of Natural Scenes. IJCAI 2001: 1397-1404
Perception
- Brian Scassellati:
Discriminating Animate from Inanimate Visual Stimuli. IJCAI 2001: 1405-1410 - Leonardo Romero, Eduardo F. Morales, Luis Enrique Sucar:
An Hybrid Approach to Solve the Global Localization Problem For Indoor Mobile Robots Considering Sensorms Perceptual Limitations. IJCAI 2001: 1411-1416 - Michael H. Coen:
Multimodal Integration A Biological View. IJCAI 2001: 1417-1424 - Kazuhiro Nakadai, Ken-ichi Hidai, Hiroshi Mizoguchi, Hiroshi G. Okuno, Hiroaki Kitano:
Real-Time Auditory and Visual Multiple-Object Tracking for Humanoids. IJCAI 2001: 1425-1436
Web Applications
Web Applications
- James N. K. Liu, Raymond S. T. Lee, Jane You:
A Web-based Intelligent System for the Daya Bay Contingency Plan in Hong Kong. IJCAI 2001: 1437-1442 - Hideo Shimazu:
ExpertClerk: Navigating Shoppers Buying Process with the Combination of Asking and Proposing. IJCAI 2001: 1443-1450
Web Search
- Carmel Domshlak, Ronen I. Brafman, Solomon Eyal Shimony:
Preference-Based Configuration of Web Page Content. IJCAI 2001: 1451-1456 - Satoshi Oyama, Takashi Kokubo, Toru Ishida, Teruhiro Yamada, Yasuhiko Kitamura:
Keyword Spices: A New Method for Building Domain-Specific Web Search Engines. IJCAI 2001: 1457-1466
Invited Papers
- Philip R. Cohen:
Multimodal Interaction: A new focal area for AI. IJCAI 2001: 1467-1473 - Joseph Y. Halpern:
Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI 2001: 1474-1483 - Wolfgang Wahlster:
Robust Translation of Spontaneous Speech: A Multi-Engine Approach. IJCAI 2001: 1484-1493
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-07 00:41 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:
