default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th AAAI 2011: San Francisco, California, USA
- Wolfram Burgard, Dan Roth:
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. AAAI Press 2011
Constraints, Satisfiability, and Search
- Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich:
Extensible Automated Constraint Modelling. 4-11 - David Burkett, David Hall, Dan Klein:
Optimal Graph Search with Iterated Graph Cuts. 12-17 - Stefan Edelkamp, Peter Kissmann:
On the Complexity of BDDs for State Space Search: A Case Study in Connect Four. 18-23 - Meir Goldenberg, Nathan R. Sturtevant, Ariel Felner, Jonathan Schaeffer:
The Compressed Differential Heuristic. 24-29 - Matthew Hatem, Ethan Burns, Wheeler Ruml:
Heuristic Search for Large Problems With Real Costs. 30-35 - Federico Heras
, António Morgado, João Marques-Silva:
Core-Guided Binary Search Algorithms for Maximum Satisfiability. 36-41 - Eric Huang, Richard E. Korf:
Optimal Packing of High-Precision Rectangles. 42-47 - Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann:
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. 48-53 - Kalev Kask, Andrew Gelfand, Lars Otten, Rina Dechter:
Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models. 54-60 - Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. 61-67 - Thomas Léauté, Boi Faltings:
Distributed Constraint Optimization Under Stochastic Uncertainty. 68-73 - Mike Phillips, Maxim Likhachev:
Planning in Domains with Cost Function Dependent Actions. 74-80 - D. Chris Rayner, Michael H. Bowling, Nathan R. Sturtevant:
Euclidean Heuristic Optimization. 81-86 - Tim Schmidt, Rong Zhou:
Succinct Set-Encoding for State-Space Search. 87-92 - Stefan Szeider:
Limits of Preprocessing. 93-98 - Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert:
Inner Regions and Interval Linearizations for Global Optimization. 99-104 - Jur van den Berg, Rajat Shah, Arthur Huang, Kenneth Y. Goldberg:
Anytime Nonparametric A. 105-111 - Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. 112-119 - Peter Yap, Neil Burch, Robert C. Holte, Jonathan Schaeffer:
Block A*: Database-Driven Search with Applications in Any-Angle Path-Planning. 120-125
Knowledge-Based Information Systems
- Qingye Jiang, Guojie Song, Gao Cong, Yu Wang, Wenjun Si, Kunqing Xie:
Simulated Annealing Based Influence Maximization in Social Networks. 127-132 - Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu:
Tracking User-Preference Varying Speed in Collaborative Filtering. 133-138 - Jin-Woo Park, Mu-Woong Lee, Jinhan Kim, Seung-won Hwang, Sunghun Kim:
CosTriage: A Cost-Aware Triage Algorithm for Bug Reporting Systems. 139-144 - Matthew J. Rattigan, Marc E. Maier, David D. Jensen:
Relational Blocking for Causal Discovery. 145-151 - Niket Tandon, Gerard de Melo, Gerhard Weikum:
Deriving a Web-Scale Common Sense Fact Database. 152-157 - Jianke Zhu, Hao Ma, Chun Chen, Jiajun Bu:
Social Recommendation Using Low-Rank Semidefinite Program. 158-163
Knowledge Representation and Reasoning
- Vaishak Belle, Gerhard Lakemeyer:
A Semantical Account of Progression in the Presence of Uncertainty. 165-170 - Piero A. Bonatti, Marco Faella, Luigi Sauro:
Adding Default Attributes to EL++. 171-176 - Michael H. Coen, M. Hidayath Ansari, Nathanael Fillmore:
Learning from Spatial Overlap. 177-182 - Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Higher-Order Description Logics for Domain Metamodeling. 183-188 - Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund:
Spectrum-Based Sequential Diagnosis. 189-196 - Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder:
A Closer Look at the Probabilistic Description Logic Prob-EL. 197-202 - Tsuyoshi Idé, Masashi Sugiyama:
Trajectory Regression on Road Networks. 203-208 - Angelika Kimmig, Guy Van den Broeck, Luc De Raedt:
An Algebraic Prolog for Reasoning about Possible Worlds. 209-214 - Szymon Klarman, Víctor Gutiérrez-Basulto:
Two-Dimensional Description Logics for Context-Based Semantic Interoperability. 215-220 - Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Conjunctive Query Inseparability of OWL 2 QL TBoxes. 221-226 - Oliver Kutz, Till Mossakowski:
A Modular Consistency Proof for DOLCE. 227-234 - Fangzhen Lin, Mikhail Soutchanski:
Causal Theories of Actions Revisited. 235-240 - Anees Mehdi, Sebastian Rudolph:
Revisiting Semantics for Epistemic Extensions of Description Logics. 241-246 - Judea Pearl, Elias Bareinboim:
Transportability of Causal and Statistical Relations: A Formal Approach. 247-254 - Magnus Roos, Jörg Rothe, Björn Scheuermann:
How to Calibrate the Scores of Biased Reviewers by Quadratic Programming. 255-260 - Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
Preferred Explanations: Theory and Generation via Planning. 261-267 - Maonian Wu, Dongmo Zhang, Mingyi Zhang:
Language Splitting and Relevance-Based Belief Change in Horn Logic. 268-273 - Qian Yang, Jia-Huai You, Zhiyong Feng:
Integrating Rules and Description Logics by Circumscription. 274-279 - Yi Zhou, Yan Zhang:
Bounded Forgetting. 280-285 - Yi Zhou, Yan Zhang:
Progression Semantics for Disjunctive Logic Programs. 286-291
Machine Learning
- Byron Boots, Geoffrey J. Gordon:
An Online Spectral Learning Algorithm for Partially Observable Nonlinear Dynamical Systems. 293-300 - Antoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio:
Learning Structured Embeddings of Knowledge Bases. 301-306 - Kevin Robert Canini, Thomas L. Griffiths:
A Nonparametric Bayesian Model of Multi-Level Category Learning. 307-312 - Xinlei Chen, Deng Cai:
Large Scale Spectral Clustering with Landmark-Based Representation. 313-318 - Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen:
Unsupervised Learning of Human Behaviours. 319-324 - Gheorghe Comanici, Doina Precup:
Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics. 325-330 - Peng Cui, Fei Wang, Shiqiang Yang, Lifeng Sun:
Item-Level Social Influence Prediction with Probabilistic Hybrid Factor Matrix Factorization. 331-336 - Eric Eaton, Marie desJardins:
Selective Transfer Between Learning Tasks Using Task-Based Boosting. 337-343 - Hoda Eldardiry, Jennifer Neville:
Across-Model Collective Ensemble Classification. 343-349 - Zhenyong Fu, Zhiwu Lu, Horace Ho-Shing Ip, Yuxin Peng, Hongtao Lu:
Symmetric Graph Regularized Constraint Propagation. 350-355 - Cuixia Gao, Naiyan Wang, Qi Rose Yu, Zhihua Zhang:
A Feasible Nonconvex Relaxation Approach to Feature Selection. 356-361 - Andrew B. Goldberg, Xiaojin Zhu, Alex Furger, Jun-Ming Xu:
OASIS: Online Active Semi-Supervised Learning. 362-367 - Quanquan Gu, Zhenhui Li, Jiawei Han:
Learning a Kernel for Multi-Task Clustering. 368-373 - Yuhong Guo, Dale Schuurmans:
Adaptive Large Margin Training for Multilabel Classification. 374-379 - George Dimitri Konidaris, Sarah Osentoski, Philip S. Thomas:
Value Function Approximation in Reinforcement Learning Using the Fourier Basis. 380-385 - Yufeng Li, Zhi-Hua Zhou:
Improving Semi-Supervised Support Vector Machines Through Unlabeled Instances Selection. 386-391 - Si Liu, Hairong Liu, Longin Jan Latecki, Shuicheng Yan, Changsheng Xu, Hanqing Lu:
Size Adaptive Selection of Most Informative Features. 392-397 - Yang Liu, Yan Liu, Keith C. C. Chan:
Ordinal Regression via Manifold Learning. 398-403 - Daniel Lowd, Arash Shamaei:
Mean Field Inference in Dependency Networks: An Empirical Study. 404-410 - Zhiwu Lu, Yuxin Peng:
Latent Semantic Learning by Efficient Sparse Coding with Hypergraph Regularization. 411-416 - Dijun Luo, Chris H. Q. Ding, Heng Huang:
Linear Discriminant Analysis: New Formulations and Overfit Analysis. 417-422 - Dijun Luo, Chris H. Q. Ding, Heng Huang:
Multi-Level Cluster Indicator Decompositions of Matrices and Tensors. 423-428 - Heng Luo, Ruimin Shen, Changyong Niu, Carsten Ullrich:
Sparse Group Restricted Boltzmann Machines. 429-434 - Timothy A. Mann, Yoonsuck Choe:
Scaling Up Reinforcement Learning through Targeted Exploration. 435-440 - Francisco S. Melo:
Differential Eligibility Vectors for Advantage Updating and Gradient Methods. 441-446 - Marion Neumann, Babak Ahmadi, Kristian Kersting:
Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label Propagation. 447-452 - Kyoungup Park, Chunhua Shen, Zhihui Hao, Junae Kim:
Efficiently Learning a Distance Metric for Large Margin Nearest Neighbor Classification. 453-458 - Jason Pazis, Ronald Parr:
Non-Parametric Approximate Linear Programming for MDPs. 459-464 - Jonathan Sorg, Satinder Singh, Richard L. Lewis:
Optimal Rewards versus Leaf-Evaluation Heuristics in Planning Agents. 465-470 - Harry Strange, Reyer Zwiggelaar:
A Generalised Solution to the Out-of-Sample Extension Problem in Manifold Learning. 471-476 - Jian Tang, Jun Yan, Lei Ji, Ming Zhang, Shaodan Guo, Ning Liu, Xianfang Wang, Zheng Chen:
Collaborative Users' Brand Preference Mining across Multiple Domains from Implicit Feedbacks. 477-482 - Ke Tang, Rui Wang, Tianshi Chen:
Towards Maximizing the Area Under the ROC Curve for Multi-Class Classification Problems. 483-488 - Yuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoaki Okazaki:
Fast Newton-CG Method for Batch Learning of Conditional Random Fields. 489-494 - Fei Wang, Noah Lee, Jimeng Sun, Jianying Hu, Shahram Ebadollahi:
Automatic Group Sparse Coding. 495-500 - Fei Wang, Hanghang Tong, Ching-Yung Lin:
Towards Evolutionary Nonnegative Matrix Factorization. 501-506 - Hua Wang, Feiping Nie, Heng Huang:
Learning Instance Specific Distance for Multi-Instance Classification. 507-512 - Hua-Yan Wang, Qiang Yang:
Transfer Learning by Structural Analogy. 513-518 - Shusen Wang, Xiaotong Yuan, Tiansheng Yao, Shuicheng Yan, Jialie Shen:
Efficient Subspace Segmentation via Quadratic Programming. 519-524 - Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou:
Localized K-Flats. 525-530 - Bin Wei, Christopher J. Pal:
Heterogeneous Transfer Learning with RBMs. 531-536 - Wei Wu, Hang Li, Yunhua Hu, Rong Jin:
Multi-Task Learning in Square Integrable Space. 537-542 - Zenglin Xu, Feng Yan, Yuan (Alan) Qi:
Sparse Matrix-Variate t Process Blockmodels. 543-548 - Makoto Yamada, Masashi Sugiyama:
Direct Density-Ratio Estimation with Dimensionality Reduction via Hetero-Distributional Subspace Analysis. 549-554 - Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Zhou:
Nonnegative Spectral Clustering with Discriminative Regularization. 555-560 - Dan Zhang, Yan Liu, Richard D. Lawrence, Vijil Chenthamarakshan:
Transfer Latent Semantic Learning: Microblog Mining with Less Supervision. 561-566 - Xinhua Zhang, Yaoliang Yu, Martha White, Ruitong Huang, Dale Schuurmans:
Convex Sparse Coding, Subspace Learning, and Semi-Supervised Extensions. 567-573 - Yu Zhang, Dit-Yan Yeung:
Multi-Task Learning in Heterogeneous Feature Spaces. 574-579 - Hui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Xu, Zhihua Zhang:
A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker Products. 580-585
Multiagent Systems
- Bo An, Milind Tambe, Fernando Ordóñez, Eric Anyung Shieh, Christopher Kiekintveld:
Refinement of Strong Stackelberg Equilibria in Security Games. 587-593 - Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman:
Strategic Information Disclosure to People with Multiple Alternatives. 594-600 - Bikramjit Banerjee, Landon Kraemer:
Branch and Price for Multi-Agent Plan Recognition. 601-607 - Sofia Ceppi, Nicola Gatti, Enrico H. Gerding:
Mechanism Design for Federated Sponsored Search Auctions. 608-613 - Yiling Chen, Xi Alice Gao, Rick Goldstein, Ian A. Kash:
Market Manipulation with Outside Incentives. 614-619 - Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Vahid Liaghat:
Parameterized Complexity of Problems in Coalitional Resource Games. 620-625 - Yuga J. Cohler, John K. Lai, David C. Parkes, Ariel D. Procaccia:
Optimal Envy-Free Cake Cutting. 626-631 - Vincent Conitzer, Dmytro Korzhyk:
Commitment to Correlated Strategies. 632-637 - Vincent Conitzer, Toby Walsh, Lirong Xia:
Dominating Manipulations in Voting with Partial Information. 638-643 - Florin Constantin, Malvika Rao, Chien-Chung Huang, David C. Parkes:
On Expressing Value Externalities in Position Auctions. 644-649 - Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich:
Learning in Repeated Games with Minimal Information: The Effects of Learning Bias. 650-656 - Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. 657-662 - Nate Derbinsky, John E. Laird:
A Functional Analysis of Historical Memory Retrieval Bias in the Word Sense Disambiguation Task. 663-668 - Nicola Gatti, Claudio Iuliano:
Computing an Extensive-Form Perfect Equilibrium in Two-Player Games. 669-674 - Mingyu Guo:
VCG Redistribution with Gross Substitutes. 675-680 - John Alexander Hawkin, Robert Holte, Duane Szafron:
Automated Action Abstraction of Imperfect Information Extensive-Form Games. 681-687 - Mohammad Tanvir Irfan, Luis E. Ortiz:
A Game-Theoretic Approach to Influence in Networks. 688-694 - Sébastien Lahaie:
A Kernel-Based Iterative Combinatorial Auction. 695-700 - Kathryn Sarah Macarthur, Ruben Stranders, Sarvapali D. Ramchurn, Nicholas R. Jennings:
A Distributed Anytime Algorithm for Dynamic Task Allocation in Multi-Agent Systems. 701-706 - Liam MacDermed, Karthik Sankaran Narayan, Charles Lee Isbell Jr., Lora Weiss:
Quick Polytope Approximation of All Correlated Equilibria in Stochastic Games. 707-712 - Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. 713-718 - Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael J. Wooldridge, Nicholas R. Jennings:
Constrained Coalition Formation. 719-725 - Ildikó Schlotter, Piotr Faliszewski, Edith Elkind:
Campaign Management under Approval-Driven Voting Rules. 726-731 - Sameena Shah, Jayadeva, Ravi Kothari, Suresh Chandra:
M-Unit EigenAnt: An Ant Algorithm to Find the M Best Solutions. 732-737 - Xin Sui, Craig Boutilier:
Efficiency and Privacy Tradeoffs in Mechanism Design. 738-744 - David R. M. Thompson, Kevin Leyton-Brown:
Dominant-Strategy Auction Design for Agents with Uncertain, Private Values. 745-750 - Jens Witkowski, Sven Seuken, David C. Parkes:
Incentive-Compatible Escrow Mechanisms. 751-757 - Zhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez:
Risk-Averse Strategies for Security Games with Execution and Observational Uncertainty. 758-763 - Chongjie Zhang, Victor R. Lesser:
Coordinated Multi-Agent Reinforcement Learning in Networked Distributed POMDPs. 764-770
Multidisciplinary Topics
- Dimitrios Antos, Celso de Melo, Jonathan Gratch, Barbara J. Grosz:
The Influence of Emotion Expression on Perceptions of Trustworthiness in Negotiation. 772-778 - Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan:
Co-Evolution of Selection and Influence in Social Networks. 779-784 - Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Öztok:
Finding Answers and Generating Explanations for Complex Biomedical Queries. 785-790 - Lukasz Kaiser, Lukasz Stafiniak:
First-Order Logic with Counting for General Game Playing. 791-796 - Sungjin Lee, Hyungjong Noh, Kyusong Lee, Gary Geunbae Lee:
Grammatical Error Detection for Corrective Feedback Provision in Oral Conversations. 797-802 - Wu-Jun Li, Dit-Yan Yeung:
Social Relations Model for Collaborative Filtering. 803-808 - Raz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, Peter Stone:
Comparing Agents' Success against People in Security Domains. 809-814 - Martin Michalowski, Mark S. Boddy, Mike Neilsen:
Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. 815-820 - Wei Pan, Nadav Aharony, Alex Pentland:
Composite Social Network for Predicting Mobile Apps Installation. 821-827 - Marco Ragni, Sven Brüssow:
Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model. 828-833 - Kenneth Wingate Regan, Guy McCrossan Haworth:
Intrinsic Chess Ratings. 834-839 - Ji Ruan, Michael Thielscher:
The Epistemic Logic Behind the Game Description Language. 840-845 - Stephan Schiffel, Michael Thielscher:
Reasoning About General Games Described in GDL-II. 846-851 - Xiaojin Zhu, Bryan R. Gibson, Timothy T. Rogers:
Co-Training as a Human Collaboration Policy. 852-857
Natural Language Processing
- David L. Chen, Raymond J. Mooney:
Learning to Interpret Natural Language Navigation Instructions from Observations. 859-865 - Songjian Chen, Yabo Xu, Huiyou Chang:
A Simple and Effective Unsupervised Word Segmentation Approach. 866-871 - Jennifer Chu-Carroll, James Fan:
Leveraging Wikipedia Characteristics for Search and Candidate Generation in Question Answering. 872-877 - Amit Goyal, Hal Daumé III:
Lossy Conservative Update (LCU) Sketch: Succinct Approximate Count Storage. 878-883 - Samer Hassan, Rada Mihalcea:
Semantic Relatedness Using Salient Semantic Analysis. 884-889 - Tao Liu, Xiaoyong Du, Yong-Dong Xu, Minghui Li, Xiaolong Wang:
Partially Supervised Text Classification with Multi-Level Examples. 890-895 - Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong:
Enhancing Semantic Role Labeling for Tweets Using Self-Training. 896-901 - Tahira Naseem, Regina Barzilay:
Using Semantic Cues to Learn Syntax. 902-907 - Vahed Qazvinian, Dragomir R. Radev:
Exploiting Phase Transition in Latent Networks for Clustering. 908-913 - Chao Shen, Tao Li, Chris H. Q. Ding:
Integrating Clustering and Multi-Document Summarization by Bi-Mixture Probabilistic Latent Semantic Analysis (PLSA) with Sentence Bases. 914-920 - Jun Sun, Min Zhang, Chew Lim Tan:
Tree Sequence Kernel for Natural Language. 921-926 - Kristian Woodsend, Mirella Lapata:
WikiSimple: Automatic Simplification of Wikipedia Articles. 927-932 - Zhongwu Zhai, Bing Liu, Lei Zhang, Hua Xu, Peifa Jia:
Identifying Evaluative Sentences in Online Discussions. 933-938
Reasoning about Plans, Processes, and Actions
- Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Zohar Feldman:
Planning for Operational Control Systems with Predictable Exogenous Events. 940-945 - Alexandra Coman, Hector Muñoz-Avila:
Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics. 946-951 - Tom Erez, Julian J. Tramper, William D. Smart, Stan C. A. M. Gielen:
A POMDP Model of Eye-Hand Coordination. 952-957 - Christopher W. Geib, Robert P. Goldman:
Recognizing Plans with Loops Represented in a Lexicalized Grammar. 958-963 - Moritz Göbelbecker, Charles Gretton, Richard Dearden:
A Switching Planner for Combined Task and Observation Planning. 964-970 - Peter Gregory, Derek Long, Craig McNulty, Susan M. Murphy:
Exploiting Path Refinement Abstraction in Domain Transition Graphs. 971-976 - Richard Hoshino, Ken-ichi Kawarabayashi:
The Inter-League Extension of the Traveling Tournament Problem and its Application to Sports Scheduling. 977-984 - Tatsuya Imai, Akihiro Kishimoto:
A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing Planning. 985-991 - Peter Kissmann, Stefan Edelkamp:
Improving Cost-Optimal Domain-Independent Symbolic Planning. 992-997 - Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli:
On Improving Conformant Planners by Analyzing Domain-Structures. 998-1003 - Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein:
Exploiting Problem Symmetries in State-Based Planners. 1004-1009 - Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner:
Qualitative Numeric Planning. 1010-1016 - Florent Teichteil-Königsbuch, Vincent Vidal, Guillaume Infantes:
Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends. 1017-1022 - Son Thanh To, Tran Cao Son, Enrico Pontelli:
Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. 1023-1028
Reasoning under Uncertainty
- Jaesik Choi, Rodrigo de Salvo Braz, Hung Hai Bui:
Efficient Methods for Lifted Inference with Aggregate Factors. 1030-1036 - Justin Domke:
Dual Decomposition for Marginal Inference. 1037-1042 - Andrew Gelfand, Kalev Kask, Rina Dechter:
Stopping Rules for Randomized Greedy Triangulation Schemes. 1043-1048 - Chloé Kiddon, Pedro M. Domingos:
Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models. 1049-1056 - Brandon M. Malone, Changhe Yuan, Eric A. Hansen:
Memory-Efficient Dynamic Programming for Learning Optimal Bayesian Networks. 1057-1062 - Shulamit Reches, Meir Kalech, Rami Stern:
When to Stop? That Is the Question. 1063-1068 - Parag Singla, Raymond J. Mooney:
Abductive Markov Logic for Plan Recognition. 1069-1075 - Özgür Sümer, Umut A. Acar, Alexander Ihler, Ramgopal R. Mettu:
Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. 1076-1082 - Yifeng Zeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, Jian Luo:
Utilizing Partial Policies for Identifying Equivalence of Behavioral Models. 1083-1088
Robotics
- Noa Agmon, Daniel Urieli, Peter Stone:
Multiagent Patrol Generalized to Complex Environmental Conditions. 1090-1095 - Nicola Basilico, Nicola Gatti:
Automated Abstractions for Patrolling Security Games. 1096-1101 - Robert Cohn, Edmund H. Durfee, Satinder Singh:
Comparing Action-Query Strategies in Semi-Autonomous Agents. 1102-1107 - Jochen Eisner, Stefan Funke, Sabine Storandt:
Optimal Route Planning for Electric Vehicles in Large Networks. 1108-1113 - Daniel Damir Harabor, Alban Grastien:
Online Graph Pruning for Pathfinding On Grid Maps. 1114-1119 - Kyle Klein, Subhash Suri:
Complete Information Pursuit Evasion in Polygonal Environments. 1120-1125 - Paul Vernaza, Daniel D. Lee:
Learning Dimensional Descent for Optimal Motion Planning in High-dimensional Spaces. 1126-1132
Special Track on AI and the Web
- Yi Chang, Ruiqiang Zhang, Srihari Reddy, Yan Liu:
Detecting Multilingual and Multi-Regional Query Intent in Web Search. 1134-1139 - Weizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang:
A Whole Page Click Model to Better Interpret Search Engine Click Data. 1140-1145 - Justin Cranshaw, Jonathan Mugan, Norman M. Sadeh:
User-Controllable Learning of Location Privacy Policies With Gaussian Mixture Models. - Peng Dai, Mausam, Daniel S. Weld:
Artificial Intelligence for Artificial Artificial Intelligence. 1153-1160 - Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan:
Towards Practical ABox Abduction in Large OWL DL Ontologies. 1160-1165 - Ron Eyal, Sarit Kraus, Avi Rosenfeld:
Identifying Missing Node Information in Social Networks. 1166-1172 - Alejandro Figueroa, John Atkinson:
Maximum Entropy Context Models for Ranking Biographical Answers to Open-Domain Definition Questions. 1173-1179 - Andrew S. Gordon, Cosmin Adrian Bejan, Kenji Sagae:
Commonsense Causal Reasoning Using Millions of Personal Stories. 1180-1185 - Luheng He, Nathan Nan Liu, Qiang Yang:
Active Dual Collaborative Filtering with Both Item and Attribute Feedback. 1186-1191 - Qixia Jiang, Maosong Sun:
Fast Query Recommendation by Search. 1192-1197 - Eirini Kaldeli, Alexander Lazovik, Marco Aiello:
Continual Planning with Sensing for Web Service Composition. 1198-1203 - Shamanth Kumar, Reza Zafarani, Huan Liu:
Understanding User Migration Patterns in Social Media. 1204-1209 - Edith Law, Haoqi Zhang:
Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation. 1210-1215 - Freddy Lécué:
Personalizing Your Web Services with Constructive DL Reasoning Join. 1216-1221 - Guanfeng Liu, Yan Wang, Mehmet A. Orgun:
Trust Transitivity in Complex Social Networks. 1222-1229 - Hengjie Song, Chunyan Miao, Zhiqi Shen:
Generating True Relevance Labels in Chinese Search Engine Using Clickthrough Data. 1230-1236 - Nguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka:
Cross-Language Latent Relational Search: Mapping Knowledge across Languages. 1237-1242 - Tony Veale, Guofu Li:
Creative Introspection and Knowledge Acquisition. 1243-1248 - Shuaiqiang Wang, Byron J. Gao, Ke Wang, Hady Wirawan Lauw:
CCRank: Parallel Learning to Rank with Cooperative Coevolution. 1249-1254 - Wei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, Guohui Li:
Integrating Community Question and Answer Archives. 1255-1260 - Shanchan Wu, Tamer Elsayed, William Rand, Louiqa Raschid:
Predicting Author Blog Channels with High Value Future Posts for Monitoring. 1261-1266 - Guandong Xu, Yanhui Gu, Peter Dolog, Yanchun Zhang, Masaru Kitsuregawa:
SemRec: A Semantic Enhancement Framework for Tag Based Recommendation. 1267-1272 - Lichun Yang, Shenghua Bao, Qingliang Lin, Xian Wu, Dingyi Han, Zhong Su, Yong Yu:
Analyzing and Predicting Not-Answered Questions in Community-based Question Answering Services. 1273-1278 - Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. Davison:
Temporal Dynamics of User Interests in Tagging Systems. 1279-1285 - Yasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwata, Masaaki Nagata, Yuji Matsumoto:
Transfer Learning for Multiple-Domain Sentiment Analysis - Identifying Domain Dependent/Independent Word Polarity. 1286-1291 - Xianchao Zhang, You Wang, Nan Mou, Wenxin Liang:
Propagating Both Trust and Distrust with Target Differentiation for Combating Web Spam. 1292-1297 - Tom Chao Zhou, Chin-Yew Lin, Irwin King, Michael R. Lyu, Young-In Song, Yunbo Cao:
Learning to Suggest Questions in Online Forums. 1298-1303 - Yin Zhu, Yuqiang Chen, Zhongqi Lu, Sinno Jialin Pan, Gui-Rong Xue, Yong Yu, Qiang Yang:
Heterogeneous Transfer Learning for Image Classification. 1304-1309
Special Track on Computational Sustainability and AI
- Jim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith:
Green Driver: AI in a Microcosm. 1311-1316 - Tsz-Chiu Au, Neda Shahidi, Peter Stone:
Enforcing Liveness in Autonomous Traffic Management. 1317-1322 - Mark Crowley, David Poole:
Policy Gradient Planning for Environmental Decision Making with Existing Simulators. 1323-1330 - Daniel Golovin, Andreas Krause, Beth Gardner, Sarah J. Converse, Steve Morey:
Dynamic Resource Allocation in Conservation Planning. - Rhonda Hoenigman, Elizabeth Bradley, Nichole Barger:
Water Conservation Through Facilitation on Residential Landscapes. 1337-1342 - Rebecca A. Hutchinson, Li-Ping Liu, Thomas G. Dietterich:
Incorporating Boosted Regression Trees into Ecological Latent Variable Models. 1343-1348 - J. Zico Kolter, Joseph Ferreira Jr.:
A Large-Scale Study on Predicting and Contextualizing Building Energy Usage. 1349-1356 - Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery:
The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species. 1357-1364 - Hui Li, Brian Williams:
Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing. 1365-1370 - Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown:
Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation. 1371-1376 - Marek Petrik, Shlomo Zilberstein:
Linear Dynamic Programs for Resource Management. 1377-1383 - Steven Phillips, Jane Elith:
Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution Models. 1384-1389 - John Alexander Quinn, Kevin Leyton-Brown, Ernest Mwebaze:
Modeling and Monitoring Crop Disease in Developing Countries. 1390-1395 - Prashant P. Reddy, Manuela M. Veloso:
Learned Behaviors of Multiple Autonomous Agents in Smart Grid Markets. 1396-1401 - Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr:
Efficient Energy-Optimal Routing for Electric Vehicles. 1402-1407 - Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant G. Honavar:
Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. 1408-1414 - Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah:
Discovering Life Cycle Assessment Trees from Impact Factor Databases. 1415-1420 - Thomas Voice, Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings:
Decentralised Control of Micro-Storage in the Smart Grid. 1421-1427
Special Track on Integrated Intelligence
- David Michael Barbella, Kenneth D. Forbus:
Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts. 1429-1435 - Ben Goertzel, Joel Pitt, Jared Wigmore, Nil Geisweiller, Zhenhua Cai, Ruiting Lian, Deheng Huang, Gino Yu:
Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated and Robotic Agents Using the OpenCogPrime AGI Architecture. 1436-1441 - Jonathan Yasuo Ito, Stacy Marsella:
Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and Decisions. 1442-1448 - Joseph Z. Xu, John E. Laird:
Combining Learned Discrete and Continuous Action Models. 1449-1454 - Su Yan, W. Scott Spangler, Ying Chen:
Cross Media Entity Extraction and Linkage for Chemical Documents. 1455-1460
Special Track on New Scientific and Technical Advances in Research
- Saleema Amershi, James Fogarty, Ashish Kapoor, Desney S. Tan:
Effective End-User Interaction with Machine Learning. 1529-1532 - Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik B. Sudderth:
Global Seismic Monitoring: A Bayesian Approach. 1533-1536 - Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh:
The Next Best Solution. 1537-1540 - Andrea Calì, Georg Gottlob, Andreas Pieris:
New Expressive Languages for Ontological Query Answering. 1541-1546 - Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad Shamir:
Quantity Makes Quality: Learning with Partial Views. 1547-1550 - Sampath Kameshwaran, Sameep Mehta, Vinayaka Pandit:
Design and Analysis of Value Creation Networks. 1551-1554 - Maithilee Kunda, Keith McGreggor, Ashok K. Goel:
Two Visual Strategies for Solving the Raven's Progressive Matrices Intelligence Test. 1555-1558 - Jaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song:
A POMDP-Based Optimal Control of P300-Based Brain-Computer Interfaces. 1559-1562 - Jussi Rintanen:
Planning with Specialized SAT Solvers. 1563-1566 - Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Termination and Correctness Analysis of Cyclic Control. 1567-1570 - Paolo Viappiani, Craig Boutilier:
Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff! 1571-1574 - Weng-Keen Wong, Ian Oberst, Shubhomoy Das, Travis Moore, Simone Stumpf, Kevin McIntosh, Margaret M. Burnett:
End-User Feature Labeling via Locally Weighted Logistic Regression. 1575-1578
Special Track on Physically Grounded AI
- Brian Coltin, Manuela M. Veloso:
Multi-Observation Sensor Resetting Localization with Ambiguous Landmarks. 1462-1467 - George Dimitri Konidaris, Scott Kuindersma, Roderic A. Grupen, Andrew G. Barto:
Autonomous Skill Acquisition on a Mobile Manipulator. 1468-1473 - Kevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox:
A Scalable Tree-Based Approach for Joint Object and Pose Recognition. 1474-1480 - Wenzhe Li, Tracy Anne Hammond:
Recognizing Text Through Sound Alone. 1481-1486 - Ifeoma Nwogu, Yingbo Zhou, Christopher Brown:
DISCO: Describing Images Using Scene Contexts and Objects. 1487-1493 - Simon Timothy O'Callaghan, Fabio T. Ramos:
Continuous Occupancy Mapping with Integral Kernels. 1494-1500 - Stephanie Rosenthal, Manuela M. Veloso, Anind K. Dey:
Learning Accuracy and Availability of Humans Who Help Mobile Robots. 1501-1506 - Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. Walter, Ashis Gopal Banerjee, Seth J. Teller, Nicholas Roy:
Understanding Natural Language Commands for Robotic Navigation and Mobile Manipulation. 1507-1514 - Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters:
Balancing Safety and Exploitability in Opponent Modeling. 1515-1520 - David Wilkie, Jur P. van den Berg, Ming C. Lin, Dinesh Manocha:
Self-Aware Traffic Route Planning. 1521-1527
AAAI / SIGART Doctoral Consortium
- Forrest Sheng Bao:
The AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming. - Niyati Chhaya:
Joint Inference for Extracting Text Descriptors from Triage Images of Mass Disaster Victims. - Maria Viviane de Menezes, Leliane Nunes de Barros:
Model Update for Automated Planning. - Nate Derbinsky:
Long-Term Declarative Memory for Generally Intelligent Agents. - Hoda Eldardiry:
Ensemble Classification for Relational Domains. - Benjamin M. Gordon:
Developing a Language for Spoken Programming. - Yasaman Haghpanah:
A Probabilistic Trust and Reputation Model for Supply Chain Management. - Rhonda Hoenigman:
Designing Water Efficient Residential Landscapes with Agent-Based Modeling. - Annie Priyadarshini Louis:
Predicting Text Quality for Scientific Articles. - Liam MacDermed:
Scaling Up Game Theory: Achievable Set Methods for Efficiently Solving Stochastic Games of Complete and Incomplete Information. - Nir Pochter:
Pruning Techniques in Search and Planning. - Srinath Ravindran:
Learning with Imprecise Classes, Rare Instances, and Complex Relationships. - Marc Spraragen:
Modeling the Effects of Emotion on Cognition. - Jeremy Stober:
Learning Sensor, Space and Object Geometry. - Jens Witkowski:
Incentive-Compatible Trust Mechanisms.
Student Abstracts and Posters
- Philip Bachman, Doina Precup:
Learning Compact Representations of Time-Varying Processes. 1748-1749 - Chris Colin Baillie, Peter Edwards, Edoardo Pignotti:
Assessing Quality in the Web of Linked Sensor Data. 1750-1751 - Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang:
Medical Treatment Conflict Resolving in Answer Set Programming. 1752-1753 - Elias Bareinboim, Judea Pearl:
Controlling Selection Bias in Causal Inference. 1754-1755 - Joseph Kelly Barker, Richard E. Korf:
Solving 4x5 Dots-And-Boxes. 1756-1757 - Samuel Barrett, Peter Stone:
Ad Hoc Teamwork in Variations of the Pursuit Domain. 1758-1759 - Navid Bazzazzadeh, Benedikt Brors, Roland Eils:
Reconstructing the Stochastic Evolution Diagram of Dynamic Complex Systems. 1760-1761 - Francis Bisson, Froduald Kabanza, Abder Rezak Benaskeur, Hengameh Irandoust:
Provoking Opponents to Facilitate the Recognition of their Intentions. 1762-1763 - Shayok Chakraborty, Vineeth Nallure Balasubramanian, Sethuraman Panchanathan:
Dynamic Batch Mode Active Learning via L1 Regularization. 1764-1765 - Simon Chamberland, Froduald Kabanza:
Heuristic Planning in Adversarial Dynamic Domains. 1766-1767 - Hung-Che Chen, Jyh-Da Wei:
Using Neural Networks for Evaluation in Heuristic Search Algorithm. 1768-1769 - Jessica Elan Chung, Eni Mustafaraj:
Can Collective Sentiment Expressed on Twitter Predict Political Elections? 1770-1771 - Christian Drescher, Toby Walsh:
Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. 1772-1773 - Yolanda E-Martín, María Dolores Rodríguez-Moreno, David E. Smith:
Probabilistic Plan Graph Heuristic for Probabilistic Planning. 1774-1775 - Yifan Fu, Xingquan Zhu:
Optimal Subset Selection for Active Learning. 1776-1777 - Katsuhide Fujita, Takayuki Ito, Mark Klein:
Efficient Issue-Grouping Approach for Multi-Issues Negotiation between Exaggerator Agents. 1778-1779 - Jian Gao, Minghao Yin, Junping Zhou:
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems. 1780-1781 - Katie Long Genter, Noa Agmon, Peter Stone:
Role-Based Ad Hoc Teamwork. 1782-1783 - Aman Goel, Craig A. Knoblock, Kristina Lerman:
Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation. 1784-1785 - Ting Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu:
Large Scale Diagnosis Using Associations between System Outputs and Components. 1786-1787 - Yanmei Hu, Minghao Yin, Dunbo Cai:
On the Discovery and Utility of Precedence Constraints in Temporal Planning. 1788-1789 - Ping Huang, Minghao Yin, Ke Xu:
Exact Phase Transitions and Approximate Algorithm of #CSP. 1790-1791 - Daniel Andrew Huntley, Vadim Bulitko:
Extending the Applications of Recent Real-Time Heuristic Search. 1792-1793 - I-Hong Jhuo, D. T. Lee:
Multiple-Instance Learning: Multiple Feature Selection on Instance Representation. 1794-1795 - Michael Joya:
An Event-Based Framework for Process Inference. 1796-1797 - Philip Koonce, Vasha Dutell, Jose Farrington, Vladimir Sukhoy, Alexander Stoytchev:
Toward Learning to Solve Insertion Tasks: A Developmental Approach Using Exploratory Behaviors and Proprioception. 1798-1799 - Levi Lelis, Sandra Zilles, Robert C. Holte:
Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract). 1800-1801 - Guohua Liang, Xingquan Zhu, Chengqi Zhang:
An Empirical Study of Bagging Predictors for Different Learning Algorithms. 1802-1803 - Ryan Luna, Kostas E. Bekris:
An Efficient and Complete Approach for Cooperative Path-Finding. 1804-1805 - Umut Öztok, Esra Erdem:
Generating Explanations for Complex Biomedical Queries. 1806-1807 - Bogdan Pogorelc:
An Intelligent System for Prolonging Independent Living of Elderly. 1808-1809 - Baojun Qiu, Qi He, John Yen:
Evolution of Node Behavior in Link Prediction. 1810-1811 - Crystal Redman:
Web Personalization and Cohort Information Services for Natural Resource Managers. 1812-1813 - Ethan L. Schreiber, Richard E. Korf:
Using Partitions and Superstrings for Lossless Compression of Pattern Databases. 1814-1815 - Aram Ter-Sarkisov, Stephen R. Marsland:
Convergence Properties of (μ + λ) Evolutionary Algorithms. 1816-1817 - Son Thanh To, Tran Cao Son, Enrico Pontelli:
On the Effectiveness of Belief State Representation in Contingent Planning. 1818-1819 - Nikolaos Tziortziotis, Konstantinos Blekas:
A Bayesian Reinforcement Learning framework Using Relevant Vector Machines. 1820-1821 - Jingsong Wang, Marco Valtorta:
A Framework for Integration of Logical and Probabilistic Knowledge. 1822-1823 - Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby:
Solution Quality Improvements for Massively Multi-Agent Pathfinding. 1824-1825 - Qing Wang, Liang Zhang:
Online Updating the Generalized Inverse of Centered Matrices. 1826-1827 - Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters:
Modeling Opponent Actions for Table-Tennis Playing Robot. 1828-1829 - Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. 1830-1831 - Fan Xie, Hootan Nakhost, Martin Müller:
A Local Monte Carlo Tree Search Approach in Deterministic Planning. - Xiaoxi Xu:
Discovering Latent Strategies. 1834-1835
Robotics Program
- Baris Akgün, Kaushik Subramanian, Jaeeun Shim, Andrea Lockerd Thomaz:
Learning Tasks and Skills Together From a Human Teacher. 1868-1869 - Zachary Dodds:
Can Quadrotors Succeed as an Educational Platform? 1870-1871 - Michael Ferguson, Kimberly A. Gero, Joao Salles, James Weis:
Playing Chess with a Human-Scale Mobile Manipulator. 1872-1873 - Stephan Goebel, Ruben Jubeh, Simon-Lennert Raesch:
A Robotics Environment for Software Engineering Courses. 1874-1875 - Michael Lanighan, Jerod Sikorskyj, Debra T. Burhans, Robert Selkowitz:
Lego Plays Chess: A Low-Cost, Low-Complexity Approach to Intelligent Robotics. 1876-1877 - Juan Pablo Muñoz, Arif Tuna Ozgelen, Elizabeth Sklar:
Learning from Demonstration in Spatial Exploration. 1878-1879 - Arif Tuna Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston, Diquan Moore, Samuel Sanchez, Juan Pablo Muñoz, Simon Parsons, Elizabeth Sklar:
Approaches to Multi-Robot Exploration and Localization. 1880-1881 - Kim Wheeler, Robin Knight, Collin Horvat, Daniel Packard, Casey Kuhns, Brent Wilkins, Robert Shiely:
Hekateros: A Desktop 5 Degree-of-Freedom Robot Arm for the Small-Scale Manipulation Robot Chess Challenge. 1882-1883
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-06-19 01:41 CEST 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:
