IJCAI 2003

295 papers

A Bayesian Approach to Imitation in Reinforcement Learning Bob Price, Craig Boutilier

A Continuation Method for Nash Equilibria in Structured Games Ben Blum, Christian R. Shelton, Daphne Koller

A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek

PDF

A Formalization of Equilibria for Multiagent Planning Michael H. Bowling, Rune Møller Jensen, Manuela M. Veloso

PDF

A General Model for Online Probabilistic Plan Recognition Hung Hai Bui

PDF

A Heuristic Model for Concurrent Bi-Lateral Negotiations in Incomplete Information Settings Thuc Duong Nguyen, Nicholas R. Jennings

PDF

A Learning Algorithm for Localizing People Based on Wireless Signal Strength That Uses Labeled and Unlabeled Data Sebastian Thrun, Geoffrey J. Gordon, Frank Pfenning, Mary Berna, Brennan Sellner, Brad Lisien

PDF

A Learning Algorithm for Web Page Scoring Systems Michelangelo Diligenti, Marco Gori, Marco Maggini

PDF

A Learning-Based Jam Session System That Imitates a Player's Personality Model Masatoshi Hamanaka, Masataka Goto, Hideki Asoh, Nobuyuki Otsu

PDF

A Logic for Causal Reasoning Alexander Bochman

PDF

A Logic Prover for Text Processing Dan I. Moldovan, Christine Clark

PDF

A Logic-Based Algorithm for Image Sequence Interpretation and Anchoring Paulo E. Santos, Murray Shanahan

PDF

A Lookahead Strategy for Solving Large Planning Problems Vincent Vidal

PDF

A Maximal Tractable Class of Soft Constraints David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

PDF

A Multi-Agent Computational Linguistic Approach to Speech Recognition Michael Walsh, Robert Kelly, Gregory M. P. O'Hare, Julie Carson-Berndsen, Tarek Abu-Amer

PDF

A New Content Based Image Retrieval Method Based on a Sketch-Driven Interpretation of Line Segments Marco Anelli, Alessandro Micarelli, Enver Sangineto

PDF

A New Look at the Semantics and Optimization Methods of CP-Networks Ronen I. Brafman, Yannis Dimopoulos

PDF

A New Node Centroid Algorithm for Bandwidth Minimization Andrew Lim, Brian Rodrigues, Fei Xiao

PDF

A Novel Framework for Integrating Discrete Event System Control and Diagnosis Gregory M. Provan

PDF

A Parametric Hierarchical Planner for Experimenting Abstraction Techniques Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu

PDF

A Planning Algorithm for Predictive State Representations Masoumeh T. Izadi, Doina Precup

PDF

A Portfolio Approach to Algorithm Selection Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham

PDF

A Resolution Theorem for Algebraic Domains Pascal Hitzler

PDF

A Revised Algorithm for Latent Semantic Analysis Xiangen Hu, Zhiqiang Cai, Max M. Louwerse, Andrew Olney, Phanni Penumatsa, Arthur C. Graesser

PDF

A Semantic Framework for Multimedia Document Adaptation Jérôme Euzenat, Nabil Layaïda, Victor Dias

PDF

A Simulated Annealing Approach to the Travelling Tournament Problem Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados

PDF

A Statistical Model for Flexible String Similarity Atsuhiro Takasu

PDF

A Structure-Based Variable Ordering Heuristic for SAT Jinbo Huang, Adnan Darwiche

PDF

A Theory of Average-Case Compilability in Knowledge Representation Hubie Chen

PDF

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases Yongmei Liu, Hector J. Levesque

PDF

A Visual-Sensor Model for Mobile Robot Localisation Matthias Fichtner, Axel Großmann

PDF

A Weighted Polynomial Information Gain Kernel for Resolving Prepositional Phrase Attachment Ambiguities with Support Vector Machines Bram Vanschoenwinkel, Bernard Manderick

PDF

Abductive Matchmaking Using Description Logics Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

PDF

