Pages that link to "The National Conference on Artificial Intelligence"
From Tetherless World Wiki
(List of links)
> The National Conference on Artificial IntelligenceThe following pages link to The National Conference on Artificial Intelligence:
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)- AAAI (redirect page) (← links)
- A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (← links)
- HTN Planning: Complexity and Expressivity (← links)
- Massively Parallel Support for Computationally Effective Recognition Queries (← links)
- The General Motors Variation-Reduction Adviser: Deployment Issues for an AI Application (← links)
- Semantic Portal Wiki/Forms (← links)
- AAAI 2008 (← links)
- Scalable Semantic Retrieval through Summarization and Refinement (← links)
- The Automatic Acquisition of Proof Methods (← links)
- Some Philosophical Problems with Formal Learning Theory (← links)
- Low-cost Outdoor Robot Platform for the Penn State Abington Mini Grand Challenge (← links)
- Classification of Noun Phrases into Concepts or Individuals (← links)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages (← links)
- Integrating Description Logics and Action Formalisms: First Results (← links)
- Building Semantic Mappings from Databases to Ontologies (← links)
- Robust Operative Diagnosis as Problem Solving in a Hypothesis Space (← links)
- Old Resolution Meets Modern SLS (← links)
- Generalization Heuristics for Theorems Related to Recursively Defined Functions (← links)
- Partial Compilation of Strategic Knowledge (← links)
- Using an Annotated Language Corpus as a Virtual Stochastic Grammar (← links)
- Toward a Learning of Object Models Using Analogical Objects and Verbal Instruction (← links)
- MedEthEx: A Prototype Medical Ethics Advisor (← links)
- Qualitatively Describing Objects Using Spatial Prepositions (← links)
- A Platform to Evaluate the Technology for Service Discovery in the Semantic Web (← links)
- Plan Abstraction Based on Operator Generalization (← links)
- An Analysis of Error Recovery and Sensory Integration for Dynamic Planners (← links)
- A Model of Two-Player Evaluation Functions (← links)
- Flexible Decision-Making in Sequential Auctions (← links)
- Quantifying Incentive Compatibility of Ranking Systems (← links)
- Case-Based Introspection (← links)
- QuOnto: Querying Ontologies (← links)
- Editorial Comprehension in OpEd through Argument Units (← links)
- On the Optimality of Probability Estimation by Random Decision Trees (← links)
- Looking for the AI in Software Engineering: An Applications Perspective (← links)
- Hiding Satisfying Assignments: Two Are Better than One (← links)
- Extracting Viewpoints from Knowledge Bases (← links)
- The KOJAK Group Finder: Connecting the Dots via Integrated Knowledge-Based and Statistical Reasoning (← links)
- Integrating Planning, Execution and Monitoring (← links)
- Building Applications Using End to End Composition of Web Services (← links)
- Automating the Underwriting of Insurance Applications (← links)
- Team Member Reallocation via Tree Pruning (← links)
- QUICR-Learning for Multi-Agent Coordination (← links)
- Constraint Limited Generalization: Acquiring Procedures From Examples (← links)
- Pengi: An Implementation of a Theory of Activity (← links)
- Semantic Tagging at the Sense Level (← links)
- Cultural Support for Improvisation (← links)
- Proving Theorems of Type Theory Automatically with TPS (← links)
- Keeping in Touch: Maintaining Biconnected Structure by Homogeneous Robots (← links)
- Biconnected Structure for Multi-Robot Systems (← links)
- Interference Detection and Collision Avoidance Among Three Dimensional Objects (← links)
- Clustering by Exceptions (← links)
- Automatic Generation of Semantic Attachments in FOL (← links)
- Fuzzy Induction in Dynamic User Profiling for Information Filtering (← links)
- A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF (← links)
- Representation of Control Knowledge in Expert Systems (← links)
- The Impact of Balancing on Problem Hardness in a Highly Structured Domain (← links)
- Panel: Directions for Expert Systems (← links)
- The Achilles' Heel of QBF (← links)
- Modeling Choices in Quasigroup Completion: SAT vs. CSP (← links)
- GKR: A Generic Model of Knowledge Representation (← links)
- Unclear Distinctions Lead to Unnecessary Shortcomings: Examining the Rule versus Fact, Role versus Filler, and Type versus Predicate Distinctions from a Connectionist Representation and Reasoning Perspective (← links)
- Soundness and Completeness of a Logic Programming Approach to Default Logic (← links)
- Explaining Qualitative Decision under Uncertainty by Argumentation (← links)
- Rule Learning by Searching on Adapted Nets (← links)
- SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition (← links)
- Analyses of Instance-Based Learning Algorithms (← links)
- A Planner for Reasoning about Knowledge and Action (← links)
- CPM: Context-Aware Power Management in WLANs (← links)
- Planning Natural-Language Utterances (← links)
- Model-Checking Memory Requirements of Resource-Bounded Reasoners (← links)
- Using Qualitative Reasoning to Understand Financial Arithmetic (← links)
- Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains (← links)
- Learning Problem Classes by Means of Experimentation and Generalization (← links)
- An Instructional Environment for Practicing Argumentation Skills (← links)
- Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots (← links)
- Knowledge Level Engineering Ontological Analysis (← links)
- Machine Learning and Its Application at Nooksack Falls Hydroelectric Station (← links)
- Automatic Construction of User-Interface Displays (← links)
- The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring (← links)
- YAPS: A Production Rule System Meets Objects (← links)
- ARGOT: The Rochester Dialogue System (← links)
- Helicopter Routing for Maintaining Remote Sites in Alaska using a Genetic Algorithm (← links)
- Recent Developments in Butterfly& 153; Lisp (← links)
- An Approach to the Representation of Iterative Situations (← links)
- Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic (← links)
- Learning with Many Irrelevant Features (← links)
- Autonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo Method (← links)
- Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence under Perspective Projection (← links)
- An Adaptive Planner (← links)
- Real-Time Self-Explanatory Simulation (← links)
- Generating Dialectical Examples Automatically (← links)
- Compare and Contrast: A Test of Expertise (← links)
- AI Support for Building Cognitive Models (← links)
- Waiting on Weighting: A Symbolic Least Commitment Approach (← links)
- Tool Use for Autonomous Agents (← links)
- Determining Surface Type From Surface Normals (← links)
- A Correspondence Metric for Imitation (← links)
- Knowledge Refinement in a Reflective Architecture (← links)
- Design and Implementation of the CALO Query Manager (← links)
- Plan Recognition for Airborne Tactical Decision Making (← links)
- Overview of an Approach to Representation Design (← links)
- Maintaining Cooperation in Noisy Environments (← links)
- Mechanism Design for Single-Value Domains (← links)
- The AI Technologies of the Philadelphia Area Urban Wireless Network Testbed (← links)
- Intelligent Systems Demonstration: The Secure Wireless Agent Testbed (SWAT) (← links)
- Impersonation-Based Mechanisms (← links)
- An Overview of PhiNIX (← links)
- Solving DisCSPs with Penalty Driven Search (← links)
- Default Reasoning From Statistics (← links)
- Semi-Supervised Clustering with Limited Background Knowledge (← links)
- Question-based Acquisition of Conceptual Indices for Multimedia Design Documentation (← links)
- Using Induction to Refine Information Retrieval Strategies (← links)
- Forming Beliefs about a Changing World (← links)
- From Statistics to Beliefs (← links)
- On Optimal Game Tree Propagation for Imperfect Players (← links)
- The Expected Value of Hierarchical Problem-Solving (← links)
- Constraining a Deterministic Parser (← links)
- A Relational Representation of Modification (← links)
- Human Movement Understanding: A Variety of Perspectives (← links)
- An Interactive Constraint-Based Approach to Minesweeper (← links)
- Explanation-Based Indexing of Cases (← links)
- Tactic-Based Motion Modeling and Multi-Sensor Tracking (← links)
- A Value Theory of Meta-Learning Algorithms (← links)
- Leveraging Language into Learning (← links)
- Robust Supervised Learning (← links)
- Classifying Learner Engagement through Integration of Multiple Data Sources (← links)
- Planning with First-Order Temporally Extended Goals using Heuristic Search (← links)
- Automated Inspection Using Gray-Scale Statistics (← links)
- Spatial Aggregation for Qualitative Assessment of Scientific Computations (← links)
- A Stochastic Approach to Stereo Vision (← links)
- A Viewpoint Distinction in the Representation of Propositional Attitudes (← links)
- Combining Opinions About the Order of Rule Execution (← links)
- Reactive Planning in a Motivated Behavioral Architecture (← links)
- A Case-Based Reasoning System for Subjective Assessment (← links)
- The Hazards of Fancy Backtracking (← links)
- Mining Opinion Features in Customer Reviews (← links)
- Actions, Beliefs and Intentions in Rationale Clauses and Means Clauses (← links)
- Probabilistic Evaluation of Counterfactual Queries (← links)
- An Architecture for Intelligent Task Automation (← links)
- Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface (← links)
- A Search Procedure for Perfect Information Games of Chance: Its Formulation and Analysis (← links)
- Reasoning about Qualitative Temporal Information (← links)
- Task Frames in Robot Manipulation (← links)
- On the Minimality and Decomposability of Constraint Networks (← links)
- Parallel Logical Inference and Energy Minimization (← links)
- On the Inherent Level of Local Consistency in Constraint Networks (← links)
- Modular Learning in Neural Networks (← links)
- Regression Based Causal Induction with Latent Variable Models (← links)
- The Keystone Scavenger Team (← links)
- Boosting Sex Identification Performance (← links)
- On Predicting User Intent (← links)
- AI and Software Engineering: Will the Twain Ever Meet? (← links)
- Mixed-Initiative Approach to Collaboration in the Mathematical Domain (← links)
- Specification-Based Computing Environments (← links)
- A Logic of Deliberation (← links)
- HEARSAY-II: A Domain-Independent Framework for Expert Systems (← links)
- Default Logic, Propositional Logic, and Constraints (← links)
- Performance Bounded Reinforcement Learning in Strategic Interactions (← links)
- Efficient No-Regret Multiagent Learning (← links)
- On Computing Minimal Models (← links)
- Run-Time Prediction for Production Systems (← links)
- The Challenge of Real-Time Process Control for Production Systems (← links)
- Abstract Branching for Quantified Formulas (← links)
- Rule Based Updates on Simple Knowledge Bases (← links)
- Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains (← links)
- Hybrid Possibilistic Networks (← links)
- Reasoning about Intended Actions (← links)
- Algorithms for Rationalizability and CURB Sets (← links)
- A Production System for Learning Plans From an Expert (← links)
- Goal Specification, Non-Determinism and Quantifying over Policies (← links)
- Regrets Only! Online Stochastic Optimization under Time Constraints (← links)
- Reasoning about Change in Knowledgeable Office Systems (← links)
- SCAT: An Automatic-Programming Tool for Telecommunications Software (← links)
- Opinion Extraction and Summarization on the Web (← links)
- Multi-Agent System Development: Design, Runtime, and Analysis (← links)
- Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs (← links)
- Task-Decomposition via Plan Parsing (← links)
- Manufacturing Processes Recognition of Machined Mechanical Parts using SVMs (← links)
- The Sensitivity of Motion and Structure Computations (← links)
- A Connectionist Parser with Recursive Sentence Structure and Lexical Disambiguation (← links)
- Noise-Tolerant Range Analysis for Autonomous Navigation (← links)
- Proving the Correctness of Digital Hardware Designs (← links)
- Agent-Based Modeling with Social Networks for Terrorist Recruitment (← links)
- Leap Before You Look: An Effective Strategy in an Oversubscribed Scheduling Problem (← links)
- Interpreting Line Drawings as Three-Dimensional Surfaces (← links)
- Abstraction in Bayesian Belief Networks and Automatic Discovery from Past Inference Sessions (← links)
- On the Adequateness of the Connection Method (← links)
- Minimal Belief and Negation as Failure: A Feasible Approach (← links)
- Perspective Taking: An Organizing Principle for Learning in Human-Robot Interaction (← links)
- Student Modelling with Confluences (← links)
- Making Judgments (← links)
- The QBKG System: Generating Explanations From a Non-Discrete Knowledge Representation (← links)
- Exploiting a Domain Model in an Expert Spectral Analysis Program (← links)
- Continuous Speech Recognition Using Modified Stack Decoding Algorithm (← links)
- Subassembly Stability (← links)
- Combining Symbolic Learning Techniques and Statistical Regression Analysis (← links)
- An Algorithm Better than AO*? (← links)
- Practical First-Order Argumentation (← links)
- Approximate Reasoning Systems: A Personal Perspective (← links)
- A Theorem-Prover for a Decidable Subset of Default Logic (← links)
- A Logic for Hypothetical Reasoning (← links)
- A Context-Based Framework for Default Logics (← links)
- Arc-Consistency in Dynamic Constraint Satisfaction Problems (← links)
- Personal Construct Theory and the Transfer of Human Expertise (← links)
- Incremental Inference: Getting Multiple Agents to Agree on What to Do Next (← links)
- Arc-Consistency and Arc-Consistency Again (← links)
- Understanding Causal Descriptions of Physical Systems (← links)
- Acquiring Constraint Networks Using a SAT-based Version Space Algorithm (← links)
- CSP Properties for Quantified Constraints: Definitions and Complexity (← links)
- The Complexity of Global Constraints (← links)
- Performance Evaluation Methods for the Trading Agent Competition (← links)
- Locating Partially Visible Objects: The Local Feature Focus Method (← links)
- Self-Emergence of Structures in Gene Expression Programming (← links)
- Weighted One-Against-All (← links)
- Multiple Inheritance in Smalltalk-BO (← links)
- An Iterative Algorithm for Solving Constrained Decentralized Markov Decision Processes (← links)
- Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical Assessment (← links)
- Regularity and Structure (← links)
- On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming (← links)
- Adaptive Search by Explanation-Based Learning of Heuristic Censors (← links)
- Underwater Experiments Using a Reactive System for Autonomous Vehicles (← links)
- Making Best Use of Available Memory When Searching Game Trees (← links)
- Lazy Approximation for Solving Continuous Finite-Horizon MDPs (← links)
- On Combining Multiple Classifiers Using an Evidential Approach (← links)
- An Anytime Scheme for Bounding Posterior Beliefs (← links)
- Conditional Logics of Normality as Modal Systems (← links)
- A Logic for Revision and Subjunctive Queries (← links)
- DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web (← links)
- Abduction As Belief Revision: A Model of Preferred Explanations (← links)
- Learnable Similarity Functions and their Applications to Clustering and Record Linkage (← links)
- Using Abstractions for Decision-Theoretic Planning with Time Constraints (← links)
- CCLISP& 153; on the iPSC& 153; Concurrent Computer (← links)
- Revision by Conditional Beliefs (← links)
- Semantically Guiding a First-Order Theorem Prover with a Soft Model (← links)
- Dual Frames: A New Tool for Semantic Parsing (← links)
- An Implemented Model of Punning Riddles (← links)
- Eliciting Bid Taker Non-price Preferences in (Combinatorial) Auctions (← links)
- Argument Molecules: A Functional Representation of Argument Structure (← links)
- Conditional Existence of Variables in Generalised Constraint Networks (← links)
- Model-Based Diagnosis of Planning Failures (← links)
- Towards an AI Model of Argumentation (← links)
- Conflict Resolution in Fuzzy Forward-Chaining Production Systems (← links)
- A Software and Hardware Environment for Developing AI Applications on Parallel Processors (← links)
- Domain Transmutation in Constraint Satisfaction Problems (← links)
- Learning in FOL with a Similarity Measure (← links)
- A Reactive Robot System for Find and Fetch Tasks in an Outdoor Environment (← links)
- Semi-Supervised Sequence Modeling with Syntactic Topic Models (← links)
- Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints (← links)
- Lexical Imprecision in Fuzzy Constraint Networks (← links)
- A Distributed Approach to Passive Localization for Sensor Networks (← links)
- Coordination and Adaptation in Impromptu Teams (← links)
- Constraints for the Early Detection of Discontinuity from Motion (← links)
- Subjective Mapping (← links)
- A Benchmark for Cooperative Learning Agents (← links)
- Combining Stochastic and Greedy Search in Hybrid Estimation (← links)
- Reconstructing a Visible Surface (← links)
- Pyro: An Integrated Environment for Robotics Education (← links)
- Fast Hierarchical Goal Schema Recognition (← links)
- The Future of Knowledge Representation (← links)
- Competence in Knowledge Representation (← links)
- CIS: A Massively Concurrent Rule-Based System (← links)
- The Tractability of Subsumption in Frame-Based Description Languages (← links)
- KRYPTON: Integrating Terminology and Assertion (← links)
- Robust Execution on Contingent, Temporally Flexible Plans (← links)
- Some Experiments with Case-Based Search (← links)
- Shape Encoding and Subjective Contours (← links)
- Induction of Causal Relationships From a Time-Oriented Clinical Database: An Overview of the RX Project (← links)
- Searching for Stable Mechanisms: Automated Design for Imperfect Players (← links)
- Factored Planning: How, When, and When Not (← links)
- Empirical Comparisons of Some Design Replay Algorithms (← links)
- Towards Knowledge-Level Analysis of Motion Planning (← links)
- An Analysis of Procedure Learning by Instruction (← links)
- Optimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric Games (← links)
- Probabilistic Knowledge of External Events in Planning (← links)
- Knowledge Representation for Syntactic/Semantic Processing (← links)
- Anytime Problem Solving Using Dynamic Programming (← links)
- Genre Classification of Web Documents (← links)
- Disambiguation of Prepositional Phrases in Automatically Labelled Technical Text (← links)
- The Regularized EM Algorithm (← links)
- How to Cope With Anomalies in Parallel Approximate Branch-and-Bound Algorithms (← links)
- A Learning and Reasoning System for Intelligence Analysis (← links)
- Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis (← links)
- Application of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry (← links)
- Rule Refinement by Domain Experts in Complex Knowledge Bases (← links)
- On Strictly Competitive Multi-Player Games (← links)
- Rules and Precedents as Complementary Warrants (← links)
- IMEX: Overcoming Intactability In Explanation Based Learning (← links)
- MPE and Partial Inversion in Lifted Probabilistic Variable Elimination (← links)
- An Inference Model for Semantic Entailment in Natural Language (← links)
- Stochastic Local Search for POMDP Controllers (← links)
- Preference Elicitation and Generalized Additive Utility (← links)
- Plan Understanding, Narrative Comprehension, and Story Schemas (← links)
- Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover (← links)
- Reasoning about Priorities in Default Logic (← links)
- Prioritized Component Systems (← links)
- Distributed Truth Maintenance (← links)
- Effective Approaches for Partial Satisfaction (Over-Subscription) Planning (← links)
- Discovering Domain-Specific Composite Kernels (← links)
- Exploiting Algebraic Structure in Parallel State Space Search (← links)
- Some Advances in Transformation-Based Part of Speech Tagging (← links)
- Future Intelligent Information Systems: AI and Database Technologies Working Together (← links)
- Solving the Find-Path Problem by Good Representation of Free Space (← links)
- Two Results Concerning Ambiguity in Shape From Shading (← links)
- Find-Path for a PUMA-Class Robot (← links)
- Slashpack: An Integrated Tool for Gathering and Managing Hypertext Data (← links)
- Interpretive Vision and Restriction Graphs (← links)
- A Mobile Robot with Onboard Parallel Processor and Large Workspace Arm (← links)
- Compositional Instance-Based Learning (← links)
- Reasoning about Exceptions during Plan Execution Monitoring (← links)
- A Self-Modifying Theorem Prover (← links)
- A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity (← links)
- A Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning Algorithms (← links)
- Skill Acquisition and Use for a Dynamically-Balancing Soccer Robot (← links)
- Recovery Planning for Ambiguous Cases in Perceptual Anchoring (← links)
- The Robot Intelligence Kernel (← links)
- DANIEL: Integrating Case-Based and Rule-Based Reasoning in Law (← links)
- Progress in Textual Case-Based Reasoning: Predicting the Outcome of Legal Cases from Text (← links)
- Simulation-Assisted Inductive Learning (← links)
- Refining the Structure of Terminological Systems: Terminology = Schema + Views (← links)
- Compliance Viewed as Programming a Damped Spring (← links)
- Ready or Not, Here I Come ... (← links)
- Learning Hierarchical Hidden Markov Models with General State Hierarchy (← links)
- Lookahead Pathology in Real-Time Path-Finding (← links)
- Speeding Up Learning in Real-time Search via Automatic State Abstraction (← links)
- Myths and Legends in Learning Classification Rules (← links)
- Using snarpy to Connect a KR System to Pyro (← links)
- Introductory Computer Science with Robots (← links)
- Robots in an Intelligent Systems Course (← links)
- Tailoring Retrieval to Support Case-Based Teaching (← links)
- Decision-Theoretic Plan Failure Debugging and Repair (← links)
- A Model of Learning by Incremental Analogical Reasoning and Debugging (← links)
- Decidability of Contextual Reasoning (← links)
- Propositional Logic of Context (← links)
- The Qualitative Difference Resolution Rule (← links)
- Complexity Results for Serial Decomposability (← links)
- An Average Case Analysis of Planning (← links)
- Is Intractability of Non-Monotonic Reasoning a Real Drawback? (← links)
- The Complexity of Closed World Reasoning and Circumscription (← links)
- Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics (← links)
- Use of Expert Knowledge for Decision Tree Pruning (← links)
- Feature Recognition Using Correlated Information Contained in Multiple Neighborboods (← links)
- Generalized Shape Autocorrelation (← links)
- Constructive Induction on Domain Information (← links)
- DL-Lite: Tractable Description Logics for Ontologies (← links)
- An Axiomatic Account of Formal Argumentation (← links)
- Dissertation in Progress: An Empirical Analysis of the Costs and Benefits of Naturalness in Spoken Dialog Systems (← links)
- A Chess Program That Chunks (← links)
- Visual Odometry Using Commodity Optical Flow (← links)
- A Variational Approach to Edge Detection (← links)
- Learning Support Vector Machines from Distributed Data Sources (← links)
- Tracking User Goals in an Information-Seeking Environment (← links)
- Incorporating Default Inferences Into Plan Recognition (← links)
- DELTA-MIN: A Search-Control Method for Information-Gathering Problems (← links)
- Experiential Learning in Analogical Problem Solving (← links)
- Derivational Analogy and Its Role in Problem Solving (← links)
- Low-Knowledge Algorithm Control (← links)
- B-ROC Curves for the Assessment of Classifiers over Imbalanced Data Sets (← links)
- Learning to Disambiguate Relative Pronouns (← links)
- A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis (← links)
- A Cognitively Plausible Approach to Understanding Complex Syntax (← links)
- Exploring More Realistic Evaluation Measures for Collaborative Filtering (← links)
- Learning Source Descriptions for Web Services (← links)
- A Reading Agent (← links)
- Sophisticated Cooperation in FA/C Distributed Problem Solving Systems (← links)
- A New Framework for Sensor Interpretation: Planning to Resolve Sources of Uncertainty (← links)
- Focusing in Plan Recognition (← links)
- Acting Optimally in Partially Observable Stochastic Domains (← links)
- Normal Multimodal Logics (← links)
- Handling Self-Interest in Groups, with Minimal Cost (← links)
- Generating Interactive Explanations (← links)
- Loads-n-Limits and Release-n-Sequence: The "Brains" behind WEPS (← links)
- Multiple-Goal Recognition from Low-Level Signals (← links)
- Using Semantics to Identify Web Objects (← links)
- Analysis of the Internal Representations in Neural Networks for Machine Intelligence (← links)
- A New Approach to Tracking 3D Objects in 2D Image Sequences (← links)
- Scaling Up Word Sense Disambiguation via Parallel Texts (← links)
- Can We Work around Numerical Methods? An Insight (← links)
- Multimodal Cognitive Architecture: Making Perception More Central to Intelligent Behavior (← links)
- Deep Versus Compiled Knowledge Approaches to Diagnostic Problem-Solving (← links)
- Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation (← links)
- Simplifying Bayesian Belief Nets while Preserving MPE or MPGE Ordering (← links)
- Local Consistency in Junction Graphs for Constraint-Based Inference (← links)
- Abstract of the Forest Management Advisory Systems (← links)
- The Bayesian Basis of Common Sense Medical Diagnosis (← links)
- A Neat Theory of Marker Passing (← links)
- Context-Sensitive Statistics For Improved Grammatical Language Models (← links)
- A Probabilistic Model of Plan Recognition (← links)
- A New Admissible Heuristic for Minimal-Cost Proofs (← links)
- Equations for Part-of-Speech Tagging (← links)
- Probabilistic Semantics for Cost Based Abduction (← links)
- Dynamic MAP Calculations for Abduction (← links)
- Bayesian Classification (← links)
- Tenth Anniversary of the Plastics Color Formulation Tool (← links)
- Case-Based Reasoning for General Electric Appliance Customer Support (← links)
- Collapsibility and Consistency in Quantified Constraint Satisfaction (← links)
- Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions (← links)
- Evaluating Critiquing-based Recommender Agents (← links)
- The FERMI System: Inducing Iterative Macro-Operators from Experience (← links)
- Robust and Self-Repairing Formation Control for Swarms of Mobile Agents (← links)
- Generating Feasible Schedules under Complex Metric Constraints (← links)
- Constrained Decision Diagrams (← links)
- A Parallel Resolution Procedure Based on Connection Graph (← links)
- On the NP-Hardness of Blocks World (← links)
- A Computational Model of Narrative Generation for Suspense (← links)
- HCPRVR: An Interpreter for Logic Programs (← links)
- Comparing Minimax and Product in a Variety of Games (← links)
- Integrated AI in Space: The Autonomous Sciencecraft on Earth Observing One (← links)
- The Trailblazer Search: A New Method for Searching and Capturing Moving Targets (← links)
- Exploiting User Expertise in Answer Expression (← links)
- Structure Comparison and Semantic Interpretation of Differences (← links)
- An Analysis of Knowledge Collected from Volunteer Contributors (← links)
- Motion-Based Autonomous Grounding: Inferring External World Properties from Encoded Internal Sensory States Alone (← links)
- An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality (← links)
- Representing Databases in Frames (← links)
- Reinforcement Learning with Perceptual Aliasing: The Perceptual Distinctions Approach (← links)
- Sensible Planning: Focusing Perceptual Attention (← links)
- A Hierarchical Planner that Generates Its Own Hierarchies (← links)
- A Unified Theory of Heuristic Evaluation Functions and its Application to Learning (← links)
- Comparing Cognitive and Computational Models of Narrative Structure (← links)
- A Plan-Based Model for Response Generation in Collaborative Task-Oriented Dialogues (← links)
- Rough Resolution: A Refinement of Resolution to Remove Large Literals (← links)
- A Representation for Temporal Sequence and Duration in Massively Parallel Networks (← links)
- Scheduling Engineering Works for the MTR Corporation in Hong Kong (← links)
- The Max K-Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection (← links)
- The Advantages of Abstract Control Knowledge in Expert System Design (← links)
- Classification Problem Solving (← links)
- Exploiting Problem Structure in Genetic Algorithms (← links)
- QE-III: A Formal Approach to Natural Language Ouerying (← links)
- Kalos - A System for Natural Language Generation with Revision (← links)
- Explicit Passive Analysis in Electronic Catalogs (← links)
- MADbot: A Motivated and Goal Directed Robot (← links)
- Cross-Modal Clustering (← links)
- Self-Supervised Acquisition of Vowels in American English (← links)
- SodaBot: A Software Agent Environment and Construction System (← links)
- A Forward Inference Engine to Aid in Understanding Specifications (← links)
- Automatic Compilation of Logical Specifications into Efficient Programs (← links)
- Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse (← links)
- How to Draw Three People in a Botanical Garden (← links)
- Learning from Textbook Knowledge: A Case Study (← links)
- Cryptographic Limitations on Learning One-Clause Logic Programs (← links)
- Pac-Learning a Restricted Class of Recursive Logic Programs (← links)
- Recovering Software Specifications with Inductive Logic Programming (← links)
- Pac-Learning Nondeterminate Clauses (← links)
- Computing Least Common Subsumers in Description Logics (← links)
- MU: A Development Environment for Prospective Reasoning Systems (← links)
- Constraint Symmetry and Solution Symmetry (← links)
- Intention = Choice + Commitment (← links)
- Beyond ISA: Structures for Plausible Inference In Semantic Networks (← links)
- Improving the Expressiveness of Many Sorted Logic (← links)
- A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis (← links)
- Empirical Knowledge Representation Generation Using N-Gram Clustering (← links)
- CATMS: An ATMS Which Avoids Label Explosions (← links)
- Reasoning about Fluids via Molecular Collections (← links)
- Achieving the Functionality of Filter Conditions in a Partial Order Planner (← links)
- Very Fast Decision Table Execution of Propositional Expert Systems (← links)
- Computational Aspects of Mechanism Design (← links)
- Computing Slater Rankings Using Similarities among Candidates (← links)
- Improved Bounds for Computing Kemeny Rankings (← links)
- Combinatorial Auctions with Structured Item Graphs (← links)
- Computing Shapley Values, Manipulating Value Division Schemes, and Checking Core Membership in Multi-Issue Domains (← links)
- Expressive Negotiation in Settings with Externalities (← links)
- A Generalized Strategy Eliminability Criterion and Computational Methods for Applying It (← links)
- Nonexistence of Voting Rules That Are Usually Hard to Manipulate (← links)
- Combinatorial Auctions with k-wise Dependent Valuations (← links)
- Learning to Control a Dynamic Physical System (← links)
- DARES: A Distributed Automated REasoning System (← links)
- Selection and Ranking of Propositional Formulas for Large-Scale Service Directories (← links)
- Debugging User Conceptions of Interpretation Processes (← links)
- Computation of Upper-Bounds for Stochastic Context-Free Languages (← links)
- Building Explainable Artificial Intelligence Systems (← links)
- Tuning a Blackboard-Based Application: A Case Study Using GBB (← links)
- Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures (← links)
- GBB: A Generic Blackboard Development System (← links)
- Unifying Data-Directed and Goal-Directed Control: An Example and Experiments (← links)
- Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae (← links)
- Merging Argumentation Systems (← links)
- A Model of Lexical Access of Ambiguous Words (← links)
- Teaching Diagnostic Skills Using AI: An Architecture Suitable for Students and Teachers (← links)
- Common Sense Retrieval (← links)
- Experimental Results on the Crossover Point in Satisfiability Problems (← links)
- Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems (← links)
- Formalising Reasoning about Change: A Qualitative Reasoning Approach (← links)
- QPC: A Compiler from Physical Models into Qualitative Differential Equations (← links)
- Negation and Proof by Contradiction in Access-Limited Logic (← links)
- Real-Time Classification of Electromyographic Signals for Robotic Control (← links)
- Automatic Generation of Object Class Descriptions Using Symbolic Learning Techniques (← links)
- Model-Based Reconfiguration: Toward an Integration with Diagnosis (← links)
- Adaptive Sampling Based Large-Scale Stochastic Resource Control (← links)
- Qualitative Simulation Based on a Logical Formalism of Space and Time (← links)
- Comparative Experiments on Sentiment Classification for Online Product Reviews (← links)
- Time Units and Calendars (← links)
- Reducing Labeling Effort for Structured Prediction Tasks (← links)
- State Agnostic Planning Graphs and the Application to Belief-Space Planning (← links)
- Generating Explicit Orderings for Non-monotonic Logics (← links)
- ScriptEase - Motivational Behaviors for Interactive Characters in Computer Role-Playing Games (← links)
- Extending the Mathematics in Qualitative Process Theory (← links)
- Learning to Learn Decision Trees (← links)
- Numeric Reasoning with Relative Orders of Magnitude (← links)
- Troubleshooting: When Modeling Is the Trouble (← links)
- Focusing and Reference Resolution in PUNDIT (← links)
- Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers (← links)
- Semantic Portal Wiki/Forms (← links)
