论文列表及评分结果
Database updates and transition constraints: A formula-based approach.
电商所评分：6
Distributed goal-directed dynamic plan revision.
电商所评分：6
Knowledge-based systems and fuzzy boolean programming.
电商所评分：4
Evaluation of orthodontic results with fuzzy inference.
电商所评分：9
On the use of interval mathematics in fuzzy expert systems.
电商所评分：3
A generalized approach to fuzzy optimization.
电商所评分：10
On the errors that learning machines will make.
电商所评分：8
Towards an integration of time and causation in a hybrid knowledge representation formalism.
电商所评分：10
An experiment in the application of similarity-based learning to programming by example.
电商所评分：6
A model for linguistic partial information in decision-making problems.
电商所评分：8
An implementation of a model for functional recognition.
电商所评分：10
The probability that tweety is able to fly.
电商所评分：8
On modeling of if-then rules for probabilistic inference.
电商所评分：10
Introduction: Databases and fuzziness.
电商所评分：7
A computational algorithm for the FFD transitive closure and a complete axiomatization of fuzzy functional dependence (FFD).
电商所评分：2
A new definition of fuzzy functional dependency in fuzzy relational databases.
电商所评分：8
A logic approach to fuzzy relational databases.
电商所评分：3
Fuzzy identification in fuzzy databases: The nuanced relational division.
电商所评分：1
Integrating fuzzy queries into an existing database management system: An example.
电商所评分：5
A self-evaluating expert system for X-ray rocking curve analysis.
电商所评分：2
Integrating statistical and nonstatistical audit evidence using belief functions: A case of variable sampling.
电商所评分：5
Interpreting linguistically quantified propositions.
电商所评分：6
Logical form generation as abduction: Part I. Representation of linguistic concepts.
电商所评分：7
Logical form generation as abduction: Part II. A dual-route parsimonious covering approach.
电商所评分：5
Verification and validation of intelligent systems: Five years of aaai workshops.
电商所评分：4
Automated test generation and evaluation for real-time expert systems.
电商所评分：5
Foundation and application of knowledge base verification.
电商所评分：4
A framework for verification, validation, and refinement of knowledge bases: The VVR system.
电商所评分：1
Towards the formal specification of an OPS5 production system architecture.
电商所评分：5
A formal model for knowledge-based systems verification.
电商所评分：9