Conferences in DBLP
Wolfram Burgard , Dieter Fox , Daniel Hennig , Timo Schmidt Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel D. Fu , Kristian J. Hammond , Michael J. Swain Navigation for Everyday Life. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Kohout , James A. Hendler , David J. Musliner Guaranteeing Safety in Spatially Situated Agents. [Citation Graph (0, 0)][DBLP ] Conf ] David Kortenkamp , Eric Huber , R. Peter Bonasso Recognizing and Interpreting Gestures on a Mobile Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Robin R. Murphy , David Hershberger Classifying and Recovering from Sensing Failures in Autonomous Mobile Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Peter N. Prokopowicz , Michael J. Swain , R. James Firby , Roger E. Kahn GARGOYLE: An Environment for Real-Time, Context-Sensitive Active Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Rasmussen , Gregory D. Hager Robot Navigation Using Image Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Thrun , Arno Bücken Integrating Grid-Based and Topological Maps for Mobile Robot Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Portinale Improving Model-Based Diagnosis through Algebraic Analysis: The Petri Net Challenge. [Citation Graph (0, 0)][DBLP ] Conf ] Eleni Stroulia , Ashok K. Goel A Model-Based Approach to Blame Assignment: Revising the Reasoning Steps of Problem Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Siddarth Subramanian , Raymond J. Mooney Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes. [Citation Graph (0, 0)][DBLP ] Conf ] Brian C. Williams , P. Pandurang Nayak A Model-Based Approach to Reactive Self-Configuring Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Brajnik , Daniel J. Clancy Trajectory Constraints in Qualitative Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter J. Mosterman , Gautam Biswas A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas F. Rouquette Building Steady-State Simulators via Hierarchical Feedback Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Lance Tokuda Managing Occurrence Branching in Qualitative Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Anderson , Robert McCartney Diagrammatic Reasoning and Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Chittaro , Roberto Ranon Augmenting the Diagnostic Power of Flow-Based Approaches to Functional Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Monika Lundell A Qualitative Model of Physical Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. Stahovich , Randall Davis , Howard E. Shrobe Generating Multiple New Designs From a Sketch. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak Tree-Bank Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Steven L. Lytinen , Noriko Tomuro Left-Corner Unification-Based Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Ellen Riloff Automatically Generating Extraction Patterns from Untagged Text. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Zelle , Raymond J. Mooney Learning to Parse Database Queries Using Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Beale , Sergei Nirenburg , Kavi Mahesh HUNTER-GATHERER: Three Search Techniques Integrated for Natural Language Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Richard D. Hull , Fernando Gomez Semantic Interpretation of Nominalizations. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Marcu Building Up Rhetorical Structure Trees. [Citation Graph (0, 0)][DBLP ] Conf ] R. Michael Young Using Plan Reasoning in the Generation of Plan Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi G. Okuno , Tomohiro Nakatani , Takeshi Kawabata Interfacing Sound Stream Segregation to Automatic Speech Recognition - Preliminary Results on Listening to Several Sounds Simultaneously. [Citation Graph (0, 0)][DBLP ] Conf ] Tamer F. Rabie , Demetri Terzopoulos Motion and Color Analysis for Animat Perception. [Citation Graph (0, 0)][DBLP ] Conf ] Murray Shanahan Noise and the Common Sense Informatic Situation for a Mobile Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Ibrahim F. Imam , Srinivas Gutta A Hybrid Learning Approach for Better Recognition of Visual Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan D. Michel , Nagaraj Nandhakumar , Tushar Saxena , Deepak Kapur Using Elimination Methods to Compute Thermophysical Algebraic Invariants from Infrared Imagery. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio S. Pinhanez , Aaron F. Bobick Approximate World Models: Incorporating Qualitative and Linguistic Information into Vision Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter N. Prokopowicz , Paul R. Cooper Integrating Visual Information Across Camera Movements with a Visual-Motor Calibration Map. [Citation Graph (0, 0)][DBLP ] Conf ] Abigail S. Gertner , Bonnie L. Webber A Bias towards Relevance: Recognizing Plans where Goal Minimization Fails. [Citation Graph (0, 0)][DBLP ] Conf ] Hector J. Levesque What Is Planning in the Presence of Sensing? [Citation Graph (0, 0)][DBLP ] Conf ] Louise Pryor Opportunity Recognition in Complex Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Schoppers , Richard Shu Generalizing Indexical-Functional Reference. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus , Craig Boutilier , Adam J. Grove Rewarding Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier , David Poole Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Hector Geffner A Qualitative Model for Temporal Reasoning with Incomplete Information. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jonsson , Christer Bäckström On the Size of Reactive Plans. [Citation Graph (0, 0)][DBLP ] Conf ] David Joslin , Martha E. Pollack Is "Early Commitment" in Plan Generation Ever a Good Idea? [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz , Bart Selman Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Korf , Larry A. Taylor Finding Optimal Solutions to the Twenty-Four Puzzle. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Slaney , Sylvie Thiébaux Linear Time Near-Optimal Planning in the Blocks World. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus , Froduald Kabanza Planning for Temporally Extended Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Eithan Ephrati , Martha E. Pollack , Marina Milshtein A Cost-Directed Planner: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Eric A. Hansen , Shlomo Zilberstein Monitoring the Progress of Anytime Problem-Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jonsson , Christer Bäckström A Linear-Programming Approach to Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Minh Dung , Paolo Mancarella Production Systems Need Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Liu , Joxan Jaffar Using Constraints to Model Disjunctions in Rule-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Roth A Connectionist Framework for Reasoning: Reasoning with Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Enrique Castillo , José Manuel Gutiérrez , Ali S. Hadi Goal Oriented Symbolic Propagation in Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] David Maxwell Chickering , Judea Pearl A Clinician's Tool for Analyzing Non-Compliance. [Citation Graph (0, 0)][DBLP ] Conf ] Nir Friedman , Moisés Goldszmidt Building Classifiers Using Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] David V. Pynadath , Michael P. Wellman Generalized Queries on Probabilistic Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Ronen I. Brafman , Moshe Tennenholtz On the Foundations of Qualitative Decision Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Nir Friedman , Joseph Y. Halpern Plausibility Measures and Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Nir Friedman , Joseph Y. Halpern , Daphne Koller First-Order Conditional Logic Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern A Counterexample to Theorems of Cox and Fine. [Citation Graph (0, 0)][DBLP ] Conf ] R. Peter Bonasso , Thomas Dean Robots With AI: A Retrospective on the AAAI Robot Competitions and Exhibitions. [Citation Graph (0, 0)][DBLP ] Conf ] Oren Etzioni Moving Up the Information Food Chain: Deploying Softbots on the World Wide Web. [Citation Graph (1, 0)][DBLP ] Conf ] Walter J. Freeman Brain Dynamics in the Genesis of Trust as the Basis for Communication by Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern Using Multi-Agent Systems to Represent Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati Refinement Planning: Status and Prospectus. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Kearns Boosting Theory Towards Practice: Recent Developments in Decision Tree Induction and the Weak Learning Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman , Rodney A. Brooks , Thomas Dean , Eric Horvitz , Tom M. Mitchell , Nils J. Nilsson Challenge Problems for Artificial Intelligence (Panel Statements). [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey D. Ullman The Database Approach to Knowledge Represention. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Luis Floriano , Alfredo Gabaldon , David Morales , Tran Cao Son , Richard G. Watson A Reactive Mobile Robot Based on a Formal Theory of Action. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Bräunl , Martin Kalbacher , Paul Levi , Günter Mamier CoMRoS: Cooperative Mobile Robots Stuttgart. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Dawes , Mark Bentley McMaster University's Artificial Computing System. [Citation Graph (0, 0)][DBLP ] Conf ] John Fischer , Paul E. Rybski , Dirk Edmonds , Maria L. Gini Doing Tasks with Multiple Mini-Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Gutierrez-Osuna , Daniel S. Schudel , Jason A. Janét , Ren C. Luo Lola, the Mobile Robot from NC State. [Citation Graph (0, 0)][DBLP ] Conf ] Robin R. Murphy Clementine: Colorado School of Mines - The Undergraduate Interdisciplinary Robotics Team. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Roy , Gregory Dudek , Michael Daum Mobile Robot Navigation and Control: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Min Shen , Jafar Adibi , Bonghan Cho , Gal A. Kaminka , Jihie Kim , Behnam Salemi , Sheila Tejada YODA: The Young Observant Discovery Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Simmons , Sebastian Thrun , Greg Armstrong , Richard Goodwin , Karen Zita Haigh , Sven Koenig , Shyjan Mahamud , Daniel Nikovski , Joseph O'Sullivan Amelia. [Citation Graph (0, 0)][DBLP ] Conf ] Jody J. Daniels Selection of Passages for Information Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Domingos Towards a Unified Approach to Concept Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Toby Donaldson A Computational Theory of Turn-Taking. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia V. Goldman Learning in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jihie Kim Bounding the Cost of Learned Rules: A Transformational Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Koenig Agent-Centered Search: Situated Search with Small Look-Ahead. [Citation Graph (0, 0)][DBLP ] Conf ] Cathie LeBlanc Recurrent Expert Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chengjiang Mao Semi-Deterministic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Noelle A Connectionist Model of Instructed Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Phoebe Sengers Symptom Management for Schizophrenic Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Richard C. Simpson , Simon P. Levine Adaptive Shared Control for an Intelligent Power Wheelchair. [Citation Graph (0, 0)][DBLP ] Conf ] Moninder Singh Induction of Selective Bayesian Networks from Data. [Citation Graph (0, 0)][DBLP ] Conf ] Brian K. Smith Why Dissect a Frog When You Can Simulate a Lion? [Citation Graph (0, 0)][DBLP ] Conf ] Astro Teller Algorithm Evolution for Signal Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Botond Virginas The Use of Knowledge-Based Systems Techniques for Risk Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] José Luis Ambite , Craig A. Knoblock Efficient Planning by Graph Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Ella M. Atkins , Edmund H. Durfee , Kang G. Shin Expecting the Unexpected: Detecting and Reacting to Unplanned-for World States. [Citation Graph (0, 0)][DBLP ] Conf ] Karthik Balakrishnan , Vasant Honavar Experiments in Evolutionary Synthesis of Robotic Neurocontrollers. [Citation Graph (0, 0)][DBLP ] Conf ] Justin A. Boyan A Reinforcement Learning Framework for Combinatorial Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Arno Bücken , Sebastian Thrun Learning Topological Maps: An Alternative Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Allen P. Courtney , Norman Y. Foo , Grigoris Antoniou Computing Default Logic Extensions: An Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Diana Cukierman , James P. Delgrande Characterizing Temporal Repetition. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph G. D'Ambrosio , William P. Birmingham Achieving Agent Coordination via Distributed Preferences. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Domingos Fast Discovery of Simple Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Domingos Multistrategy Learning: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Domingos , Michael J. Pazzani Simple Bayesian Classifiers Do Not Assume Independence. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt D. Fenstermacher CADI - An Intelligent, Multimedia Tutor for Cardiac Auscultation. [Citation Graph (0, 0)][DBLP ] Conf ] Steven P. Fonseca , Nancy E. Reed Integration of an Expert Teaching Assistant with Distance Learning Software. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew R. Glickman , Katia P. Sycara Self-Adaptation of Mutation Rates and Dynamic Fitness. [Citation Graph (0, 0)][DBLP ] Conf ] Dani Goldberg Heterogeneous and Homogeneous Robot Group Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Vanathi Gopalakrishnan Inducing Design Biases that Characterize Successful Experimentation in Weak-Theory Domains: TIPS. [Citation Graph (0, 0)][DBLP ] Conf ] Nathalie Jitnah Belief Network Algorithms: A Study of Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Micheline Kamber , Rajjan Shinghal Proposed Interestingness Measure for Characteristic Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Jihie Kim , Paul S. Rosenbloom A Transformational Analysis of the EBL Utility Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Chao-Lin Liu Controlling State-Space Abstraction in Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Gabor Melli Ad Hoc Attribute-Value Prediction. [Citation Graph (0, 0)][DBLP ] Conf ] Rajesh Parekh , Vasant Honavar An Incremental Interactive Algorithm for Regular Grammar Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Rajesh Parekh , Jihoon Yang , Vasant Honavar Constructive Neural Network Learning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Sunju Park A Computational Model of Persistent Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Sunju Park , Edmund H. Durfee Contracting Strategy Based on Markov Process Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas J. Pearson Learning Procedural Planning Knowledge in Complex Environments. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Pennock MarketBayes: A Distributed, Market-Based Bayesian Network. [Citation Graph (0, 0)][DBLP ] Conf ] Gaofeng Qian The Kritzel System for Handwriting Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Rahmel SplitNet: A Dynamic Hierarchical Network Model. [Citation Graph (0, 0)][DBLP ] Conf ] Seth Rogers Symbolic Performance and Learning in Continuous Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Shounak Roychowdhury , Neeraj Arora , Sandip Sen Effects of Local Information on Group Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Mihaela Sabin , Eugene C. Freuder Automated Formulation of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Moninder Singh Dynamic Constraint-Based Planning in Trauma Management. [Citation Graph (0, 0)][DBLP ] Conf ] Biplav Srivastava , Subbarao Kambhampati Blocking as a Middle-Ground for Step-Order Commitments in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Kang Soo Tae Experimentation-Driven Operator Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Merwyn G. Taylor Hybrid Knowledge- and Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Sheila Tejada , Craig A. Knoblock , Steven Minton Learning Models for Multi-Source Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Marina Umaschi Rabbi: Exploring the Inner World through Stories. [Citation Graph (0, 0)][DBLP ] Conf ] Michael van Lent Constructive Induction of Features for Planning. [Citation Graph (0, 0)][DBLP ] Conf ] José M. Vidal , Edmund H. Durfee Agents Modeling Agents in Information Economies. [Citation Graph (0, 0)][DBLP ] Conf ] Peter R. Wurman Optimal Factory Scheduling Using Stochastic Dominance A*. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Zanardi Dynamic Map: Representation of Interactions between Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Terry Zimmerman , Subbarao Kambhampati Neural Network Guided Search Control in Partial Order Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Altfeld , Douglas E. Landon , Charles J. Daniels EASy: Expert Authorizations System. [Citation Graph (0, 0)][DBLP ] Conf ] Emilio Bertolotti , Enrico Castaldo , Gino Giannone Near Optimal Objects Packing through Dimensional Unfolding. [Citation Graph (0, 0)][DBLP ] Conf ] James Borron , David Morales , Philip Klahr Developing and Deploying Knowledge on a Global Scale. [Citation Graph (0, 0)][DBLP ] Conf ] Urs Bühler , Luca Bosatta , Lawrence Poynter An Intelligent System for Asset and Liability Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] ChuXin Chen , Teresa L. Hollidge , D. D. Sharma Localization of Troubles in Telephone Cable Networks. [Citation Graph (0, 0)][DBLP ] Conf ] P. V. Coveney , T. L. Hughes , Philip Fletcher Using Artificial Neural Networks to Predict the Quality and Performance of Oilfield Cements. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nado , Melanie Chams , Jeff Delisio , Walter Hamscher Comet: An Application of Model-Based Reasoning to Accounting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Nahabedian , Howard E. Shrobe Diagnosing Delivery Problems in the White House Information Distribution System. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Ownby Settlement Analysis Expert (SAX): Modeling Complex Business Logic in the Development of Enterprise Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Amy Rice , Julie Hsu , Angotti Piccolo , Rosanna Piccolo EZ Reader: Embedded AI for Automatic Electronic Mall Interpretation and Routing. [Citation Graph (0, 0)][DBLP ] Conf ] John Rowe , Keith Jewers , Andrew Codd , Andrew Alcock Intelligent Retail Logistics Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] David Silberberg , Robert Thomas The NASA Personnel Security Processing Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Sobieski , Srinivas Krovvidy , Colleen McClintock , Margaret Thorpe KARMA: Managing Business Rules from Specification to Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Struve The SIGNAL Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Ming Tan , Carol Lafond , Gabriel Jakobson , Gary Young Supporting Performance and Configuration Management of GTE Cellular Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Taylor , Graeme Watson , Gordon Grigg , Hamish McCallum Monitoring Frog Communities: An Application of Machine Learning. [Citation Graph (0, 0)][DBLP ] Conf ] David Williams , Bradley C. Simons , Joe Connolly AdjudiPro® 2.0. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Worrest , Roland Zito-Wolf , Hongbin Wang , Shri K. Goyal SSCFI: Autonomous Fault Isolation in Communications Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Abarbanel The BOEING 777: Concurrent Engineering and Digital Pre-Assembly (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Usama M. Fayyad Data Mining and Knowledge Discovery in Databases: Applications in Astronomy and Planetary Science. [Citation Graph (0, 0)][DBLP ] Conf ] 