IJCAI-03 Accepted Technical Papers (Full)

7   A Logic for Causal Reasoning
34   Belief, Awareness, and Two-Dimensional Logic
35   SVMC: Single-Class Classification With Support Vector Machines
49   On the Undecidability of Description and Dynamic Logics with Recursion and Counting
60   Coherent Keyphrase Extraction via Web Mining
61   Learning Minesweeper: A Testbed for General Purpose Multirelational Learning
75   The Power of Suggestion
92   Minimal Change and Maximal Coherence for Epistemic Logic Program Updates
94   Understanding the Power of Clause Learning
100   Evaluating Significance of Inconsistencies
107   On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs
111   The Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol
114   Ordering Default Theories
118   Terminological cycles in a description logic with existential restrictions
119   Reasoning about Distances
120   Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles
121   A Maximal Tractable Class of Soft Constraints
126   A New Look at the Semantics and Optimization Methods of CP-Networks
128   Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality
136   A General Model for Online Probabilistic Plan Recognition
142   Qualitative Decision under Uncertainty: Back to Expected Utility
146   Getting Serious about the Development of Computational Humor
163   Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference
168   Weak Conditional Logics of Normality
169   Logic Programs for Consistently Querying Data Integration Systems
170   Describing Additive Fluents in Action Language C+
174   Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems
175   Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction
178   Learning Value Predictors for the Speculative Execution of Information Gathering Plans
182   Body Movement Analysis of Human-Robot Interaction
192   Dynamics of Coalition Formation in Combinatorial Trading
198   A Dynamic Model for Occlusion Adaptive Joint Tracking
202   When Evolving Populations Is Better than Co-Evolving Individuals: The Blind Mice Problem
206   Recycling Computed Answers in Rewrite Systems for Abduction
214   Scenario-based Stochastic Constraint Programming
224   Detecting & Avoiding Interference Between Goals in Intelligent Agents
227   On Tight Logic Programs and Yet Another Translation from Logic Programs to Propositional Logic
229   In Defense of PDDL Axioms
240   Resource Temporal Networks: Definition and Complexity
241   On the application of least-commitment and heuristic search in temporal planning
244   Decidability of SHIQ with Complex Role Inclusion Axioms
246   Keys, Nominals, and Concrete Domains
254   The Concurrent, Continuous FLUX
268   Multi-prototype Support Vector Machines
271   Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
272   A Learning Algorithm for Web Page Scoring Systems
273   Multiset Ordering Constraints
274   Layered Mereotopology
286   Answer Set Optimization
292   GHOST: experimenting conflicts countermeasures in the pilot's activity
295   Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
310   A fast and simple algorithm for bounds consistency of the alldifferent constraint
318   On the Foundations of Expected Expected Utility
322   In the quest of the best form of local consistency for weighted CSP
330   Spaces of Theories with Ideal Refinement Operators
348   Incremental Utility Elicitation with the Minimax Regret Decision Criterion
349   A Bayesian Approach to Imitation in Reinforcement Learning
359   Tractable Pareto Optimization of Temporal Preferences
366   Integrating Multiple Internet Directories by Instance-based Learning
409   Optimal Time-Space Tradeoff in Probabilistic Inference
412   Evaluating Coverage for Large Symbolic NLG Grammars
421   Consistency and Set Intersection
426   On the Revision of Probabilistic Beliefs using Uncertain Evidence
432   Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems
433   Incremental Tractable Reasoning about Qualitative Temporal Constraints
437   Causal Theories of Action: A Computational Core
445   From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge & Belief
446   Hidden Uncertainty in the Logical Representation of Desires
452   Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization?
463   Distributed Patient Scheduling in Hospitals
466   A Learning-Based Jam Session System that Imitates a Player's Personality Model
468   Integrity and Change in Modular Ontologies
478   Efficient Symmetry Breaking for Boolean Satisfiability
485   Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
491   Solving constraint optimization problems in anytime contexts
493   Amalgams of Constraint Satisfaction Problems
498   Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems
499   A Weighted Polynomial Information Gain Kernel for resolving PP attachment Ambiguities with Support Vector Machines
501   Formal Verification of Diagnosability via Symbolic Model Checking
504   Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition
505   Non-Binary Constraints and Optimal Dual-Graph Representations
510   GRAEL: an agent-based evolutionary computing approach for natural grammar development
513   When Discriminative Learning of Bayesian Network Parameters Is Easy
514   Outlier Detection Using Default Logic
515   Protocol Conformance for Logic Based Agents
520   An Integrated Multilevel Learning Approach to Multiagent Coalition Formation
526   Qualitatively Faithful Quantitative Prediction
529   Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging
530   Complexity Results about Nash Equilibria
532   AUC: a Statistically Consistent and more Discriminating Measure than Accuracy
534   Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving
546   Inductive Learning in Less Than One Sequential Scan
552   Minimally intrusive negotiating agents for resource sharing
553   Quantifying information and contradiction in propositional logic through epistemic actions
554   Query rewriting and answering under constraints in data integration systems
564   Constitutive Rules for Agent Communication Languages
567   A semantic framework to multimedia document adaptation
569   A Parametric Hierarchical Planner for Experimenting Abstraction Techniques
571   Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge
573   Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV
574   Generalizing GraphPlan by Formulating Planning as a CSP
575   Tractable Symmetry Breaking for CSPs with Interchangeable Values
582   On a generalization of triangulated graphs for domains decomposition of CSPs
583   Responsibility and Blame: A Structural-Model Approach
589   Categorizing classes of signals by means of fuzzy gradual rules
592   Great Expectations. Part I: On the Customizability of Generalized Expected Utility
596   Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
610   On the Design of Social Diagnosis Algorithms for Multi-Agent Teams
620   Tucking RCC in Cyc's Ontological Bed
632   First-order probabilistic inference
633   A Theory of Average-Case Compilability in Knowledge Representation
634   Inverse Circumscription
644   Phase Transitions of Bounded Satisfiability Problems
649   On Identifying and Managing Relationships in Multi-Agent Systems
651   Abductive Matchmaking using Description Logics
654   Web Page Cleaning for Web Mining through Feature Weighting
657   Learning to Classify Texts Using Positive and Unlabeled Data
668   Complexity of Determining Nonemptiness of the Core
671   Action representation and partially observable planning using epistemic logic
674   Compilation and Biologically Inspired Self-Assembly of Two-Dimensional Shapes
676   Probabilistically Survivable MASs
679   An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots
682   A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
684   A Structure-Based Variable Ordering Heuristic for SAT
685   Dynamic Bayesian modeling of the cerebral activity
697   Emergence of Cooperation in a Pursuit-Evasion Game
698   Backdoors To Typical Case Complexity
702   ODISET: On-line Distributed Session Tracing using Agents
705   Thin Junction Tree Filters for Simultaneous Localization and Mapping
722   Last-Branch and Speculative Pruning Algorithms for Maxn
729   Comparing Agents & Humans Using Behavior Bounding
731   Semi-Supervised Learning with an Explicit Label-Error Model for Misclassified Data
734   Constructing Diverse Classifier Ensembles using Artificial Training Examples
735   Point-based value iteration: An anytime algorithm for POMDPs
745   Monte Carlo Theory as an Explanation of Bagging and Boosting
746   What is Artificial Intelligence? Psychometric AI as an Answer
761   Definition and Complexity of Some Basic Metareasoning Problems
765   Evaluating Classifiers by Means of Test Data with Noisy Labels
771   Factored Planning
774   Automated Qualitative Domain Abstraction
775   Where is...? Learning and Exploiting Motion Patterns of Persons with Mobile Robots
776   Efficient Information Gain-based Exploration of Unknown Terrain
782   Backbone Guided Local Search for Maximum Satisfiability
786   Phase Transitions of the Asymmetric Traveling Salesman
787   An Improved Algorithm for Optimal Bin Packing
793   A Language to Describe Drawing, Display, and Editing in Sketch Recognition
795   An Ontology-based Architecture for Cooperative Information Agents
802   Improving Coevolutionary Search for Optimal Multiagent Behaviors
804   Automated Generation of Graphic Sketches by Example
808   Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems
815   Qualitative Map Learning Based on Co-visibility of Objects
825   Gaussian Process Models of Spatial Aggregation Algorithms
830   Active learning with strong and weak views: a case study on wrapper induction
831   Consistent, Convergent, and Constant-Time SLAM
833   DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks
840   Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
843   Causes and Explanations Revisited
844   Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks
847   Hierarchical Hidden Markov Models for Information Extraction
850   Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment
854   Nonlinear dimensionality reduction by kernel eigenmaps
858   Approximating Optimal Policies for Agents with Limited Execution Resources
859   Universal Voting Protocol Tweaks to Make Manipulation Hard
871   Bayesian Information Extraction Network
872   Covariant Policy Search
881   Distributed Clustering Based on Sampling Local Density Estimates
883   Dynamic Probabilistic Relational Models
888   Sparse-Memory Graph Search
899   Approximating Game-Theoretic Optimal Strategies for Full-scale Poker
906   Practical Partition-Based Theorem Proving for Large Knowledge Bases
907   FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges
913   Logical Filtering
915   Reasoning about Knowledge, Time and Concurrency in the Situation Calculus
917   Model-based Diagnosis of Hybrid Systems
920   Use of Off-line Dynamic Programming in Efficient Image Interpretation
924   Extended Gloss Overlaps as a Measure of Semantic Relatedness
925   SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes
926   Generalizing Plans to New Environments in Relational MDPs
930   A Continuation Method for Nash Equilibria in Graphical Games
931   Simultaneous Adversarial Multi-Robot Learning
932   Factored A* Search for Models over Sequences and Trees
934   Corpus-based, Statistical Goal Recognition
939   Spectral Learning
943   Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings
944   People Tracking with Anonymous and ID-Sensors
949   Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback
952   Variable Resolution Particle Filter
955   Local Effect Games
960   Non-Invasive Brain-Actuated Control of a Mobile Robot