IJCAI 2001

200 papers

A Backbone-Search Heuristic for Efficient Solving of Hard 3-SAT Formulae Olivier Dubois, Gilles Dequen

A Circumscriptive Formalization of the Qualification Problem G. Neelakantan Kartha

A Comparative Study of Logic Programs with Preference Torsten Schaub, Kewen Wang

A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation Andrei A. Krokhin, Peter Jeavons, Peter Jonsson

A Constraint Satisfaction Approach to Parametric Differential Equations Micha Janssen, Pascal Van Hentenryck, Yves Deville

A Distributed Case-Based Query Rewriting Maurizio Panti, Luca Spalazzi, Loris Penserini

A Framework for Declarative Update Specifications in Logic Programs Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

A Fuzzy Modal Logic for Belief Functions Lluís Godo, Petr Hájek, Francesc Esteva

A General Updating Rule for Discrete Hopfield-Type Neural Network with Delay Shenshan Qiu, Eric C. C. Tsang, Daniel S. Yeung, Xizhao Wang

A Hierarchy of Boundary-Based Shape Descriptors Richard C. Meathrel, Antony Galton

A Hybrid Approach for the 01 Multidimensional Knapsack Problem Michel Vasquez, Jin-Kao Hao

A Layered Brain Architecture for Synthetic Creatures Damian A. Isla, Robert C. Burke, Marc Downie, Bruce Blumberg

A Logical Account of Causal and Topological Maps Emilio Remolina, Benjamin Kuipers

A Multiagent System for Helping Urban Traffic Management Luis A. García, Francisco Toledo

A New Method for the Three Dimensional Container Packing Problem Andrew Lim, Wang Ying

A Perspective on Knowledge Compilation Adnan Darwiche, Pierre Marquis

A Simple Additive Re-Weighting Strategy for Improving Margins Fabio Aiolli, Alessandro Sperduti

A Simple Feature Selection Method for Text Classification Pascal Soucy, Guy W. Mineau

A Simplifier for Propositional Formulas with Many Binary Clauses Ronen I. Brafman

A Software Architecture for Dynamically Generated Adaptive Web Stores Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan

A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals Jochen Renz

A Web-Based Intelligent System for the Daya Bay Contingency Plan in Hong Kong James N. K. Liu, Raymond S. T. Lee, Jane You

A-System: Problem Solving Through Abduction Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker

Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting Fangzhen Lin, Jia-Huai You

Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges David C. Parkes, Jayant Kalagnanam, Marta Eso

Active Learning for Class Probability Estimation and Ranking Maytal Saar-Tsechansky, Foster J. Provost

Active Learning for Structure in Bayesian Networks Simon Tong, Daphne Koller

Adaptive Control of Acyclic Progressive Processing Task Structures Stéphane Cardon, Abdel-Illah Mouaddib, Shlomo Zilberstein, Richard Washington

Adaptive Information Extraction from Text by Rule Induction and Generalisation Fabio Ciravegna

Adaptive Web Navigation for Wireless Devices Corin R. Anderson, Pedro M. Domingos, Daniel S. Weld

Agent-Based Control for Object Manipulation with Modular Self-Reconfigurable Robots Jeremy Kubica, Arancha Casal, Tad Hogg

Agent-Human Interactions in the Continuous Double Auction Rajarshi Das, James E. Hanson, Jeffrey O. Kephart, Gerald Tesauro

Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems Christopher Bailey-Kellogg, Naren Ramakrishnan

An Agent Architecture for Multi-Attribute Negotiation Catholijn M. Jonker, Jan Treur

An Empirical Study of the Influence of User Tailoring on Evaluative Argument Effectiveness Giuseppe Carenini, Johanna D. Moore

An Hybrid Approach to Solve the Global Localization Problem for Indoor Mobile Robots Considering Sensorms Perceptual Limitations Leonardo Romero, Eduardo F. Morales, Luis Enrique Sucar

An Improved Grid-Based Approximation Algorithm for POMDPs Rong Zhou, Eric A. Hansen

