A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Interpolation Theorems for Resolution in Lower Predicate Calculus
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
A completeness theorem and a computer program for finding theorems derivable from given axioms
A completeness theorem and a computer program for finding theorems derivable from given axioms
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
On the Execution of Fuzzy Programs Using Finite-State Machines
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Knowledge representing schemes for planning
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Journal of the ACM (JACM)
Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation
Proceedings of the conference on Design, automation and test in Europe
A model of multimedia information retrieval
Journal of the ACM (JACM)
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification
Annals of Mathematics and Artificial Intelligence
Soft Computing for Intelligent Knowledge-based Systems
BT Technology Journal
A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
Formal Specification of Geographic Data Processing Requirements
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Responses to Elkan (Didier Dubois, Henri Prade, Philippe Smets)
IEEE Expert: Intelligent Systems and Their Applications
Fuzzy Prolog: A Simple General Implementation Using CLP(R)
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
lambda-Level Rough Equality Relation and the Inference of Rough Paramodulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
An Induction Algorithm Based on Fuzzy Logic Programming
PAKDD '99 Proceedings of the Third Pacific-Asia Conference on Methodologies for Knowledge Discovery and Data Mining
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Fuzzy reasoning and the logics of uncertainty
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
A many-valued logic for approximate reasoning
IBM Journal of Research and Development - Nanostructure technology
On Some Alleged Misconceptions about Fuzzy Logic
Artificial Intelligence Review
Combining fuzzy logic and behavioral similarity for non-strict program validation
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Methods for Automated Theorem Proving in Nonclassical Logics
IEEE Transactions on Computers
On the Decomposition of Fuzzy Functions
IEEE Transactions on Computers
A normal form which preserves tautologies and contradictions in a class of fuzzy logics
Journal of Algorithms
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
Procedural representation in a fuzzy problem-solving system
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Fuzzy Sets and Systems
Foundation of credibilistic logic
Fuzzy Optimization and Decision Making
RFuzzy: An Expressive Simple Fuzzy Compiler
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Prolog-ELF incorporating fuzzy logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Lock, linear κ-paramodulation in operator fuzzy logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Theorem proving under uncertainty: a possibility theory-based approach
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
The rationality and decidability of fuzzy implications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Unfolding-based Improvements on Fuzzy Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A theoretical background for applying fuzzy set theory in information retrieval
Fuzzy Sets and Systems
Fuzzy logic from the viewpoint of machine intelligence
Fuzzy Sets and Systems
Uniqueness of the composition between fuzzy operators
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences: an International Journal
Information Sciences: an International Journal
α-Lock resolution method for a lattice-valued first-order logic
Engineering Applications of Artificial Intelligence
A reason maintenance system dealing with vague data
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Solving collaborative fuzzy agents problems with CLP(FD)
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Programming with fuzzy logic and mathematical functions
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
IFAC report: Round table discussion on the estimation and control in fuzzy environments
Automatica (Journal of IFAC)
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Fundamenta Informaticae
A Fuzzy linguistic prolog and its applications
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.01 |