Networked bubbled propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions

Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis

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

Index Navigator: Search Engine with Reasoning for Understanding and Expressing User's Changing Mind

Applied Intelligence

Two Transformations of Clauses into Constraints and Their Properties for Cost-Based Hypothetical Reasoning

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence

Knowledge Navigation on Visualizing Complementary Documents

DS '01 Proceedings of the 4th International Conference on Discovery Science

Approximating cost-based abduction is NP-hard

Artificial Intelligence

2005 Special Issue: Recurrent neural networks with backtrack-points and negative reinforcement applied to cost-based abduction

Neural Networks - 2005 Special issue: IJCNN 2005

Combination retrieval for creating knowledge from sparse document-collection

Knowledge-Based Systems

A creative abduction approach to scientific and knowledge discovery

Knowledge-Based Systems

The hyper system: knowledge reformation for efficient first-order hypothetical reasoning

PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence

Explaining genetic knock-out effects using cost-based abduction

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two