IJCAI 1999

203 papers

A Brief Introduction to Boosting Robert E. Schapire

A Case Based Approach to the Generation of Musical Expression Taizan Suzuki, Takenobu Tokunaga, Hozumi Tanaka

A Comparison of Structural CSP Decomposition Methods Georg Gottlob, Nicola Leone, Francesco Scarcello

A Context-Dependent Attention System for a Social Robot Cynthia Breazeal, Brian Scassellati

A Distributed Case-Based Reasoning Application for Engineering Sales Support Ian D. Watson, Dan Gardingen

A Divide and Conquer Bidirectional Search: First Results Richard E. Korf

A Lattice Machine Approach to Automated Casebase Design: Marrying Lazy and Eager Learning Hui Wang, Werner Dubitzky, Ivo Düntsch, David A. Bell

A Logic of Intention Xiaoping Chen, Guiquan Liu

A Machine Learning Approach to Building Domain-Specific Search Engines Andrew McCallum, Kamal Nigam, Jason Rennie, Kristie Seymore

A Near-Optimal Poly-Time Algorithm for Learning a Class of Stochastic Games Ronen I. Brafman, Moshe Tennenholtz

A Neural Reinforcement Learning Approach to Learn Local Dispatching Policies in Production Scheduling Simone C. Riedmiller, Martin A. Riedmiller

A New Framework for Reasoning About Points, Intervals and Durations Arun K. Pujari, Abdul Sattar

A New Method to Index and Query Sets Jörg Hoffmann, Jana Koehler

A New Tractable Subclass of the Rectangle Algebra Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro

A Possibilistic Planner That Deals with Non-Determinism and Contingency Emmanuel Guere, Rachid Alami

A Potts Spin MFT Network Solving Multiple Causal Interactions Lotfi Ben Romdhane

A Protocol-Based Semantics for an Agent Communication Language Jeremy Pitt, E. H. Mamdani

A Qualitative-Fuzzy Framework for Nonlinear Black-Box System Identification Riccardo Bellazzi, Raffaella Guglielmann, Liliana Ironi

A Sparse Sampling Algorithm for Near-Optimal Planning in Large Markov Decision Processes Michael J. Kearns, Yishay Mansour, Andrew Y. Ng

A Spatiotemporal/Spatiotemporal-Frequency Interpretation of Apparent Motion Reversal Todd R. Reed

Abducing Priorities to Derive Intended Conclusions Katsumi Inoue, Chiaki Sakama

Acquisition of Qualitative Spatial Representation by Visual Observation Takushi Sogo, Hiroshi Ishiguro, Toru Ishida

Adaptive Web Sites: Conceptual Cluster Mining Mike Perkowitz, Oren Etzioni

Agent-Based Computing: Promise and Perils Nicholas R. Jennings

Algorithms for Optimizing Leveled Commitment Contracts Tuomas Sandholm, Sandeep Sikka, Samphel Norden

An Algorithm for Optimal Winner Determination in Combinatorial Auctions Tuomas Sandholm

An Anthropocentric Tool for Decision Making Support Elisabeth Le Saux, Philippe Lenca, Philippe Picouet, Jean-Pierre Barthélemy

An Assessment of Submissions Made to the Predictive Toxicology Evaluation Challenge Ashwin Srinivasan, Ross D. King, Douglas W. Bristol

An Effective Ship Berthing Algorithm Andrew Lim

An Evaluation of Criteria for Measuring the Quality of Clusters Bhavani Raskutti, Christopher Leckie

An Experimental Study of Phase Transitions in Matching Attilio Giordana, Marco Botta, Lorenza Saitta

An Inconsistency Tolerant Model for Belief Representation and Belief Revision Samir Chopra, Rohit Parikh

An Iterative Sampling Procedure for Resource Constrained Project Scheduling with Time Windows Amedeo Cesta, Angelo Oddi, Stephen F. Smith

Automata Theory for Reasoning About Actions Eugenia Ternovskaia

Automatic Concept Formation in Pure Mathematics Simon Colton, Alan Bundy, Toby Walsh

Automatic Diagnosis of Student Programs in Programming Learning Environments Songwen Xu, Yam San Chee

Autonomous Concept Formation Edwin D. de Jong

Axiomatic Foundations for Qualitative/Ordinal Decisions with Partial Preferences Adriana Zapico

