IJCAI 2007
472 papers
A Convengent Solution to Tensor Subspace Learning
Huan Wang, Shuicheng Yan, Thomas S. Huang, Xiaoou Tang A Decision-Theoretic Model of Assistance
Alan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli A Description Logic of Change
Alessandro Artale, Carsten Lutz, David Toman A Distributed Architecture for Symbolic Data Fusion
Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria A Factor Graph Model for Software Bug Finding
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler A General Framework for Scheduling in a Stochastic Environment
Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck A Hybridized Planner for Stochastic Domains
Mausam, Piergiorgio Bertoli, Daniel S. Weld A Logical Framework for Modularity of Ontologies
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler A Machine Learning Approach for Statistical Software Testing
Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud A Multiobjective Frontier Search Algorithm
Lawrence Mandow, José-Luis Pérez-de-la-Cruz A New Perspective on Stable Models
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz A Tighter Error Bound for Decision Tree Learning Using PAC Learnability
Chaithanya Pichuka, Raju S. Bapi, Chakravarthy Bhagvati, Arun K. Pujari, Bulusu Lakshmana Deekshatulu Arc Consistency During Search
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder Automated Design of Multistage Mechanisms
Tuomas Sandholm, Vincent Conitzer, Craig Boutilier Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks
Maleeha Qazi, Glenn Fung, Sriram Krishnan, Rómer Rosales, Harald Steck, R. Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran Automatic Gait Optimization with Gaussian Process Regression
Daniel J. Lizotte, Tao Wang, Michael H. Bowling, Dale Schuurmans Belief Change Based on Global Minimisation
James P. Delgrande, Jérôme Lang, Torsten Schaub Building Structure into Local Search for SAT
Duc Nghia Pham, John Thornton, Abdul Sattar Case Base Mining for Adaptation Knowledge Acquisition
Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary Case-Based Multilabel Ranking
Klaus Brinker, Eyke Hüllermeier Change of Representation for Statistical Relational Learning
Jesse Davis, Irene M. Ong, Jan Struyf, Elizabeth S. Burnside, David Page, Vítor Santos Costa Common Sense Based Joint Training of Human Activity Recognizers
Shiaokai Wang, William Pentney, Ana-Maria Popescu, Tanzeem Choudhury, Matthai Philipose Computational Aspects of Analyzing Social Network Dynamics
Christopher L. Barrett, Harry B. Hunt Iii, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur Conflict-Driven Answer Set Solving
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Context-Driven Predictions
Marc G. Bellemare, Doina Precup Contextual Default Reasoning
Gerhard Brewka, Floris Roelofsen, Luciano Serafini Continuous Time Associative Bandit Problems
András György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári Dances with Words
Carlo Strapparava, Alessandro Valitutti, Oliviero Stock Dealing with Perception Errors in Multi-Robot System Coordination
Alessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito Deictic Option Schemas
Balaraman Ravindran, Andrew G. Barto, Vimal Mathew Detecting Stochastically Scheduled Activities in Video
Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V. S. Subrahmanian, Octavian Udrea DiPRA: Distributed Practical Reasoning Architecture
Giovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi Directed Graph Embedding
Mo Chen, Qiong Yang, Xiaoou Tang Distance Constraints in Constraint Satisfaction
Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh Document Summarization Using Conditional Random Fields
Dou Shen, Jian-Tao Sun, Hua Li, Qiang Yang, Zheng Chen Domain Independent Approaches for Finding Diverse Plans
Biplav Srivastava, Tuan Anh Nguyen, Alfonso Gerevini, Subbarao Kambhampati, Minh Binh Do, Ivan Serina Efficient Planning of Informative Paths for Multiple Robots
Amarjeet Singh, Andreas Krause, Carlos Guestrin, William J. Kaiser, Maxim A. Batalin EQL-Lite: Effective First-Order Query Processing in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Explanation-Based Feature Construction
Shiau Hong Lim, Li-Lun Wang, Gerald DeJong Face Recognition via the Overlapping Energy Histogram
Ronny Tjahyadi, Wanquan Liu, Senjian An, Svetha Venkatesh Factored Planning Using Decomposition Trees
Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux Fast Incremental Square Root Information Smoothing
Michael Kaess, Ananth Ranganathan, Frank Dellaert Fast Planning with Iterative Macros
Adi Botea, Martin Müller, Jonathan Schaeffer Forward Search Value Iteration for POMDPs
Guy Shani, Ronen I. Brafman, Solomon Eyal Shimony From Sampling to Model Counting
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman Generalized Additive Bayesian Network Classifiers
Jianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang Generalizing Temporal Controllability
Michael D. Moffitt, Martha E. Pollack Global/Local Dynamic Models
Avi Pfeffer, Subrata Das, David Lawless, Brenda Ng Heuristic Selection of Actions in Multiagent Reinforcement Learning
Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa Improving LRTA*(k)
Carlos Hernández, Pedro Meseguer Incompleteness and Incomparability in Preference Aggregation
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh Incremental Mechanism Design
Vincent Conitzer, Tuomas Sandholm Inferring Long-Term User Properties Based on Users' Location History
Yutaka Matsuo, Naoaki Okazaki, Kiyoshi Izumi, Yoshiyuki Nakamura, Takuichi Nishimura, Kôiti Hasida, Hideyuki Nakashima Information-Based Agency
Carles Sierra, John K. Debenham Iterated Weaker-than-Weak Dominance
Shih-Fen Cheng, Michael P. Wellman Kernel Matrix Evaluation
Canh Hao Nguyen, Tu Bao Ho Learning and Transferring Action Schemas
Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole R. Beal Learning Classifiers When the Training Data Is Not IID
Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao Learning Implied Global Constraints
Christian Bessiere, Remi Coletta, Thierry Petit Learning Restart Strategies
Matteo Gagliolo, Jürgen Schmidhuber Learning to Walk Through Imitation
Rawichote Chalodhorn, David B. Grimes, Keith Grochow, Rajesh P. N. Rao Learning User Clicks in Web Search
Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha Locality Sensitive Discriminant Analysis
Deng Cai, Xiaofei He, Kun Zhou, Jiawei Han, Hujun Bao Locating Complex Named Entities in Web Text
Doug Downey, Matthew Broadhead, Oren Etzioni Loopy SAM
Ananth Ranganathan, Michael Kaess, Frank Dellaert Machine Learning for On-Line Hardware Reconfiguration
Jonathan Wildstrom, Peter Stone, Emmett Witchel, Michael Dahlin MESH-Based Active Monte Carlo Recognition (MESH-AMCR)
Felix von Hundelshausen, Hans-Joachim Wünsche, Marco Block, Raul Kompass, Raúl Rojas Modelling Well-Structured Argumentation Lines
Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari Near-Optimal Anytime Coalition Structure Generation
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Nicholas R. Jennings Neighborhood MinMax Projections
Feiping Nie, Shiming Xiang, Changshui Zhang Nogood Recording from Restarts
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal Observation Reduction for Strong Plans
Wei Huang, Zhonghua Wen, Yunfei Jiang, Lihua Wu Occam's Razor Just Got Sharper
Saher Esmeir, Shaul Markovitch On the Automatic Scoring of Handwritten Essays
Sargur N. Srihari, Rohini K. Srihari, Pavithra Babu, Harish Srinivasan On the Logic of Normative Systems
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge Open Information Extraction from the Web
Michele Banko, Michael J. Cafarella, Stephen Soderland, Matthew Broadhead, Oren Etzioni Opinion Sentence Search Engine on Open-Domain Blog
Osamu Furuse, Nobuaki Hiroshima, Setsuo Yamada, Ryoji Kataoka Optimal Soft Arc Consistency
Martin C. Cooper, Simon de Givry, Thomas Schiex Peripheral-Foveal Vision for Real-Time Object Recognition and Tracking in Video
Stephen Gould, Joakim Arfvidsson, Adrian Kaehler, Benjamin Sapp, Marius Messner, Gary R. Bradski, Paul Baumstarck, Sukwon Chung, Andrew Y. Ng Planning Under Risk and Knightian Uncertainty
Felipe W. Trevizan, Fábio Gagliardi Cozman, Leliane Nunes de Barros Planning via Petri Net Unfolding
Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White Planning with Goal Utility Dependencies
Minh Binh Do, J. Benton, Menkes van den Briel, Subbarao Kambhampati Probabilistic Go Theories
Austin Parker, Fusun Yaman, Dana S. Nau, V. S. Subrahmanian Qualitative Temporal Reasoning About Vague Events
Steven Schockaert, Martine De Cock, Etienne E. Kerre Quantified Coalition Logic
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge Query-Driven Constraint Acquisition
Christian Bessiere, Remi Coletta, Barry O'Sullivan, Mathias Paulin R-Grams: Relational Grams
Niels Landwehr, Luc De Raedt Reaching Envy-Free States in Distributed Negotiation Settings
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet Real-Time Heuristic Search with a Priority Queue
D. Chris Rayner, Katherine Davison, Vadim Bulitko, Kenneth Anderson, Jieshan Lu Recursive Random Fields
Daniel Lowd, Pedro M. Domingos Relational Knowledge with Predictive State Representations
David Wingate, Vishal Soni, Britton Wolfe, Satinder Singh Routing Mediators
Ola Rozenfeld, Moshe Tennenholtz RoxyBot-06: An (SAA)2 TAC Travel Agent
Seong Jae Lee, Amy Greenwald, Victor Naroditskiy SegGen: A Genetic Algorithm for Linear Text Segmentation
Sylvain Lamprier, Tassadit Amghar, Bernard Levrat, Frédéric Saubion Semi-Supervised Gaussian Process Classifiers
Vikas Sindhwani, Wei Chu, S. Sathiya Keerthi Spiteful Bidding in Sealed-Bid Auctions
Felix Brandt, Tuomas Sandholm, Yoav Shoham State Space Search for Risk-Averse Agents
Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme Supervised Latent Semantic Indexing Using Adaptive Sprinkling
Sutanu Chakraborti, Rahman Mukras, Robert Lothian, Nirmalie Wiratunga, Stuart N. K. Watt, David J. Harper Symmetric Component Caching
Matthew Kitching, Fahiem Bacchus Team Programming in Golog Under Partial Observability
Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel The Logic Behind Weighted CSP
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà Towards an Integration of Golog and Planning
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel Tractable Temporal Reasoning
Clare Dixon, Michael Fisher, Boris Konev Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL
Manu Sharma, Michael P. Holmes, Juan Carlos Santamaría, Arya Irani, Charles Lee Isbell Jr., Ashwin Ram Unsupervised Anomaly Detection
David Guthrie, Louise Guthrie, Ben Allison, Yorick Wilks Unsupervised Discretization Using Kernel Density Estimation
Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile Updates for Nonlinear Discriminants
Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth Using a Mobile Robot for Cognitive Mapping
Chee K. Wong, Jochen Schmidt, Wai K. Yeap Visually Tracking Football Games Based on TV Broadcasts
Michael Beetz, Suat Gedikli, Jan Bandouch, Bernhard Kirchlechner, Nico von Hoyningen-Huene, Alexander Clifford Perzylo When Is Temporal Planning Really Temporal?
William Cushing, Subbarao Kambhampati, Mausam, Daniel S. Weld Winner Determination in Sequential Majority Voting
Jérôme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh