default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th AAAI 2010: Atlanta, Georgia, USA
- Maria Fox, David Poole:
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. AAAI Press 2010
Constraints, Satisfiability, and Search
- Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy:
A New Algorithm for Weighted Partial MaxSAT. 3-8 - Ignacio Araya, Gilles Trombettoni, Bertrand Neveu:
Exploiting Monotonicity in Interval Constraint Propagation. 9-14 - Gilles Audemard, George Katsirelos, Laurent Simon:
A Restriction of Extended Resolution for Clause Learning SAT Solvers. 15-20 - Russell Bent, Alan Berscheid, G. Loren Toole:
Transmission Network Expansion Planning with Simulation Optimization. 21-26 - Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. 27-32 - Teresa Maria Breyer, Richard E. Korf:
Independent Additive Heuristics Reduce Search Multiplicatively. 33-38 - Teresa Maria Breyer, Richard E. Korf:
1.6-Bit Pattern Databases. 39-44 - Shaowei Cai, Kaile Su, Qingliang Chen:
EWLS: A New Local Search for Minimum Vertex Cover. 45-50 - Patrick Eyerich, Thomas Keller, Malte Helmert:
High-Quality Policies for the Canadian Traveler's Problem. 51-58 - Ariel Felner, Carsten Moldenhauer, Nathan R. Sturtevant, Jonathan Schaeffer:
Single-Frontier Bidirectional Search. 59-64 - Fedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh:
Fast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments. 65-70 - Alexandra Goultiaeva, Fahiem Bacchus:
Exploiting QBF Duality on a Circuit Representation. 71-76 - Marijn Heule, Toby Walsh:
Symmetry in Solutions. 77-82 - Eric Huang, Richard E. Korf:
Optimal Rectangle Packing on Non-Square Benchmarks. 83-88 - Ruoyun Huang, Yixin Chen, Weixiong Zhang:
A Novel Transition Based Encoding Scheme for Planning as Satisfiability. 89-94 - Tomoyuki Kaneko:
Parallel Depth First Proof Number Search. 95-100 - Shant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere:
A First Practical Algorithm for High Levels of Relational Consistency. 101-107 - Akihiro Kishimoto:
Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search. 108-113 - Bradford John Larsen, Ethan Burns, Wheeler Ruml, Robert Holte:
Searching Without a Heuristic: Efficient Use of Abstraction. 114-120 - Jimmy Ho-Man Lee, Ka Lun Leung:
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. 121-127 - Chu Min Li, Zhe Quan:
An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem. 128-133 - Jeffrey Richard Long, Nathan R. Sturtevant, Michael Buro, Timothy Furtak:
Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search. 134-140 - Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek:
Filtering Bounded Knapsack Constraints in Expected Sublinear Time. 141-146 - Alex Nash, Sven Koenig, Craig A. Tovey:
Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D. 147-154 - Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner:
Search Space Reduction Using Swamp Hierarchies. 155-160 - Anika Schumann, Jinbo Huang, Martin Sachenbacher:
Computing Cost-Optimal Definitely Discriminating Tests. 161-166 - Bryan Silverthorn, Risto Miikkulainen:
Latent Class Models for Algorithm Portfolio Methods. 167-172 - Trevor Scott Standley:
Finding Optimal Solutions to Cooperative Pathfinding Problems. 173-178 - David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella:
Collaborative Expert Portfolio Management. 179-184 - Roni Stern, Tamar Kulberis, Ariel Felner, Robert Holte:
Using Lookaheads with Optimal Best-First Search. 185-190 - Dejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim:
The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading. 191-196 - Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius-Calin Silaghi, Katsutoshi Hirayama, Toshihiro Matsui:
Coalition Structure Generation based on Distributed Constraint Optimization. 197-203 - Michael Veksler, Ofer Strichman:
A Proof-Producing CSP Solver. 204-209 - Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection. 210-216 - Junping Zhou, Minghao Yin, Chunguang Zhou:
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter. 217-222
Knowledge-Based Information Systems
- Bin Cao, Dou Shen, Kuansan Wang, Qiang Yang:
Clickthrough Log Analysis by Collaborative Ranking. 224-229 - Weike Pan, Evan Wei Xiang, Nathan Nan Liu, Qiang Yang:
Transfer Learning in Collaborative Filtering for Sparsity Reduction. 230-235 - Vincent Wenchen Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang:
Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach. 236-241
Knowledge Representation and Reasoning
- Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Past and Future of DL-Lite. 243-248 - Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou:
Ordered Completion for First-Order Logic Programs on Finite Structures. 249-254 - Vaishak Belle, Gerhard Lakemeyer:
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. 255-260 - Meghyn Bienvenu, Hélène Fargier, Pierre Marquis:
Knowledge Compilation in the Modal Logic S5. 261-266 - Ronen I. Brafman, Yagil Engel:
Decomposed Utility Functions and Graphical Models for Reasoning about Preferences. 267-272 - Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran:
Representing Preferences Among Sets. 273-278 - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. 279-284 - Yin Chen, Yan Zhang, Yi Zhou:
First-Order Indefinability of Answer Set Programs on Finite Structures. 285-290 - Ernest Davis:
Ontologies and Representations of Matter. 291-296 - Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña:
Two-Player Game Structures for Generalized Planning and Agent Composition. 297-302 - Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa:
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. 303-308 - Joohyung Lee, Ravi Palla:
Situation Calculus as Answer Set Programming. 309-314 - Jason Jingshi Li, Jochen Renz:
In Defense of Large Qualitative Calculi. 315-320 - Sanjiang Li, Weiming Liu:
Topological Relations between Convex Regions. 321-326 - Yongmei Liu, Bing Li:
Automated Program Debugging Via Multiple Predicate Switching. 327-332 - Jianbing Ma, Weiru Liu, Salem Benferhat:
A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States. 333-338 - Jianbing Ma, Weiru Liu, Anthony Hunter:
Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations. 339-344 - Thammanit Pipatsrisawat, Adnan Darwiche:
A Lower Bound on the Size of Decomposable Negation Normal Form. 345-350 - Yuan Ren, Jeff Z. Pan, Yuting Zhao:
Soundness Preserving Approximation for TBox Reasoning. 351-356 - Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar:
Dominance Testing via Model Checking. 357-362 - Steven Schockaert, Henri Prade:
An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation. 363-368 - Zhe Wang, Kewen Wang, Rodney W. Topor:
A New Approach to Knowledge Base Revision in DL-Lite. 369-374 - Heng Zhang, Mingsheng Ying:
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. 375-380
Machine Learning
- Saeed Amizadeh, Milos Hauskrecht:
Latent Variable Model for Learning in Pairwise Markov Networks. 382-387 - Javad Azimi, Xiaoli Z. Fern, Alan Fern, Elizabeth Burrows, Frank Chaplen, Yanzhen Fan, Hong Liu, Jun Jaio, Rebecca Schaller:
Myopic Policies for Budgeted Optimization with Constrained Experiments. 388-393 - Sumit Basu, Danyel Fisher, Steven Mark Drucker, Hao Lu:
Assisting Users with Clustering Tasks by Combining Metric Learning and Classification. 394-400 - Will Bridewell, Ljupco Todorovski:
The Induction and Transfer of Declarative Bias. 401-406 - Bin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang:
Adaptive Transfer Learning. 407-412 - Chun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang, Cheng Zhang:
G-Optimal Design with Laplacian Regularization. 413-418 - Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang:
What if the Irresponsible Teachers Are Dominating? 419-424 - Xi Chen, Yan Liu, Han Liu, Jaime G. Carbonell:
Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis. 425-430 - Cassio P. de Campos, Qiang Ji:
Properties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures. 431-436 - Eric Eaton, Gary Holness, Daniel McFarlane:
Interactive Learning Using Manifold Geometry. 437-443 - Kun Gai, Changshui Zhang:
Learning Discriminative Piecewise Linear Models with Boundary Points. 444-450 - Xin Geng, Kate Smith-Miles, Zhi-Hua Zhou:
Facial Age Estimation by Learning from Label Distributions. 451-456 - Sepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann:
Exact Algorithms and Experiments for Hierarchical Tree Clustering. 457-462 - Zhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Yihong Gong:
A Topic Model for Linked Documents and Update Rules for its Estimation. 463-468 - Yahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu:
Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories. 469-474 - Ran He, Bao-Gang Hu, Wei-Shi Zheng, Yanqing Guo:
Two-Stage Sparse Representation for Robust Recognition on Large-Scale Database. 475-480 - Kshitij Judah, Saikat Roy, Alan Fern, Thomas G. Dietterich:
Reinforcement Learning Via Practice and Critique Advice. 481-486 - Hassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina:
Structure Learning for Markov Logic Networks with Many Descriptive Attributes. 487-493 - Mayank Lahiri, Manuel Cebrián:
The Genetic Algorithm as a General Diffusion Model for Social Networks. 494-499 - Yufeng Li, James T. Kwok, Zhi-Hua Zhou:
Cost-Sensitive Semi-Supervised Support Vector Machine. 500-505 - Haifeng Liu, Zhaohui Wu:
Non-Negative Matrix Factorization with Constraints. 506-511 - Jialu Liu, Deng Cai, Xiaofei He:
Gaussian Mixture Model with Local Consistency. 512-517 - Wei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu:
Constrained Metric Learning Via Distance Gap Maximization. 518-524 - Yang Liu, Yan Liu, Keith C. C. Chan:
Multilinear Maximum Distance Embedding Via L1-Norm Optimization. 525-530 - Marc E. Maier, Brian J. Taylor, Hüseyin Oktay, David D. Jensen:
Learning Causal Models of Relational Domains. 531-538 - Yadong Mu, Shuicheng Yan:
Non-Metric Locality-Sensitive Hashing. 539-544 - Michael J. Paul, Roxana Girju:
A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics. 545-550 - Wei Ping, Ye Xu, Kexin Ren, Chi-Hung Chi, Furao Shen:
Non-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin Subspace. 551-556 - Stefan Pintilie, Ali Ghodsi:
Conformal Mapping by Computationally Efficient Methods. 557-562 - Ian Porteous, Arthur U. Asuncion, Max Welling:
Bayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures. 563-568 - Buyue Qian, Ian Davidson:
Semi-Supervised Dimension Reduction for Multi-Label Classification. 569-574 - Bin Shen, Luo Si:
Non-Negative Matrix Factorization Clustering on Multiple Manifolds. 575-580 - Yangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle X. Zhou, Weihong Qian:
Constrained Coclustering for Textual Documents. 581-586 - Yu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou:
Multi-Instance Dimensionality Reduction. 587-592 - Yu-Yin Sun, Yin Zhang, Zhi-Hua Zhou:
Multi-Label Learning with Weak Label. 593-598 - Qing Tan, Qing He, Zhongzhi Shi:
Nonparametric Curve Extraction Based on Ant Colony System. 599-604 - Joel Veness, Kee Siong Ng, Marcus Hutter, David Silver:
Reinforcement Learning via AIXI Approximation. 605-611 - Thomas J. Walsh, Sergiu Goschin, Michael L. Littman:
Integrating Sample-Based Planning and Model-Based Reinforcement Learning. 612-617 - Hua Wang, Heng Huang, Chris H. Q. Ding:
Discriminant Laplacian Embedding. 618-623 - Aaron Wilson, Alan Fern, Prasad Tadepalli
:
Bayesian Policy Search for Multi-Agent Role Discovery. 624-629 - Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes:
Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models. 630-636 - Zenglin Xu, Rong Jin, Shenghuo Zhu, Michael R. Lyu, Irwin King:
Smooth Optimization for Effective Multiple Kernel Learning. 637-642 - Makoto Yamada, Masashi Sugiyama:
Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise. 643-648 - Yi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang:
Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation. 649-654 - Jianwen Zhang, Changshui Zhang:
Multitask Bregman Clustering. 655-660 - Yan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou:
Transductive Learning on Adaptive Graphs. 661-666 - Yi Zhang:
Multi-Task Active Learning with Output Constraints. 667-672 - Zheng Zhao, Lei Wang, Huan Liu:
Efficient Spectral Feature Selection with Minimum Redundancy. 673-678 - Guoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu:
Gaussian Process Latent Random Field. 679-684
Multiagent Systems
- Alon Altman, Robert Kleinberg:
Nonmanipulable Randomized Tournament Selections. 686-690 - Itai Ashlagi, Moshe Tennenholtz, Aviv Zohar:
Competing Schedulers. 691-696 - Yoram Bachrach, Nadja Betzler, Piotr Faliszewski:
Probabilistic Possible Winner Determination. 697-702 - Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli:
Coalitional Structure Generation in Skill Games. 703-708 - Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz:
Transferable Utility Planning Games. 709-714 - Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra:
Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates. 715-722 - Mickey Brautbar, Michael J. Kearns, Umar Syed:
Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts. 723-728 - Andriy Burkov, Brahim Chaib-draa:
An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games. 729-736 - Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis:
Approximation Algorithms and Mechanism Design for Minimax Approval Voting. 737-742 - Ioannis Caragiannis, Ariel D. Procaccia:
Voting Almost Maximizes Social Welfare Despite Limited Communication. 743-748 - Archie C. Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings:
A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria. 749-755 - Yiling Chen, John K. Lai, David C. Parkes, Ariel D. Procaccia:
Truth, Justice, and Cake Cutting. 756-761 - Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot:
Possible Winners when New Candidates Are Added: The Case of Scoring Rules. 762-767 - Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko:
Cloning in Elections. 768-773 - Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko:
Good Rationalizations of Voting Rules. 774-779 - Umberto Grandi, Ulle Endriss:
Lifting Rationality Assumptions in Binary Aggregation. 780-785 - John Grant, Sarit Kraus, Michael J. Wooldridge:
Intentions in Equilibrium. 786-791 - Manish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe:
Security Games with Arbitrary Schedules: A Branch and Price Approach. 792-797 - Patrick R. Jordan, Michael P. Wellman:
Algorithms for Finding Approximate Formations in Games. 798-804 - Dmytro Korzhyk, Vincent Conitzer, Ronald Parr:
Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games. 805-810 - Sébastien Lahaie:
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction. 811-816 - Raz Lin, Sarit Kraus, Yinon Oshrat, Ya'akov (Kobi) Gal:
Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents. 817-822 - Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings:
Convergence to Equilibria in Plurality Voting. 823-828 - Abraham Othman, Tuomas Sandholm:
Envy Quotes and the Iterated Core-Selecting Combinatorial Auction. 829-835 - Ariel D. Procaccia:
Can Approximation Circumvent Gibbard-Satterthwaite? 836-841 - Amirali Salehi-Abari, Tony White:
Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis. 842-847 - David Sarne, Simon Shamoun, Eli Rata:
Increasing Threshold Search for Best-Valued Agents. 848-853 - Travis C. Service, Julie A. Adams:
Approximate Coalition Structure Generation. 854-859 - Sven Seuken, Jie Tang, David C. Parkes:
Accounting Mechanisms for Distributed Work Systems. 860-866 - Ankit Sharma, Tuomas Sandholm:
Asymmetric Spite in Auctions. 867-873 - Ruben Stranders, Francesco Maria Delle Fave, Alex Rogers, Nicholas R. Jennings:
A Decentralised Coordination Algorithm for Mobile Sensors. 874-880 - Jason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe:
Urban Security: Game-Theoretic Resource Allocation in Networked Domains. 881-886 - William E. Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George L. Nemhauser, David C. Parkes:
Automated Channel Abstraction for Advertising Auctions. 887-894 - Virginia Vassilevska Williams:
Fixing a Tournament. 895-900 - James R. Wright, Kevin Leyton-Brown:
Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games. 901-907 - Feng Wu, Shlomo Zilberstein, Xiaoping Chen:
Trial-Based Dynamic Programming for Multi-Agent Planning. 908-914 - Lirong Xia, Vincent Conitzer:
Compilation Complexity of Common Voting Rules. 915-920 - Lirong Xia, Vincent Conitzer:
Stackelberg Voting Games: Computational Aspects and Paradoxes. 921-926 - Chongjie Zhang, Victor R. Lesser:
Multi-Agent Learning with Policy Prediction. 927-934 - Dongmo Zhang, Laurent Perrussel:
Dynamic Auction: A Tractable Auction Procedure. 935-940 - Xiaoming Zheng, Sven Koenig:
Sequential Incremental-Value Auctions. 941-946 - James Y. Zou, Sujit Gujar, David C. Parkes:
Tolerable Manipulability in Dynamic Assignment without Money. 947-952
Multidisciplinary Topics
- Hilmar Finnsson, Yngvi Björnsson:
Learning Simulation Control in General Game-Playing Agents. 954-959 - Andrew Guillory, Sumit Basu, Dan Morris:
User-Specific Learning for Recognizing a Singer's Intended Pitch. 960-966 - Yuewei Lin, Bin Fang, Yuanyan Tang:
A Computational Model for Saliency Maps by Using Local Entropy. 967-973 - Eric Jeffrey Peterson, Thomas F. Stahovich, Eric Doi, Christine Alvarado:
Grouping Strokes into Shapes in Hand-Drawn Diagrams. 974-979 - Stephan Schiffel:
Symmetry Detection in General Game Playing. 980-985 - Dafna Shahaf, Eric Horvitz:
Generalized Task Markets for Human and Machine Computation. 986-993 - Michael Thielscher:
A General Game Description Language for Incomplete Information Games. 994-999 - Michael Thielscher, Sebastian Voigt:
A Temporal Proof System for General Game Playing. 1000-1005
Natural-Language Processing
- Bi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee:
What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model. 1007-1012 - David K. Elson, Kathleen R. McKeown:
Automatic Attribution of Quoted Speech in Literary Narrative. 1013-1019 - Jagadeesh Jagarlamudi, Seth Juarez, Hal Daumé III:
Kernelized Sorting for Natural Language Processing. 1020-1025 - Michal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki:
CAO: A Fully Automatic Emoticon Analysis System. 1026-1032 - John J. Tanner, Fernando Gomez:
Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus. 1033-1038 - Hao Xiong, Haitao Mi, Yang Liu, Qun Liu:
Forest-Based Semantic Role Labeling. 1039-1044 - Xiaofeng Yu, Wai Lam:
Bidirectional Integration of Pipeline Models. 1045-1050
Reasoning about Plans, Processes and Actions
- Christopher Amato, Blai Bonet, Shlomo Zilberstein:
Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs. 1052-1058 - Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle:
Multi-Agent Plan Recognition: Formalization and Algorithms. 1059-1064 - Pablo Samuel Castro, Doina Precup:
Using Bisimulation for Policy Transfer in MDPs. 1065-1070 - Carmel Domshlak, Erez Karpas, Shaul Markovitch:
To Max or Not to Max: Online Learning for Speeding Up Optimal Planning. 1071-1076 - Wenyuan Guo, Tze-Yun Leong:
An Analytic Characterization of Model Minimization in Factored Markov Decision Processes. 1077-1082 - Sonal Gupta, Raymond J. Mooney:
Using Closed Captions as Supervision for Video Activity Recognition. 1083-1088 - Ruijie He, Emma Brunskill, Nicholas Roy:
PUMA: Planning Under Uncertainty with Macro-Actions. 1089-1095 - Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL. 1096-1101 - Li Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. Ong:
Structured Parameter Elicitation. 1102-1107 - Andrey Kolobov, Mausam, Daniel S. Weld:
SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs. 1108-1114 - Matthew Molineaux, Matthew Klenk, David W. Aha:
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects. 1115-1120 - Miquel Ramírez, Hector Geffner:
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners. 1121-1126 - Kevin Regan, Craig Boutilier:
Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies. 1127-1133 - Adam Sadilek, Henry A. Kautz:
Recognizing Multi-Agent Activities from GPS Data. 1134-1139 - Scott Sanner, Kristian Kersting:
Symbolic Dynamic Programming for First-order POMDPs. 1140-1146 - Georgios Theocharous, Sridhar Mahadevan:
Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization. 1147-1152 - Chenggang Wang, Roni Khardon:
Relational Partially Observable MDPs. 1153-1158
Reasoning Under Uncertainty
- Craig Boutilier, Kevin Regan, Paolo Viappiani:
Simultaneous Elicitation of Preference Features and Utility. 1160-1167 - Peng Dai, Mausam, Daniel S. Weld:
Decision-Theoretic Control of Crowd-Sourced Workflows. 1168-1174 - Eun Yong Kang, Ilya Shpitser, Eleazar Eskin:
Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features. 1175-1180 - Kristian Kersting, Youssef El Massaoudi, Fabian Hadiji, Babak Ahmadi:
Informed Lifting for Message-Passing. 1181-1186 - Aniruddh Nath, Pedro M. Domingos:
Efficient Belief Propagation for Utility Maximization and Repeated Inference. 1187-1192 - Aniruddh Nath, Pedro M. Domingos:
Efficient Lifting for Online Probabilistic Inference. 1193-1198 - Emma Rollon, Rina Dechter:
New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence. 1199-1204 - Son Thanh To, Tran Cao Son, Enrico Pontelli:
On the Use of Prime Implicates in Conformant Planning. 1205-1210 - Long Tran-Thanh, Archie C. Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings:
Epsilon-First Policies for Budget-Limited Multi-Armed Bandits. 1211-1216 - Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt:
DTProbLog: A Decision-Theoretic Probabilistic Prolog. 1217-1222
Robotics
- Nicola Basilico, Nicola Gatti, Federico Villa:
Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies. 1224-1229 - Subhrajit Bhattacharya:
Search-Based Path Planning with Homotopy Class Constraints. 1230-1237 - Takuma Otsuka, Kazuhiro Nakadai, Toru Takahashi, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno:
Design and Implementation of Two-level Synchronization for Interactive Music Robot. 1238-1244 - Jia Pan, Christian Lauterbach, Dinesh Manocha:
g-Planner: Real-time Motion Planning and Global Navigation using GPUs. 1245-1251 - Stephen Tully, George Kantor, Howie Choset:
A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM. 1252-1257
Short Papers
- Patricia Gutierrez, Pedro Meseguer:
Saving Redundant Messages in BnB-ADOPT. 1259-1260 - Pavel Surynek:
An Optimization Variant of Multi-Robot Path Planning Is Intractable. 1261-1263 - Hua Wang, Chris H. Q. Ding, Heng Huang:
Multi-Label Classification: Inconsistency and Class Balanced K-Nearest Neighbor. 1264-1266
AI and Bioinformatics Special Track
- Fabian Buchwald, Tobias Girschick, Eibe Frank, Stefan Kramer:
Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships. 1268-1273 - Franco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini:
Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight Cliques. 1274-1279 - Siamak (Moshen) Ravanbakhsh, Barnabás Póczos, Russell Greiner:
A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra. 1280-1286 - Qingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin:
A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings. 1287-1292
AI and the Web Special Track
- Muhammad Aurangzeb Ahmad, David A. Huffaker, Jing Wang, Jeffrey William Treem, Marshall Scott Poole, Jaideep Srivastava:
GTPA: A Generative Model For Online Mentor-Apprentice Networks. 1294-1299 - Sumit Bhatia, Prasenjit Mitra:
Adopting Inference Networks for Online Thread Retrieval. 1300-1305 - Andrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam R. Hruschka Jr., Tom M. Mitchell:
Toward an Architecture for Never-Ending Language Learning. 1306-1313 - Yuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang:
Visual Contextual Advertising: Bringing Textual Advertisements to Images. 1314-1320 - Jeff Huang, Anna Kazeykina:
Optimal Strategies for Reviewing Search Results. 1321-1326 - Jian Huang, Cong Yu:
Prioritization of Domain-Specific Web Information Extraction. 1327-1333 - Yoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Anlei Dong, Ciya Liao, Yi Chang, Zhaohui Zheng:
Session Based Click Features for Recency Ranking. 1334-1339 - Saurabh Kataria, Prasenjit Mitra, Sumit Bhatia:
Utilizing Context in Generative Bayesian Models for Linked Corpus. 1340-1345 - Mitesh M. Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya:
PR + RQ ALMOST EQUAL TO PQ: Transliteration Mining Using Bridge Language. 1346-1351 - Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran:
On the Reputation of Agent-Based Web Services. 1352-1357 - Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim:
Towards an Intelligent Code Search Engine. 1358-1363 - Masahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda:
Learning to Predict Opinion Share in Social Networks. 1364-1370 - Fangtao Li, Minlie Huang, Xiaoyan Zhu:
Sentiment Analysis with Global Topics and Local Dependency. 1371-1376 - Lei Li, Yan Wang:
Subjective Trust Inference in Composite Services. 1377-1384 - Xiao Ling, Daniel S. Weld:
Temporal Information Extraction. 1385-1390 - Guanfeng Liu, Yan Wang, Mehmet A. Orgun:
Optimal Social Trust Path Selection in Complex Social Networks. 1391-1398 - Hao Ma, Michael R. Lyu, Irwin King:
Diversifying Query Suggestion Results. 1399-1404 - James P. McGlothlin, Latifur R. Khan:
Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets. 1405-1412 - Mathias Niepert, Christian Meilicke, Heiner Stuckenschmidt:
A Probabilistic-Logical Framework for Ontology Matching. 1413-1418 - Tim Paek, Michael Gamon, Scott Counts, David Maxwell Chickering, Aman Dhesi:
Predicting the Importance of Newsfeed Posts and Social Network Friends. 1419-1424 - Meesun Song, Wonkyu Lee, Junghwan Kim:
Extraction and Visualization of Implicit Social Relations on Social Networking Services. 1425-1430 - Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks:
How Incomplete Is Your Semantic Web Reasoner? 1431-1436 - Umberto Straccia, Nuno Lopes, Gergely Lukácsy, Axel Polleres:
A General Framework for Representing and Reasoning with Annotated Semantic Web Data. 1437-1442 - Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness:
Integrity Constraints in OWL. 1443-1448 - Jia Wang, Qing Li, Yuanzhu Peter Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin:
News Recommendation in Forum-Based Social Media. 1449-1454 - Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang, Jianfeng Shen:
Modeling Dynamic Multi-Topic Discussions in Online Forums. 1455-1460 - Songhua Xu, Shaohui Yang, Francis Chi-Moon Lau:
Keyword Extraction and Headline Generation Using Novel Word Features. 1461-1466 - Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa:
Fast Algorithms for Top-k Approximate String Matching. 1467-1473 - Junjie Yao, Bin Cui, Yuxin Huang, Xin Jin:
Temporal and Social Context Based Burst Detection from Folksonomies. 1474-1479 - Chi-Hsin Yu, Hsin-Hsi Chen:
Commonsense Knowledge Mining from the Web. 1480-1485 - Tom Chao Zhou, Hao Ma, Michael R. Lyu, Irwin King:
UserRec: A User Recommendation Framework in Social Tagging Systems. 1486-1491
Challenges in AI Special Track
- Barry O'Sullivan:
Automated Modelling and Solving in Constraint Programming. 1493-1497 - Sven Seuken, Kamal Jain, David C. Parkes:
Hidden Market Design. 1498-1503 - Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein:
Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination. 1504-1509 - Jeff Yan:
Collusion Detection in Online Bridge. 1510-1515
Integrated Intelligence Special Track
- Michael Brenner:
Creating Dynamic Story Plots with Continual Multiagent Planning. 1517-1522 - Scott E. Friedman, Kenneth D. Forbus:
An Integrated Systems Approach to Explanation-Based Conceptual Change. 1523-1529 - Chad Hogg, Ugur Kuter, Hector Muñoz-Avila:
Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning. 1530-1535 - Unmesh Kurup, Nicholas L. Cassimatis:
Integrating Constraint Satisfaction and Spatial Reasoning. 1536-1541 - Lanny Lin, Michael Roscheck, Michael A. Goodrich, Bryan S. Morse:
Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place. 1542-1547 - Matthew Molineaux, Matthew Klenk, David W. Aha:
Goal-Driven Autonomy in a Navy Strategy Simulation. 1548-1554 - Chunki Park, Will Bridewell, Pat Langley:
Integrated Systems for Inducing Spatio-Temporal Process Models. 1555-1560 - Kartik Talamadupula, J. Benton, Paul W. Schermerhorn, Subbarao Kambhampati, Matthias Scheutz:
Integrating a Closed World Planner with an Open World Robot: A Case Study. 1561-1566 - Samuel Wintermute:
Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents. 1567-1573 - Joseph Z. Xu, John E. Laird:
Instance-Based Online Learning of Deterministic Relational Action Models. 1574-1579
Physically Grounded AI Special Track
- Jordan Frank, Shie Mannor, Doina Precup:
Activity and Gait Recognition with Time-Delay Embeddings. 1581-1586 - Joshua Mason Joseph, Finale Doshi-Velez, Nicholas Roy:
A Bayesian Nonparametric Approach to Modeling Mobility Patterns. 1587-1593 - Çetin Meriçli, Manuela M. Veloso:
Biped Walk Learning Through Playback and Corrective Demonstration. 1594-1599 - Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell:
Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior. 1600-1606 - Jan Peters, Katharina Mülling, Yasemin Altun:
Relative Entropy Policy Search. 1607-1612 - Jivko Sinapov, Alexander Stoytchev:
The Boosting Effect of Exploratory Behaviors. 1613-1618 - Dezhen Song, Yiliang Xu:
A Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF Method. 1619-1624 - Luciano Spinello, Kai Oliver Arras, Rudolph Triebel, Roland Siegwart:
A Layered Approach to People Detection in 3D Range Data. 1625-1630 - Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg:
Unsupervised Learning of Event Classes from Video. 1631-1638 - Seung-Joon Yi, Byoung-Tak Zhang, Daniel D. Lee:
Online Learning of Uneven Terrain for Humanoid Bipedal Walking. 1639-1644 - Ji Zhang, Dezhen Song:
Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas. 1645-1650
New Scientific and Technical Advances in Research
- Mustafa Bilgic, Lise Getoor:
Active Inference for Collective Classification. 1652-1655 - Blai Bonet, Héctor Palacios, Hector Geffner:
Automatic Derivation of Finite-State Machines for Behavior Control. 1656-1659 - Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris:
Ontological Reasoning with F-logic Lite and its Extensions. 1660-1665 - Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone:
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. 1666-1670 - Luc De Raedt, Tias Guns, Siegfried Nijssen:
Constraint Programming for Data Mining and Machine Learning. 1671-1675 - Mingyu Guo, Vincent Conitzer:
Computationally Feasible Automated Mechanism Design: General Approach and Case Studies. 1676-1679 - Felix Halim, Panagiotis Karras, Roland H. C. Yap:
Local Search in Histogram Construction. 1680-1685 - Mausam, Stephen Soderland, Oren Etzioni:
Panlingual Lexical Translation via Probabilistic Inference. 1686-1689 - Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley:
Evolving Compiler Heuristics to Manage Communication and Contention. 1690-1693 - David Robert Martin Thompson, Kevin Leyton-Brown:
Comparing Position Auctions Computationally. 1694-1697 - Keith Vertanen, Per Ola Kristensson:
Intelligently Aiding Human-Guided Correction of Speech Recognition. 1698-1701 - Chih-Han Yu, Radhika Nagpal:
Biologically-Inspired Control for Multi-Agent Self-Adaptive Tasks. 1702-1707
Senior Member Papers
- Hector Geffner:
The Model-Based Approach to Autonomous Behavior: A Personal View. 1709-1712 - Sven Koenig, Pinar Keskinocak, Craig A. Tovey:
Progress on Agent Coordination with Cooperative Auctions. 1713-1717 - Sridhar Mahadevan:
Representation Discovery in Sequential Decision Making. 1718-1721
Student Abstracts
- Brent Beer, Ross Mead, Jerry B. Weinberg:
A Distributed Method for Evaluating Properties of a Robot Formation. 1923-1924 - Shanjun Cheng, Anita Raja, Victor R. Lesser:
Towards Multiagent Meta-level Control. 1925-1926 - Halit Erdogan, Olivier Bodenreider, Esra Erdem:
Finding Semantic Inconsistencies in UMLS using Answer Set Programming. 1927-1928 - Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo:
Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. 1929-1930 - Shane Griffith, Alexander Stoytchev:
Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors. 1931-1932 - Yasaman Haghpanah, Marie desJardins:
A Trust Model for Supply Chain Management. 1933-1934 - Amal Chaminda Kaluarachchi, Aparna S. Varde, Jing Peng, Anna Feldman:
Intelligent Time-Aware Query Translation for Text Sources. 1935-1936 - Serdar Kecici, Sanem Sariel Talay:
Temporal Planning for Interacting Durative Actions with Continuous Effects. 1937-1938 - Scott Kuindersma:
Control Model Learning for Whole-Body Mobile Manipulation. 1939-1940 - Chendong Li:
Towards Interesting Patterns of Hard CSPs with Functional Constraints. 1941-1942 - Nan Li, William W. Cohen, Kenneth R. Koedinger:
Integrating Transfer Learning in Synthetic Student. 1943-1944 - Pei-Pei Li, Xindong Wu, Xuegang Hu:
Learning from Concept Drifting Data Streams with Unlabeled Data. 1945-1946 - Zhao Li, Xindong Wu:
A Phrase-Based Method for Hierarchical Clustering of Web Snippets. 1947-1948 - Robert Louis Long, Ross Mead, Jerry B. Weinberg:
Distributed Auction-Based Initialization of Mobile Robot Formations. 1949-1950 - James P. McGlothlin, Latifur R. Khan:
Materializing Inferred and Uncertain Knowledge in RDF Datasets. 1951-1952 - Shiwali Mohan, John E. Laird:
Relational Reinforcement Learning in Infinite Mario. 1953-1954 - Scott Niekum:
Evolved Intrinsic Reward Functions for Reinforcement Learning. 1955-1956 - Robert G. Price, Scott D. Goodwin:
Team Formation with Heterogeneous Agents in Computer Games. 1957-1958 - Hamid Haidarian Shahri:
Semantic Search in Linked Data: Opportunities and Challenges. 1959-1960 - Kaushik Subramanian:
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models. 1961-1962 - Tansel Uras, Esra Erdem:
Genome Rearrangement: A Planning Approach. 1963-1964 - Liping Wu, Vladimir Sukhoy, Alexander Stoytchev:
Toward Learning to Press Doorbell Buttons. 1965-1966 - Shuonan Dong:
Interactive Task-Plan Learning. - Finale Doshi-Velez:
Nonparametric Bayesian Approaches for Reinforcement Learning in Partially Observable Domains. - Tom Erez:
Local Optimization for Simulation of Natural Motion. - Pooyan Fazli:
On Multi-Robot Area Coverage. - Lisa Friedland:
Detecting Social Ties and Copying Events from Affiliation Data. - Sofia Lemons:
Continual On-Line Planning. - Michelle Denise Leonhardt:
Enhancing Affective Communication in Embodied Conversational Agents. - James MacGlashan:
Hierarchical Skill Learning for High-Level Planning. - Mehdi Hafezi Manshadi:
Towards a Robust Deep Language Understanding System. - James P. McGlothlin:
Framework and Schema for Semantic Web Knowledge Bases. - Megan M. Olsen:
Multi-Agent Fault Tolerance Inspired by a Computational Analysis of Cancer. - Ben George Weber:
Integrating Expert Knowledge and Experience. - Christopher L. Simpkins:
Integrating Reinforcement Learning into a Programming Language. - Lirong Xia:
Computational Social Choice: Strategic and Combinatorial Aspects.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-18 01:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
