All Papers
All Papers
Invited Talks
PDFApplying Reliability Engineering to Expert Systems
PDFLattices of Knowledge in Intelligent Systems Validation
PDFIdentifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-Bases
PDFVERITAS–A Verification ToolFor Real-time Applications in Power System Control Centers
PDFTowards Validation of Case-Based Systems
PDFIndex
PDFValidation Manager – A Tool for AI Systems’ Evaluation by A Turing Test-Like Methodology
PDFValidation of CBL Principles
PDFValidation of an Elevator Maintenance Engineer Scheduling AI System and its Knowledge Refinement
PDFFlairs 1999 Conference Organization
PDFOn Correcting Sewer Robots’ Odometry Errors by Reasoning
PDFLearning Opposite Concept for Machine Planning
PDFFunction Modeling Based on Interactions of Mass, Energy and Information
PDFTowards Functional Benchmarking of Information Retrieval Models
PDFAutomating Mechanical FMEA Using Functional Models
PDFFunctional Modeling: Representation of Dynamic Aspects in Function Structures
PDFA Qualitative Notion of Spatial Proximity
PDFA Wayfinding Application Based on the Influence Area Spatial Model
PDFRepresenting Simple Trajectories as Oriented Curves
PDFSome Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks
PDFRepresentation and Reasoning with Uncertain Temporal Relations
PDFValidation of Human Behavioral Models
PDFIntelligent Alarm Handling
PDFProbabilistic Reasoning Through Genetic Algorithms and Reinforcement Learning
PDFSatisfiability in Nonlinear Time: Algorithms and Complexity
PDFProof Theoretic Reasoning in System P
PDFMeta-Pattern Extraction: Mining Cycles
PDFA Factorized Representation of Independence of Causal Influence and Lazy Propagation
PDFOn-board Diagnosis of Car Catalytic Converters Using Statistical PatternRecognition
PDFNondeterminism and Uncertainty in the Situation Calculus
PDFDISPO: Distributed Multi-threaded Execution of Prolog Programs
PDFUniversal Access to Mobile Computing Devices through Speech Input
PDFAutomatic Acquisition of Sense Tagged Corpora
PDFLearning the Past Tense of English Verbs: An Extension to FOIDL
PDFIntegrating Symbolic and Statistical Methods for Prepositional PhraseAttachment
PDFExperiments in On-Line Learning Neuro-Control
PDFA Method of Automatic Training Sequence Generation for Recursive Neural Networks in the Area of Sensing Directional Motion
PDFA Neural Network Approach to Sensitivity Analysis of AVIRIS Spectral Bands
PDFConnection Admission Control in ATM Networks Using Neural Networks
PDFNeural Network Predictive Tool of Ground Settlement Due to Dewatering Activities
PDFApplying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training Set
PDFSmart Selective Competition Parallelism ATP
PDFStrategy Selection by Genetic Programming
PDFAdaptive Parallel Search for Theorem Proving
PDFSolving Hard Computational Problems Through Collections (Portfolios) of Cooperative Heterogeneous Algorithms
PDFStrategy Parallelism and Lemma Evaluation
PDFAnytime Planning for Optimal Tradeoff Between Deliberative and Reactive Planning
PDFLearning Rationales to Improve Plan Quality for Partial Order Planners
PDFAdopting an Object-Oriented Data Model in Inductive Logic Programming
PDFCH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming
PDFWhat Should the Tutor Do When the Student Cannot Answer a Question?
PDFGroup Membership Services for Dynamically Organized Sensible Agent-Based Systems
PDFReasoning About Algebraic Equations In Physics
PDFA Connectionist Model for Part of Speech Tagging
PDFAdding Intelligence to Net-based Learning
PDFA Case-Based Reasoning Approach to Internet Intelligent Tutoring Systems (ITS) and ITS Authoring
PDFApproximate Natural Language Understanding for an Intelligent Tutor
PDFA Curriculum Planning Model for an Intelligent Tutoring System
PDFKnowledge Object Decomposition
PDFPreparing a First-order Knowledge Base for Fast Inference
PDFCase-Based Problem Solving for Knowledge Management Systems
PDFMulti-Agent Systems : A Theory based on Organization and Communication Concepts
PDFNew Logics for Intelligent Control
PDFGeneralization Discovery for Proofs by Induction
PDFUsingTerm Space Maps to Capture Search ControlKnowledge in Equational Theorem Proving
PDFA Weighted Instance-Based Algorithm for Situated Autonomous Robot Learning
PDFFeature Selection For Machine Learning: Comparing a Correlation-based Filter Approach to the Wrapper
PDFOn Feature Selection: a New Filter Model
PDFSearchable Answer Generating Environment (SAGE): A Knowledge Management System for Searching Experts in Florida
PDFExpert System For The Handling Of The Attendance Mechanical Ventilation In Recently Born
PDFImproved Multiprocessor Task Scheduling Using Genetic Algorithms
PDFGenerating Satellite Control Schedules Using Case-Based Scheduling
PDFDistributed Space-Segment Control Using SCL
PDFAnytime Diagnosis Using Model-Based Methods for Satellite Diagnistics
PDFAn Overview of Agent Technology for Satellite Autonomy
PDFLaying a Foundation for Software Engineering of Knowledge Bases in Spacecraft Ground Systems
PDFAutonomy in Spacecraft Software Architecture
PDFA Reinforcement Learning Approach for a Goal-Reaching Behavior
PDFA Framework for Learning Visual Discrimination
PDFApplying the Subdue Substructure Discovery System to the Chemical Toxicity Domain
PDFCooperative Relational Database Querying Using Multiple Knowledge Bases
PDFImproving Technical Analysis Predictions: An Application of Genetic Programming
PDFAn Agent Based Approach to Expert System Explanation
PDFTowards a First-Order Approach for Social Agents: Preliminary Report
PDFKnowledge-Based Control of Self-Adaptive Evolutionary Search
PDFRobustness of Case-Initialized Genetic Algorithms
PDFEnhanced Simulated Annealing Tecniques for Multiprocessor Scheduling
PDFMulti-Agent Robot Simulation for Evolutionary Learning of Cooperative Behavior
PDFUsing Genetic Programming To Determine Software Quality
PDFRanking the Interestingness of Summaries from Data Mining Systems
PDFPreface
PDFKnowledge-Based Systems, Viewpoints and the World Wide Web
PDFRAID: A System to Aid in the Removal of Program Bugs
PDFTowards More Intelligent and Interactive Interfaces
PDFKARDIO – A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making
PDFA Threat Ranking Algorithm for Multiple Intelligent Agents in a Simulated Environment
PDFA Quality Assurance System Using Neural Networks
PDFDynamic User Model Construction with Bayesian Networks for Intelligent Information Queries
PDF