Action Representation and Partially Observable Planning Using Epistemic Logic Andreas Herzig, Jérôme Lang, Pierre Marquis

PDF

Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr.

PDF

Active Learning with Ensembles for Image Classification Huan Liu, Amit Mandvikar, Patricia G. Foschi, Kari Torkkola

PDF

Active Learning with Strong and Weak Views: A Case Study on Wrapper Induction Ion Muslea, Steven Minton, Craig A. Knoblock

PDF

Active Probing Strategies for Problem Diagnosis in Distributed Systems Mark Brodie, Irina Rish, Sheng Ma, Natalia Odintsova

PDF

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer

PDF

Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems Christophe Jermann, Bertrand Neveu, Gilles Trombettoni

PDF

Amalgams of Constraint Satisfaction Problems Andrei A. Bulatov, Evgeny S. Skvortsov

PDF

An Epistemic Logic for Arbitration (Extended Abstract) Churn-Jung Liau

PDF

An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots Dirk Hähnel, Sebastian Thrun, Wolfram Burgard

PDF

An Improved Algorithm for Optimal Bin Packing Richard E. Korf

PDF

An Integrated Multilevel Learning Approach to Multiagent Coalition Formation Leen-Kiat Soh, Xin Li

PDF

An Ontology-Based Architecture for Cooperative Information Agents Frederico Luiz Gonçalves de Freitas, Guilherme Bittencourt

PDF

Answer Set Optimization Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski

PDF

Applying Interchangeability Techniques to the Distributed Breakout Algorithm Adrian Petcu, Boi Faltings

PDF

Approximate Policy Iteration Using Large-Margin Classifiers Michail G. Lagoudakis, Ronald Parr

PDF

Approximating Game-Theoretic Optimal Strategies for Full-Scale Poker Darse Billings, Neil Burch, Aaron Davidson, Robert C. Holte, Jonathan Schaeffer, Terence Schauenberg, Duane Szafron

PDF

Approximating Optimal Policies for Agents with Limited Execution Resources Dmitri A. Dolgov, Edmund H. Durfee

PDF

Artificial Neural Network for Sequence Learning Sorin Moga, Philippe Gaussier

PDF

Assertion Application in Theorem Proving and Proof Planning Quoc Bao Vo, Christoph Benzmüller, Serge Autexier

PDF

AUC: A Statistically Consistent and More Discriminating Measure than Accuracy Charles X. Ling, Jin Huang, Harry Zhang

PDF

Automated Generation of Graphic Sketches by Example Michelle X. Zhou, Min Chen

PDF

Automated Generation of Understandable Contingency Plans Max Horstmann, Shlomo Zilberstein

PDF

Automated Qualitative Domain Abstraction Martin Sachenbacher, Peter Struss

PDF

Automated Reasoning: Past Story and New Trends Andrei Voronkov

PDF

Automated Verification: Graphs, Logic, and Automata Moshe Y. Vardi

PDF

Automatic Abstraction in Component-Based Diagnosis Driven by System Observability Gianluca Torta, Pietro Torasso

PDF

Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition Van-Thinh Vu, François Brémond, Monique Thonnat

PDF

Automatically Personalizing User Interfaces Daniel S. Weld, Corin R. Anderson, Pedro M. Domingos, Oren Etzioni, Krzysztof Gajos, Tessa A. Lau, Steven A. Wolfman

PDF

Backbone Guided Local Search for Maximum Satisfiability Weixiong Zhang, Ananda Rangan, Moshe Looks

PDF

Backdoors to Typical Case Complexity Ryan Williams, Carla P. Gomes, Bart Selman

PDF

Bayesian Information Extraction Network Leonid Peshkin, Avi Pfeffer

PDF

BDIOCTL: Obligations and the Specification of Agent Behavior Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

PDF

Behavior Bounding: Toward Effective Comparisons of Agents & Humans Scott A. Wallace, John E. Laird

PDF

Belief, Awareness, and Two-Dimensional Logic Hu Liu, Shier Ju

