Edinburgh, Scotland, UK
Edited by Leslie Pack Kaelbling and Alessandro Saffiotti
No papers match this filter.
Papers
Planning with Loops
Pages 509–514
Propositional Argumentation and Causal Reasoning
Pages 388–392
Measuring Semantic Similarity by Latent Relational Analysis
Pages 1136–1140
Building the Semantic Web Tower from RDF Straw
Pages 546–550
Possibilistic Stable Models
Pages 248–252
Two-Sided Bandits and the Dating Market
Pages 947–951
Reasoning with Inconsistent Ontologies
Pages 454–458
Dual Lookups in Pattern Databases
Pages 103–107
Pushing the EL Envelope
Pages 364–368
On the Axiomatic Foundations of Ranking Systems
Pages 917–921
Stacked Sequential Learning
Pages 671–675
Bounded Policy Iteration for Decentralized POMDPs
Pages 1287–1291
Learning to Play Like the Great Pianists
Pages 871–875
Efficient Distributed "Hormone" Graph Gradients
Pages 1489–1493
A Simple-Transition Model for Relational Sequences
Pages 696–700
Solving Checkers
Pages 292–296
A Logical Model of Nash Bargaining Solution
Pages 983–989
Propositional Abduction is Almost Always Hard
Pages 534–538
Learning Payoff Functions in Infinite Games
Pages 977–981
Generative Modeling with Failure in PRISM
Pages 847–851
The Backbone of the Travelling Salesperson
Pages 175–179
Applying Local Search to Disjunctive Temporal Problems
Pages 242–246
An MCMC Approach to Solving Hybrid Factored MDPs
Pages 1346–1350
Iterated Belief Change: A Transition System Approach
Pages 460–464
Limited Discrepancy Beam Search
Pages 125–130
Abstraction-based Action Ordering in Planning
Pages 1220–1224
Equivalence in Abductive Logic
Pages 472–476
Analogy Generation with HowNet
Pages 1148–1152
Counting Solutions of CSPs: A Structural Approach
Pages 260–264
Parameterized Compilability
Pages 412–416
Repairing Concavities in ROC Curves
Pages 702–706
A Live-User Evaluation of Collaborative Web Search
Pages 1419–1423
Reinforcement Learning in POMDPs Without Resets
Pages 690–694
Semi-Supervised Regression with Co-Training
Pages 908–915
A Tableaux Decision Procedure for SHOIQ
Pages 448–452
Feature Selection Based on the Shapley Value
Pages 665–669
Inverse Resolution as Belief Change
Pages 540–544
Iterated Belief Revision, Revised
Pages 478–482
Quota and Gmin Merging Operators
Pages 424–428
Collective AI: context awareness via communication
Pages 1464–1469
Three Truth Values for the SAT and MAX-SAT Problems
Pages 187–191
Aspects of Distributed and Modular Ontology Reasoning
Pages 570–574
The Inferential Complexity of Bayesian and Credal Networks
Pages 1313–1317
Automatic Semantic Role Labeling for Chinese Verbs
Pages 1160–1164
Sensitivity Analysis in Markov Networks
Pages 1300–1304
A New Approach to Multiobjective A* Search
Pages 218–222
Probabilistic Reasoning for Plan Robustness
Pages 1266–1270
DPLL with a Trace: From SAT to Knowledge Compilation
Pages 156–161
Identifiability of Path-Specific Effects
Pages 357–362
Learning with Labeled Sessions
Pages 740–744
Stepwise Nearest Neighbor Discriminant Analysis
Pages 829–833
Leaf-Value Tables for Pruning Non-Zero-Sum Games
Pages 317–322
Compiling Bayesian Networks with Local Structure
Pages 1306–1311
Stereotype Extraction with Default Clustering
Pages 883–887
Viewing Referring Expression Generation as Search
Pages 1004–1008
Real-Time Path Planning for Humanoid Robot Navigation
Pages 1232–1236
A Simple Model to Generate Hard Satisfiable Instances
Pages 337–341
Redundancy-free Island Parsing of Word Graphs
Pages 1079–1083
Minimal and Absent Information in Contexts
Pages 558–562
Strong Equivalence for Logic Programs with Preferences
Pages 430–434
Accurate and Low-cost Location Estimation Using Kernels
Pages 1366–1370
Conditional Planning in the Discrete Belief Space
Pages 1260–1264
Multi-agent Coordination using Local Search
Pages 953–957
Goal Change
Pages 582–587
Structural Symmetry Breaking
Pages 298–302
Value Ordering for Finding All Solutions
Pages 311–315
Scalability Study of Peer-to-Peer Consequence Finding
Pages 351–355
Updating Action Domain Descriptions
Pages 418–422
TimeML-Compliant Text Analysis for Temporal Reasoning
Pages 997–1002
Learning Web Page Scores by Error Back-Propagation
Pages 684–688
Maintaining Coherent Perceptual Information Using Anchoring
Pages 1477–1481
Why Minimax Works: An Alternative Explanation
Pages 212–216
A Motion Closed World Asumption
Pages 621–625
Breaking symmetries in all different problems
Pages 272–276
Going Far, Logically
Pages 615–619
Cohesion, coupling and the meta-theory of actions
Pages 442–446
Fast and Complete Symbolic Plan Recognition
Pages 653–657
A Model-Theoretic Counterpart of Loop Formulas
Pages 503–507
Semantic annotation of unstructured and ungrammatical text
Pages 1091–1097
Generalized Amazons is PSPACE-Complete
Pages 132–136
Learning Forward Models for Robots
Pages 1440–1444
Learning to Understand Web Site Update Requests
Pages 1028–1032
Learning against opponents with bounded memory
Pages 817–821
Ordering Heuristics for Description Logic Reasoning
Pages 609–613
Self Adaptive Particle Filter
Pages 1398–1405
Over-Subscription Planning with Numeric Goals
Pages 1207–1212
A Probabilistic Model of Redundancy in Information Extraction
Pages 1034–1040
InterActive Feature Selection
Pages 841–845
Building Patterned Structures with Robot Swarms
Pages 1495–1503
Mining Spatial Object Associations for Scientific Data
Pages 902–906
Learning and Inference over Constrained Output
Pages 1124–1128
Inferring Image Templates from Classification Decisions
Pages 1446–1450
Phase Transitions within Grammatical Inference
Pages 811–815
Robust Ontology Acquisition from Machine-Readable Dictionaries
Pages 1111–1115
Continuous Time Particle Filtering
Pages 1360–1364
Planning with Continuous Resources in Stochastic Domains
Pages 1244–1250
Learning Partially Observable Deterministic Action Models
Pages 1433–1438
Temporal Context Representation and Reasoning
Pages 1099–1103
Word Sense Disambiguation with Distribution Estimation
Pages 1010–1014
BLOG: Probabilistic Models with Unknown Objects
Pages 1352–1358
Lifted First-Order Probabilistic Inference
Pages 1319–1324
Concurrent Hierarchical Reinforcement Learning
Pages 779–784
AND/OR Branch-and-Bound for Graphical Models
Pages 224–228
Efficient Stochastic Local Search for MPE Solving
Pages 169–173
The COMPSET Algorithm for Subset Selection
Pages 728–732
2D Shape Classification and Retrieval
Pages 1483–1487
Learning Coordination Classifiers
Pages 714–720
Shallow Semantics for Relation Extraction
Pages 1061–1065
Learning Subjective Representations for Planning
Pages 889–893
Robust Planning with (L)RTDP
Pages 1214–1218
AND/OR Cutset Conditioning
Pages 230–234
Topic and Role Discovery in Social Networks
Pages 786–790
Temporal-Difference Networks with History
Pages 865–869
Relational Object Maps for Mobile Robots
Pages 1471–1475
First-Order Logical Filtering
Pages 589–594
The Rules of Constraint Modelling
Pages 109–115
The Necessity of Syntactic Parsing for Semantic Role Labeling
Pages 1117–1122
Algebraic Markov Decision Processes
Pages 1372–1376
The Altricial-Precocial Spectrum for Robots
Pages 1187–1193
What kind of graphical model is the brain?
Pages 1765–-1
SVM-based Obstacles Recognition for Road Vehicle Applications
Pages 1740–1740
Open-World Planning for Story Generation
Pages 1719–1719
A Modal Logic for Reasoning about Possibilistic Belief Fusion
Pages 1756–1756
An Architecture for Proof Planning Systems
Pages 1558–1558
Growth of Motor Coordination in Early Robot Learning
Pages 1732–1732
A Universal Measure of Intelligence for Artificial Agents
Pages 1509–1509
Maintaining Arc Consistency using Adaptive Domain Ordering
Pages 1527–1527
Explaining preferences with argument positions
Pages 1560–1560
Capturing and Reusing Case-Based Context for Image Retrieval
Pages 1574–1575
Correspondence-guided Synchronous Parsing of Parallel Corpora
Pages 1694–1694
A Covering Problem for Hypercubes
Pages 1523–1523
Motivated Agents
Pages 1505–1505
Approximating Pseudo-Boolean Functions on Non-Uniform Domains
Pages 1754–1754
CSP Search with Responsibility Sets and Kernels
Pages 1533–1533
A Non-monotonic Logic for Specifying and Querying Preferences
Pages 1549–1549
The Evolution of Artificial Social Systems
Pages 1655–1555
Towards More Intelligent Mobile Search
Pages 1675–1675
Question Classification by Structure Induction
Pages 1638–1638
Computationally Grounded Model of BDI-Agents
Pages 1581–1581
fMRI Analysis via One-class Machine Learning Techniques
Pages 1604–1604
Learning Complex Event Descriptions by Abstraction
Pages 1600–1600
An Heuristic Search based Approach for Moving Objects Tracking
Pages 1736–1736
Automation Intelligence for the Smart Environment
Pages 1513–1513
A Probabilistic Lexical Approach to Textual Entailment
Pages 1682–1682
The Ontology Revision
Pages 1583–1583
Learning Global Models Based on Distributed Data Abstractions
Pages 1645–1645
Measuring the Cost of Robotic Communication
Pages 1734–1734
Explaining Search Results
Pages 1553–1554
A Study of Selection Noise in Collaborative Web Search
Pages 1595–1596
Incorporating a folding rule into inductive logic programming
Pages 1630–1630
Kernels on Prolog Ground Terms
Pages 1626–1626
Reflection Patterns for Interactive Knowledge Capture
Pages 1566–1566
Scaling up WA* with Commitment and Diversity
Pages 1521–1521
Development of new techniques to improve Web search
Pages 1632–1632
Appropriate Microplanning Choices for Low-Skilled Readers
Pages 1704–1704
Multi-Agent Assumption-Based Planning
Pages 1717–1717
Minimizing a Makespan Under Uncertainty
Pages 1519–1519
Corrective Explanation for Interactive Constraint Satisfaction
Pages 1531–1531
Image Retrieval and Disambiguation for Encyclopedic Web Search
Pages 1598–1598
Predicate-Oriented Isomorphism Elimination in Model Finding
Pages 1525–1515
Evaluating an NLG System using Post-Editing
Pages 1700–1700
Online Support System for Mediator Education
Pages 1702–1702
Using Neutral Examples for Learning Polarity
Pages 1616–1616
Incremental Diagnosis of Discrete-Event Systems
Pages 1564–1664
Discovering Inconsistency through Examination Dialogues
Pages 1680–1680
Hypertree-decomposition via Branch-decomposition
Pages 1535–1535
Using core beliefs for point-based value iteration
Pages 1751–1752
Planning with graded fluents and actions
Pages 1711–1711
It’s About Time
Pages 1511–1511
Collective Object Identification
Pages 1636–1636
Relational Learning for Email Task Management
Pages 1610–1611
Abduction with Hypotheses Confirmation
Pages 1545–1545
Improving Tree Decomposition Methods With Function Filtering
Pages 1537–1537
Using AI and simulations to design and control space habitats
Pages 1507–1507
Mixed-Initiative Activity Planning for Mars Rovers
Pages 1709–1709
Sentence Extraction for Legal Text Summarisation
Pages 1686–1686
Compact Propositional Encodings of First-Order Theories
Pages 1579–1579
Streamlining Local Search for Spatially Balanced Latin Squares
Pages 1539–1539
Conditional Visuomotor Learning and Viability Theory
Pages 1602–1602
Language Learning in Multi-Agent Systems
Pages 1649–1649
Model minimization by linear PSR
Pages 1749–1749
Automatic Hypertext Keyphrase Detection
Pages 1608–1608
3-D Interpretation of Single Line Drawings
Pages 1738–1738
Fast convergence to satisfying distributions
Pages 1657–1657
Learning discontinuities for switching between local models
Pages 1744–1744
Heuristics for Hard ASP Programs
Pages 1562–1562
Supervised Local Tangent Space Alignment for Classification
Pages 1620–1620
Transfer in Learning by Doing
Pages 1618–1618
Disjunctive Temporal Planning with Uncertainty
Pages 1721–1721
Coalitional Games in Open Anonymous Environments
Pages 1668–1668
A Framework for Communication Planning on Mobile Devices
Pages 1661–1661
Active Cost-Sensitive Learning
Pages 1622–1612
An Inference Model for Semantic Entailment in Natural Language
Pages 1678–1678