An On-Line Decision-Theoretic Golog Interpreter Mikhail Soutchanski

Approximate Inference for First-Order Probabilistic Languages Hanna Pasula, Stuart Russell

Automatically Extracting and Comparing Lexicalized Grammars for Different Languages Fei Xia, Chung-hye Han, Martha Stone Palmer, Aravind K. Joshi

Backbones in Optimization and Approximation John K. Slaney, Toby Walsh

Backjumping for Quantified Boolean Logic Satisfiability Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Backtracking Through Biconnected Components of a Constraint Graph Jean-François Baget, Yannic S. Tognetti

Balance and Filtering in Structured Satisfiable Problems Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

Behavior Planning for a Reflexive Agent Berardina De Carolis, Catherine Pelachaud, Isabella Poggi, Fiorella de Rosis

Bidding Languages for Combinatorial Auctions Craig Boutilier, Holger H. Hoos

Bridging the Lesson Distribution Gap David W. Aha, Rosina Weber, Héctor Muñoz-Avila, Len Breslow, Kalyan Moy Gupta

Bundle Design in Robust Combinatorial Auction Protocol Against False-Name Bids Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara

CABOB: A Fast Optimal Algorithm for Combinatorial Auctions Tuomas Sandholm, Subhash Suri, Andrew Gilpin, David Levine

CAST: Collaborative Agents for Simulating Teamwork John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz

Causal Interaction: From a High-Level Representation to an Operational Event-Based Representation Irène Grosclaude, Marie-Odile Cordier, Rene Quiniou

Causality and Minimal Change Demystified Maurice Pagnucco, Pavlos Peppas

Causes and Explanations: A Structural-Model Approach - Part II: Explanations Joseph Y. Halpern, Judea Pearl

Combining Probabilities, Failures and Safety in Robot Control Alberto Finzi, Fiora Pirri

Complexity of Nested Circumscription and Abnormality Theories Marco Cadoli, Thomas Eiter, Georg Gottlob

Complexity of Probabilistic Planning Under Average Rewards Jussi Rintanen

Complexity Results for Structure-Based Causality Thomas Eiter, Thomas Lukasiewicz

Computational Complexity of Planning with Temporal Goals Chitta Baral, Vladik Kreinovich, Raul Trejo

Computing Least Common Subsumers in ALEN Ralf Küsters, Ralf Molitor

Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas

Conditional Progressive Planning Under Uncertainty Lars Karlsson

Constraints as Data: A New Perspective on Inferring Probabilities Manfred Jaeger

Context-Specific Sign-Propagation in Qualitative Probabilistic Networks Silja Renooij, Simon Parsons, Linda C. van der Gaag

Cooperative Search and Nogood Recording Cyril Terrioux

Dealing with Dependencies Between Content Planning and Surface Realisation in a Pipeline Generation Architecture Kalina Bontcheva, Yorick Wilks

Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity Fabio Massacci

Deriving a Multi-Domain Information Extraction System from a Rough Ontology Thierry Poibeau

Dialog-Driven Adaptation of Explanations of Proofs Armin Fiedler

Discriminating Animate from Inanimate Visual Stimuli Brian Scassellati

Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jean-Luc Gouzé, Nicolaas J. I. Mars

Distributed Monitoring of Hybrid Systems: A Model-Directed Approach Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung, Claudia Picardi

Dynamic Control of Plans with Temporal Uncertainty Paul H. Morris, Nicola Muscettola, Thierry Vidal

Efficient Consequence Finding Laurent Simon, Alvaro del Val

Efficient Interpretation Policies Ramana Isukapalli, Russell Greiner

EPDL: A Logic for Causal Reasoning Dongmo Zhang, Norman Y. Foo

Executing Reactive, Model-Based Programs Through Graph-Based Temporal Planning Phil Kim, Brian C. Williams, Mark Abramson

Experimenting with Heuristics for Answer Set Programming Wolfgang Faber, Nicola Leone, Gerald Pfeifer

ExpertClerk: Navigating Shoppers Buying Process with the Combination of Asking and Proposing Hideo Shimazu