PDF

Bidding Marginal Utility in Simultaneous Auctions Amy Greenwald

PDF

Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation Attila Kondacs

PDF

Body Movement Analysis of Human-Robot Interaction Takayuki Kanda, Hiroshi Ishiguro, Michita Imai, Tetsuo Ono

PDF

Boosting Face Identification in Airports Jimmy Jiang Liu, Kia-Fock Loe

PDF

Broadcast News Navigator (BNN) Demonstration Mark T. Maybury

PDF

Case Base Adaptation Using Solution-Space Metrics Brian Knight, Fei Ling Woon

PDF

Categorizing Classes of Signals by Means of Fuzzy Gradual Rules Sylvie Galichet, Didier Dubois, Henri Prade

PDF

Causal Theories of Action: A Computational Core Jérôme Lang, Fangzhen Lin, Pierre Marquis

PDF

Causes and Explanations Revisited James D. Park

PDF

Challenges in Web Search Engines Monika Rauch Henzinger, Rajeev Motwani, Craig Silverstein

PDF

Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem Iván Dotú, Alvaro del Val, Manuel Cebrián

PDF

Characterization of Strategy/False-Name Proof Combinatorial Auction Protocols: Price-Oriented, Rationing-Free Protocol Makoto Yokoo

PDF

Coherence of Laws Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak

PDF

Coherent Keyphrase Extraction via Web Mining Peter D. Turney

PDF

Collaborative Web Search Barry Smyth, Evelyn Balfe, Peter Briggs, Maurice Coyle, Jill Freyne

PDF

Combining Two Local Search Approaches to Hypergraph Partitioning Arathi Ramani, Igor L. Markov

PDF

Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment Heath Hohwald, Ignacio Thayer, Richard E. Korf

PDF

Comparing Different Cognitive Paradigms with a Virtual Laboratory Carlos Gershenson

PDF

Comparing Image-Based Localization Methods Robert Sim, Gregory Dudek

PDF

Comparison of Different Grid Abstractions for Pathfinding on Maps Yngvi Björnsson, Markus Enzenberger, Robert Holte, Jonathan Schaeffer, Peter Yap

PDF

Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus Alfredo Gabaldon

PDF

Complexity of Determining Nonemptiness of the Core Vincent Conitzer, Tuomas Sandholm

PDF

Complexity Results About Nash Equilibria Vincent Conitzer, Tuomas Sandholm

PDF

Consistency and Set Intersection Yuanlin Zhang, Roland H. C. Yap

PDF

Consistent, Convergent, and Constant-Time SLAM John J. Leonard, Paul M. Newman

PDF

Constitutive Rules for Agent Communication Languages Jeremy Pitt

PDF

Constraint Satisfaction, Databases, and Logic Phokion G. Kolaitis

PDF

Constructing Diverse Classifier Ensembles Using Artificial Training Examples Prem Melville, Raymond J. Mooney

PDF

Constructing Utility Models from Observed Negotiation Actions Angelo C. Restificar, Peter Haddawy

PDF

Continuous Nonlinear Dimensionality Reduction by Kernel Eigenmaps Matthew Brand

PDF

Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems Daniel S. Bernstein, Lev Finkelstein, Shlomo Zilberstein

PDF

Corpus-Based Knowledge Representation Alon Y. Halevy, Jayant Madhavan

PDF

Corpus-Based, Statistical Goal Recognition Nate Blaylock, James F. Allen

PDF

Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems Markus Stumptner, Franz Wotawa

PDF

Covariant Policy Search J. Andrew Bagnell, Jeff G. Schneider

PDF

Coverage-Optimized Retrieval David McSherry

PDF

Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks Chris H. Q. Ding

PDF

Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks, Ulrike Sattler

PDF

Definition and Complexity of Some Basic Metareasoning Problems Vincent Conitzer, Tuomas Sandholm

PDF

Delayed Duplicate Detection: Extended Abstract Richard E. Korf

PDF