Be Patient and Tolerate Imprecision: How Autonomous Agents Can Coordinate Effectively Sudhir K. Rustogi, Munindar P. Singh

Behavior Networks for Continuous Domains Using Situation-Dependent Motivations Klaus Dorer

Bounding the Suboptimality of Reusing Subproblem Michael H. Bowling, Manuela M. Veloso

Branch and Bound with Mini-Bucket Heuristics Kalev Kask, Rina Dechter

Coevolution, Memory and Balance Jan Paredis

Combining General Hand-Made and Automatically Constructed Thesauri for Query Expansion in Information Retrieval Rila Mandala, Takenobu Tokunaga, Hozumi Tanaka

Combining Weak Knowledge Sources for Sense Disambiguation Mark Stevenson, Yorick Wilks

Compiling Knowledge into Decomposable Negation Normal Form Adnan Darwiche

Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases Sylvie Coste-Marquis, Pierre Marquis

Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness Chitta Baral, Vladik Kreinovich, Raul Trejo

Computer Aided Tracing of Children?s Physics Learning: A Teacher Oriented View Filippo Neri

Computing Factored Value Functions for Policies in Structured MDPs Daphne Koller, Ronald Parr

Computing Least Common Subsumers in Description Logics with Existential Restrictions Franz Baader, Ralf Küsters, Ralf Molitor

Computing near Optimal Strategies for Stochastic Investment Planning Problems Milos Hauskrecht, Gopal Pandurangan, Eli Upfal

Conceptual Grouping in Word Co-Occurrence Networks Anne Veling, Peter van der Weerd

Confidence Based Dual Reinforcement Q-Routing: An Adaptive Online Network Routing Algorithm Shailesh Kumar, Risto Miikkulainen

Considerations on a Similarity-Based Approach to Beleif Change James P. Delgrande

Constraint Propagation and Value Acquisition: Why We Should Do It Interactively Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi

Constructive Induction: A Version Space-Based Approach Michèle Sebag

Continual Computation Policies for Allocating Offline and Real-Time Resources Eric Horvitz

Convergence of Reinforcement Learning with General Function Approximators Vassilis A. Papavassiliou, Stuart Russell

Cooperation of Heterogeneous Provers Jörg Denzinger, Dirk Fuchs

Credulous Nonmonotonic Inference Alexander Bochman

Cyclic Scheduling Denise Draper, Ari K. Jónsson, David P. Clements, David E. Joslin

Dealing with Geometric Constraints in Game-Theoretic Planning Patrick Fabiani, Jean-Claude Latombe

Debugging Functional Programs Markus Stumptner, Franz Wotawa

Decision Tree Grafting from the All Tests but One Partition Geoffrey I. Webb

Decomposition Search: A Combinatorial Games Approach to Game Tree Search, with Applications to Solving Go Endgames Martin Müller

Demand-Driven Discovery of Adaptation Knowledge David McSherry

Designing Comprehensible Agents Phoebe Sengers

Diagnosis as a Variable Assignment Problem: A Case Study in a Space Robot Fault Diagnosis Luigi Portinale, Pietro Torasso

Diagrammatic Proofs Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak

Discovering Admissible Model Equations from Observed Data Based on Scale-Types and Identity Constrains Takashi Washio, Hiroshi Motoda, Yuji Niwa

Discovering Chronicles with Numerical Time Constraints from Alarm Logs for Monitoring Dynamic Systems Christophe Dousson, Thang Vu Duong

Domain-Dependent Single-Agent Search Enhancements Andreas Junghanns, Jonathan Schaeffer

Domain-Specific Keyphrase Extraction Eibe Frank, Gordon W. Paynter, Ian H. Witten, Carl Gutwin, Craig G. Nevill-Manning

Dynamic Refinement of Feature Weights Using Quantitative Introspective Learning Zhong Zhang, Qiang Yang

Efficiency and Equilibrium in Task Allocation Economies with Hierarchical Dependencies William E. Walsh, Michael P. Wellman

Efficient Mining of Statistical Dependencies Tim Oates, Matthew D. Schmill, Paul R. Cohen

Efficient Reinforcement Learning in Factored MDPs Michael J. Kearns, Daphne Koller

Efficient SQL-Querying Method for Data Mining in Large Data Bases Hung Son Nguyen

Electronic Commerce: From Economic and Game-Theoretic Models to Working Protocols Moshe Tennenholtz

Exploiting a Common Property Resource Under a Fairness Constraint: A Case Study Michel Lemaître, Gérard Verfaillie, Nicolas Bataille

Exploratory Interaction with a Bayesian Argumentation System Ingrid Zukerman, Richard McConachy, Kevin B. Korb, Deborah Pickett

Expressive Reasoning About Action in Nondeterministic Polynomial Time Thomas Drakengren, Marcus Bjäreland

Extending Consistent Domains of Numeric CSP Hélène Collavizza, François Delobel, Michel Rueher

FACILE: Classifying Texts Integrating Pattern Matching and Information Extraction Fabio Ciravegna, Alberto Lavelli, Luca Gilardoni, Johannes Matiasek, Nadia Mana, Silvia Mazza, Massimo Ferraro, William J. Black, Fabio Rinaldi, David Mowatt

Finding Relations in Polynomial Time Gilles Caporossi, Pierre Hansen

From Interaction Data to Plan Libraries: A Clustering Approach Mathias Bauer

Generalized Connectionist Associative Memory Nigel P. Duffy, Arun K. Jagota

Generalized Physical Networks for Automated Model Building Matthew Easley, Elizabeth Bradley

Genetic Heuristic for Search Space Exploration Manuel Clergue, Philippe Collard

GIB: Steps Toward an Expert-Level Bridge-Playing Program Matthew L. Ginsberg

Highly Reactive Decision Making: A Game with Time Thierry Vidal, Silvia Coradeschi

How Latent Is Latent Semantic Analysis? Peter M. Wiemer-Hastings

Hybrid Thematic Role Processor: Symbolic Linguistic Relations Revised by Connectionist Learning João Luís Garcia Rosa, Edson Françozo

Improved Classification for a Data Fusing Kohonen Self Organizing mAP Using a Dynamic Thresholding Technique Odin Taylor, John MacIntyre, John Tait

Improvements to the Evaluation of Quantified Boolean Formulae Jussi Rintanen

Improving Graphplan's Search with EBL & DDB Techniques Subbarao Kambhampati

Improving Search Using Indexing: A Study with Temporal CSPs Nikos Mamoulis, Dimitris Papadias

Incremental Learning in a Fuzzy Intelligent System Yi Lu Murphey, Tie Qi Chen

Integrating Problem-Solving Methods into CYC James S. Aitken, Dimitrios Sklavakis

Investigating the Emergence of Speech Sounds Bart G. de Boer

Knowledge Modeling and Reusability in ExClaim Liviu Badea

Latent Class Models for Collaborative Filtering Thomas Hofmann, Jan Puzicha

Lean Semantic Interpretation Martin Romacker, Udo Hahn, Katja Markert

Learning in Natural Language Dan Roth

Learning Probabilistic Relational Models Nir Friedman, Lise Getoor, Daphne Koller, Avi Pfeffer

Learning Rules for Large Vocabulary Word Sense Disambiguation Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos

Leave-One-Out Support Vector Machines Jason Weston

Lemma Generation for Model Elimination by Combining Top-Down and Bottom-up Inference Marc Fuchs

Logic-Based Subsumption Architecture Eyal Amir, Pedrito Maynard-Reid Ii

Managing Temporal Uncertainty Through Waypoint Controllability Paul H. Morris, Nicola Muscettola

Markov Localization Using Correlation Kurt Konolige, Ken Chou

Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis Jochen Renz

Maximization of the Average Quality of Anytime Contract Algorithms over a Time Interval Arnaud Delhay, Max Dauchet, Patrick Taillibert, Philippe Vanheeghe

Maximum Entropy and Variable Strength Defaults Rachel A. Bourne, Simon Parsons

Model Checking for Nonmonotonic Logics: Algorithms and Complexity Riccardo Rosati

Model-Based Diagnosis in the Real World: Lessons Learned and Challenges Remaining Luca Console, Oskar Dressler

Modeling the Basic Meanings of Path Relations Christian Kray, Anselm Blocher

Monitoring Piecewise Continuous Behaviors by Refining Semi-Quantative Trackers Bernhard Rinner, Benjamin Kuipers

Multi-Dimensional Description Logics Frank Wolter, Michael Zakharyaschev

