ijcai 2007 论文列表IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. |
Mining Complex Patterns across Sequences with Gap Requirements.
Semantic Smoothing of Document Models for Agglomerative Clustering.
Exploiting Image Contents in Web Search.
Automatic Decision of Piano Fingering Based on a Hidden Markov Models.
Dynamic Mixture Models for Multiple Time-Series.
Manifold-Ranking Based Topic-Focused Multi-Document Summarization.
Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community.
Face Recognition via the Overlapping Energy Histogram.
Layout Analysis of Tree-Structured Scene Frames in Comic Images.
On the Automatic Scoring of Handwritten Essays.
Estimating the Rate of Web Page Updates.
Real-Time Detection of Task Switches of Desktop Users.
Document Summarization Using Conditional Random Fields.
Combining Learning and Word Sense Disambiguation for Intelligent User Profiling.
Robust Human-Computer Interaction System Guiding a User by Providing Feedback.
A Fusion of Stacking with Dynamic Integration.
Semi-Supervised Learning of Attribute-Value Pairs from Product Descriptions.
What You Seek Is What You Get: Extraction of Class Attributes from Query Logs.
Extracting and Visualizing Trust Relationships from Online Auction Feedback Comments.
Extracting Keyphrases to Represent Relations in Social Networks from Web.
Improving Activity Discovery with Automatic Neighborhood Estimation.
Feature Mining and Neuro-Fuzzy Inference System for Steganalysis of LSB Matching Stegangoraphy in Grayscale Images.
Learning to Identify Unexpected Instances in the Test Set.
Collapsed Variational Dirichlet Process Mixture Models.
Logistic Regression Models for a Fast CBIR Method Based on Feature Selection.
Computation of Initial Modes for K-modes Clustering Algorithm Using Evidence Accumulation.
Efficient Calculation of Personalized Document Rankings.
An Analysis of the Use of Tags in a Blog Recommender System.
ItemRank: A Random-Walk Based Scoring Algorithm for Recommender Engines.
Opinion Sentence Search Engine on Open-Domain Blog.
Semi-Supervised Learning for Multi-Component Data Classification.
An Adaptive Context-Based Algorithm for Term Weighting: Application to Single-Word Question Answering.
Models of Searching and Browsing: Languages, Studies, and Application.
Locating Complex Named Entities in Web Text.
Pseudo-Aligned Multilingual Corpora.
Change of Representation for Statistical Relational Learning.
Constructing Career Histories: A Case Study in Disentangling the Threads.
Directed Graph Embedding.
An Improved Probabilistic Ant based Clustering for Distributed Databases.
Learning Semantic Descriptions of Web Information Sources.
Detect and Track Latent Factors with Online Nonnegative Matrix Factorization.
Identifying Expressions of Opinion in Context.
Trust Based Recommender System for Semantic Web.
Open Information Extraction from the Web.
Learning "Forgiving" Hash Functions: Algorithms and Large Scale Tests.
Determining Expert Profiles (With an Application to Expert Finding).
Stable Biclustering of Gene Expression Data with Nonnegative Matrix Factorizations.
Distributed Data Mining: Why Do More Than Aggregating Models.
Towards Efficient Computation of Error Bounded Solutions in POMDPs: Expected Value Approximation and Dynamic Disjunctive Beliefs.
Inferring Complex Agent Motions from Partial Trajectory Observations.
Dynamic Interactions between Goals and Beliefs.
Forward Search Value Iteration for POMDPs.
Logical Circuit Filtering.
Inside-Outside Probability Computation for Belief Propagation.
Efficient Bayesian Task-Level Transfer Learning.
AEMS: An Anytime Online Search Algorithm for Approximate Policy Refinement in Large POMDPs.
Bayesian Inverse Reinforcement Learning.
Global/Local Dynamic Models.
An Analysis of Laplacian Methods for Value Function Approximation in MDPs.
Iterated Belief Contraction from First Principles.
Hierarchical Multi-channel Hidden Semi Markov Models.
Efficiently Exploiting Symmetries in Real Time Dynamic Programming.
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.
Hierarchical Heuristic Forward Search in Stochastic Domains.
A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources.
Training Conditional Random Fields Using Virtual Evidence Boosting.
Dynamically Weighted Hidden Markov Model for Spam Deobfuscation.
Belief Update Revisited.
A Factor Graph Model for Software Bug Finding.
Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification Problem.
An Action Description Language for Iterated Belief Change.
Graph-Based Semi-Supervised Learning as a Generative Model.
Revisiting Output Coding for Sequential Supervised Learning.
WiFi-SLAM Using Gaussian Process Latent Variable Models.
The Value of Observation for Monitoring Dynamic Systems.
Belief Change Based on Global Minimisation.
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery.
A Conceptual Graph Approach for the Generation of Referring Expressions.
Representing Kriegspiel States with Metapositions.
Compiling Bayesian Networks Using Variable Elimination.
Using Linear Programming for Bayesian Exploration in Markov Decision Processes.
Efficient and Robust Independence-Based Markov Network Structure Discovery.
On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies.
Solving POMDPs Using Quadratically Constrained Linear Programs.
Edge Partitioning in External-Memory Graph Search.
Lambda Depth-First Proof Number Search and Its Application to Go.
Using Graph Algebra to Optimize Neighborhood for Isometric Mapping.
The Fringe-Saving A* Search Algorithm - A Feasibility Study.
Dynamic Weighting A* Search-Based MAP Algorithm for Bayesian Networks.
Best-First Utility-Guided Search.
Real-Time Heuristic Search with a Priority Queue.
Near-Optimal Anytime Coalition Structure Generation.
Building Structure into Local Search for SAT.
State Space Search for Risk-Averse Agents.
A Comparison of Time-Space Schemes for Graphical Models.
A Multiobjective Frontier Search Algorithm.
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.
Adaptive Genetic Algorithm with Mutation and Crossover Matrices.
Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem.
The Effect of Restarts on the Efficiency of Clause Learning.
Improving LRTA*(k).
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.
From Sampling to Model Counting.
Information-Theoretic Approaches to Branching in Search.
Web Page Clustering Using Heuristic Search in the Web Graph.
A Machine Learning Approach for Statistical Software Testing.
Computational Aspects of Analyzing Social Network Dynamics.
Christopher L. Barrett Harry B. Hunt III Madhav V. Marathe S. S. Ravi Daniel J. Rosenkrantz Richard Edwin Stearns Mayur Thakur
Symmetry Breaking in Quantified Boolean Formulae.
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.
AWA* - A Window Constrained Anytime Heuristic Search Algorithm.
Using a Mobile Robot for Cognitive Mapping.
Common Sense Based Joint Training of Human Activity Recognizers.
MESH-Based Active Monte Carlo Recognition (MESH-AMCR).
Instace-Based AMN Classification for Improved Object Recognition in 2D and 3D Laser Range Data.
Online Speed Adaptation Using Supervised Learning for High-Speed, Off-Road Autonomous Driving.
Color Learning on a Mobile Robot: Towards Full Autonomy under Changing Illumination.
Efficient Planning of Informative Paths for Multiple Robots.
Depth Estimation Using Monocular and Stereo Cues.
Loopy SAM.
Efficient Failure Detection on Mobile Robots Using Particle Filters with Gaussian Process Proposals.
Probabilistic Mobile Manipulation in Dynamic Environments, with Application to Opening Doors.
Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping.
Co-Localization from Labeled and Unlabeled Data Using Graph Laplacian.
Inferring Long-term User Properties Based on Users' Location History.
Yutaka Matsuo Naoaki Okazaki Kiyoshi Izumi Yoshiyuki Nakamura Takuichi Nishimura Kôiti Hasida Hideyuki Nakashima
A Distributed Architecture for Symbolic Data Fusion.
Topological Mapping through Distributed, Passive Sensors.
Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination.
Optimal Multi-Sensor Based Multi Target Detection by Moving Sensors to the Maximal Clique in a Covering Graph.
Fast Incremental Square Root Information Smoothing.
Structure Inference for Bayesian Multisensory Perception and Tracking.
Peripheral-Foveal Vision for Real-time Object Recognition and Tracking in Video.
Stephen Gould Joakim Arfvidsson Adrian Kaehler Benjamin Sapp Marius Messner Gary R. Bradski Paul Baumstarck Sukwon Chung Andrew Y. Ng
Voronoi Random Fields: Extracting Topological Structure of Indoor Environments via Place Labeling.
A New Approach for Stereo Matching in Autonomous Mobile Robot Applications.
Team Programming in Golog under Partial Observability.
Dealing with Perception Errors in Multi-Robot System Coordination.
Learning to Walk through Imitation.
Fast Image Alignment Using Anytime Algorithms.
Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction.
Visually Tracking Football Games Based on TV Broadcasts.
Michael Beetz Suat Gedikli Jan Bandouch Bernhard Kirchlechner Nico von Hoyningen-Huene Alexander Clifford Perzylo
Image Modeling Using Tree Structured Conditional Random Fields.
Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies.
Using Learned Policies in Heuristic-Search Planning.
Discriminative Learning of Beam-Search Heuristics for Planning.
Relational Knowledge with Predictive State Representations.
Progression of Situation Calculus Action Theories with Incomplete Information.
Planning under Risk and Knightian Uncertainty.
Domain Independent Approaches for Finding Diverse Plans.
Memory-Bounded Dynamic Programming for DEC-POMDPs.
Graph Decomposition for Efficient Multi-Robot Path Planning.
Average-Reward Decentralized Markov Decision Processes.
An Extension to Conformant Planning Using Logic Programming.
Generalizing Temporal Controllability.
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs.
A Hybridized Planner for Stochastic Domains.
Planning for Temporally Extended Goals as Propositional Satisfiability.
Handling Alternative Activities in Resource-Constrained Project Scheduling Problems.
Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems with Preferences.
Property Persistence in the Situation Calculus.
Factored Planning Using Decomposition Trees.
The Role of Macros in Tractable Planning over Causal Graphs.
Observation Reduction for Strong Plans.
Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences.
SAT Encodings of State-Space Reachability Problems in Numeric Domains.
Detecting Changes in Unlabeled Data Streams Using Martingale.
Planning via Petri Net Unfolding.
Reducing Accidental Complexity in Planning Problems.
Decidable Reasoning in a Modified Situation Calculus.
Transferring Learned Control-Knowledge between Planners.
A Decision-Theoretic Model of Assistance.
Planning with Goal Utility Dependencies.
Automatic Synthesis of New Behaviors from a Library of Available Behaviors.
Topological Value Iteration Algorithm for Markov Decision Processes.
When is Temporal Planning Really Temporal?
Towards an Integration of Golog and Planning.
Long-Distance Mutual Exclusion for Propositional Planning.
Planning for Gene Regulatory Network Intervention.
Fast Planning with Iterative Macros.
Coalitions in Action Logic.
Waiting and Relocation Strategies in Online Stochastic Vehicle Routing.
A Heuristic Search Approach to Planning with Temporally Extended Preferences.
Detecting Stochastically Scheduled Activities in Video.
Learning Question Paraphrases for QA from Encarta Logs.
Automatic Acquisition of Context-Specific Lexical Paraphrases.
Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of Syntactic Parsers.
Multi-Document Summarization by Maximizing Informative Content-Words.
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations.
One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition.
Simple Training of Dependency Parsers via Structured Boosting.
A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues.
Correlation Clustering for Crosslingual Link Detection.
Speaker-Invariant Features for Automatic Speech Recognition.
Morphological Annotation of a Large Spontaneous Speech Corpus in Japanese.
Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri.
Dances with Words.
Database-Text Alignment via Structured Multilabel Classification.
A Dual-layer CRFs Based Joint Decoding Method for Cascaded Segmentation and Labeling Tasks.
Natural Language Query Recommendation in Conversation Systems.
Subtree Mining for Question Classification Problem.
Shallow Semantics for Coreference Resolution.
Graph Connectivity Measures for Unsupervised Word Sense Disambiguation.
A Flexible Unsupervised PP-Attachment Method Using Semantic Information.
Efficient HPSG Parsing with Supertagging and CFG-Filtering.
A Predictive Approach to Help-Desk Response Generation.
Automatically Selecting Answer Templates to Respond to Customer Emails.
Cluster-Based Selection of Statistical Answering Strategies.
SegGen: A Genetic Algorithm for Linear Text Segmentation.
Learning from the Report-writing Behavior of Individuals.
Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Sense Classes.
Named Entity Translation with Web Mining and Transliteration.
Unsupervised Anomaly Detection.
Using Ontologies and the Web to Learn Lexical Semantics.
On Natural Language Processing and Plan Recognition.
Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic Analysis.
Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System.
Word Sense Disambiguation through Sememe Labeling.
A Ranking Approach to Pronoun Resolution.
Supervised Latent Semantic Indexing Using Adaptive Sprinkling.
Sutanu Chakraborti Rahman Mukras Robert Lothian Nirmalie Wiratunga Stuart N. K. Watt David J. Harper
Sequence Prediction Exploiting Similary Information.
Phonetic Models for Generating Spelling Variants.
Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions.
Towards Runtime Behavior Adaptation for Embodied Characters.
Formal Trust Model for Multiagent Systems.
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents.
Emotions as Durative Dynamic State for Action Selection.
On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem.
Control of Agent Swarms Using Generalized Centroidal Cyclic Pursuit Laws.
Formalizing Communication Protocols for Multiagent Systems.
Information-Based Agency.
Emergence of Norms through Social Learning.
Automated Design of Multistage Mechanisms.
An Efficient Protocol for Negotiation over Multiple Indivisible Resources.
Routing Mediators.
Opponent Modeling in Scrabble.
Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination.
Gossip-Based Aggregation of Trust in Decentralized Reputation Systems.
Incompleteness and Incomparability in Preference Aggregation.
DiPRA: Distributed Practical Reasoning Architecture.
MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization.
Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems.
Dynamic Verification of Trust in Distributed Open Systems.
Argumentation Based Contract Monitoring in Uncertain Domains.
Multi-Agent System that Attains Longevity via Death.
Multipotential Games.
Enhancing MAS Cooperative Search Through Coalition Partitioning.
Providing a Recommended Trading Agent to a Population: A Novel Approach.
Infeasibility Certificates and the Complexity of the Core in Coalitional Games.
A Multi-Agent Medical System for Indian Rural Infant and Child Care.
An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse Events.
Automatic Verification of Knowledge and Time with NuSMV.
RoxyBot-06: An (SAA)2 TAC Travel Agent.
Winner Determination in Sequential Majority Voting.
Vote and Aggregation in Combinatorial Domains with Structured Preferences.
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control.
A Model for Collective Strategy Diffusion in Agent Social Law Evolution.
Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility Spaces.
Augmented Experiment: Participatory Design with Multiagent Simulation.
Mechanism Design with Partial Revelation.
Collaborative Inductive Logic Programming for Path Planning.
Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks.
Truthful Risk-Managed Combinatorial Auctions.
Hybrid Elections Broaden Complexity-Theoretic Resistance to Control.
Characterizing Solution Concepts in Games Using Knowledge-Based Programs.
Complexity of Pure Equilibria in Bayesian Games.
Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids, and Auction Fees.
Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System.
Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment.
Communicating Effectively in Resource-Constrained Multi-Agent Systems.
Sharing the Road: Autonomous Vehicles Meet Human Drivers.
Learning Policies for Embodied Virtual Agents through Demonstration.
Incremental Mechanism Design.
Privacy and Artificial Agents, or, Is Google Reading My Email?
Reaching Envy-Free States in Distributed Negotiation Settings.
Iterated Weaker-than-Weak Dominance.
Coalitional Bargaining with Agent Type Uncertainty.
Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.
Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions.
Spiteful Bidding in Sealed-Bid Auctions.
A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios.
Market Based Resource Allocation with Incomplete Information.
An Axiomatic Approach to Personalized Ranking Systems.
Quantified Coalition Logic.
On the Logic of Normative Systems.
An Empirical Study of the Noise Impact on Cost-Sensitive Learning.
Learning User Clicks in Web Search.
Searching for Interacting Features.
Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning.
Managing Domain Knowledge and Multiple Models with Boosting.
A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning.
Understanding Drawings by Compositional Analogy.
A Subspace Kernel for Nonlinear Feature Extraction.
A Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting Data.
Machine Learning for On-Line Hardware Reconfiguration.
Dynamics of Temporal Difference Learning.
Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge Discovery.
First Order Decision Diagrams for Relational MDPs.
Ensembles of Partially Trained SVMs with Multiplicative Updates.
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling.
Grounding Abstractions in Predictive State Representations.
Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning.
An Experts Algorithm for Transfer Learning.
Semi-Supervised Gaussian Process Classifiers.
Reinforcement Learning of Local Shape in the Game of Go.
Parametric Kernels for Sequence Data Analysis.
Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL.
QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules.
Acquiring a Robust Case Base for the Robot Soccer Domain.
Deictic Option Schemas.
Kernel Conjugate Gradient for Fast Kernel Machines.
A Tighter Error Bound for Decision Tree Learning Using PAC Learnability.
Learning to Count by Think Aloud Imitation.
Case-based Learning from Proactive Communication.
Neighborhood MinMax Projections.
Kernel Matrix Evaluation.
Local Search for Balanced Submodular Clusterings.
Relevance Estimation and Value Calibration of Evolutionary Algorithm Parameters.
Learning from Partial Observations.
The Ins and Outs of Critiquing.
Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve.
Recursive Random Fields.
Automatic Gait Optimization with Gaussian Process Regression.
Protein Quaternary Fold Recognition Using Conditional Graphical Models.
Explanation-Based Feature Construction.
Robust Object Tracking with a Case-Base Updating Strategy.
Generalizing the Bias Term of Support Vector Machines.
Generalized Additive Bayesian Network Classifiers.
r-grams: Relational Grams.
Marginalized Multi-Instance Kernels.
Building Portable Options: Skill Transfer in Reinforcement Learning.
Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text Categorization.
Exploiting Sensorimotor Coordination for Learning to Recognize Objects.
Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning.
A Three-Stage Neural Model for Attribute Based Classification and Indexing of Fly Ashes.
Improving Anytime Point-Based Value Iteration Using Principled Point Selections.
Constructing New and Better Evaluation Measures for Machine Learning.
Analogical Learning in a Turn-Based Strategy Game.
Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern Generation.
Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree.
Maximum Margin Coresets for Active and Noise Tolerant Learning.
Continuous Time Associative Bandit Problems.
Optimistic Active-Learning Using Mutual Information.
State Similarity Based Approach for Improving Performance in RL.
Improving Embeddings by Flexible Exploitation of Side Information.
On Mining Closed Sets in Multi-Relational Data.
Incremental Construction of Structured Hidden Markov Models.
Learning Restart Strategies.
Feature Selection and Kernel Design via Linear Programming.
Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems.
Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks.
Occam's Razor Just Got Sharper.
Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model.
Learning Classifiers When the Training Data Is Not IID.
Case Base Mining for Adaptation Knowledge Acquisition.
Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data.
Utile Distinctions for Relational Reinforcement Learning.
Permanents, Transport Polytopes and Positive Definite Kernels on Histograms.
Online Learning and Exploiting Relational Models in Reinforcement Learning.
Learning and Transferring Action Schemas.
Exploiting Known Taxonomies in Learning Overlapping Concepts.
Locality Sensitive Discriminant Analysis.
Case-Based Multilabel Ranking.
Unsupervised Discretization Using Kernel Density Estimation.
Heuristic Selection of Actions in Multiagent Reinforcement Learning.
Interactive Clustering of Text Collections According to a User-Specified Criterion.
Learning by Analogy: A Classification Rule for Binary and Nominal Data.
General Game Learning Using Knowledge Transfer.
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
Updates for Nonlinear Discriminants.
Keep the Decision Tree and Estimate the Class Probabilities Using its Decision Boundary.
Epistemic Reasoning in Logic Programs.
Representations for Action Selection Learning from Real-Time Observation of Task Experts.
All Common Subsequences.
A Convengent Solution to Tensor Subspace Learning.
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation.
An Experience on Reputation Models Interoperability Based on a Functional Ontology.
Resource Constraints on Computation and Communication in the Brain.
Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets.
A General Framework for Reasoning about Inconsistency.
Model-Based Optimization of Testing through Reduction of Stimuli.
Detection of Cognitive States from fMRI Data Using Machine Learning Techniques.
Hierarchical Diagnosis of Multiple Faults.
Scalable Diagnosability Checking of Event-Driven Systems.
Qualitative Temporal Reasoning about Vague Events.
A Size-Based Qualitative Approach to the Representation of Spatial Granularity.
Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts.
OSS: A Semantic Similarity Function based on Hierarchical Ontologies.
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence.
Diagnosers and Diagnosability of Succinct Transition Systems.
Diagnosability Testing with Satisfiability Algorithms.
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone.
Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks.
Maleeha Qazi Glenn Fung Sriram Krishnan Rómer Rosales Harald Steck R. Bharat Rao Don Poldermans Dhanalakshmi Chandrasekaran
Automated Benchmark Model Generators for Model-Based Diagnostic Inference.
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning.
Probabilistic Go Theories.
Consistency Checking of Basic Cardinal Constraints over Connected Regions.
Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan Execution.
Evaluating a Decision-Theoretic Approach to Tailored Example Selection.
A Faithful Integration of Description Logics with Logic Programming.
Abstract Interpretation of Programs for Model-Based Debugging.
Modelling Well-Structured Argumentation Lines.
Towards a Computational Model of Melody Identification in Polyphonic Music.
Conservative Extensions in Expressive Description Logics.
Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition.
From Answer Set Logic Programming to Circumscription via Logic of GK.
Combining Topological and Directional Information for Spatial Reasoning.
Improving Author Coreference by Resource-Bounded Information Gathering from the Web.
Extracting Chatbot Knowledge from Online Discussion Forums.
Counting Complexity of Propositional Abduction.
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem.
A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning.
Conjunctive Query Answering for the Description Logic SHIQ.
Ranking Alternatives on the Basis of Generic Constraints and Examples - A Possibilistic Approach.
Conflict-Driven Answer Set Solving.
Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis.
A New Perspective on Stable Models.
A Logic Program Characterization of Causal Theories.
On Valued Negation Normal Form Formulas.
Operator Component Matrix Model for IMP Program Diagnosis.
Semantic Precision and Recall for Ontology Alignment Evaluation.
Fault-Model-Based Test Generation for Embedded Software.
On Reversing Actions: Algorithms and Complexity.
Complexity Results for Checking Equivalence of Stratified Logic Programs.
Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization.
Tractable Temporal Reasoning.
Modeling When Connections Are the Problem.
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination.
A Logical Framework for Modularity of Ontologies.
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis.
A Framework for Decentralized Qualitative Model-Based Diagnosis.
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks.
EQL-Lite: Effective First-Order Query Processing in Description Logics.
Contextual Default Reasoning.
Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods.
Entailment Semantics for Rules with Priorities.
Context-Driven Predictions.
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning.
Non-monotonic Temporal Logics for Goal Specification.
Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
From Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph based Representations.
A Description Logic of Change.
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism.
The Mathematical Morpho-Logical View on Reasoning about Space.
Conflict Directed Backjumping for Max-CSPs.
Fast Algorithm for Connected Row Convex Constraints.
A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks.
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.
A Dynamic Approach for MPE and Weighted MAX-SAT.
PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization.
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions.
A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints.
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.
Probabilistic Consistency Boosts MAC and SAC.
Arc Consistency during Search.
Nogood Recording from Restarts.
A Study of Residual Supports in Arc Consistency.
Symmetric Component Caching.
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs.
Distance Constraints in Constraint Satisfaction.
Techniques for Efficient Interactive Configuration of Distribution Networks.
Generalized Interval Projection: A New Technique for Consistent Domain Extension.
Conditional Constraint Satisfaction: Logical Foundations and Complexity.
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations.
Optimal Soft Arc Consistency.
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks.
A General Framework for Scheduling in a Stochastic Environment.
Query-Driven Constraint Acquisition.
Learning Implied Global Constraints.
QCSP Made Practical by Virtue of Restricted Quantification.
The Logic Behind Weighted CSP.
Learning and Multiagent Reasoning for Autonomous Agents.
Cooperating Reasoning Processes: More than Just the Sum of Their Parts.
IJCAI-07 Reviewers.
Past IJCAI Conferences.
IJCAI Organization.
IJCAI-07 Keynote and Invited Speakers.
IJCAI-07 Awards and Distinguished Papers.
IJCAI-07 Conference Organization.
Preface.