Hyderabad, India
Edited by Manuela M. Veloso
No papers match this filter.
Papers
The Logic Behind Weighted CSP
Pages 32–36
Learning Implied Global Constraints
Pages 44–48
Query-Driven Constraint Acquisition
Pages 50–54
Optimal Soft Arc Consistency
Pages 68–72
Distance Constraints in Constraint Satisfaction
Pages 106–110
Symmetric Component Caching
Pages 118–123
A Study of Residual Supports in Arc Consistency
Pages 125–129
Nogood Recording from Restarts
Pages 131–135
Arc Consistency during Search
Pages 137–141
Probabilistic Consistency Boosts MAC and SAC
Pages 143–147
A Dynamic Approach for MPE and Weighted MAX-SAT
Pages 173–178
Fast Algorithm for Connected Row Convex Constraints
Pages 192–196
Conflict Directed Backjumping for Max-CSPs
Pages 198–203
A Description Logic of Change
Pages 218–222
Non-monotonic Temporal Logics for Goal Specification
Pages 236–241
Context-Driven Predictions
Pages 250–254
Entailment Semantics for Rules with Priorities
Pages 256–260
Contextual Default Reasoning
Pages 268–272
A Logical Framework for Modularity of Ontologies
Pages 298–302
Modeling When Connections Are the Problem
Pages 310–316
Tractable Temporal Reasoning
Pages 318–322
On Reversing Actions: Algorithms and Complexity
Pages 336–340
On Valued Negation Normal Form Formulas
Pages 360–364
A Logic Program Characterization of Causal Theories
Pages 366–370
A New Perspective on Stable Models
Pages 372–378
Conflict-Driven Answer Set Solving
Pages 386–-1
Counting Complexity of Propositional Abduction
Pages 417–421
Modelling Well-Structured Argumentation Lines
Pages 465–469
Probabilistic Go Theories
Pages 501–505
Diagnosability Testing with Satisfiability Algorithms
Pages 532–536
Qualitative Temporal Reasoning about Vague Events
Pages 569–573
Hierarchical Diagnosis of Multiple Faults
Pages 581–585
A General Framework for Reasoning about Inconsistency
Pages 599–503
A Convengent Solution to Tensor Subspace Learning
Pages 629–633
All Common Subsequences
Pages 635–639
Epistemic Reasoning in Logic Programs
Pages 647–652
Updates for Nonlinear Discriminants
Pages 660–664
General Game Learning Using Knowledge Transfer
Pages 672–676
Case-Based Multilabel Ranking
Pages 702–706
Locality Sensitive Discriminant Analysis
Pages 714–718
Learning and Transferring Action Schemas
Pages 720–724
Case Base Mining for Adaptation Knowledge Acquisition
Pages 750–754
Learning Classifiers When the Training Data Is Not IID
Pages 756–760
Occam's Razor Just Got Sharper
Pages 768–772
Learning Restart Strategies
Pages 792–796
On Mining Closed Sets in Multi-Relational Data
Pages 804–808
Optimistic Active-Learning Using Mutual Information
Pages 823–828
Continuous Time Associative Bandit Problems
Pages 830–834
Analogical Learning in a Turn-Based Strategy Game
Pages 853–857
Marginalized Multi-Instance Kernels
Pages 901–905
r-grams: Relational Grams
Pages 907–911
Generalized Additive Bayesian Network Classifiers
Pages 913–917
Generalizing the Bias Term of Support Vector Machines
Pages 919–923
Explanation-Based Feature Construction
Pages 931–-1
Recursive Random Fields
Pages 950–954
The Ins and Outs of Critiquing
Pages 962–966
Learning from Partial Observations
Pages 968–973
Local Search for Balanced Submodular Clusterings
Pages 981–985
Kernel Matrix Evaluation
Pages 987–991
Neighborhood MinMax Projections
Pages 993–997
Case-based Learning from Proactive Communication
Pages 999–1003
Learning to Count by Think Aloud Imitation
Pages 1005–1009
Kernel Conjugate Gradient for Fast Kernel Machines
Pages 1017–1021
Deictic Option Schemas
Pages 1023–1027
Acquiring a Robust Case Base for the Robot Soccer Domain
Pages 1029–1033
Parametric Kernels for Sequence Data Analysis
Pages 1047–1051
Reinforcement Learning of Local Shape in the Game of Go
Pages 1053–1057
Semi-Supervised Gaussian Process Classifiers
Pages 1059–1063
An Experts Algorithm for Transfer Learning
Pages 1065–1069
First Order Decision Diagrams for Relational MDPs
Pages 1095–1099
Dynamics of Temporal Difference Learning
Pages 1107–1111
Machine Learning for On-Line Hardware Reconfiguration
Pages 1113–1117
A Subspace Kernel for Nonlinear Feature Extraction
Pages 1125–1129
Understanding Drawings by Compositional Analogy
Pages 1131–1136
Managing Domain Knowledge and Multiple Models with Boosting
Pages 1144–1148
Searching for Interacting Features
Pages 1156–1160
Learning User Clicks in Web Search
Pages 1162–1166
On the Logic of Normative Systems
Pages 1175–1179
Quantified Coalition Logic
Pages 1181–1185
An Axiomatic Approach to Personalized Ranking Systems
Pages 1187–1191
Market Based Resource Allocation with Incomplete Information
Pages 1193–1197
Spiteful Bidding in Sealed-Bid Auctions
Pages 1207–1213
Coalitional Bargaining with Agent Type Uncertainty
Pages 1227–1231
Iterated Weaker-than-Weak Dominance
Pages 1233–1237
Reaching Envy-Free States in Distributed Negotiation Settings
Pages 1239–1243
Privacy and Artificial Agents, or, Is Google Reading My Email?
Pages 1245–1249
Incremental Mechanism Design
Pages 1251–1255
Sharing the Road: Autonomous Vehicles Meet Human Drivers
Pages 1263–1267
Complexity of Pure Equilibria in Bayesian Games
Pages 1294–1298
Truthful Risk-Managed Combinatorial Auctions
Pages 1315–1319
Collaborative Inductive Logic Programming for Path Planning
Pages 1327–1331
Mechanism Design with Partial Revelation
Pages 1333–1339
Winner Determination in Sequential Majority Voting
Pages 1372–1376
RoxyBot-06: An (SAA)2 TAC Travel Agent
Pages 1378–1382
Automatic Verification of Knowledge and Time with NuSMV
Pages 1384–1388
Multipotential Games
Pages 1422–1426
Multi-Agent System that Attains Longevity via Death
Pages 1428–1432
Dynamic Verification of Trust in Distributed Open Systems
Pages 1440–1444
DiPRA: Distributed Practical Reasoning Architecture
Pages 1458–1462
Incompleteness and Incomparability in Preference Aggregation
Pages 1464–1468
Opponent Modeling in Scrabble
Pages 1482–1486
Routing Mediators
Pages 1488–1492
Automated Design of Multistage Mechanisms
Pages 1500–1505
Emergence of Norms through Social Learning
Pages 1507–1511
Information-Based Agency
Pages 1513–1517
Formalizing Communication Protocols for Multiagent Systems
Pages 1519–1523
Formal Trust Model for Multiagent Systems
Pages 1551–1555
Towards Runtime Behavior Adaptation for Embodied Characters
Pages 1557–1561
Phonetic Models for Generating Spelling Variants
Pages 1570–1574
Sequence Prediction Exploiting Similary Information
Pages 1576–1580
Supervised Latent Semantic Indexing Using Adaptive Sprinkling
Pages 1582–1586
A Ranking Approach to Pronoun Resolution
Pages 1588–1592
Word Sense Disambiguation through Sememe Labeling
Pages 1594–1598
On Natural Language Processing and Plan Recognition
Pages 1612–1616
Using Ontologies and the Web to Learn Lexical Semantics
Pages 1618–1622
Unsupervised Anomaly Detection
Pages 1624–1627
Named Entity Translation with Web Mining and Transliteration
Pages 1629–1633
Learning from the Report-writing Behavior of Individuals
Pages 1641–1645
SegGen: A Genetic Algorithm for Linear Text Segmentation
Pages 1647–1651
Cluster-Based Selection of Statistical Answering Strategies
Pages 1653–1657
A Predictive Approach to Help-Desk Response Generation
Pages 1665–1669
Efficient HPSG Parsing with Supertagging and CFG-Filtering
Pages 1671–1675
Shallow Semantics for Coreference Resolution
Pages 1689–1693
Subtree Mining for Question Classification Problem
Pages 1695–1699
Natural Language Query Recommendation in Conversation Systems
Pages 1701–1705
Dances with Words
Pages 1719–1723
Speaker-Invariant Features for Automatic Speech Recognition
Pages 1738–1742
Correlation Clustering for Crosslingual Link Detection
Pages 1744–1748
Simple Training of Dependency Parsers via Structured Boosting
Pages 1756–1761
Automatic Acquisition of Context-Specific Lexical Paraphrases
Pages 1789–1793
Learning Question Paraphrases for QA from Encarta Logs
Pages 1795–1800
Detecting Stochastically Scheduled Activities in Video
Pages 1802–1806
Coalitions in Action Logic
Pages 1822–1826
Fast Planning with Iterative Macros
Pages 1828–1832
Planning for Gene Regulatory Network Intervention
Pages 1834–1838
Long-Distance Mutual Exclusion for Propositional Planning
Pages 1840–1844
Towards an Integration of Golog and Planning
Pages 1846–1850
When is Temporal Planning Really Temporal?
Pages 1852–1858
Planning with Goal Utility Dependencies
Pages 1872–1877
A Decision-Theoretic Model of Assistance
Pages 1879–1883
Transferring Learned Control-Knowledge between Planners
Pages 1885–1889
Decidable Reasoning in a Modified Situation Calculus
Pages 1891–1896
Reducing Accidental Complexity in Planning Problems
Pages 1898–1902
Planning via Petri Net Unfolding
Pages 1904–1910
Detecting Changes in Unlabeled Data Streams Using Martingale
Pages 1912–1916
Observation Reduction for Strong Plans
Pages 1930–1934
The Role of Macros in Tractable Planning over Causal Graphs
Pages 1936–1940
Factored Planning Using Decomposition Trees
Pages 1942–1946
Property Persistence in the Situation Calculus
Pages 1948–1952
A Hybridized Planner for Stochastic Domains
Pages 1972–1977
Generalizing Temporal Controllability
Pages 1985–1989
An Extension to Conformant Planning Using Logic Programming
Pages 1991–1995
Average-Reward Decentralized Markov Decision Processes
Pages 1997–2001
Graph Decomposition for Efficient Multi-Robot Path Planning
Pages 2003–2007
Memory-Bounded Dynamic Programming for DEC-POMDPs
Pages 2009–2014
Domain Independent Approaches for Finding Diverse Plans
Pages 2016–2021
Planning under Risk and Knightian Uncertainty
Pages 2023–2027
Relational Knowledge with Predictive State Representations
Pages 2035–2039
Discriminative Learning of Beam-Search Heuristics for Planning
Pages 2041–2045
Using Learned Policies in Heuristic-Search Planning
Pages 2047–2052
Image Modeling Using Tree Structured Conditional Random Fields
Pages 2060–2064
Visually Tracking Football Games Based on TV Broadcasts
Pages 2066–2070
Fast Image Alignment Using Anytime Algorithms
Pages 2078–2082
Learning to Walk through Imitation
Pages 2084–2089
Team Programming in Golog under Partial Observability
Pages 2097–2101
Fast Incremental Square Root Information Smoothing
Pages 2129–2133
Topological Mapping through Distributed, Passive Sensors
Pages 2147–2151
A Distributed Architecture for Symbolic Data Fusion
Pages 2153–2157
Depth Estimation Using Monocular and Stereo Cues
Pages 2197–2202
Efficient Planning of Informative Paths for Multiple Robots
Pages 2204–2210
MESH-Based Active Monte Carlo Recognition (MESH-AMCR)
Pages 2231–2235
Using a Mobile Robot for Cognitive Mapping
Pages 2243–2248
AWA* - A Window Constrained Anytime Heuristic Search Algorithm
Pages 2250–2254
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability
Pages 2256–2260
Symmetry Breaking in Quantified Boolean Formulae
Pages 2262–2266
Computational Aspects of Analyzing Social Network Dynamics
Pages 2268–2272
A Machine Learning Approach for Statistical Software Testing
Pages 2274–2278
Web Page Clustering Using Heuristic Search in the Web Graph
Pages 2280–2284
Information-Theoretic Approaches to Branching in Search
Pages 2286–2291
From Sampling to Model Counting
Pages 2293–2298
Improving LRTA*(k)
Pages 2312–2316
The Effect of Restarts on the Efficiency of Clause Learning
Pages 2318–2322
A Multiobjective Frontier Search Algorithm
Pages 2340–2344
A Comparison of Time-Space Schemes for Graphical Models
Pages 2346–2351
State Space Search for Risk-Averse Agents
Pages 2353–2357
Building Structure into Local Search for SAT
Pages 2359–2363
Near-Optimal Anytime Coalition Structure Generation
Pages 2365–2370
Real-Time Heuristic Search with a Priority Queue
Pages 2372–2376
Best-First Utility-Guided Search
Pages 2378–2383
The Fringe-Saving A* Search Algorithm - A Feasibility Study
Pages 2391–2396
Edge Partitioning in External-Memory Graph Search
Pages 2410–2416
Solving POMDPs Using Quadratically Constrained Linear Programs
Pages 2418–2423
Compiling Bayesian Networks Using Variable Elimination
Pages 2443–2448
Representing Kriegspiel States with Metapositions
Pages 2450–2454
Belief Change Based on Global Minimisation
Pages 2468–2472
The Value of Observation for Monitoring Dynamic Systems
Pages 2474–2478
WiFi-SLAM Using Gaussian Process Latent Variable Models
Pages 2480–2484
Revisiting Output Coding for Sequential Supervised Learning
Pages 2486–2490
Graph-Based Semi-Supervised Learning as a Generative Model
Pages 2492–2496
An Action Description Language for Iterated Belief Change
Pages 2498–2502
A Factor Graph Model for Software Bug Finding
Pages 2510–2515
Belief Update Revisited
Pages 2517–2521
Hierarchical Heuristic Forward Search in Stochastic Domains
Pages 2542–2548
Hierarchical Multi-channel Hidden Semi Markov Models
Pages 2562–2566
Iterated Belief Contraction from First Principles
Pages 2568–2572
Global/Local Dynamic Models
Pages 2580–2584
Bayesian Inverse Reinforcement Learning
Pages 2586–2590
Efficient Bayesian Task-Level Transfer Learning
Pages 2599–2603
Inside-Outside Probability Computation for Belief Propagation
Pages 2605–2609
Logical Circuit Filtering
Pages 2611–2617
Forward Search Value Iteration for POMDPs
Pages 2619–2623
Dynamic Interactions between Goals and Beliefs
Pages 2625–2629
Distributed Data Mining: Why Do More Than Aggregating Models
Pages 2645–2649
Open Information Extraction from the Web
Pages 2670–2675
Trust Based Recommender System for Semantic Web
Pages 2677–2681
Identifying Expressions of Opinion in Context
Pages 2683–2687
Learning Semantic Descriptions of Web Information Sources
Pages 2695–2699
Directed Graph Embedding
Pages 2707–2711
Change of Representation for Statistical Relational Learning
Pages 2719–2725
Pseudo-Aligned Multilingual Corpora
Pages 2727–2731
Locating Complex Named Entities in Web Text
Pages 2733–2738
Opinion Sentence Search Engine on Open-Domain Blog
Pages 2760–2764
An Analysis of the Use of Tags in a Blog Recommender System
Pages 2772–2776
Efficient Calculation of Personalized Document Rankings
Pages 2778–2782
Collapsed Variational Dirichlet Process Mixture Models
Pages 2796–2800
Learning to Identify Unexpected Instances in the Test Set
Pages 2802–2806
A Fusion of Stacking with Dynamic Integration
Pages 2844–2848
Document Summarization Using Conditional Random Fields
Pages 2862–2866
Real-Time Detection of Task Switches of Desktop Users
Pages 2868–2872
Estimating the Rate of Web Page Updates
Pages 2874–2878
On the Automatic Scoring of Handwritten Essays
Pages 2880–2883
Face Recognition via the Overlapping Energy Histogram
Pages 2891–2895
Dynamic Mixture Models for Multiple Time-Series
Pages 2909–2913
Exploiting Image Contents in Web Search
Pages 2922–2926
Mining Complex Patterns across Sequences with Gap Requirements
Pages 2934–2940
Front matter, copyright and publication details
Front matter
- Preface / vi
- IJCAI-07 Conference Organization / vii
- IJCAI-07 Awards and Distinguished Papers / xii
- IJCAI-07 Keynote and Invited Speakers / xiii
- IJCAI Organization / xv
- Past IJCAI Conferences / xvii
- IJCAI-07 Reviewers / xviii
- Abstract Interpretation of Programs for Model-Based Debugging
- Grounding Abstractions in Predictive State Representations
- Index / 2942