Multi-Value-Functions: Efficient Automatic Action Hierarchies for Multiple Goal MDPs Andrew W. Moore, Leemon C. Baird Iii, Leslie Pack Kaelbling

Multiple Path Coordination for Mobile Robots: A Geometric Algorithm Stéphane Leroy, Jean-Paul Laumond, Thierry Siméon

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases Robert Baumgartner, Georg Gottlob

On the Relation of Resolution and Tableaux Proof Systems for Description Logics Ullrich Hustadt, Renate A. Schmidt

On the Relations Between Probabilistic Logic and P-CMS Pierre Hansen, Brigitte Jaumard, A. D. Parreira

On the Role of Context-Specific Independence in Probabilistic Inference Nevin Lianwen Zhang, David L. Poole

On the Use of Integer Programming Models in AI Planning Thomas Vossen, Michael O. Ball, Amnon Lotem, Dana S. Nau

Optimizing Recursive Information-Gathering Plans Eric Lambrecht, Subbarao Kambhampati, Senthil Gnanaprakasam

Path Consistency on Triangulated Constraint Graphs Christian Bliek, Djamila Sam-Haroud

PEBM: A Probabilistic Exemplar Based Model Andres F. Rodriguez, Sunil Vadera

Physical Constraints on Human Robot Interaction Michita Imai, Kazuo Hiraki, Tsutomu Miyasato

Postulates for Conditional Belief Revision Gabriele Kern-Isberner

Pre-Sending Documents on the WWW: A Comparative Study David W. Albrecht, Ingrid Zukerman, Ann E. Nicholson

Preference Moore Machines for Neural Fuzzy Integration Stefan Wermter

Preferential Semantics for Causal Systems Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak

Preferred Arguments Are Harder to Compute than Stable Extension Yannis Dimopoulos, Bernhard Nebel, Francesca Toni

Process-Oriented Estimation of Generalization Error Pedro M. Domingos

Processing Symbols at Variable Speed in DUAL: Connectionist Activation as Power Supply Alexander A. Petrov, Boicho N. Kokinov

Programming Resource-Bounded Deliberative Agents Michael Fisher, Chiara Ghidini

Projection Using Regression and Sensors Giuseppe De Giacomo, Hector J. Levesque

Qualitative and Quantitative Representations of Locomotion and Their Application in Robot Navigation Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Thomas Röfer

Qualitative Outline Theory Antony Galton, Richard C. Meathrel

Query Evaluation and Progression in AOL Knowledge Bases Gerhard Lakemeyer, Hector J. Levesque

Reachability, Relevance, Resolution and the Planning as Satisfiability Approach Ronen I. Brafman

Reactive Control of Dynamic Progressive Processing Shlomo Zilberstein, Abdel-Illah Mouaddib

Real-Time Problem-Solving with Contract Algorithms Shlomo Zilberstein, François Charpillet, Philippe Chassaing

Reasoning About Actions in Narrative Understanding Srinivas Narayanan

Reasoning in Expressive Description Logics with Fixpoints Based on Automata on Infinite Trees Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Reasoning with Cause and Effect Judea Pearl

Reasoning with Concrete Domains Carsten Lutz

Reinforcement Algorithms Using Functional Approximation for Generalization and Their Application to Cart Centering and Fractal Compression Clifford Claussen, Srinivas Gutta, Harry Wechsler

Relational Learning for NLP Using Linear Threshold Elements Roni Khardon, Dan Roth, Leslie G. Valiant

Remembering to Add: Competence-Preserving Case-Addition Policies for Case Base Maintenance Jun Zhu, Qiang Yang

Rights, Duties and Commitments Between Agents Leendert W. N. van der Torre, Yao-Hua Tan

Risk Control in Multi-Agent Coordination by Negotiation with a Trusted Third Party Shih-Hung Wu, Von-Wun Soo

Robotics in the Home, Office, and Playing Field Minoru Asada, Henrik I. Christensen

SARDSRN: A Neural Network Shift-Reduce Parser Marshall R. Mayberry, Risto Miikkulainen

SAT-Encodings, Search Space Structure, and Local Search Performance Holger H. Hoos

Scalable Temporal Reasoning Steffen Staab, Udo Hahn

Search in a Small World Toby Walsh

Semi-Quantitative Comparative Analysis Ivayla Vatcheva, Hidde de Jong

Sequential Auctions for the Allocation of Resources with Complementarities Craig Boutilier, Moisés Goldszmidt, Bikash Sabata

Sequential Optimality and Coordination in Multiagent Systems Craig Boutilier

SHOP: Simple Hierarchical Ordered Planner Dana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila

Shopbots and Pricebots Amy Greenwald, Jeffrey O. Kephart

Situated Grounded Word Semantics Luc Steels, Frédéric Kaplan

Solving Non-Markovian Control Tasks with Neuro-Evolution Faustino J. Gomez, Risto Miikkulainen

Solving Strategies for Highly Symmetric CSPs Pedro Meseguer, Carme Torras

Speeding up Ascending-Bid Auctions Yuzo Fujishima, David McAdams, Yoav Shoham

Stable Model Checking Made Easy Christoph Koch, Nicola Leone

State Space Construction by Attention Control Hiroshi Ishiguro, Masatoshi Kamiharako, Toru Ishida

Structured Modeling Language for Automated Modeling in Causal Networks Yousri El Fattah

Switching from Bidirectional to Unidirectional Search Hermann Kaindl, Gerhard Kainz, Roland Steiner, Andreas Auer, Klaus Radda

Taming the Computational Complexity of Combinatorial Auctions: Optimal and Approximate Approaches Yuzo Fujishima, Kevin Leyton-Brown, Yoav Shoham

Temporal Coherence and Prediction Decay in TD Learning Donald F. Beal, Martin C. Smith

Temporal Planning with Mutual Exclusion Reasoning David E. Smith, Daniel S. Weld

The Cluster-Abstraction Model: Unsupervised Learning of Topic Hierarchies from Text Data Thomas Hofmann

The Detection and Exploitation of Symmetry in Planning Problems Maria Fox, Derek Long

The Difference All-Difference Makes Kostas Stergiou, Toby Walsh

The LPSAT Engine & Its Application to Resource Planning Steven A. Wolfman, Daniel S. Weld

The Multilingual Generation Game: Authoring Fluent Texts in Unfamiliar Languages Donia Scott

The Ramification Problem in the Event Calculus Murray Shanahan

The Role of Saliency in Generating Natural Language Arguments Chris Reed

The Symmetric Alldiff Constraint Jean-Charles Régin

To Encode or Not to Encode - Linear Planning Ronen I. Brafman, Holger H. Hoos

Toward a Probabilistic Formalization of Case-Based Inference Eyke Hüllermeier

Towards a Possibilistic Logic Handling of Preferences Salem Benferhat, Didier Dubois, Henri Prade

Towards Efficient Metaquerying Rachel Ben-Eliyahu-Zohary, Ehud Gudes

Towards Flexible Multi-Agent Decision-Making Under Time Pressure Sanguk Noh, Piotr J. Gmytrasiewicz

Towards Multi-Paper Summarization Using Reference Information Hidetsugu Nanba, Manabu Okumura

Tracking Many Objects with Many Sensors Hanna Pasula, Stuart Russell, Michael Ostland, Yaacov Ritov

Transduction with Confidence and Credibility Craig Saunders, Alex Gammerman, Volodya Vovk

Two Fielded Teams and Two Experts: A RoboCup Challenge Response from the Trenches Milind Tambe, Gal A. Kaminka, Stacy Marsella, Ion Muslea, Taylor Raines

Unifying SAT-Based and Graph-Based Planning Henry A. Kautz, Bart Selman

UPML: A Framework for Knowledge System Reuse Dieter Fensel, V. Richard Benjamins, Enrico Motta, Bob J. Wielinga

Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs Armin Fiedler

Using Focus Rules in Requirements Elicitation Dialogues Renaud Lecoeuche, Catherine Barry, David Stuart Robertson

Using Walk-SAT and Rel-Sat for Cryptographic Key Search Fabio Massacci

Utilizing Device Behavior in Structure-Based Diagnosis Adnan Darwiche

Variable Resolution Discretization for High-Accuracy Solutions of Optimal Control Problems Rémi Munos, Andrew W. Moore

Verifying Integrity Constraints on Web Sites Mary F. Fernández, Daniela Florescu, Alon Y. Levy, Dan Suciu

Visual Planning: A Practical Approach to Automated Presentation Design Michelle X. Zhou

Was the Title of This Talk Gernerated Automatically? Prospects on Intelligent Interfaces and Language Oliviero Stock