IJCAI 2005

364 papers

2D Shape Classification and Retrieval Graham McNeill, Sethu Vijayakumar
PDF
3-D Interpretation of Single Line Drawings Kenji Shoji, Fubito Toyama, Juichi Miyamichi
PDF
A CLP-Based, Diagnosticity-Driven System for Concept Combinations Georgios Tagalakis, Daniela Ferrari, Mark T. Keane
PDF
A Cognitive Model of Visual Analogical Problem-Solving Transfer Jim Davies, Ashok K. Goel, Nancy J. Nersessian
PDF
A Context Model for Personal Knowledge Management Sven Schwarz
PDF
A Covering Problem for Hypercubes Jörg Hoffmann, Sebastian Kupferschmid
PDF
A Decision-Theoretic Approach to Task Assistance for Persons with Dementia Jennifer Boger, Pascal Poupart, Jesse Hoey, Craig Boutilier, Geoff R. Fernie, Alex Mihailidis
PDF
A Fast Normalized Maximum Likelihood Algorithm for Multinomial Data Petri Kontkanen, Petri Myllymäki
PDF
A Flexible and Robust Similarity Measure Based on Contextual Probability Hui Wang, Werner Dubitzky
PDF
A Formal Investigation of Mapping Language for Terminological Knowledge Luciano Serafini, Heiner Stuckenschmidt, Holger Wache
PDF
A Framework for Communication Planning on Mobile Devices Joseph Kopena, William C. Regli
PDF
A Greedy Approach to Establish Singleton Arc Consistency Christophe Lecoutre, Stéphane Cardon
PDF
A Hybrid Discriminative/Generative Approach for Modeling Human Activities Jonathan Lester, Tanzeem Choudhury, Nicky Kern, Gaetano Borriello, Blake Hannaford
PDF
A Language for Functional Interpretation of Model Based Simulation Jonathan Bell, Neal Snooke, Chris J. Price
PDF
A Layered Model for User Context Management with Controlled Aging and Imperfection Handling Andreas Schmidt
PDF
A Learning Scheme for Generating Expressive Music Performances of Jazz Standards Rafael Ramírez, Amaury Hazan
PDF
A Live-User Evaluation of Collaborative Web Search Barry Smyth, Evelyn Balfe, Oisín Boydell, Keith Bradley, Peter Briggs, Maurice Coyle, Jill Freyne
PDF
A Logical Model of Nash Bargaining Solution Dongmo Zhang
PDF
A Machine Learning Approach to Identification and Resolution of One-Anaphora Hwee Tou Ng, Yu Zhou, Robert Dale, Mary Gardiner
PDF
A Modal Logic for Reasoning About Possibilistic Belief Fusion Churn-Jung Liau, Tuan-Fang Fan
PDF
A Model for Generating Random Quantified Boolean Formulas Hubie Chen, Yannet Interian
PDF
A Model-Theoretic Counterpart of Loop Formulas Joohyung Lee
PDF
A Motion Closed World Asumption Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
PDF
A Multi-Objective Multi-Modal Optimization Approach for Mining Stable Spatio-Temporal Patterns Michèle Sebag, Nicolas Tarrisson, Olivier Teytaud, Julien Lefèvre, Sylvain Baillet
PDF
A Multidimensional Semantic Framework for Adaptive Hypermedia Systems Francesca Carmagnola, Federica Cena, Cristina Gena, Ilaria Torre
PDF
A New Approach to Multiobjective A* Search Lawrence Mandow, José-Luis Pérez-de-la-Cruz
PDF
A Non-Monotonic Logic for Specifying and Querying Preferences Guido Boella, Leendert W. N. van der Torre
PDF
A Novel Approach to Model Generation for Heterogeneous Data Classification Rong Jin, Huan Liu
PDF
A Novel Local Search Algorithm for the Traveling Salesman Problem That Exploits Backbones Weixiong Zhang, Moshe Looks
PDF
A Probabilistic Framework for Recognizing Intention in Information Graphics Stephanie Elzer, Sandra Carberry, Ingrid Zukerman, Daniel Chester, Nancy L. Green, Seniz Demir
PDF
A Probabilistic Learning Method for XML Annotation of Documents Boris Chidlovskii, Jérôme Fuselier
PDF
A Probabilistic Lexical Approach to Textual Entailment Oren Glickman, Ido Dagan, Moshe Koppel
PDF
A Probabilistic Model of Redundancy in Information Extraction Doug Downey, Oren Etzioni, Stephen Soderland
PDF
A Rule Language for Modelling and Monitoring Social Expectations in Multi-Agent Systems Stephen Cranefield
PDF
A Scalable Method for Multiagent Constraint Optimization Adrian Petcu, Boi Faltings
PDF
A Simple Model to Generate Hard Satisfiable Instances Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
PDF
A Simple-Transition Model for Relational Sequences Alan Fern
PDF
A Study of Selection Noise in Collaborative Web Search Oisín Boydell, Barry Smyth, Cathal Gurrin, Alan F. Smeaton
PDF
A Tableaux Decision Procedure for SHOIQ Ian Horrocks, Ulrike Sattler
PDF
A Two-Stage Method for Active Learning of Statistical Grammars Markus Becker, Miles Osborne
PDF
A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models Yasuo Kudo, Tetsuya Murai
PDF
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition David A. Cohen, Peter Jeavons, Marc Gyssens
PDF
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
PDF
A Universal Measure of Intelligence for Artificial Agents Shane Legg, Marcus Hutter
PDF
Abduction with Hypotheses Confirmation Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
PDF
Abstraction-Based Action Ordering in Planning Maria Fox, Derek Long, Julie Porteous
PDF
Accurate and Low-Cost Location Estimation Using Kernels Jeffrey Junfeng Pan, James T. Kwok, Qiang Yang, Yiqiang Chen
PDF
Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational Agents Yoram Bachrach, Jeffrey S. Rosenschein
PDF
Active Cost-Sensitive Learning Dragos D. Margineantu
PDF
Activity Theory and Context-Awareness Anders Kofod-Petersen, Jörg Cassens
PDF
Adaptive Support Vector Machine for Time-Varying Data Streams Using Martingale Shen-Shyang Ho, Harry Wechsler
PDF
Affine Algebraic Decision Diagrams (AADDs) and Their Application to Structured Probabilistic Inference Scott Sanner, David A. McAllester
PDF
Algebraic Markov Decision Processes Patrice Perny, Olivier Spanjaard, Paul Weng
PDF
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano
PDF
An Architecture for Developing Context-Aware Systems Kaiyu Wan, Vasu S. Alagar, Joey Paquet
PDF
An Architecture for Proof Planning Systems Louise A. Dennis
PDF
An Engineering Approach to Adaptation and Calibration Michael Fahrmair, Wassiou Sitou
PDF
An Heuristic Search Based Approach for Moving Objects Tracking Elena Sánchez-Nielsen, Mario Hernández-Tejera
PDF
An Inductive Database for Mining Temporal Patterns in Event Sequences Alexandre Vautier, Marie-Odile Cordier, Rene Quiniou
PDF
An Inference Model for Semantic Entailment in Natural Language Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons
PDF
An MCMC Approach to Solving Hybrid Factored MDPs Branislav Kveton, Milos Hauskrecht
PDF
An On-Line Time Warping Algorithm for Tracking Musical Performances Simon Dixon
PDF
Analogy Generation with HowNet Tony Veale
PDF
Analysis and Cluster Based Modelling and Recognition of Context in a Mobile Environment Agathe Battestini, John A. Flanagan
PDF
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
PDF
AND/OR Branch-and-Bound for Graphical Models Radu Marinescu, Rina Dechter
PDF
AND/OR Cutset Conditioning Robert Mateescu, Rina Dechter
PDF
Applying Local Search to Disjunctive Temporal Problems Michael D. Moffitt, Martha E. Pollack
PDF
Appropriate Microplanning Choices for Low-Skilled Readers Sandra Williams, Ehud Reiter
PDF
Approximating Pseudo-Boolean Functions on Non-Uniform Domains Robert F. Lax, Guoli Ding, Peter P. Chen, Jianhua Chen
PDF
Aspects of Distributed and Modular Ontology Reasoning Luciano Serafini, Alexander Borgida, Andrei Tamilin
PDF
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic Riccardo Rosati, Georg Gottlob
PDF
Attribution of Knowledge to Artificial Agents and Their Principals Samir Chopra, Laurence White
PDF
Automated Adaptive Support for Task and Information Prioritizing Tjerk de Greef, Peter-Paul van Maanen
PDF
Automated Composition of Web Services by Planning at the Knowledge Level Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso
PDF
Automatic Evaluation of Text Coherence: Models and Representations Mirella Lapata, Regina Barzilay
PDF
Automatic Hypertext Keyphrase Detection Daniel Kelleher, Saturnino Luz
PDF
Automatic Learning of Domain Model for Personalized Hypermedia Applications Hermine Njike Fotzo, Thierry Artières, Patrick Gallinari, Julien Blanchard, Guillaume Letellier
PDF
Automatic Semantic Role Labeling for Chinese Verbs Nianwen Xue, Martha Stone Palmer
PDF
Automatic Text-to-Scene Conversion in the Traffic Accident Domain Richard Johansson, Anders Berglund, Magnus Danielsson, Pierre Nugues
PDF
Automating the Discovery of Recommendation Knowledge David McSherry, Christopher Stretch
PDF
Automation Intelligence for the Smart Environment G. Michael Youngblood, Edwin O. Heierman Iii, Lawrence B. Holder, Diane J. Cook
PDF
Beyond TFIDF Weighting for Text Categorization in the Vector Space Model Pascal Soucy, Guy W. Mineau
PDF
Bin-Completion Algorithms for Multicontainer Packing and Covering Problems Alex S. Fukunaga, Richard E. Korf
PDF
BLOG: Probabilistic Models with Unknown Objects Brian Milch, Bhaskara Marthi, Stuart Russell, David A. Sontag, Daniel L. Ong, Andrey Kolobov
PDF
Bounded Policy Iteration for Decentralized POMDPs Daniel S. Bernstein, Eric A. Hansen, Shlomo Zilberstein
PDF
Bounded Search and Symbolic Inference for Constraint Optimization Martin Sachenbacher, Brian C. Williams
PDF
Breaking Symmetries in All Different Problems Jean-Francois Puget
PDF
Building Patterned Structures with Robot Swarms Justin Werfel, Yaneer Bar-Yam, Radhika Nagpal
PDF
Building the Semantic Web Tower from RDF Straw Peter F. Patel-Schneider
PDF
Can We Assign Attitudes to a Computer Based on Its Beeps? Toward an Effective Method for Making Humans Empathize with Artificial Agents Takanori Komatsu
PDF
Capturing and Reusing Case-Based Context for Image Retrieval Dympna O'Sullivan, Eoin McLoughlin, Michela Bertolotto, David C. Wilson
PDF
Cho-K-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based Learning Eyke Hüllermeier
PDF
Choosing Between Heuristics and Strategies: An Enhanced Model for Decision-Making Shavit Talman, Rotem Toister, Sarit Kraus
PDF
Clinical-Reasoning Skill Acquisition Through Intelligent Group Tutoring Siriwan Suebnukarn, Peter Haddawy
PDF
Coalitional Games in Open Anonymous Environments Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki
PDF
Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains Laura S. Mastella, Mara Abel, Luís C. Lamb, Luis Fernando De Ros
PDF
Cohesion, Coupling and the Meta-Theory of Actions Andreas Herzig, Ivan Varzinczak
PDF
Collective AI: Context Awareness via Communication Sergey Kornienko, Olga Kornienko, Paul Levi
PDF
Collective Object Identification Parag Singla, Pedro M. Domingos
PDF
Combination of Local Search Strategies for Rotating Workforce Scheduling Problem Nysret Musliu
PDF
Combining Learning Constraints and Numerical Regression Dorian Suc, Ivan Bratko
PDF
Combining Memory and Landmarks with Predictive State Representations Michael R. James, Britton Wolfe, Satinder Singh
PDF
Combining Structural Descriptions and Image-Based Representations for Image, Object, and Scene Recognition Nicolas Do Huu, Williams Paquier, Raja Chatila
PDF
Compact Propositional Encodings of First-Order Theories Deepak Ramachandran, Eyal Amir
PDF
Compiling Bayesian Networks with Local Structure Mark Chavira, Adnan Darwiche
PDF
Complete MCS-Based Search: Application to Resource Constrained Project Scheduling Philippe Laborie
PDF
Compound Effects of Top-Down and Bottom-up Influences on Visual Attention During Action Recognition Bassam Khadhouri, Yiannis Demiris
PDF
Computational Ontologies of Parthood, Componenthood, and Containment Thomas Bittner, Maureen Donnelly
PDF
Computationally Grounded Model of BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
PDF
Concurrent Hierarchical Reinforcement Learning Bhaskara Marthi, Stuart Russell, David Latham, Carlos Guestrin
PDF
Conditional Planning in the Discrete Belief Space Jussi Rintanen
PDF
Conditional Visuomotor Learning and Viability Theory Fadila Hadj-Bouziane, Hélène Frankowska, Martine Meunier, Driss Boussaoud
PDF
Continuous Time Particle Filtering Brenda Ng, Avi Pfeffer, Richard Dearden
PDF
Coping with Exceptions in Multiclass ILP Problems Using Possibilistic Logic Mathieu Serrurier, Henri Prade
PDF
Corrective Explanation for Interactive Constraint Satisfaction Barry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder
PDF
Correspondence-Guided Synchronous Parsing of Parallel Corpora Jonas Kuhn
PDF
Counting Solutions of CSPs: A Structural Approach Gilles Pesant
PDF
CSP Search with Responsibility Sets and Kernels Igor Razgon, Amnon Meisels
PDF
Data Complexity of Reasoning in Very Expressive Description Logics Ullrich Hustadt, Boris Motik, Ulrike Sattler
PDF
Decentralized Search in Networks Using Homophily and Degree Disparity Özgür Simsek, David D. Jensen
PDF
Decision Diagrams for the Computation of Semiring Valuations Nic Wilson
PDF
Declarative and Computational Properties of Logic Programs with Aggregates Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
PDF
Defining and Modeling Context in a Multi-Agent Systems Architecture for Decision-Making Oana Bucur, Philippe Beaune, Olivier Boissier
PDF
Dependency Calculus Reasoning in a General Point Relation Algebra Marco Ragni, Alexander Scivos
PDF
Detecting and Locating Faults in the Control Software of Autonomous Mobile Robots Gerald Steinbauer, Franz Wotawa
PDF
Development of New Techniques to Improve Web Search David Sánchez, Antonio Moreno
PDF
Discovering Classes of Strongly Equivalent Logic Programs Fangzhen Lin, Yin Chen
PDF
Discovering Inconsistency Through Examination Dialogues Paul E. Dunne, Sylvie Doutre, Trevor J. M. Bench-Capon
PDF
Discovering Time Differential Law Equations Containing Hidden State Variables and Chaotic Dynamics Takashi Washio, Fuminori Adachi, Hiroshi Motoda
PDF
Disjunctive Temporal Planning with Uncertainty K. Brent Venable, Neil Yorke-Smith
PDF
Distributive and Collective Readings in Group Protocols Silvia Rossi, Sanjeev Kumar, Philip R. Cohen
PDF
DPLL with a Trace: From SAT to Knowledge Compilation Jinbo Huang, Adnan Darwiche
PDF
Dual Lookups in Pattern Databases Ariel Felner, Uzi Zahavi, Jonathan Schaeffer, Robert C. Holte
PDF
Dynamically Constructed Bayes Nets for Multi-Domain Sketch Understanding Christine Alvarado, Randall Davis
PDF
Efficiency and Envy-Freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity Sylvain Bouveret, Jérôme Lang
PDF
Efficient Belief-State AND-OR Search, with Application to Kriegspiel Stuart Russell, Jason Andrew Wolfe
PDF
Efficient Distributed "Hormone" Graph Gradients Esben Hallundbæk Østergaard
PDF
Efficient Stochastic Local Search for MPE Solving Frank Hutter, Holger H. Hoos, Thomas Stützle
PDF
Encoding Formulas with Partially Constrained Weights in a Possibilistic-like Many-Sorted Propositional Logic Salem Benferhat, Henri Prade
PDF
Equivalence in Abductive Logic Katsumi Inoue, Chiaki Sakama
PDF
Evaluating an NLG System Using Post-Editing Somayajulu Sripada, Ehud Reiter, Lezan Hawizy
PDF
Evaluation and Selection of Context Information Maria Chantzara, Miltiades E. Anagnostou
PDF
Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence Learning Jürgen Schmidhuber, Daan Wierstra, Faustino J. Gomez
PDF
Existential Arc Consistency: Getting Closer to Full Arc Consistency in Weighted CSPs Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa
PDF
Explaining Preferences with Argument Positions Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne
PDF
Explaining Search Results Maurice Coyle, Barry Smyth
PDF
Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery Martin Atzmüller, Frank Puppe, Hans-Peter Buscher
PDF
Exploiting Informative Priors for Bayesian Classification and Regression Trees Nicos Angelopoulos, James Cussens
PDF
Extracting Certificates from Quantified Boolean Formulas Marco Benedetti
PDF
Extraction of Hierarchies Based on Inclusion of Co-Occurring Words with Frequency Information Eiko Yamamoto, Kyoko Kanzaki, Hitoshi Isahara
PDF
Fast and Complete Symbolic Plan Recognition Dorit Avrahami-Zilberbrand, Gal A. Kaminka
PDF
Fast Convergence to Satisfying Distributions Teddy Candale, Sandip Sen
PDF
Fault-Tolerant Context-Based Interpretation of Mathematical Formulas Helmut Horacek, Magdalena Wolska
PDF
Feature Generation for Text Categorization Using World Knowledge Evgeniy Gabrilovich, Shaul Markovitch
PDF
Feature Selection Based on the Shapley Value Shay B. Cohen, Eytan Ruppin, Gideon Dror
PDF
First-Order Logical Filtering Afsaneh Shirazi, Eyal Amir
PDF
fMRI Analysis via One-Class Machine Learning Techniques David R. Hardoon, Larry M. Manevitz
PDF
From Knowledge-Based Programs to Graded Belief-Based Programs, Part II: Off-Line Reasoning Noël Laverny, Jérôme Lang
PDF
Game-Tree Search with Combinatorially Large Belief States Austin Parker, Dana S. Nau, V. S. Subrahmanian
PDF
Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification Vu Ha, Tariq Samad
PDF
Generalization Error of Linear Neural Networks in an Empirical Bayes Approach Shinichi Nakajima, Sumio Watanabe
PDF
Generalized Amazons Is PSPACE-Complete Timothy Furtak, Masashi Kiyomi, Takeaki Uno, Michael Buro
PDF
Generative Modeling with Failure in PRISM Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou
PDF
Goal Change Steven Shapiro, Yves Lespérance, Hector J. Levesque
PDF
Going Far, Logically Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
PDF
Growth of Motor Coordination in Early Robot Learning Mark H. Lee, Qinggang Meng
PDF
Heuristics for Hard ASP Programs Wolfgang Faber, Nicola Leone, Francesco Ricca
PDF
Hypertree-Decomposition via Branch-Decomposition Marko Samer
PDF
Identifiability of Path-Specific Effects Chen Avin, Ilya Shpitser, Judea Pearl
PDF
Identifying Conflicts in Overconstrained Temporal Problems Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah
PDF
Identifying the Multiple Contexts of a Situation Aviv Segev
PDF
Image Retrieval and Disambiguation for Encyclopedic Web Search Atsushi Fujii, Tetsuya Ishikawa
PDF
Improved Knowledge Acquisition for High-Performance Heuristic Search Joachim Peter Bekmann, Achim G. Hoffmann
PDF
Improving Tree Decomposition Methods with Function Filtering Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer
PDF
Incorporating a Folding Rule into Inductive Logic Programming David A. Rosenblueth
PDF
Incremental Diagnosis of Discrete-Event Systems Alban Grastien, Marie-Odile Cordier, Christine Largouët
PDF
Induction of Syntactic Collocation Patterns from Generic Syntactic Relations Violeta Seretan
PDF
Inferring Image Templates from Classification Decisions Arnab Dhua, Florin Cutzu
PDF
Inferring Useful Heuristics from the Dynamics of Iterative Relational Classifiers Aram Galstyan, Paul R. Cohen
PDF
Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows Alfonso Gerevini, Alessandro Saetti, Ivan Serina
PDF
Inter-Agent Communication: A Cost-Reduction Approach Using an Autonomous Mobile Mailbox Armin Stranjak, Igor Cavrak, Mario Zagar
PDF
InterActive Feature Selection Hema Raghavan, Omid Madani, Rosie Jones
PDF
Intimate Learning: A Novel Approach for Combining Labelled and Unlabelled Data Zhongmin Shi, Anoop Sarkar
PDF
Inverse Resolution as Belief Change Maurice Pagnucco, David Rajaratnam
PDF
Issues on Context Modelling Stathis Kasderidis
PDF
It's About Time Neil Madden, Brian Logan
PDF
Iterated Belief Change: A Transition System Approach Aaron Hunter, James P. Delgrande
PDF
Iterated Belief Revision, Revised Yi Jin, Michael Thielscher
PDF
Kernels on Prolog Ground Terms Andrea Passerini, Paolo Frasconi
PDF
Knowledge Based Approach for Mechanically Verifying Security Protocols Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle
PDF
Language Learning in Multi-Agent Systems Martin Allen, Claudia V. Goldman, Shlomo Zilberstein
PDF
Leaf-Value Tables for Pruning Non-Zero-Sum Games Nathan R. Sturtevant
PDF
Learning Against Opponents with Bounded Memory Rob Powers, Yoav Shoham
PDF
Learning and Inference over Constrained Output Vasin Punyakanok, Dan Roth, Wen-tau Yih, Dav Zimak
PDF
Learning Complex Event Descriptions by Abstraction Ugo Galassi, Attilio Giordana, Lorenza Saitta, Marco Botta
PDF
Learning Coordination Classifiers Yuhong Guo, Russell Greiner, Dale Schuurmans
PDF
Learning Discontinuities for Switching Between Local Models Marc Toussaint, Sethu Vijayakumar
PDF
Learning Forward Models for Robots Anthony M. Dearden, Yiannis Demiris
PDF
Learning Global Models Based on Distributed Data Abstractions Xiaofeng Zhang, William K. Cheung
PDF
Learning Partially Observable Deterministic Action Models Eyal Amir
PDF
Learning Payoff Functions in Infinite Games Yevgeniy Vorobeychik, Michael P. Wellman, Satinder Singh
PDF
Learning Strategies for Open-Domain Natural Language Question Answering Eugene Grois, David C. Wilkins
PDF
Learning Subjective Representations for Planning Dana F. Wilkinson, Michael H. Bowling, Ali Ghodsi
PDF
Learning to Play like the Great Pianists Asmir Tobudic, Gerhard Widmer
PDF
Learning to Understand Web Site Update Requests William W. Cohen, Einat Minkov, Anthony Tomasic
PDF
Learning Web Page Scores by Error Back-Propagation Michelangelo Diligenti, Marco Gori, Marco Maggini
PDF
Learning with Labeled Sessions Rong Jin, Huan Liu
PDF
Lifted First-Order Probabilistic Inference Rodrigo de Salvo Braz, Eyal Amir, Dan Roth
PDF
Limited Discrepancy Beam Search David Furcy, Sven Koenig
PDF
Location-Based Activity Recognition Using Relational Markov Networks Lin Liao, Dieter Fox, Henry A. Kautz
PDF
LRTA*(k) Carlos Hernández, Pedro Meseguer
PDF
Maintaining Arc Consistency Using Adaptive Domain Ordering Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder
PDF
Maintaining Coherent Perceptual Information Using Anchoring Amy Loutfi, Silvia Coradeschi, Alessandro Saffiotti
PDF
Maps for Verbs: The Relation Between Interaction Dynamics and Verb Use Paul R. Cohen, Clayton T. Morrison, Erin Cannon
PDF
Maximum a Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human Routines Daniel H. Wilson, Matthai Philipose
PDF
MDL-Based Acquisition of Substitutability Relationships Between Discourse Connectives Ben Hutchinson
PDF
Meaning Development Versus Predefined Meanings in Language Evolution Models Paul Vogt
PDF
Measuring Conflict and Agreement Between Two Prioritized Belief Bases Guilin Qi, Weiru Liu, David A. Bell
PDF
Measuring Semantic Similarity by Latent Relational Analysis Peter D. Turney
PDF
Measuring the Cost of Robotic Communication Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus
PDF
Minimal and Absent Information in Contexts Floris Roelofsen, Luciano Serafini
PDF
Minimizing a Makespan Under Uncertainty Jérôme Fortin, Pawel Zielinski, Didier Dubois, Hélène Fargier
PDF
Mining Spatial Object Associations for Scientific Data Hui Yang, Srinivasan Parthasarathy, Sameep Mehta
PDF
Mixed-Initiative Activity Planning for Mars Rovers John L. Bresina, Ari K. Jónsson, Paul H. Morris, Kanna Rajan
PDF
Model Compilation for Real-Time Planning and Diagnosis with Feedback Anthony Barrett
PDF
Model Minimization by Linear PSR Masoumeh T. Izadi, Doina Precup
PDF
More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling Incentives Sébastien Lahaie, Florin Constantin, David C. Parkes
PDF
Motivated Agents Kathryn Kasmarik, William T. B. Uther, Mary Lou Maher
PDF
Multi-Agent Assumption-Based Planning Damien Pellier, Humbert Fiorino
PDF
Multi-Agent Coordination Using Local Search Boi Faltings, Quang Huy Nguyen
PDF
Naturalness of an Utterance Based on the Automatically Retrieved Commonsense Rafal Rzepka, Yali Ge, Kenji Araki
PDF
Networked Distributed POMDPs: A Synergy of Distributed Constraint Optimization and POMDPs Ranjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo
PDF
On Maximal Classes of Utility Functions for Efficient One-to-One Negotiation Yann Chevaleyre, Ulle Endriss, Nicolas Maudet
PDF
On Solution Correspondences in Answer-Set Programming Thomas Eiter, Hans Tompits, Stefan Woltran
PDF
On the Axiomatic Foundations of Ranking Systems Alon Altman, Moshe Tennenholtz
PDF
On the Evolution of Memory Size in the Minority Game (extended Abstract) Ricardo Matsumura de Araújo, Luís C. Lamb
PDF
On the Interaction Between Inverse Features and Path-Functional Dependencies in Description Logics David Toman, Grant E. Weddell
PDF
Online Support System for Mediator Education Takahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami, Katsumi Nitta
PDF
Open-World Planning for Story Generation Mark O. Riedl, Robert Michael Young
PDF
Optimal and Suboptimal Singleton Arc Consistency Algorithms Christian Bessiere, Romuald Debruyne
PDF
Optimal Nonmyopic Value of Information in Graphical Models - Efficient Algorithms and Theoretical Limits Andreas Krause, Carlos Guestrin
PDF
Optimal Refutations for Constraint Satisfaction Problems Tudor Hulubei, Barry O'Sullivan
PDF
Optimized Execution of Action Chains Using Learned Performance Models of Abstract Actions Freek Stulp, Michael Beetz
PDF
Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov, Ian Horrocks
PDF
Over-Subscription Planning with Numeric Goals J. Benton, Minh Binh Do, Subbarao Kambhampati
PDF
Parameterized Compilability Hubie Chen
PDF
Partial, Vague Knowledge for Similarity Measures Timo Steffens
PDF
Path-Planning for Autonomous Training on Robot Manipulators in Space Froduald Kabanza, Roger Nkambou, Khaled Belghith
PDF
Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search Joseph C. Culberson, Yong Gao, Calin Anton
PDF
Phase Transitions Within Grammatical Inference Nicolas Pernot, Antoine Cornuéjols, Michèle Sebag
PDF
Planning for Weakly-Coupled Partially Observable Stochastic Games AnYuan Guo, Victor R. Lesser
PDF
Planning with Continuous Resources in Stochastic Domains Mausam, Emmanuel Benazera, Ronen I. Brafman, Nicolas Meuleau, Eric A. Hansen
PDF
Planning with Graded Fluents and Actions Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
PDF
Planning with Loops Hector J. Levesque
PDF
Possibilistic Stable Models Pascal Nicolas, Laurent Garcia, Igor Stéphan
PDF
Predicate-Oriented Isomorphism Elimination in Model Finding Xiangxue Jia, Jian Zhang
PDF
Proactive Algorithms for Scheduling with Probabilistic Durations J. Christopher Beck, Nic Wilson
PDF
Probabilistic Reasoning for Plan Robustness Steve R. Schaffer, Bradley J. Clement, Steve A. Chien
PDF
Probabilistic Reasoning with Hierarchically Structured Variables Rita Sharma, David Poole
PDF
Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein, David Aspinall, Christoph Lüth
PDF
Propagating Logical Combinations of Constraints Fahiem Bacchus, Toby Walsh
PDF
Propositional Abduction Is Almost Always Hard Gustav Nordh, Bruno Zanuttini
PDF
Propositional Argumentation and Causal Reasoning Alexander Bochman
PDF
PsychSim: Modeling Theory of Mind with Decision-Theoretic Agents David V. Pynadath, Stacy Marsella
PDF
Pushing the EL Envelope Franz Baader, Sebastian Brandt, Carsten Lutz
PDF
QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems Ian P. Gent, Peter Nightingale, Kostas Stergiou
PDF
Question Classification by Structure Induction Menno van Zaanen, Luiz Augusto Sangoi Pizzato, Diego Mollá
PDF
Quota and Gmin Merging Operators Patricia Everaere, Sébastien Konieczny, Pierre Marquis
PDF
Ranking Cases with Decision Trees: A Geometric Method That Preserves Intelligibility Isabelle Alvarez, Stephan Bernard
PDF
Real-Time Path Planning for Humanoid Robot Navigation Jens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita
PDF
Reasoning Under Inconsistency: The Forgotten Connective Sébastien Konieczny, Jérôme Lang, Pierre Marquis
PDF
Reasoning with Inconsistent Ontologies Zhisheng Huang, Frank van Harmelen, Annette ten Teije
PDF
Recognition of Psychologically Relevant Aspects of Context on the Basis of Features of Speech Anthony Jameson, Barbara Großmann-Hutter, Christian A. Müller, Frank Wittig, Juergen Kiefer, Ralf Rummer
PDF
Reconstructing an Agent's Epistemic State from Observations Richard Booth, Alexander Nittka
PDF
Redesign Support Framework Based on Hierarchical Multiple Models Ivan López-Arévalo, A. Rodríguez-Martínez, Arantza Aldea, René Bañares-Alcántara, Laureano Jiménez
PDF
Reducing Checks and Revisions in Coarse-Grained MAC Algorithms Deepak Mehta, Marc R. C. van Dongen
PDF
Redundancy-Free Island Parsing of Word Graphs Bernd Kiefer
PDF
Reflection Patterns for Interactive Knowledge Capture Jihie Kim
PDF
Regret-Based Utility Elicitation in Constraint-Based Decision Problems Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans
PDF
Reinforcement Learning in POMDPs Without Resets Eyal Even-Dar, Sham M. Kakade, Yishay Mansour
PDF
Relational Learning for Email Task Management Rinat Khoussainov, Nicholas Kushmerick
PDF
Relational Object Maps for Mobile Robots Benson Limketkai, Lin Liao, Dieter Fox
PDF
Repairing Concavities in ROC Curves Peter A. Flach, Shaomin Wu
PDF
Representing Flexible Temporal Behaviors in the Situation Calculus Alberto Finzi, Fiora Pirri
PDF
Representing the Context of Equivalent Query Words as a Means of Preserving Search Precision Timothy A. Musgrove
PDF
Resolution in Max-SAT and Its Relation to Local Consistency in Weighted CSPs Javier Larrosa, Federico Heras
PDF
Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration Salem Benferhat, Sylvain Lagrue, Odile Papini
PDF
Robust Ontology Acquisition from Machine-Readable Dictionaries Eric Nichols, Francis Bond, Dan Flickinger
PDF
Robust Planning with (L)RTDP Olivier Buffet, Douglas Aberdeen
PDF
ROCCER: An Algorithm for Rule Learning Based on ROC Analysis Ronaldo C. Prati, Peter A. Flach
PDF
Scalability Study of Peer-to-Peer Consequence Finding Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
PDF
Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat Segments Martin Brooks, Yuhong Yan, Daniel Lemire
PDF
Scaling up WA* with Commitment and Diversity David Furcy, Sven Koenig
PDF
Self Adaptive Particle Filter Alvaro Soto
PDF
Semantic Annotation of Unstructured and Ungrammatical Text Matthew Michelson, Craig A. Knoblock
PDF
Semantic Argument Classification Exploiting Argument Interdependence Zheng Ping Jiang, Jia Li, Hwee Tou Ng
PDF
Semantics for a Useful Fragment of the Situation Calculus Gerhard Lakemeyer, Hector J. Levesque
PDF
Semi-Supervised Regression with Co-Training Zhi-Hua Zhou, Ming Li
PDF
Sensitivity Analysis in Markov Networks Hei Chan, Adnan Darwiche
PDF
Sentence Extraction for Legal Text Summarisation Ben Hachey, Claire Grover
PDF
Sequential Genetic Search for Ensemble Feature Selection Alexey Tsymbal, Mykola Pechenizkiy, Padraig Cunningham
PDF
Sequential-Simultaneous Information Elicitation in Multi-Agent Systems Gal Bahar, Moshe Tennenholtz
PDF
Shallow Semantics for Relation Extraction Sanda M. Harabagiu, Cosmin Adrian Bejan, Paul Morarescu
PDF
Signal-to-Score Music Transcription Using Graphical Models Emir Kapanci, Avi Pfeffer
PDF
Situation Modeling and Smart Context Retrieval with Semantic Web Technology and Conflict Resolution Dominik Heckmann
PDF
Solving Checkers Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Müller, Robert Lake, Paul Lu, Steve Sutphen
PDF
Solving Logic Program Conflict Through Strong and Weak Forgettings Yan Zhang, Norman Y. Foo, Kewen Wang
PDF
Solving POMDPs with Continuous or Large Discrete Observation Spaces Jesse Hoey, Pascal Poupart
PDF
Sophia: A Novel Approach for Textual Case-Based Reasoning David W. Patterson, Niall Rooney, Vladimir Dobrynin, Mykola Galushka
PDF
Stacked Sequential Learning William W. Cohen, Vitor Rocha de Carvalho
PDF
State Abstraction Discovery from Irrelevant State Variables Nicholas K. Jong, Peter Stone
PDF
Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors Dmitri A. Dolgov, Edmund H. Durfee
PDF
Stepwise Nearest Neighbor Discriminant Analysis Xipeng Qiu, Lide Wu
PDF
Stereotype Extraction with Default Clustering Julien Velcin, Jean-Gabriel Ganascia
PDF
Streamlining Local Search for Spatially Balanced Latin Squares Casey Smith, Carla P. Gomes, Cèsar Fernández
PDF
Strong Equivalence for Logic Programs with Preferences Wolfgang Faber, Kathrin Konczak
PDF
Structural Representation and Matching of Articulatory Speech Structures Based on the Evolving Transformation System (ETS) Formalism Alexander Gutkin, David E. Gay
PDF
Structural Symmetry Breaking Meinolf Sellmann, Pascal Van Hentenryck
PDF
Supervaluation Semantics for an Inland Water Feature Ontology Paulo E. Santos, Brandon Bennett, Georgios Sakellariou
PDF
Supervised Local Tangent Space Alignment for Classification Hongyu Li, Wenbin Chen, I-Fan Shen
PDF
SVM-Based Obstacles Recognition for Road Vehicle Applications Miguel Ángel Sotelo, Jesús Nuevo, David Fernández, Ignacio Parra, Luis Miguel Bergasa, Manuel Ocaña, Ramón Flores
PDF
Talking Robots: A Fully Autonomous Implementation of the Talking Heads Jean-Christophe Baillie, Matthieu Nottale
PDF
Temporal Context Representation and Reasoning Dan I. Moldovan, Christine Clark, Sanda M. Harabagiu
PDF
Temporal-Difference Networks with History Brian Tanner, Richard S. Sutton
PDF
The Altricial-Precocial Spectrum for Robots Aaron Sloman, Jackie Chappell
PDF
The Backbone of the Travelling Salesperson Philip Kilby, John K. Slaney, Toby Walsh
PDF
The Complexity of Quantified Constraint Satisfaction Problems Under Structural Restrictions Georg Gottlob, Gianluigi Greco, Francesco Scarcello
PDF
The COMPSET Algorithm for Subset Selection Yaniv Hamo, Shaul Markovitch
PDF
The Computational Complexity of Dominance and Consistency in CP-Nets Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson
PDF
The Evolution of Artificial Social Systems Guido Boella, Leendert W. N. van der Torre
PDF
The Inferential Complexity of Bayesian and Credal Networks Cassio Polpo de Campos, Fábio Gagliardi Cozman
PDF
The Necessity of Syntactic Parsing for Semantic Role Labeling Vasin Punyakanok, Dan Roth, Wen-tau Yih
PDF
The Ontology Revision Yu Sun, Yuefei Sui
PDF
The Range and Roots Constraints: Specifying Counting and Occurrence Problems Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
PDF
The Role of Clustering on the Emergence of Efficient Social Conventions Josep M. Pujol, Jordi Delgado, Ramon Sangüesa, Andreas Flache
PDF
The Rules of Constraint Modelling Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
PDF
Theory of Alignment Generators and Applications to Statistical Machine Translation Raghavendra Udupa, Hemanta Kumar Maji
PDF
Three Truth Values for the SAT and MAX-SAT Problems Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
PDF
TimeML-Compliant Text Analysis for Temporal Reasoning Branimir Boguraev, Rie Kubota Ando
PDF
Topic and Role Discovery in Social Networks Andrew McCallum, Andrés Corrada-Emmanuel, Xuerui Wang
PDF
Towards More Intelligent Mobile Search Karen Church, Mark T. Keane, Barry Smyth
PDF
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions Yongmei Liu, Hector J. Levesque
PDF
Training Without Data: Knowledge Insertion into RBF Neural Networks Kenneth McGarry, Stefan Wermter
PDF
Transfer in Learning by Doing William Krueger, Tim Oates, Tom Armstrong, Paul R. Cohen, Carole R. Beal
PDF
Trust No One: Evaluating Trust-Based Filtering for Recommenders John O'Donovan, Barry Smyth
PDF
Two-Sided Bandits and the Dating Market Sanmay Das, Emir Kamenica
PDF
Unsupervised Dimensionality Estimation and Manifold Learning in High-Dimensional Spaces by Tensor Voting Philippos Mordohai, Gérard G. Medioni
PDF
Unsupervised Learning of Semantic Relations Between Concepts of a Molecular Biology Ontology Massimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, Isabel Rojas
PDF
Updating Action Domain Descriptions Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
PDF
User-Initiated Context Switching Using NFC Janne Jalkanen
PDF
Using AI and Simulations to Design and Control Space Habitats David Kortenkamp, Scott Bell
PDF
Using Core Beliefs for Point-Based Value Iteration Masoumeh T. Izadi, Ajit V. Rajwade, Doina Precup
PDF
Using Learned Browsing Behavior Models to Recommend Relevant Web Pages Tingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price
PDF
Using Neutral Examples for Learning Polarity Moshe Koppel, Jonathan Schler
PDF
Using Predictive Representations to Improve Generalization in Reinforcement Learning Eddie J. Rafols, Mark B. Ring, Richard S. Sutton, Brian Tanner
PDF
Value Ordering for Finding All Solutions Barbara M. Smith, Paula Sturdy
PDF
Value-Centric Trust Model with Improved Familiarity Measurement Jie Zhang, Ali A. Ghorbani
PDF
View Learning for Statistical Relational Learning: With an Application to Mammography Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik
PDF
Viewing Referring Expression Generation as Search Bernd Bohnet, Robert Dale
PDF
What Kind of Graphical Model Is the Brain? Geoffrey E. Hinton
PDF
Why Minimax Works: An Alternative Explanation Mitja Lustrek, Matjaz Gams, Ivan Bratko
PDF
Word Sense Disambiguation with Distribution Estimation Yee Seng Chan, Hwee Tou Ng
PDF
You Are Wrong! - Automatic Detection of Interaction Errors from Brain Waves Pierre W. Ferrez, José del R. Millán
PDF