Complete List of Accepted IJCAI-01 Papers


No Authors Title
5 Andrei Krokhin, Peter Jeavons, Peter Jonsson A complete classification of complexity in Allen's algebra in the presence of a non-trivial basic relation
8 Jeremy Kubica, Arancha Casal, Tad Hogg Agent-Based Control for Object Manipulation with Modular Self-reconfigurable Robots
33 Chitta Baral, Yan Zhang On the Semantics of Knowledge Update
53 Ronen Brafman A Simplifier for Propositional Formulas with Many Binary Clauses
55 Carsten Lutz Interval-based Reasoning with General T Boxes
56 Silja Renooij, Simon Parsons, Linda C. van der Gaag Context-specific Sign-propagation in Qualitative Probabilistic Networks
57 Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro OI-Implication: Soundness and Refutation Completeness
61 Fabio Ciravegna Adaptive Information Extraction from Text by Rule Induction and Generalization
70 Franz Baader, Sebastian Brandt, Ralf Kuesters Matching under Side Conditions in Description Logics
71 Tristan Cazenave Iterative Widening
78 Fabio Aiolli, Alessandro Sperduti A Simple Additive Re-weighting Strategy for Improving Margin
81 Yoav Shoham, Moshe Tennenholtz The fair imposition of tasks in multi-agent systems
82 Moshe Tennenholtz Rational Competitive Analysis
87 Ralf Kuesters, Ralf Molitor Computing Least Common Subsumers in ALEN
93 Ronen Brafman, Moshe Tennenholtz R-max -- A General Polynomial Time Algorithm for Near-Optimal Reinforcement Learning
94 Jörg Hoffmann Local Search Topology in Planning Benchmarks: An Empirical Analysis
97 Maurizio Panti, Luca Spalazzi, Loris Penserini A Distributed Case-Based Query Rewriting
107 Fredrik Linaker, Henrik Jacobsson Mobile Robot Learning of Delayed Response Tasks through Event Extraction: A Solution to the Road Sign Problem and Beyond
108 Richard Meathrel, Antony Galton A Hierarchy of Boundary-based Shape Descriptors
116 Marc Denecker, Antonis Kakas, Bert Van Nuffelen A-System: Problem Solving through Abduction
121 Piero A. Bonatti Reasoning with infinite stable models
125 Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara Robust Multi-unit Auction Protocol against False-name Bids
126 Lifeng He UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving
130 Wilhelm Rödder Knowledge Processing under Information Fidelity
131 Torsten Schaub, Kewen Wang A Comparative Study of Logic Programs with Preference
132 Thomas Linke Graph Theoretical Characterization and Computation of Answer Sets
140 Jean-Francois Baget, Marie-Laure Mugnier The SG Family: Extensions of Simple Conceptual Graphs
141 Hideo Shimazu ExpertClerk: Navigating Shoppers' Buying Process with the Combination of Asking and Proposing
144 Massacci, Fabio Decision Procedures for Expressive Description Logics with Role Intersection, Composition and Converse
160 Toby Walsh Search on High Degree Graphs
167 Dongmo Zhang, Norman Foo EPDL: A Logic for Causal Reasoning
172 Peter Gardenfors, Mary-Anne Williams Reasoning about Categories in Conceptual Spaces
174 Michel Vasquez, Jin-kao Hao A Hybrid Approach for the 0-1 Multidimensional Knapsack Problem
179 Kenneth McGarry, Stefan Wermter, John MacIntyre Knowledge Extraction and Comparison from Local Function Networks
184 Josefina Sierra-Santibanez Grounded Models as a Basis for Intuitive Reasoning
186 David McSherry Minimizing Dialog Length in Interactive Case-Based Reasoning
188 Pierre Marquis, N. Porquet Resource-bounded inference from inconsistent belief bases
191 Jean-Francois Baget, Yannic Tognetti Backtracking Through Biconnected Components of a Constraint Graph
197 Domshlak Carmel, Ronen I. Brafman, Eyal S. Shimony Preference-Based Configuration of Web Page Content
199 Leen-Kiat Soh, Costas Tsatsoulis Reflective Negotiating Agents for Real-Time Multisensor Target Tracking
207 Lina Khatib, Paul Morris, Robert Morris, Francesca Rossi Temporal Constraint Reasoning With Preferences
212 Brian C. Williams, Seung Chung, Vineet Gupta Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
218 Alain Dutech, Olivier Buffet, Francois Charpillet Multi-Agent systems by Incremental Gradient Reinforcement Learning
222 Jussi Rintanen Complexity of Probabilistic Planning under Average Rewards
224 Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan A software architecture for dynamically generated adaptive Web stores
233 Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
241 Frederick Garcia, Florent Serre From Q(lambda) to Average Q-learning: Efficient Implementation of an Asymptotic Approximation
243 Jacek Jarmulak, Susan Craw, Ray Rowe Using Case-Base Data to Learn Adaptation Knowledge for Design
246 Kalina Bontcheva, Yorick Wilks Dealing with Dependencies between Content Planning and Surface Realization in a Pipeline Generation Architecture
248 Cyril Terrioux Cooperative Search and Nogood Recording
258 Benjamin W. Wah, Minglun Qian Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions
263 Chew Lim Tan, Henry Wai Kit Chia Neural Logic Network Learning using Genetic Programming
266 Daniel S. Yeung, Eric C.C. Tsang, Shenshan Qiu A general updating rule for discrete Hopfield-type
274 Lars Karlsson Conditional progressive planning under uncertainty
275 Maria Fox, Derek Long Hybrid STAN: Identifying and Managing Combinatorial Optimization Sub-problems in Planning
276 Tony Belpaeme Simulating the Formation of Color Categories
281 D.S. Yeung, Xuequan Sun Sensitivity Analysis of Multilayer Perceptron
288 Irene Grosclaude, Marie-Odile Cordier, Rene Quiniou Causal interaction: from a high-level representation to an operational event based representation
292 Armin Fiedler Dialog-driven Adaptation of Explanations of Proofs
308 Huizhong Long, Wee Kheng Leow Perceptual Texture Space Improves Perceptual Consistency of Computational Features 
310 Philippe Mulhem, Wee Kheng Leow, Yoong Keok Lee Fuzzy Conceptual Graphs for Matching Images of Natural Scenes
314 Manfred Jaeger Constraints as Data: a New Perspective on Inferring Probabilities
319 Un Yong Nahm, Raymond J. Mooney Mining Soft-Matching Rules from Textual Data
323 XuanLong Nguyen, Subbarao Kambhampati Reviving Partial Order Planning
324 John Slaney, Toby Walsh Backbones in Optimization and Approximation
330 Delbert Bailey, Vistor Dalmau, Phokion G. Kolaitis Phase Transitions of PP-Complete Satisfiability Problems
331 Robert St. Amant, Christopher G. Healey Usability Guidelines for Interactive Search in Direct Manipulation Systems
332 Alan M Frisch, Timothy J Peugniez Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
338 Sven Behnke Learning Iterative Image Reconstruction
344 Zhi-Hua Zhou, Jian-Xin Wu, Yuan Jiang, Shi-Fu Chen Genetic Algorithm based Selective Neural Network Ensemble
351 Bessiere, Regin Refining the basic constraint propagation algorithm
353 Jonathan Schaeffer, Markian Hlynka, Vili Jussila Temporal Difference Learning Applied to a High Performance Game-Playing Program
355 Pascal Soucy, Guy W. Mineau A Simple Feature Selection Method for Text Classification
357 Lluis Godo, Petr Hajek, Francesc Esteva A fuzzy modal logic for Belief functions
358 Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri Heuristic Search Symbolic Model Checking = Efficient Conformant Planning
360 Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits A Framework for Declarative Update Specifications in Logic Programs
365 Leonardo Romero, Eduardo Morales, Enrique Sucar An Hybrid Approach to Solve the Global Localization Problem For Indoor Mobile Robots Considering Sensors Perceptual Limitations
374 Yuanlin Zhang, Roland H.C. Yap Making AC-3 an Optimal Algorithm
380 Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids
389 Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Backjumping for Quantified Boolean Logic Satisfiability
393 Adriana Zapico Weakening Commensurability Hypothesis in Possibilistic Qualitative
395 Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams Weakening Conflicting Information for Iterated Revision and Knowledge Integration
397 Hidde de Jong, Michel Page, Celine Hernandez, Johannes Geiselmann Qualitative Simulation of Genetic Regulatory Networks: Method and Application
400 Luca Console, Claudia Picardi, Daniele Theseider Dupre Temporal Decision Trees or the lazy ECU vindicated
401 Marco Pistore, Paolo Traverso Planning as Model Checking for Extended Goals in Non-deterministic Domains
405 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini Identification Constraints and Functional Dependencies in Description Logics
406 Thomas Eiter, Thomas Lukasiewicz Complexity Results for Structure-Based Causality
408 Silvia Coradeschi, Alessandro Saffiotti Perceptual Anchoring of Symbols for Action
415 Haarslev, V., Moeller, R. High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
417 Marco Cadoli, Thomas Eiter, Georg Gottlob Let's go Nats: Complexity of Nested Circumscription and Abnormality Theories
434 M. Janssen, P. Van Hentenryck, Y. Deville A Constraint Satisfaction Approach to Parametric Differential Equations
442 Berardina De Carolis, Catherine Pelachaud, Isabella Poggi, Fiorella de Rosis Behavior Planning for a Reflexive Agent
444 T D Barfoot, G M T D`Eleuterio Multiagent Coordination by Probabilistic Cellular Automata
448 Luca Chittaro, Roberto Ranon Hierarchical Diagnosis Guided by Observations
454 Ivayla Vatcheva, Hidde de Jong, Olivier Bernard, Jan-Luc Gouze, Nicolaas J.I. Mars Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology
456 Louise Trave-Massuyes, T Escobet, Robert Milne Model-Based Diagnosability and Sensor Placement
459 Kazuhiro Nakadai, Ken-ichi Hidai, Hiroshi Mizoguchi, Hiroshi G. Okuno, Hiroaki Kitano Real-Time Auditory and Visual Multiple-Object Tracking for Robots
461 David Randell, Mark Witkowski, Murray Shanahan From Images to Bodies: Modeling and Exploiting Spatial Occlusion and Motion Parallax
464 Christopher G. Healey Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces
466 David H. Wolpert, Joseph sill, Kagan Tumer Reinforcement Learning in Distributed Domains: Beyond Team Games
470 Adnan Darwiche, Pierre Marquis A Perspective on Knowledge Compilation
490 Pavlos Peppas, Maurice Pagnucco Causality and Minimal Change Demystified
503 Alberto Finzi, Fiora Pirri Combining probabilities, failures and safety in robot control
508 Chitta Baral, Vladik Kreinovich, Raul Trejo Computational Complexity of Planning with Temporal Goals
510 Gerd Stumme, Alexander Maedche FCA-Merge: Bottom-Up Merging of Ontologies
511 Andrew Lim, Wang Ying A New Method For The Three Dimensional Container Packing Problem
515 G. Neelakantan Kartha A circumscriptive formalization of the qualification problem
518 William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman On Market-Inspired Approaches to Propositional Satisfiability
520 Dana Nau, Hector Munoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell Total-Order Planning with Partially Ordered Subtasks
522 Joseph Y. Halpern, Judea Pearl Causes and Explanations: A Structural-Model Approach
525 Tuomas Sandholm, Subhash Suri Market Clearability
528 Andrew Garland, Rick Alterman Learning Procedural Knowledge to Better Coordinate
539 Craig Boutilier, Holger H. Hoos Bidding Languages for Combinatorial Auctions
541 Craig Boutilier, Ray Reiter, Bob Price Symbolic Dynamic Programming for First-Order MDPs
548 Avi Pfeffer IBAL: A Probabilistic Rational Programming Language
549 Henrik Grosskreutz, Gerhard Lakemeyer Online-Execution of ccGolog Plans
550 Jim R. Davies, Ashok K. Goel Visual Analogy in Problem Solving
551 Emmanuel Guere, Rachid Alami One action is enough to plan
553 Rina Azoulay-Schwartz, Sarit Kraus Stable Strategies for Sharing Information among Agents
554 Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
558 Ian Horrocks, Ulrike Sattler Ontology Reasoning for the Semantic Web
561 L.A. Garcia, F. Toledo A Multiagent System for Helping Urban Traffic Management
569 Dale Schuurmans, Finnegan Southey, Robert C. Holte The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming
570 Damian Isla, Robert Burke, Marc Downie, Bruce Blumberg A Layered Brain Architecture for Synthetic Characters
581 Mikhail Soutchanski An On-line Decision-Theoretic Golog Interpreter
583 Olivier Dubois, Gilles Dequen A backbone-search heuristic for efficient solving of hard 3-SAT formulae
587 Christine Alvarado, Randall Davis Resolving Ambiguities to Create a Natural Computer-Based Sketching Environment
591 Raymond Lee, James Liu NORN Finance Forecaster - A Neural Oscillatory-based Recurrent Network for Finance Prediction
596 James Liu, Raymond Lee, Jane You A Web-based Intelligent System for the Daya Bay Contingency Plan in Hong Kong
604 Fangzhen Lin, Jia-Huai You Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
617 Charles Elkan The Foundations of Cost-Sensitive Learning
620 Luc De Raedt, Stefan Kramer The Level-Wise Versionspace Algorithm and Its Application to Molecular Fragment Finder
622 Alessandro Serra, Attilio Giordana, Lorenza Saitta Learning on the Phase Transition Edge
623 Laurent Simon, Alvaro del Val Efficient Consequence Finding
626 J.N. Kok, S. Nijssen Faster Association Rules for Multiple Relations
635 Jochen Renz A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals
638 Herzig Andreas, Lang Jerome, Marquis Pierre, Polacsek Thomas Updates, actions, and planning
639 Basili Roberto, Moschitti Alessandro, Pazienza Maria Teresa NLP-driven IR: Evaluating Performances over a Text Classification task
640 Lucas Bordeaux, Eric Monfroy, Frederic Benhamou Improved bounds on the complexity of KB-consistency
649 David W. Aha, Rosina Weber, Hector Muozçvila, Leonard A. Breslow, Kalyan Moy Gupta Bridging the Lesson Distribution Gap
651 Hiroshi Ishiguro, Takuichi Nishimura, Takushi Sogo, Ryuichi Oka VAMBAM: View and Motion -based Aspect Models for Distributed Omnidirectional Vision Systems
652 Chris Bailey-Kellogg, Naren Ramakrishnan Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems
656 Michael Bowling, Manuela Veloso Rational and Convergent Learning in Stochastic Games
660 Fahiem Bacchus, Michael Ady Planning with Resources and Concurrency: A Forward Chaining Approach
664 John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richards A. Volz CAST: Collaborative Agents for Simulating Teamwork
665 Fatma Ozcan, V.S. Subrahmanian Partitioning Activities for Agents
676 Dennis Nilsson, Jacob Goldberger An Efficient Algorithm for finding the N-Best List
677 Phil Kim, Brian C. Williams, Antonio Abad Executing Reactive, Model-based Programs through Graph-based Temporal Planning
686 Paul Morris, Nicola Muscettola, Thierry Vidal Dynamic Control Of Plans With Temporal Uncertainty
688 Wheeler Ruml Incomplete Tree Search using Adaptive Probing
690 Jeff Stimpson, Michael A. Goodrich, Lawrence C. Walters Satisficing and Learning Cooperation in the Prisoner's Dilemma
692 Daphne Koller, Brian Milch Multi-Agent Influence Diagrams for Representing and Solving Games
698 Michael T. Rosenstein, Andrew G. Barto Robot Weightlifting By Direct Policy Search
699 Giuseppe Carenini, Johanna Moore An Empirical Study of the Influence of User Tailoring on Evaluative Argument Effectiveness
703 David C Parkes, Jayant Kalagnanam, Marta Eso Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges
709 Charles Callaway, James Lester Narrative Prose Generation
710 Wolfgang Faber, Nicola Leone, Gerald Pfeifer Experimenting Heuristics for Answer Set Programming
721 Fei Xia, Chung-hye Han, Martha Palmer, Aravind Joshi Automatically Extracting and Comparing Lexicalized Grammars for Different Languages 
723 Corin R. Anderson, Pedro Domingos, Daniel S. Weld Adaptive Web Navigation for Wireless Devices
728 Sheila McIlraith, Eyal Amir Theorem Proving with Structured Theories
731 Sanguk Noh, Piotr J. Gmytrasiewicz Identifying the Scope of Modeling for Time-Critical Multiagent Decision-Making
732 Henry Kautz, Yongshao Ruan, Dimitri Achlioptas, Carla Gomes, Bart Selman, Mark Stickel Balance and Filtering in Structured Satisfiable Problems
739 Emilio Remolina, Benjamin Kuipers A Logical Account of Causal and Topological Maps
747 Kee-Eung Kim, Thomas Dean Solving Factored MDPs via Non-Homogeneous Partitioning
753 Simon Tong, Daphne Koller Active Learning for Structure in Bayesian Networks
756 Bikramjit Banerjee, Sandip Sen, Jing Peng Fast Concurrent Reinforcement Learners
758 Rong Jin, Alexander G. Hauptmann Title Generation for Machine-Translated Documents
760 Hector Munoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow SiN: Integrating Case-based Reasoning with Task Decomposition
764 Rajarshi Das, James E. Hanson, Jeffrey O. Kephart, Gerald Tesauro Agent-Human Interactions in the Continuous Double Auction
771 Greg Grudic, Lyle Ungar Exploiting Multiple Secondary Reinforcers in Policy Gradient Reinforcement Learning
774 Mitchell A. Potter, Lisa A. Meeden, Alan C. Schultz Heterogeneity in the Coevolved Behaviors of Mobile Robots: The Emergence of Specialists
777 Hanna Pasula, Stuart Russell Approximate inference for first-order probabilistic languages
778 Theodore J. Perkins, Andrew G. Barto Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis
779 Carlos Guestrin, Daphne Koller, Ronald Parr Max-norm Projections for Factored MDPs
780 Joseph Bockhorst, Mark Craven Refining the Structure of a Stochastic Context-Free Grammar
783 Joanna J. Bryson, Lynn Andrea Stein Modularity and Design in Reactive Intelligence
788 Dan Roth, Wen-tau Yih Relational Learning via Propositional Algorithms: An Information Extraction Case Study
790 Brian Scassellati Discriminating Animate from Inanimate Visual Stimuli
793 Rong Zhou, Eric A. Hansen An Improved Grid-Based Approximation Algorithm for POMDPs
796 Ramana Isukapalli, Russell Greiner Efficient Interpretation Policies
797 Andrew Y. Ng, Alice Zheng, Michael Jordan Link Analysis, Eigenvectors and Stability
798 Maytal Saar-Tsechansky, Foster Provost Variance-based active learning
803 Jihie Kim, Yolanda Gil Knowledge Analysis on Process Models
810 Stephane Cardon, Abdel-Illah Mouaddib, Shlomo Zilberstein, Richard Washington Adaptive Control of Acyclic Progressive Processing Task Structures
812 Feng Zhao, Xenofon Koutsoukos, Horst Haussecker, James Reich, Patrick Cheung, Claudia Picardi Distributed monitoring of hybrid systems: a model-directed approach
815 Ben Taskar, Eran Segal, Daphne Koller Probabilistic Clustering and Transduction in Relational Data
821 Tuomas Sandholm, Subhash Suri, Andrew Gilpin, David Levine CABOB: A Fast Optimal Algorithm for Combinatorial Auctions
825 Satoshi Oyama, Takashi Kokubo, Teruhiro Yamada, Yasuhiko Kitamura, Toru Ishida Keyword Spices: A New Method for Building Domain-Specific Web Search Engines
828 Jim Blythe Integrating Expectations to Support End Users to Acquire Procedural Knowledge
829 Anthony Jameson, Frank Wittig Leveraging Data About Users in General in the Learning of Individual User Models
841 Catholijn M. Jonker, Jan Treur An Agent Architecture for Multi-Attribute Negotiation
852 Cristina Conati, Giuseppe Carenini Generating Tailored Examples to Support Learning via Self-Explanation
854 Soumya Ray, Mark Craven Representing Sentence Structure in Hidden Markov Models for Information Extraction
856 Sofus Attila Macskassy, Haym Hirsh, Arunava Banerjee, Aynur A. Dayanik Using Text Classifiers for Numerical Classification
862 Michael Coen Multimodal Integration - A biological View
866 Alexander Riazanov and Andrei Voronkov Splitting without Backtracking
868 Thierry Poibeau Deriving a multi-domain information extraction system from a rough ontology