Conferences in DBLP
Eugene Santos Jr. , Scott M. Brown , Moises Lejter , Grace Ngai , Sheila B. Banks , Martin R. Stytz Dynamic User Model Construction with Bayesian Networks for Intelligent Information Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Ilker Gumus , Avelino J. Gonzalez A Threat Ranking Algorithm for Multiple Intelligent Entities in a Simulated Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Edson Pacheco Paladini A Quality Assurance System Using Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Søren Holm , Peter Øhrstrøm , Claus Donner KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making. [Citation Graph (0, 0)][DBLP ] Conf ] James S. Jennings , Nicole D. Terry Towards More Intelligent and Interactive Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa J. Burnell , Alan Meadows , Patricia Bass , Keith E. Biggers , John W. Priest RAID: A System to Aid in the Removal of Program Bugs. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Finch Knowledge-Based Systems, Viewpoints and the World Wide Web. [Citation Graph (0, 0)][DBLP ] Conf ] Costas Tsatsoulis , Julian Holtzman Generating Satellite Control Schedules Using Case-Based Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Van Gaasbeck , Allan Posner , Brian Buckley Distributed Space-Segment Control Using SCL. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Cobb , Eric S. Yager , Charles Jacobus Anytime Diagnosis Using Model-Based Methods for Satellite Diagnostics. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Zetocha , Lance Self An Overview of Agent Technology for Satellite Autonomy. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Hexmoor Autonomy in Spacecraft Software Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Mala Mehrotra , Sergio Alvarado , Ross Wainwright Laying a Foundation for Software Engineering of Knowledge Bases in Spacecraft Ground Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana D'Orazio , Grazia Cicirelli , Giovanni Attolico , C. Distante A Reinforcement Learning Approach for a Goal-Reaching Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Justus H. Piater , Roderic A. Grupen A Framework for Learning Visual Discrimination. [Citation Graph (0, 0)][DBLP ] Conf ] Ravindra N. Chittimoori , Lawrence B. Holder , Diane J. Cook Applying the Subdue Substructure Discovery System to the Chemical Toxicity Domain. [Citation Graph (0, 0)][DBLP ] Conf ] José Luís Braga , Alberto H. F. Laender , Claudiney Vander Ramos Cooperative Relational Database Querying Using Multiple Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hilderman , Howard J. Hamilton , Brock Barber Ranking the Interestingness of Summaries from Data Mining Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Li , Edward P. K. Tsang Improving Technical Analysis Predictions: An Application of Genetic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew P. Evett , Taghi M. Khoshgoftaar , Pei-der Chien , Edward B. Allen Using Genetic Programming to Determine Software Quality. [Citation Graph (0, 0)][DBLP ] Conf ] Yoichiro Maeda Multi-Agent Robot Simulation for Evolutionary Learning of Cooperative Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] George E. Nasr , A. Harb , G. Meghabghab Enhanced Simulated Annealing Techniques for Multiprocessor Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Sushil J. Louis , Judy Johnson Robustness of Case-Initialized Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Chan-Jin Chung , Robert G. Reynolds Knowledge-Based Control of Self-Adaptive Evolutionary Search. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Bohler , Frank W. Moore , Yi Pan Improved Multiprocessor Task Scheduling Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Fasli Towards a First-Order Approach for Social Agents: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Samhaa R. El-Beltagy , Ahmed A. Rafea , Ahmed H. Sameh An Agent Based Approach to Expert System Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] K. Suzanne Barber , Ryan McKay , Tse-Hsin Liu Group Membership Services for Dynamically Organized Sensible Agent-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chun Wai Liew , Joel A. Shapiro , Donald E. Smith Reasoning about Algebraic Answers in Physics. [Citation Graph (0, 0)][DBLP ] Conf ] Brent A. Olde , James Hoeffner , Patrick Chipman , Arthur C. Graesser A Connectionist Model for Part of Speech Tagging. [Citation Graph (0, 0)][DBLP ] Conf ] Lynne E. Hall , Adrian Gordon , Paul Black , Gary Baptist Adding Intelligence to Net-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Richard H. Stottler , Sowmya Ramachandran A Case-Based Reasoning Approach to Internet Intelligent Tutoring Systems (ITS) and ITS Authoring. [Citation Graph (0, 0)][DBLP ] Conf ] Yujian Zhou , Reva Freedman , Michael Glass , Joel A. Michael , Allen A. Rovick , Martha W. Evens What Should the Tutor Do When the Student Cannot Answer a Question? [Citation Graph (0, 0)][DBLP ] Conf ] Peter M. Wiemer-Hastings , Katja Wiemer-Hastings , Arthur C. Graesser Approximate Natural Language Understanding for an Intelligent Tutor. [Citation Graph (0, 0)][DBLP ] Conf ] Byung-In Cho , Joel A. Michael , Allen A. Rovick , Martha W. Evens A Curriculum Planning Model for an Intelligent Tutoring System. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Debenham Knowledge Object Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Prendinger , Mitsuru Ishizuka Preparing a First-Order Knowledge Base for Fast Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Mauricio F. Deabate , Luis Manzanares , Carlos A. Bartó Expert System for the Handling of the Attendance Mechanical Ventilation in Recently Born. [Citation Graph (0, 0)][DBLP ] Conf ] Irma Becerra-Fernandez , David W. Aha Case-Based Problem Solving for Knowledge Management Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Irma Becerra-Fernandez Searchable Answer Generating Environment (SAGE): A Knowledge Management System for Searching for Experts in Florida. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Sebbna On Feature Selection: A New Filter Model. [Citation Graph (0, 0)][DBLP ] Conf ] Mark A. Hall , Lloyd A. Smith Feature Selection for Machine Learning: Comparing a Correlation-Based Filter Approach to the Wrapper. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos H. C. Ribeiro , Elder Moreira Hemerly A Weighted Instance-Based Algorithm for Situated Autonomous Robot Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Schulz , Felix Brandt Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Kounalis , Pascal Urso Generalization Discovery for Proofs by Induction in Conditional Theories. [Citation Graph (0, 0)][DBLP ] Conf ] E. Cherkashin , A. Postoenko , S. Vassilyev , A. Zherlov New Logics for Intelligent Control. [Citation Graph (0, 0)][DBLP ] Conf ] Walid Chainbi Multi-Agent Systems: A Theory Based on Organization and Communication Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Wenjin Lu CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michela Milano , Andrea Omicini , Fabrizio Riguzzi Adopting an Object-Oriented Data Model in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] A. S. Mohamed , A. Galal , I. Khalil , K. Sobh , M. Selim DISPO: Distributed Multi-Threaded Execution of Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Z. Manaris , Valanne MacGyvers , Michail G. Lagoudakis Universal Access to Mobile Computing Devices through Speech Input. [Citation Graph (0, 0)][DBLP ] Conf ] Rada Mihalcea , Dan I. Moldovan Automatic Acquisition of Sense Tagged Corpora. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed H. Sameh , Tarek Radi , Rana Mikhail Learning the Past Tense of English Verbs: An Extension to FOIDL. [Citation Graph (0, 0)][DBLP ] Conf ] Sanda M. Harabagiu , Marius Pasca Integrating Symbolic and Statistical Methods for Prepositional Phrase Attachment. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony G. Pipe , Mark Randall , Y. Jin Experiments in On-Line Learning Neuro-Control. [Citation Graph (0, 0)][DBLP ] Conf ] C. Dudley Girard A Method of Automatic Training Sequence Generation for Recursive Neural Networks in the Area of Sensing Directional Motion. [Citation Graph (0, 0)][DBLP ] Conf ] James N. Etheredge A Neural Network Approach to Sensitivity Analysis of AVIRIS Spectral Bands. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Cullen , Brian Carse Connection Admission Control in ATM Networks Using Neural Networks: Research Directions and Issues in Commercial Exploitation. [Citation Graph (0, 0)][DBLP ] Conf ] Amr W. Sadek , Hesham Ghoneim , Mustafa Mossad Neural Network Predictive Tool of Ground Settlement Due to Dewatering Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Marcin Paprzycki , Sean Bowers , Aaron Costeines Applying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training Set. [Citation Graph (0, 0)][DBLP ] Conf ] Geoff Sutcliffe , Darryl Seyfang Smart Selective Competition Parallelism ATP. [Citation Graph (0, 0)][DBLP ] Conf ] Gernot Stenz , Andreas Wolf Strategy Selection by Genetic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Diane J. Cook , Charles Hannon Adaptive Parallel Search for Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Santos Jr. , Solomon Eyal Shimony , Edward Michael Williams Solving Hard Computational Problems through Collections (Portfolios) of Cooperative Heterogeneous Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Draeger , Andreas Wolf Strategy Parallelism and Lemma Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Will Briggs , Diane J. Cook Anytime Planning for Optimal Tradeoff between Deliberative and Reactive Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Muhammad Afzal Upal , Renee Elio Learning Rationales to Improve Plan Quality for Partial Order Planners. [Citation Graph (0, 0)][DBLP ] Conf ] Kang Soo Tae Learning Opposite Concept for Machine Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Yang Bo , Filippo A. Salustri Function Modeling Based on Interactions of Mass, Energy and Information. [Citation Graph (0, 0)][DBLP ] Conf ] Dawei Song , Kam-Fai Wong , Peter Bruza , Chun Hung Cheng Towards Functional Benchmarking of Information Retrieval Models. [Citation Graph (0, 0)][DBLP ] Conf ] Nigel Hughes , Enxi Chou , Chris Price , Mark Lee Automating Mechanical FMEA Using Functional Models. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Grabowski , Ralf-Stefan Lossack , Harald Kunze Functional Modeling: Representation of Dynamic Aspects in Function Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Frank D. Anger , Debasis Mitra , Rita V. Rodríguez Satisfiability in Nonlinear Time: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Hans W. Guesgen , Jochen Albrecht A Qualitative Notion of Spatial Proximity. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Hertzberg , Frank Schönherr On Correcting Sewer Robots' Odometry Errors by Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Driss Kettani , Bernard Moulin A Wayfinding Application Based on the Influence Area Spatial Model. [Citation Graph (0, 0)][DBLP ] Conf ] Carola Eschenbach , Christopher Habel , Lars Kulik Representing Simple Trajectories as Oriented Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Yanping Xiang , Kristian G. Olesen , Finn Verner Jensen Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Anders L. Madsen , Bruce D'Ambrosio A Factorized Representation of Independence of Causal Influence and Lazy Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Ryabov , Seppo Puuronen , Vagan Y. Terziyan Representation and Reasoning with Uncertain Temporal Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Pinto , Amílcar Sernadas , Cristina Sernadas , Paulo Mateus Nondeterminism and Uncertainty in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] A. Boatas , Bernard Dubuisson , M. A. Dillies-Peltier On-board Diagnosis of Car Catalytic Converters Using Statistical Pattern Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer Seitzer , James P. Buckley , Alvaro E. Monge Meta-Pattern Extraction: Mining Cycles. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Parsons , Rachel A. Bourne Proof Theoretic Reasoning in System P. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaomin Zhong , Eugene Santos Jr. Probabilistic Reasoning through Genetic Algorithms and Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Asker , Mats Danielson , Love Ekenberg Intelligent Alarm Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Avelino J. Gonzalez Validation of Human Behavioral Models. [Citation Graph (0, 0)][DBLP ] Conf ] Valerie Barr Applying Reliability Engineering to Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus P. Jantke , Jörg Herrmann Lattices of Knowledge in Intelligent Systems Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Santos Jr. , Sheila B. Banks , Scott M. Brown , David J. Bawcom Identifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Santos , Luiz Faria , Carlos Ramos , Zita A. Vale , Albino Marques VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Knauf , Avelino J. Gonzalez , Klaus P. Jantke Towards Validation of Case-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Setsuo Tsuruta , Hideaki Ishida , Masaki Honma , Akio Nakaon Validation of an Elevator Maintenance Engineer Scheduling AI System and its Knowledge Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Rainer Beick , Klaus P. Jantke Validation of CBL Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Salecker , Rainer Knauf Validation Manager - A Tool for AI Systems' Evaluation by a Turing Test-Like Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] 