Beijing, China · 3–9 August 2013
Edited by Francesca Rossi
No papers match this filter.
Papers
Computational Disaster Management
Pages 12–18
Reasoning about Normative Update
Pages 20–25
Undecidability in Epistemic Planning
Pages 27–32
Externalities in Cake Cutting
Pages 55–60
Bargaining for Revenue Shares on Tree Trading Networks
Pages 129–134
Audience-Based Uncertainty in Abstract Argument Games
Pages 143–148
Revenue Maximization via Hiding Item Attributes
Pages 157–162
Opponent Modelling in Persuasion Dialogues
Pages 164–169
Sequential Equilibrium in Computational Games
Pages 171–175
Macau: A Basis for Evaluating Reputation Systems
Pages 191–196
How to Change a Group's Collective Decision?
Pages 198–204
Defender (Mis)coordination in Security Games
Pages 220–225
Agent Failures in All-Pay Auctions
Pages 241–246
Efficient Learning in Linearly Solvable MDP Models
Pages 248–252
Game-Theoretic Question Selection for Tests
Pages 254–261
Multi-Winner Social Choice with Incomplete Preferences
Pages 263–269
Multi-Agent Team Formation: Diversity Beats Strength?
Pages 279–284
Control Complexity of Schulze Voting
Pages 286–291
Efficient Vote Elicitation under Candidate Uncertainty
Pages 309–315
A Proof-Theoretical View of Collective Rationality
Pages 317–322
Coalitional Games via Network Flows
Pages 324–330
Endogenous Boolean Games
Pages 390–395
Just-In-Time Compilation of Knowledge Bases
Pages 447–452
Breakout Local Search for the Vertex Separator Problem
Pages 461–466
Detecting and Exploiting Subproblem Tractability
Pages 468–473
Constraint Acquisition via Partial Queries
Pages 475–480
On the Complexity of Trick-Taking Card Games
Pages 482–487
Breaking Symmetries in Graph Representation
Pages 510–515
An Approach to Abductive Reasoning in Equational Logic
Pages 531–536
Extending Simple Tabular Reduction with Short Supports
Pages 573–578
Extending Simple Tabular Reduction with Short Supports
Pages 573–578
Monte Carlo *-Minimax Search
Pages 580–585
Double-Wheel Graphs Are Graceful
Pages 587–592
Target-Value Search Revisited
Pages 601–606
On Computing Minimal Correction Subsets
Pages 615–621
Three Generalizations of the FOCUS Constraint
Pages 630–635
Subset Selection of Search Heuristics
Pages 637–642
Semiring-Based Mini-Bucket Partitioning Schemes
Pages 644–649
Forward Perimeter Search with Controlled Use of Memory
Pages 659–664
Minimizing Writes in Parallel External Memory Search
Pages 666–672
Toward Rational Deployment of Multiple Heuristics in A
Pages 674–679
Verifiable Equilibria in Boolean Games
Pages 689–694
Exchanging OWL 2 QL Knowledge Bases
Pages 703–709
Automating Quantified Conditional Logics in HOL
Pages 746–752
Tractable Queries for Lightweight Description Logics
Pages 768–773
The Markov Assumption: Formalization and Impact
Pages 782–787
Positive Subsumption in Fuzzy EL with General t-Norms
Pages 789–794
Abstract Dialectical Frameworks Revisited
Pages 803–808
Automated Reasoning to Infer all Minimal Keys
Pages 817–822
Computing Datalog Rewritings Beyond Horn Ontologies
Pages 832–837
Bounded Epistemic Situation Calculus Theories
Pages 846–852
Data Repair of Inconsistent DL-Programs
Pages 869–875
A Strongly-Local Contextual Logic
Pages 919–924
Iterated Boolean Games
Pages 932–937
Implicit Learning of Common Sense for Reasoning
Pages 939–945
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
Pages 962–967
Action Language BC: Preliminary Report
Pages 983–988
An Epistemic Halpern-Shoham Logic
Pages 1010–1015
Preference-Based Query Answering in Datalog+/- Ontologies
Pages 1017–1022
Computing Stable Models for Nonmonotonic Existential Rules
Pages 1031–1037
Backdoors to Abduction
Pages 1046–1051
Behavioral Diagnosis of LTL Specifications at Operator Level
Pages 1053–1058
Learning from Polyhedral Sets
Pages 1069–1074
Combining RCC5 Relations with Betweenness Information
Pages 1083–1088
Interpolative Reasoning with Default Rules
Pages 1090–1095
On Condensing a Sequence of Updates in Answer-Set Programming
Pages 1097–1102
Nominal Schema Absorption
Pages 1104–1109
Granular Description of Qualitative Change
Pages 1111–1116
Compact Rewritings for Existential Rules
Pages 1125–1130
An Alternative Axiomatization of DEL and Its Applications
Pages 1139–1145
Multi-Agent Subset Space Logic
Pages 1155–1160
Forgetting for Answer Set Programs Revisited
Pages 1162–1167
Most Specific Generalizations w.r.t. General EL-TBoxes
Pages 1191–1196
Definability of Horn Revision from Horn Contraction
Pages 1205–1211
An Ensemble of Bayesian Networks for Multilabel Classification
Pages 1220–1224
Exact Top-k Feature Selection via l2, 0-Norm Constraint
Pages 1240–1245
Robust Tensor Clustering with Non-Greedy Maximization
Pages 1254–1258
Dimensionality Reduction with Generalized Linear Models
Pages 1267–1271
Generalized Relational Topic Models with Data Augmentation
Pages 1273–1278
Domain Adaptation with Topical Correspondence Learning
Pages 1280–1285
Bootstrap Learning via Modular Concept Discovery
Pages 1302–1308
Towards Robust Co-Clustering
Pages 1317–1321
Optimizing Cepstral Features for Audio Classification
Pages 1330–1335
Active Learning for Level Set Estimation
Pages 1344–1349
MiningZinc: A Modeling Language for Constraint-Based Mining
Pages 1365–1371
Co-Regularized Ensemble for Feature Selection
Pages 1380–1385
Improving Traffic Prediction with Tweet Semantics
Pages 1387–1392
Efficient Kernel Learning from Side Information Using ADMM
Pages 1408–1413
Active Learning Based on Local Representation
Pages 1415–1420
Online Hashing
Pages 1422–1427
Discovering Different Types of Topics: Factored Topic Models
Pages 1429–1435
A Bayesian Factorised Covariance Model for Image Analysis
Pages 1465–1470
Active Learning with Multi-Label SVM Classification
Pages 1479–1484
Large-Scale Spectral Clustering on Graphs
Pages 1486–1491
Learning Discriminative Representations from RGB-D Video Data
Pages 1493–1499
An Empirical Investigation of Ceteris Paribus Learnability
Pages 1537–1542
Active Learning from Relative Queries
Pages 1614–1619
Robust Unsupervised Feature Selection
Pages 1621–1626
Machine-Learning-Based Circuit Synthesis
Pages 1635–1640
Multi-Dimensional Causal Discovery
Pages 1649–1654
Better Generalization with Forecasts
Pages 1656–1661
Guarantees of Augmented Trace Norm Models in Tensor Recovery
Pages 1670–1675
Unlearning from Demonstration
Pages 1699–1704
Multi-View Maximum Entropy Discrimination
Pages 1706–1711
Non-Negative Multiple Matrix Factorization
Pages 1713–1719
Linear Bayesian Reinforcement Learning
Pages 1721–1727
Multi Class Learning with Individual Sparsity
Pages 1729–1734
Coupled Attribute Analysis on Numerical Data
Pages 1736–1741
Manifold Alignment Preserving Global Geometry
Pages 1743–1748
Large Scale Online Kernel Classification
Pages 1750–1755
Online Group Feature Selection
Pages 1757–1762
Nonconvex Relaxation Approaches to Robust Matrix Recovery
Pages 1764–1769
A KNN Based Kalman Filter Gaussian Process Regression
Pages 1771–1776
Bayesian Optimization in High Dimensions via Random Embeddings
Pages 1778–1783
Euler Clustering
Pages 1792–1797
A Theoretic Framework of K-Means-Based Consensus Clustering
Pages 1799–1804
Multi-Modal Distance Metric Learning
Pages 1806–1811
A Probabilistic Approach to Latent Cluster Analysis
Pages 1813–1818
Harmonious Hashing
Pages 1820–1825
Multi-View Discriminant Transfer Learning
Pages 1848–1853
Smart Hashing Update for Fast Response
Pages 1855–1860
Multi-Instance Multi-Label Learning with Weak Label
Pages 1862–1867
Protein Function Prediction by Integrating Multiple Kernels
Pages 1869–1874
Bilevel Visual Words Coding for Image Classification
Pages 1883–1887
Semi-Supervised Learning with Manifold Fitted Graphs
Pages 1896–1901
Online Community Detection for Large Complex Networks
Pages 1903–1908
Multi-View Embedding Learning for Incompletely Labeled Data
Pages 1910–1915
Learning High-Order Task Relationships in Multi-Task Learning
Pages 1917–1922
Lazy Paired Hyper-Parameter Tuning
Pages 1924–1930
Adaptive Error-Correcting Output Codes
Pages 1932–1937
Accurate Probability Calibration for Multiple Classifiers
Pages 1939–1944
Automated Grading of DFA Constructions
Pages 1976–1981
Personalized Diagnosis for Over-Constrained Problems
Pages 1990–1995
TutorialPlan: Automated Tutorial Generation from CAD Drawings
Pages 2020–2026
Predicting Human Strategic Decisions Using Facial Expressions
Pages 2035–2040
Mining for Analogous Tuples from an Entity-Relation Graph
Pages 2064–2069
Leveraging Multi-Domain Prior Knowledge in Topic Models
Pages 2071–2076
Smoothing for Bracketing Induction
Pages 2085–2090
Crowdsourcing-Assisted Query Structure Interpretation
Pages 2092–2097
End-to-End Coreference Resolution for Clinical Narratives
Pages 2106–2111
Active Learning for Cross-domain Sentiment Classification
Pages 2127–2132
Combine Constituent and Dependency Parsing via Reranking
Pages 2155–2160
Fast Linearization of Tree Kernels over Large-Scale Data
Pages 2162–2167
Answer Extraction from Passage Graph for Question Answering
Pages 2169–2174
A Text Scanning Mechanism Simulating Human Reading Process
Pages 2190–2195
Cross Lingual Entity Linking with Bilingual Topic Model
Pages 2218–2223
Revisiting Regression in Planning
Pages 2254–2259
Lifelong Learning for Acquiring the Wisdom of the Crowd
Pages 2313–2319
Pareto-Based Multiobjective AI Planning
Pages 2321–2326
Fault-Tolerant Planning under Uncertainty
Pages 2350–2355
Computing Upper Bounds on Lengths of Transition Sequences
Pages 2365–2371
Plan Quality Optimisation via Block Decomposition
Pages 2387–2392
Symbolic Merge-and-Shrink for Cost-Optimal Planning
Pages 2394–2399
Problem Splitting Using Heuristic Search in Landmark Orderings
Pages 2401–2406
Run-Time Improvement of Point-Based POMDP Policies
Pages 2408–2413
Flexibility and Decoupling in the Simple Temporal Problem
Pages 2422–2427
Robust Optimization for Hybrid MDPs with State-Dependent Noise
Pages 2437–2442
Action-Model Acquisition from Noisy Plan Traces
Pages 2444–2449
Refining Incomplete Planning Domain Models Through Plan Traces
Pages 2451–2457
Handling Open Knowledge for Service Robots
Pages 2459–2464
Rolling Dispersion for Robot Teams
Pages 2473–2478
Towards Active Event Recognition
Pages 2495–2500
Learning Visual Symbols for Parsing Human Poses in Images
Pages 2510–2516
A Consensual Linear Opinion Pool
Pages 2518–2523
An Exact Algorithm for Computing the Same-Decision Probability
Pages 2525–2530
Inference for a New Probabilistic Constraint Logic
Pages 2540–2545
Map Matching with Inverse Reinforcement Learning
Pages 2547–2552
Sample Complexity of Risk-Averse Bandit-Arm Selection
Pages 2576–2581
A Generalization of SAT and #SAT for Robust Policy Evaluation
Pages 2583–2589
Link Label Prediction in Signed Social Networks
Pages 2591–2596
Multi-View K-Means Clustering on Big Data
Pages 2598–2603
A Novel Bayesian Similarity Measure for Recommender Systems
Pages 2619–2624
Social Spammer Detection in Microblogging
Pages 2633–2638
Social Trust Prediction Using Rank-k Matrix Recovery
Pages 2647–2652
Context-Dependent Conceptualization
Pages 2654–2660
Predicting Knowledge in an Ontology Stream
Pages 2662–2668
Synthesizing Union Tables from the Web
Pages 2677–2682
Recommendation Using Textual Opinions
Pages 2684–2689
Promoting Diversity in Recommendation by Entropy Regularizer
Pages 2698–2703
Exploiting Local and Global Social Context for Recommendation
Pages 2712–2717
Online Egocentric Models for Citation Networks
Pages 2726–2731
PageRank with Priors: An Influence Propagation Perspective
Pages 2740–2745
Social Collaborative Filtering by Trust
Pages 2747–2752
Social Influence Locality for Modeling Retweeting Behaviors
Pages 2761–2766
Short-Term Wind Power Forecasting Using Gaussian Processes
Pages 2790–2795
Optimal Pricing for Improving Efficiency of Taxi Systems
Pages 2811–2817
Tag-Weighted Topic Model for Mining Semi-Structured Documents
Pages 2855–2860
An Active Learning Approach to Home Heating in the Smart Grid
Pages 2892–2898
Parameter Learning for Latent Network Diffusion
Pages 2923–2929
Adaptive Management of Migratory Birds Under Sea Level Rise
Pages 2955–2956
Twitter-Based User Modeling for News Recommendations
Pages 2962–2965
Language-Based Games
Pages 2967–2970
The Complexity of One-Agent Refinement Modal Logic
Pages 2977–2980
An Introduction to String Re-Writing Kernel
Pages 2982–2985
Bayesian Probabilities for Constraint-Based Causal Discovery
Pages 2992–2995
Case Adaptation with Qualitative Algebras
Pages 3002–3005
Improving the Effectiveness of Time-Based Display Advertising
Pages 3007–3010
Preference-Based CBR: General Ideas and Basic Principles
Pages 3012–3015
Collaborative Filtering on Ordinal User Feedback
Pages 3022–3025
Discovering Alignments in Ontologies of Linked Data
Pages 3032–3035
CLiMF: Collaborative Less-Is-More Filtering
Pages 3077–3080
Exact Recovery of Sparse-Used Dictionaries
Pages 3087–3089
Using Strategic Logics to Reason about Agent Programs
Pages 3101–3104
Improving Combinatorial Optimization - Extended Abstract
Pages 3116–3119
Cultural Diversity for Virtual Characters (Extended Abstract)
Pages 3121–3124
Learning Probabilistic Models for Mobile Manipulation Robots
Pages 3131–3134
Communicating Open Systems: Extended Abstract
Pages 3146–3149
Decision-Theoretic Approximations for Machine Learning
Pages 3201–3201
Capabilities in Heterogeneous Multi Robot Systems
Pages 3207–3207
Negotiation Algorithms for Large Agreement Spaces
Pages 3209–3209
High-Level Program Execution in Multi-agent Settings
Pages 3213–3213
Strategic Interactions Among Agents with Bounded Rationality
Pages 3219–3219
Problem Transformations and Algorithm Selection for CSPs
Pages 3221–3221
Rolling Dispersion and Exploration for Robot Teams
Pages 3223–3223
Towards the Design of Robust Trust and Reputation Systems
Pages 3225–3225
Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search
Pages 3227–3227
Concept Generation in Language Evolution
Pages 3229–3229
Dynamic of Argumentation Frameworks
Pages 3233–3233
Approximation Algorithms for Max-Sum-Product Problems
Pages 3235–3235
Semi-Supervised Structuring of Complex Data
Pages 3239–3239
Ontology Based Query Answering with Existential Rules
Pages 3245–3245
Behavior Composition Optimization
Pages 3247–3247
Front matter, copyright and publication details
Francesca Rossi, University of Padova
Sponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)
Published by
AAAI Press / International Joint Conferences on Artificial Intelligence
Menlo Park, California
Copyright © 2013 International Joint Conferences on Artificial Intelligence
All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.
IJCAI Secretary-Treasurer: Prof. Dr. Bernhard Nebel, Computer Science Department, Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee, Geb. 052 D-79110 Freiburg, Germany
IJCAI Executive Secretary Ms. Vesna Sabljakovic-Fritz, Vienna University of Technology, Institute of Discrete Mathematics and Geometry, E104 Wiedner Hauptstr. 8-10, A-1040 Vienna, Austria
Copublished and Distributed by AAAI Press, 2275 East Bayshore Road, Suite 160, Palo Alto CA 94303 USA
ISBN 978-1-57735-633-2 (four-volume set)
Front matter
- Preface / xxvii
- Conference Organization / xxviii
- Program Committee / xxix
- Organizers and Sponsors / xxxviii
- Awards and Distinguished Papers / xxxix
- IJCAI Organization / xl
- Past IJCAI Conferences / xli
- Computational Perspectives on Social Phenomena at Global Scales
- Soft Robotics: The Next Generation of Intelligent Machines
- Constraints, Satisfiability, and Search
- Knowledge Representation, Reasoning, and Logic
- Machine Learning
- Multidisciplinary Topics and Applications
- Natural Language Processing
- Planning and Scheduling
- Robotics and Vision
- Uncertainty in AI
- Web and Knowledge-Based Information Systems
- Special Track on Artificial Intelligence and Computational Sustainability
- Sister Conferences Track
- Journal Track
- Doctoral Consortium
- Index