Demonstration: Liaison Agents for Distributed Space Operations Debra Schreckenghost, R. Peter Bonasso, David Kortenkamp, Cheryl Martin, Tod Milam, Carroll Thronesbery

PDF

Deploying Information Agents on the Web Craig A. Knoblock

PDF

Describing Additive Fluents in Action Language C+ Joohyung Lee, Vladimir Lifschitz

PDF

Detecting & Avoiding Interference Between Goals in Intelligent Agents John Thangarajah, Lin Padgham, Michael Winikoff

PDF

Distributed Clustering Based on Sampling Local Density Estimates Matthias Klusch, Stefano Lodi, Gianluca Moro

PDF

Distributed Patient Scheduling in Hospitals Torsten O. Paulussen, Nicholas R. Jennings, Keith S. Decker, Armin Heinzl

PDF

Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization? Giorgio Maria Di Nunzio, Alessandro Micarelli

PDF

DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks Austin I. Eliazar, Ronald Parr

PDF

Dynamic Bayesian Modeling of the Cerebral Activity Vincent Labatut, Josette Pastor, Serge Ruff

PDF

Dynamic Vehicle Routing with Stochastic Requests Russell Bent, Pascal Van Hentenryck

PDF

Dynamics of Coalition Formation in Combinatorial Trading Yiming Ye, Yuhai Tu

PDF

Efficient Representation of Adhoc Constraints Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey

PDF

Efficient Symmetry Breaking for Boolean Satisfiability Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov

PDF

Emergence of Cooperation in a Pursuit-Evasion Game Geoff Nitschke

PDF

Engineering a Complex Ontology with Time Jorge Santos, Steffen Staab

PDF

Evaluating Classifiers by Means of Test Data with Noisy Labels Chuck P. Lam, David G. Stork

PDF

Evaluating Coverage for Large Symbolic NLG Grammars Charles B. Callaway

PDF

Evaluating Significance of Inconsistencies Anthony Hunter

PDF

EVOC: A Music Generating System Using Genetic Algorithms Timothy Weale, Jennifer Seitzer

PDF

Explicit vs Implicit Profiling - A Case-Study in Electronic Programme Guides Derry O'Sullivan, Barry Smyth, David C. Wilson

PDF

Exploring Unknown Environments with Mobile Robots Using Coverage Maps Cyrill Stachniss, Wolfram Burgard

PDF

Extended Gloss Overlaps as a Measure of Semantic Relatedness Satanjeev Banerjee, Ted Pedersen

PDF

Extending DTGOLOG with Options Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer

PDF

Factored A* Search for Models over Sequences and Trees Dan Klein, Christopher D. Manning

PDF

Factored Planning Eyal Amir, Barbara Engelhardt

PDF

Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback Blai Bonet, Hector Geffner

PDF

FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping That Provably Converges Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit

PDF

Finite Domain Constraint Solver Learning Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtchenko, AbdelAli Ed-Dbali

PDF

First-Order Probabilistic Inference David Poole

PDF

Formal Verification of Diagnosability via Symbolic Model Checking Alessandro Cimatti, Charles Pecheur, Roberto Cavada

PDF

From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander

PDF

Gaussian Process Models of Spatial Aggregation Algorithms Naren Ramakrishnan, Christopher Bailey-Kellogg

PDF

Generalizing GraphPlan by Formulating Planning as a CSP Adriana Lopez, Fahiem Bacchus

PDF

Generalizing Plans to New Environments in Relational MDPs Carlos Guestrin, Daphne Koller, Chris Gearhart, Neal Kanodia

PDF

Getting Serious About the Development of Computational Humor Oliviero Stock, Carlo Strapparava

PDF

GHOST: Experimenting Conflicts Countermeasures in the Pilot's Activity Frédéric Dehais, Catherine Tessier, Laurent Chaudron

PDF

GRAEL: An Agent-Based Evolutionary Computing Approach for Natural Language Grammar Development Guy De Pauw

PDF

Great Expectations. Part I: On the Customizability of Generalized Expected Utility Francis C. Chu, Joseph Y. Halpern

PDF

Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule Francis C. Chu, Joseph Y. Halpern

PDF

Grid-Based SensorDCSP Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls

PDF

GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo

PDF

Hidden Uncertainty in the Logical Representation of Desires Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert

PDF

Hierarchical Hidden Markov Models for Information Extraction Marios Skounakis, Mark Craven, Soumya Ray

PDF

Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge Massimiliano Ciaramita, Thomas Hofmann, Mark Johnson

PDF

Identifying Synonyms Among Distributionally Similar Words Dekang Lin, Shaojun Zhao, Lijuan Qin, Ming Zhou

PDF

Imitation Learning of Team-Play in Multiagent System Based on Hidden Markov Modeling Itsuki Noda

PDF

Improving Coevolutionary Search for Optimal Multiagent Behaviors Liviu Panait, R. Paul Wiegand, Sean Luke

PDF

Improving Speech Recognition on a Mobile Robot Platform Through the Use of Top-Down Visual Queues Robert J. Ross, R. P. S. O'Donoghue, Gregory M. P. O'Hare

PDF

Improving Word Sense Disambiguation in Lexical Chaining Michel Galley, Kathleen R. McKeown

PDF

In Defense of PDDL Axioms Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel

PDF

In the Quest of the Best Form of Local Consistency for Weighted CSP Javier Larrosa, Thomas Schiex

PDF

Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality David McSherry

PDF

Incremental Tractable Reasoning About Qualitative Temporal Constraints Alfonso Gerevini

PDF

Incremental Utility Elicitation with the Minimax Regret Decision Criterion Tianhan Wang, Craig Boutilier

PDF

Indirect and Conditional Sensing in the Event Calculus Jeremy Forth

PDF

Inducing Criteria for Lexicalization Parts of Speech Using the Cyc KB Tom O'Hara, Michael Witbrock, Bjørn Aldag, Stefano Bertolo, Nancy Salay, Jon Curtis, Kathy Panton

PDF

Inductive Learning in Less than One Sequential Data Scan Wei Fan, Haixun Wang, Philip S. Yu, Shaw-Hwa Lo

PDF

Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel

PDF

Integrating Background Knowledge into Text Classification Sarah Zelikovitz, Haym Hirsh

PDF

Integrating Multiple Internet Directories by Instance-Based Learning Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden

PDF

Integrity and Change in Modular Ontologies Heiner Stuckenschmidt, Michel C. A. Klein

PDF

Intelligent Multimedia Indexing and Retrieval Through Multi-Source Information Extraction and Merging Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg

PDF

Intelligent Multimodal Stream Processing Mark T. Maybury

PDF

Intelligent Systems in Travel and Tourism Hannes Werthner

PDF

Interactive Spoken Simulation Control and Conversational Tutoring Karl Schultz, Brady Clark, Elizabeth Owen Bratt, Stanley Peters, Heather Pon-Barry, Pucktada Treeratpituk, Zack Thomsen-Gray

PDF

Inverse Circumscription Hubie Chen

PDF

Item Selection Strategies for Collaborative Filtering Rachael Rafter, Barry Smyth

PDF

Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

PDF

LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition Tracy Hammond, Randall Davis

PDF

Last-Branch and Speculative Pruning Algorithms for Maxn Nathan R. Sturtevant

PDF

Layered Mereotopology Maureen Donnelly

PDF

Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments Thomas T. Tran, Robin Cohen

PDF

Learning Consumer Photo Categories for Semantic Retrieval Joo-Hwee Lim, Jesse S. Jin

PDF

Learning Minesweeper with Multirelational Learning Lourdes Peña Castillo, Stefan Wrobel

PDF

Learning to Classify Texts Using Positive and Unlabeled Data Xiaoli Li, Bing Liu

PDF

Learning to Compete in Heterogeneous Web Search Environments Rinat Khoussainov, Nicholas Kushmerick

PDF

Learning Value Predictors for the Speculative Execution of Information Gathering Plans Greg Barish, Craig A. Knoblock

PDF

Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles Franz Baader

PDF

Local-Effect Games Kevin Leyton-Brown, Moshe Tennenholtz

PDF

Logic Programs for Consistently Querying Data Integration Systems Loreto Bravo, Leopoldo E. Bertossi

PDF

Logical Filtering Eyal Amir, Stuart Russell

PDF

Lookahead Pathologies for Single Agent Search Vadim Bulitko, Lihong Li, Russell Greiner, Ilya Levner

PDF

Making Markets and Democracy Work: A Story of Incentives and Computing Tuomas Sandholm

PDF

Making the Breakout Algorithm Complete Using Systematic Search Carlos Eisenberg, Boi Faltings

PDF

Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems Laurence A. Kramer, Stephen F. Smith

PDF

Minimal Change and Maximal Coherence for Epistemic Logic Program Updates Yan Zhang

PDF

Minimally Intrusive Negotiating Agents for Resource Sharing Fariba Sadri, Francesca Toni, Paolo Torroni

PDF

Mining Video Associations for Efficient Database Management Xingquan Zhu, Xindong Wu

PDF

Model-Based Diagnosis of Hybrid Systems Sriram Narasimhan, Gautam Biswas

PDF

Modular Self-Organization for a Long-Living Autonomous Agent Bruno Scherrer

PDF

Monte Carlo Theory as an Explanation of Bagging and Boosting Roberto Esposito, Lorenza Saitta

PDF

Multi-Prototype Support Vector Machine Fabio Aiolli, Alessandro Sperduti

PDF

Multiagent Planning with Partially Ordered Temporal Plans Michael Brenner

PDF

Multiple Agents Moving Target Search Mark Goldenberg, Alexander Kovarsky, Xiaomeng Wu, Jonathan Schaeffer

PDF

Multiple-Goal Reinforcement Learning with Modular Sarsa(0) Nathan Sprague, Dana H. Ballard

PDF

Multiset Ordering Constraints Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh

PDF

Network Meta-Reasoning for Information Assurance in Mobile Agent Systems Donovan Artz, Maxim Peysakhov, William C. Regli

PDF

Neural Executive Attentional Control in Robots Jason P. Garforth, Sue L. McHale, Anthony Meehan

PDF

NoA - A Normative Agent Architecture Martin J. Kollingbaum, Timothy J. Norman

PDF

Non-Binary Constraints and Optimal Dual-Graph Representations Gianluigi Greco, Francesco Scarcello

PDF

Non-Invasive Brain-Actuated Control of a Mobile Robot José del R. Millán, Frédéric Renkens, Josep Mouriño, Wulfram Gerstner

PDF

Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies Stefan Schlobach, Ronald Cornet

PDF

ODISET: On-Line Distributed Session Tracing Using Agents Salvador Mandujano, Arturo Galván

PDF

On a Generalization of Triangulated Graphs for Domains Decomposition of CSPs Assef Chmeiss, Philippe Jégou, Lamia Keddar

PDF

On Identifying and Managing Relationships in Multi-Agent Systems Ronald Ashri, Michael Luck, Mark d'Inverno

PDF

On the Application of Least-Commitment and Heuristic Search in Temporal Planning Antonio Garrido Tejero, Eva Onaindia

PDF

On the Design of Social Diagnosis Algorithms for Multi-Agent Teams Meir Kalech, Gal A. Kaminka

PDF

On the Equivalence Between Answer Sets and Models of Completion for Nested Logic Programs Jia-Huai You, Li-Yan Yuan, Mingyi Zhang

PDF

On the Foundations of Expected Expected Utility Craig Boutilier

PDF

On the Revision of Probabilistic Beliefs Using Uncertain Evidence Hei Chan, Adnan Darwiche

PDF

On the Undecidability of Description and Dynamic Logics with Recursion and Counting Piero A. Bonatti

PDF

On Tight Logic Programs and yet Another Translation from Normal Logic Programs to Propositional Logic Fangzhen Lin, Jicheng Zhao

PDF

Optimal Time-Space Tradeoff in Probabilistic Inference David Allen, Adnan Darwiche

PDF

Ordering Default Theories Chiaki Sakama

PDF

Outlier Detection Using Default Logic Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

PDF

Parallelizing State Space Plans Online Romeo Sanchez Nigenda, Subbarao Kambhampati

PDF

Parametric Distance Metric Learning with Label Information Zhihua Zhang, James T. Kwok, Dit-Yan Yeung

PDF

People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters Dirk Schulz, Dieter Fox, Jeffrey Hightower

PDF

Phase Transitions of Bounded Satisfiability Problems Delbert D. Bailey, Phokion G. Kolaitis

PDF

Phase Transitions of the Asymmetric Traveling Salesman Weixiong Zhang

PDF

Point-Based Value Iteration: An Anytime Algorithm for POMDPs Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun

PDF

Practical Partition-Based Theorem Proving for Large Knowledge Bases Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe

PDF

Proactive Dialogue for Interactive Knowledge Capture Jihie Kim, Yolanda Gil

PDF

Probabilistically Survivable MASs Sarit Kraus, V. S. Subrahmanian, Nazif Cihan Tas

PDF

Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco

PDF

Propagate the Right Thing: How Preferences Can Speed-up Constraint Solving Christian Bessiere, Anaïs Fabre, Ulrich Junker

PDF

Propagation Redundancy for Permutation Channels Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey

PDF

Protocol Conformance for Logic-Based Agents Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni

PDF

Qualitative Decision Under Uncertainty: Back to Expected Utility Hélène Fargier, Régis Sabbadin

PDF

Qualitative mAP Learning Based on Co-Visibility of Objects Takehisa Yairi, Koichi Hori

PDF

Qualitatively Faithful Quantitative Prediction Dorian Suc, Daniel Vladusic, Ivan Bratko

PDF

Quantifying Information and Contradiction in Propositional Logic Through Test Actions Sébastien Konieczny, Jérôme Lang, Pierre Marquis

PDF

Quantum Computation and Image Processing: New Trends in Artificial Intelligence Salvador Elías Venegas-Andraca, S. Bose

PDF

Query Rewriting and Answering Under Constraints in Data Integration Systems Andrea Calì, Domenico Lembo, Riccardo Rosati

PDF

Real-Time Strategy Games: A New AI Research Challenge Michael Buro

PDF

Reasoning About Distances Frank Wolter, Michael Zakharyaschev

PDF

Reasoning About Soft Constraints and Conditional Preferences: Complexity Results and Approximation Techniques Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh

PDF

Reasoning About the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus Richard B. Scherl

PDF

Recognizing Plan/Goal Abandonment Christopher W. Geib, Robert P. Goldman

PDF

Recycling Computed Answers in Rewrite Systems for Abduction Fangzhen Lin, Jia-Huai You

PDF

Resource Temporal Networks: Definition and Complexity Philippe Laborie

PDF

Responsibility and Blame: A Structural-Model Approach Hana Chockler, Joseph Y. Halpern

PDF

Sampling Combinatorial Spaces Using Biased Random Walks Jordan Erenrich, Bart Selman

PDF

Scenario-Based Stochastic Constraint Programming Suresh Manandhar, Armagan Tarim, Toby Walsh

PDF

Self-Reconfiguring Robots: Successes and Challenges Daniela Rus

PDF

Semi-Supervised Learning with Explicit Misclassification Modeling Massih-Reza Amini, Patrick Gallinari

PDF

Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains Kathleen Suzanne Barber, Daniel Faith, Karen Fullam, Thomas J. Graser, David C. Han, J. Jeong, Joonoo Kim, Dung N. Lam, Ryan McKay, M. Pal, Jisun Park, Marcelo M. Vanzin

PDF

Simultaneous Adversarial Multi-Robot Learning Michael H. Bowling, Manuela M. Veloso

PDF

Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction David Page, Soumya Ray

PDF

SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes Balaraman Ravindran, Andrew G. Barto

PDF

Solving Constraint Optimization Problems in Anytime Contexts Samir Loudni, Patrice Boizumault

PDF

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee

PDF

Spaces of Theories with Ideal Refinement Operators Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile

PDF

Sparse-Memory Graph Search Rong Zhou, Eric A. Hansen

PDF

Spectral Learning Sepandar D. Kamvar, Dan Klein, Christopher D. Manning

PDF

Splitting the Atom: A New Approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems James Bowen, Chavalit Likitvivatanavong

PDF

SVMC: Single-Class Classification with Support Vector Machines Hwanjo Yu

PDF

Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking Yang Wang, Tele Tan, Kia-Fock Loe

PDF

TAGA: Travel Market Framework in Agentcities Youyong Zou, Timothy W. Finin, Li Ding, Harry Chen, Rong Pan

PDF

Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings Ranjit Nair, Milind Tambe, Makoto Yokoo, David V. Pynadath, Stacy Marsella

PDF

Temporal Reasoning with Preferences and Uncertainty Neil Yorke-Smith, K. Brent Venable, Francesca Rossi

PDF

Terminological Cycles in a Description Logic with Existential Restrictions Franz Baader

PDF

The Concurrent, Continuous FLUX Yves Martins

PDF

The Knowledge Required to Interpret Noun Compounds James Fan, Ken Barker, Bruce W. Porter

PDF

The Power of Suggestion Barry Smyth, Lorraine McGinty

PDF

Thin Junction Tree Filters for Simultaneous Localization and Mapping Mark A. Paskin

PDF

Towards a Theoretical Framework for Ensemble Classification Alexander K. Seewald

PDF

Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, William E. Walsh

PDF

Towards Domain-Independent, Task-Oriented, Conversational Adequacy Darsana P. Josyula, Michael L. Anderson, Donald Perlis

PDF

Towards Pervasive Robotics Artur M. Arsénio

PDF

Tractable Pareto Optimization of Temporal Preferences Lina Khatib, Paul H. Morris, Robert A. Morris, Kristen Brent Venable

PDF

Tractable Symmetry Breaking for CSPs with Interchangeable Values Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren

PDF

Tucking RCC in Cyc's Ontological Bed Pierre Grenon

PDF

Understanding the Power of Clause Learning Paul Beame, Henry A. Kautz, Ashish Sabharwal

PDF

Universal Voting Protocol Tweaks to Make Manipulation Hard Vincent Conitzer, Tuomas Sandholm

PDF

Use of Off-Line Dynamic Programming for Efficient Image Interpretation Ramana Isukapalli, Russell Greiner

PDF

Using Available Memory to Transform Graphplan's Search Terry Zimmerman, Subbarao Kambhampati

PDF

Variable Resolution Particle Filter Vandi Verma, Sebastian Thrun, Reid G. Simmons

PDF

Virtual World as Interface for Human-Robot Interaction Eric Normand, Sheila Tejada

PDF

Weak Conditional Logics of Normality James P. Delgrande

PDF

Web Intelligence (WI): What Makes Wisdom Web? Jiming Liu

PDF

Web Page Cleaning for Web Mining Through Feature Weighting Lan Yi, Bing Liu

PDF

What Is Artificial Intelligence? Psychometric AI as an Answer Selmer Bringsjord, Bettina Schimanski

PDF

When Discriminative Learning of Bayesian Network Parameters Is Easy Hannes Wettig, Peter Grünwald, Teemu Roos, Petri Myllymäki, Henry Tirri

PDF

When Evolving Populations Is Better than Coevolving Individuals: The Blind Mice Problem Thomas Miconi

PDF

Where Is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots Grzegorz Cielniak, Maren Bennewitz, Wolfram Burgard

PDF

Writer's Aid: Using a Planner in a Collaborative Interface Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber

PDF