Exploiting Multiple Secondary Reinforcers in Policy Gradient Reinforcement Learning Gregory Z. Grudic, Lyle H. Ungar

Fair Imposition Yoav Shoham, Moshe Tennenholtz

Fast Concurrent Reinforcement Learners Bikramjit Banerjee, Sandip Sen, Jing Peng

Faster Association Rules for Multiple Relations Siegfried Nijssen, Joost N. Kok

FCA-MERGE: Bottom-up Merging of Ontologies Gerd Stumme, Alexander Maedche

Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces Christopher G. Healey

From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax David A. Randell, Mark Witkowski, Murray Shanahan

From Q(lambda) to Average Q-Learning: Efficient Implementation of an Asymptotic Approximation Frédérick Garçia, Florent Serre

Fuzzy Conceptual Graphs for Matching Images of Natural Scenes Philippe Mulhem, Wee Kheng Leow, Yoong Keok Lee

Generating Tailored Examples to Support Learning via Self-Explanation Cristina Conati, Giuseppe Carenini

Genetic Algorithm Based Selective Neural Network Ensemble Zhi-Hua Zhou, Jianxin Wu, Yuan Jiang, Shifu Chen

Graph Theoretical Characterization and Computation of Answer Sets Thomas Linke

Grounded Models as a Basis for Intuitive Reasoning Josefina Sierra-Santibáñez

Heterogeneity in the Coevolved Behaviors of Mobile Robots: The Emergence of Specialists Mitchell A. Potter, Lisa Meeden, Alan C. Schultz

Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri

Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis Theodore J. Perkins, Andrew G. Barto

Hierarchical Diagnosis Guided by Observations Luca Chittaro, Roberto Ranon

High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study Volker Haarslev, Ralf Möller

Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- Problems in Planning Maria Fox, Derek Long

IBAL: A Probabilistic Rational Programming Language Avi Pfeffer

Identification Constraints and Functional Dependencies in Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Identifying the Scope of Modeling for Time-Critical Multiagent Decision- Making Sanguk Noh, Piotr J. Gmytrasiewicz

Improved Bounds on the Complexity of kB-Consistency Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou

Incomplete Tree Search Using Adaptive Probing Wheeler Ruml

Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge Jim Blythe

Interval-Based Temporal Reasoning with General TBoxes Carsten Lutz

Iterative Widening Tristan Cazenave

Keyword Spices: A New Method for Building Domain-Specific Web Search Engines Satoshi Oyama, Takashi Kokubo, Toru Ishida, Teruhiro Yamada, Yasuhiko Kitamura

Knowledge Analysis on Process Models Jihie Kim, Yolanda Gil

Knowledge Extraction from Local Function Networks Kenneth McGarry, Stefan Wermter, John MacIntyre

Knowledge Processing Under Information Fidelity Wilhelm Rödder

Learning Iterative Image Reconstruction Sven Behnke

Learning on the Phase Transition Edge Alessandro Serra, Attilio Giordana, Lorenza Saitta

Learning Procedural Knowledge to Better Coordinate Andrew Garland, Richard Alterman

Leveraging Data About Users in General in the Learning of Individual User Models Anthony Jameson, Frank Wittig

Link Analysis, Eigenvectors and Stability Andrew Y. Ng, Alice X. Zheng, Michael I. Jordan

Local Search Topology in Planning Benchmarks: An Empirical Analysis Jörg Hoffmann

Making AC-3 an Optimal Algorithm Yuanlin Zhang, Roland H. C. Yap

Market Clearability Tuomas Sandholm, Subhash Suri

Matching Under Side Conditions in Description Logics Franz Baader, Sebastian Brandt, Ralf Küsters

Max-Norm Projections for Factored MDPs Carlos Guestrin, Daphne Koller, Ronald Parr

Minimizing Dialog Length in Interactive Case-Based Reasoning David McSherry

Mining Soft-Matching Rules from Textual Data Un Yong Nahm, Raymond J. Mooney

Mobile Robot Learning of Delayed Response Tasks Through Event Extraction: A Solution to the Road Sign Problem and Beyond Fredrik Linåker, Henrik Jacobsson

