23.txt

This complete matlab for neural network

发信人: mining (May_flowers), 信区: DataMining
标  题: 第十八届国际人工智能联合会议收录论文
发信站: 南京大学小百合站 (Wed Jun 25 20:42:37 2003)

 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 Lea
rning
75   The Power of Suggestion
92   Minimal Change and Maximal Coherence for Epistemic Logic Program Update
s
94   Understanding the Power of Clause Learning
100   Evaluating Significance of Inconsistencies
107   On the Equivalence between Answer Sets and Models of Completion for Ne
sted Logic Programs
111   The Characterization of Strategy/False-name Proof Combinatorial Auctio
n Protocols: Price-oriented, Rationing-free Protocol
114   Ordering Default Theories
118   Terminological cycles in a description logic with existential restrict
ions
119   Reasoning about Distances
120   Least common subsumers and most specific concepts in a description log
ic 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 Proble
ms
175   Skewing: An Efficient Alternative to Lookahead for Decision Tree Induc
tion
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 Program
s 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 tempora
l 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: complexi
ty 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 Ob
servability
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 Crite
rion
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 Sy
stems
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 Tre
atments of Knowledge & Belief
446   Hidden Uncertainty in the Logical Representation of Desires
452   Does a New Simple Gaussian Weighting Approach Perform Well in Text Cat
egorization?
463   Distributed Patient Scheduling in Hospitals
466   A Learning-Based Jam Session System that Imitates a Player's Personali
ty 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-S
tructured Systems
499   A Weighted Polynomial Information Gain Kernel for resolving PP attachm
ent Ambiguities with Support Vector Machines
501   Formal Verification of Diagnosability via Symbolic Model Checking
504   Automatic Video Interpretation: A Novel Algorithm for Temporal Scenari
o Recognition
505   Non-Binary Constraints and Optimal Dual-Graph Representations
510   GRAEL: an agent-based evolutionary computing approach for natural gram
mar 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 For
mation
526   Qualitatively Faithful Quantitative Prediction
529   Intelligent Multimedia Indexing and Retrieval through Multi-source Inf
ormation Extraction and Merging
530   Complexity Results about Nash Equilibria
532   AUC: a Statistically Consistent and more Discriminating Measure than A
ccuracy
534   Propagate the Right Thing: How Preferences Can Speed-Up Constraint Sol
ving
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 throu
gh epistemic actions
554   Query rewriting and answering under constraints in data integration sy
stems
564   Constitutive Rules for Agent Communication Languages
567   A semantic framework to multimedia document adaptation
569   A Parametric Hierarchical Planner for Experimenting Abstraction Techni
ques
571   Hierarchical Semantic Classification: Word Sense Disambiguation with W
orld Knowledge
573   Aggregate Functions in Disjunctive Logic Programming: Semantics,Comple
xity,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 o
f 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 Expe
cted Utility
596   Great Expectations. Part II: Generalized Expected Utility as a Univers
al 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 epistemi
c 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 M
obile Robots
682   A Tractability Result for Reasoning with Incomplete First-Order Knowle
dge 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 Miscla
ssified Data
734   Constructing Diverse Classifier Ensembles using Artificial Training Ex
amples
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 M
obile 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 Recogni
tion
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 Sche
duling 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 in
duction
831   Consistent, Convergent, and Constant-Time SLAM
833   DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Pr
edetermined Landmarks
840   Compiling Control Knowledge into Preconditions for Planning in the Sit
uation Calculus
843   Causes and Explanations Revisited
844   Data Clustering: Principal Components, Hopfield and Self-Aggregation N
etworks
847   Hierarchical Hidden Markov Models for Information Extraction
850   Comparing Best-First Search and Dynamic Programming for Optimal Multip
le Sequence Alignment
854   Nonlinear dimensionality reduction by kernel eigenmaps
858   Approximating Optimal Policies for Agents with Limited Execution Resou
rces
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 Simultaneou
s Localization and Mapping that Provably Converges
913   Logical Filtering
915   Reasoning about Knowledge, Time and Concurrency in the Situation Calcu
lus
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-Marko
v 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 F
ull Feedback
952   Variable Resolution Particle Filter
955   Local Effect Games
960   Non-Invasive Brain-Actuated Control of a Mobile Robot
 

--
※ 来源:．南京大学小百合站 bbs.nju.edu.cn．[FROM: 202.118.237.6]