A distributed artificial intelligence approach to integrated engineering design
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Dynamic dramatization of multimedia story presentations
Proceedings of the 2nd international conference on Intelligent user interfaces
Abstraction mechanisms in discrete-event inductive modeling
WSC '96 Proceedings of the 28th conference on Winter simulation
Maintaining consistency in hierarchical reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A new method for consequence finding and compilation in restricted languages
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Effective and Efficient Knowledge Base Refinement
Machine Learning
Decomposable negation normal form
Journal of the ACM (JACM)
Sketching for knowledge capture: a progress report
Proceedings of the 7th international conference on Intelligent user interfaces
Afterword: from this revolution to the next
Smart machines in education
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
Sketching for military courses of action diagrams
Proceedings of the 8th international conference on Intelligent user interfaces
Feature Recognition from CAD Models
IEEE Computer Graphics and Applications
Using Qualitative Physics to Create Articulate Educational Software
IEEE Expert: Intelligent Systems and Their Applications
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Deriving Explanations and Implications for Constraint Satisfaction Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Locally Effective Objects and Artificial Intelligence
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
An analogy ontology for integrating analogical processing and first-principles reasoning
Eighteenth national conference on Artificial intelligence
Naturally conveyed explanations of device behavior
Proceedings of the 2001 workshop on Perceptive user interfaces
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Anatomy and Empirical Evaluation of an Adaptive Web-Based Information Filtering System
User Modeling and User-Adapted Interaction
Qualitative spatial reasoning about sketch maps
AI Magazine
Qualitative simulation and related approaches for the analysis of dynamic systems
The Knowledge Engineering Review
Dynamic programming for parsing and estimation of stochastic unification-based grammars
ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
Launch commit criteria monitoring agent
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
Study of the diagnosability of automated production systems based on functional graphs
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Towards unified modelling of product life-cycles
Computers in Industry
Speeding up model-based diagnosis by a heuristic approach to solving SAT
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
Comparative analysis of frameworks for knowledge-intensive intelligent agents
AI Magazine - Special issue on achieving human-level AI through integrated systems and research
Naturally conveyed explanations of device behavior
ACM SIGGRAPH 2006 Courses
Knowledge acquisition from simplified text
Proceedings of the 12th international conference on Intelligent user interfaces
A constraint solver for model-based engineering
AI Communications
Miss Rate Prediction Across Program Inputs and Cache Configurations
IEEE Transactions on Computers
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Worlds and transformations: Supporting the sharing and reuse of engineering design knowledge
International Journal of Human-Computer Studies
DigitalBeing - using the environment as an expressive medium for dance
Information Sciences: an International Journal
Change propagation algorithm in a unified feature modeling scheme
Computers in Industry
The decomposition tree for analyses of boolean functions
Mathematical Structures in Computer Science
Domain-Independent Error-Based Simulation for Error-Awareness and Its Preliminary Evaluation
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Incremental state based diagnosis
Advanced Engineering Informatics
Analyzing Completeness and Correctness of Utterances Using an ATMS
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
The heuristic methods of obtaining the effective measurement in diagnostic systems
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Base Belief Change and Optimized Recovery
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
Combining a Logical and a Numerical Method for Data Reconciliation
Journal on Data Semantics XII
Knowledge state reconsideration: hindsight belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A two-step hierarchical algorithm for model-based diagnosis
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
On compiling system models for faster and more scalable diagnosis
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Dependency-directed reconsideration belief base optimization for truth maintenance systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Measuring the level of transfer learning by an AP physics problem-solver
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Computing minimal diagnoses by greedy stochastic search
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Understanding complex natural language explanations in tutorial applications
ScaNaLU '06 Proceedings of the Third Workshop on Scalable Natural Language Understanding
Dynamic, user-centered resolution in interactive stories
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
An architectural approach to ensuring consistency in hierarchical execution
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Model-based diagnosis using causal networks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Knowledge compilation using theory prime implicates
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Trading off the costs of inference vs. probing in diagnosis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Scaling up self-explanatory simulators polynomial time compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A theory of mapping from structure to function applied to engineering thermodynamics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Analogical model formulation for transfer learning in AP Physics
Artificial Intelligence
A standard reference model for intelligent multimedia presentation systems
Computer Standards & Interfaces
An analogy ontology for integrating analogical processing and first-principles reasoning
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling
Solving strong-fault diagnostic models by model relaxation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Towards unified modelling of product life-cycles
Computers in Industry
Study of the diagnosability of automated production systems based on functional graphs
Mathematics and Computers in Simulation
Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
Epistemic states guiding the rational dynamics of information
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Approximate model-based diagnosis using greedy stochastic search
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reduced implicate/implicant tries
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
An improved incremental algorithm for generating prime implicates
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
A framework for plot control in interactive story systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Detecting knowledge base inconsistencies using automated generation of text and examples
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A new algorithm for computing theory prime implicates compilations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A semantic characterization of an algorithm for estimating others' beliefs from observation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Scaling up logic-based truth maintenance systems via fact garbage collection
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A model-based active testing approach to sequential diagnosis
Journal of Artificial Intelligence Research
Sequential diagnosis by abstraction
Journal of Artificial Intelligence Research
Finding all justifications of OWL entailments using TMS and MapReduce
Proceedings of the 20th ACM international conference on Information and knowledge management
Belief maintenance in Bayesian networks
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Duality in knowledge compilation techniques
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Normal forms for knowledge compilation
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
Diaflux: a graphical language for computer-interpretable guidelines
KR4HC'11 Proceedings of the 3rd international conference on Knowledge Representation for Health-Care
A theory of meta-diagnosis: reasoning about diagnostic systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Domain transfer via cross-domain analogy
Cognitive Systems Research
A model-building learning environment with explanatory feedback to erroneous models
ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems
Abduction in work-planning problems in complex objects
Scientific and Technical Information Processing
| Hi-index | 0.00 |