Mode Estimation of Model-Based Programs: Monitoring Systems with Complex Behavior Brian C. Williams, Seung Chung, Vineet Gupta

Model-Based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem Louise Travé-Massuyès, Teresa Escobet, Robert Milne

Modularity and Design in Reactive Intelligence Joanna Bryson, Lynn Andrea Stein

Multi-Agent Influence Diagrams for Representing and Solving Games Daphne Koller, Brian Milch

Multi-Agent Systems by Incremental Gradient Reinforcement Learning Alain Dutech, Olivier Buffet, François Charpillet

Multiagent Coordination by Stochastic Cellular Automata Tim D. Barfoot, Gabriele M. T. D'Eleuterio

Multimodal Integration a Biological View Michael H. Coen

Multimodal Interaction: A New Focal Area for AI Philip R. Cohen

Narrative Prose Generation Charles B. Callaway, James C. Lester

Neural Logic Network Learning Using Genetic Programming Chew Lim Tan, Henry Wai Kit Chia

NLP-Driven IR: Evaluating Performances over a Text Classification Task Roberto Basili, Alessandro Moschitti, Maria Teresa Pazienza

NORN Finance Forecaster - A Neural Oscillatory-Based Recurrent Network for Finance Prediction Raymond S. T. Lee, James N. K. Liu

OI-Implication: Soundness and Refutation Completeness Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro

On Market-Inspired Approaches to Propositional Satisfiability William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman

On the Semantics of Knowledge Update Chitta Baral, Yan Zhang

On-Line Execution of Cc-Golog Plans Henrik Grosskreutz, Gerhard Lakemeyer

One Action Is Enough to Plan Emmanuel Guere, Rachid Alami

Ontology Reasoning in the SHOQ(D) Description Logic Ian Horrocks, Ulrike Sattler

Partitioning Activities for Agents Fatma Ozcan, V. S. Subrahmanian

Perceptual Anchoring of Symbols for Action Silvia Coradeschi, Alessandro Saffiotti

Perceptual Texture Space Improves Perceptual Consistency of Computational Features Huizhong Long, Wee Kheng Leow

Phase Transitions of PP-Complete Satisfiability Problems Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis

Planning as Model Checking for Extended Goals in Non-Deterministic Domains Marco Pistore, Paolo Traverso

Planning in Nondeterministic Domains Under Partial Observability via Symbolic Model Checking Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso

Planning with Resources and Concurrency: A Forward Chaining Approach Fahiem Bacchus, Michael Ady

Plausibility Measures: A General Approach for Representing Uncertainty Joseph Y. Halpern

Preference-Based Configuration of Web Page Content Carmel Domshlak, Ronen I. Brafman, Solomon Eyal Shimony

Probabilistic Classification and Clustering in Relational Data Benjamin Taskar, Eran Segal, Daphne Koller

Qualitative Simulation of Genetic Regulatory Networks: Method and Application Hidde de Jong, Michel Page, Céline Hernandez, Johannes Geiselmann

R-MAX - A General Polynomial Time Algorithm for Near-Optimal Reinforcement Learning Ronen I. Brafman, Moshe Tennenholtz

Rational and Convergent Learning in Stochastic Games Michael H. Bowling, Manuela M. Veloso

Rational Competitive Analysis Moshe Tennenholtz

Real-Time Auditory and Visual Multiple-Object Tracking for Humanoids Kazuhiro Nakadai, Ken-ichi Hidai, Hiroshi Mizoguchi, Hiroshi G. Okuno, Hiroaki Kitano

Reasoning About Categories in Conceptual Spaces Peter Gärdenfors, Mary-Anne Williams

Reasoning with Infinite Stable Models Piero A. Bonatti

Refining the Basic Constraint Propagation Algorithm Christian Bessière, Jean-Charles Régin

Refining the Structure of a Stochastic Context-Free Grammar Joseph Bockhorst, Mark Craven

Reflective Negotiating Agents for Real-Time Multisensor Target Tracking Leen-Kiat Soh, Costas Tsatsoulis

Reinforcement Learning in Distributed Domains: Beyond Team Games David H. Wolpert, Joseph Sill, Kagan Tumer

Relational Learning via Propositional Algorithms: An Information Extraction Case Study Dan Roth, Wen-tau Yih

Representing Sentence Structure in Hidden Markov Models for Information Extraction Soumya Ray, Mark Craven

Resolving Ambiguities to Create a Natural Computer-Based Sketching Environment Christine Alvarado, Randall Davis

Resource-Bounded Inference from Inconsistent Belief Bases Pierre Marquis, Nadège Porquet

Reviving Partial Order Planning XuanLong Nguyen, Subbarao Kambhampati

Robot Weightlifting by Direct Policy Search Michael T. Rosenstein, Andrew G. Barto

Robust Multi-Unit Auction Protocol Against False-Name Bids Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara

Robust Translation of Spontaneous Speech: A Multi-Engine Approach Wolfgang Wahlster

Satisficing and Learning Cooperation in the Prisoner S Dilemma Jeff L. Stimpson, Michael A. Goodrich, Lawrence C. Walters

Search on High Degree Graphs Toby Walsh

Sensitivity Analysis of Multilayer Perceptron Daniel S. Yeung, Xuequan Sun, Xiaoqin Zeng

Sequentially Finding the N-Best List in Hidden Markov Models Dennis Nilsson, Jacob Goldberger

Simulating the Formation of Color Categories Tony Belpaeme

SiN: Integrating Case-Based Reasoning with Task Decomposition Héctor Muñoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow, Fusun Yaman

Solving Factored MDPs via Non-Homogeneous Partitioning Kee-Eung Kim, Thomas L. Dean

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search Alan M. Frisch, Timothy J. Peugniez

Splitting Without Backtracking Alexandre Riazanov, Andrei Voronkov

Stable Strategies for Sharing Information Among Agents Rina Azoulay-Schwartz, Sarit Kraus

Symbolic Dynamic Programming for First-Order MDPs Craig Boutilier, Raymond Reiter, Bob Price

Temporal Constraint Reasoning with Preferences Lina Khatib, Paul H. Morris, Robert A. Morris, Francesca Rossi

Temporal Decision Trees or the Lazy ECU Vindicated Luca Console, Claudia Picardi, Daniele Theseider Dupré

Temporal Difference Learning Applied to a High-Performance Game-Playing Program Jonathan Schaeffer, Markian Hlynka, Vili Jussila

The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming Dale Schuurmans, Finnegan Southey, Robert C. Holte

The Foundations of Cost-Sensitive Learning Charles Elkan

The Levelwise Version Space Algorithm and Its Application to Molecular Fragment Finding Luc De Raedt, Stefan Kramer

The SG Family: Extensions of Simple Conceptual Graphs Jean-François Baget, Marie-Laure Mugnier

Theorem Proving with Structured Theories Sheila A. McIlraith, Eyal Amir

Title Generation for Machine-Translated Documents Rong Jin, Alexander G. Hauptmann

Total-Order Planning with Partially Ordered Subtasks Dana S. Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell

UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving Lifeng He

Updates, Actions, and Planning Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek

Usability Guidelines for Interactive Search in Direct Manipulation Systems Robert St. Amant, Christopher G. Healey

Using Case-Base Data to Learn Adaptation Knowledge for Design Jacek Jarmulak, Susan Craw, Ray Rowe

Using Text Classifiers for Numerical Classification Sofus A. Macskassy, Haym Hirsh, Arunava Banerjee, Aynur A. Dayanik

VAMBAM: View and Motion-Based Aspect Models for Distributed Omnidirectional Vision Systems Hiroshi Ishiguro, Takuichi Nishimura

Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions Benjamin W. Wah, Minglun Qian

Visual Analogy in Problem Solving Jim Davies, Ashok K. Goel

Weakening Commensurability Hypothesis in Possibilistic Qualitative Decision Theory Adriana Zapico

Weakening Conflicting Information for Iterated Revision and Knowledge Integration Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams