Results 161 to 170 of about 862,810 (224)
Some of the next articles are maybe not open access.
A Van Benthem/Rosen theorem for coalgebraic predicate logic
Journal of Logic and Computation, 2015Lutz Schröder +2 more
semanticscholar +1 more source
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem
Studia Logica: An International Journal for Symbolic Logic, 2015V. N. Krivtsov
semanticscholar +1 more source
Developing an expert system based on association rules and predicate logic for earthquake prediction
Knowledge-Based Systems, 2015Aqdas Ikram, Usman Qamar
semanticscholar +1 more source
A semantic study of the first-order predicate logic with uncertainty involved
Fuzzy Optimization and Decision Making, 2014Xingfang Zhang, Xiang Li
semanticscholar +1 more source
Fuzzy predicate logic for Knowledge Representation
International Conference on Fuzzy Theory and Its Applications, 2013Venkata Subba Reddy
semanticscholar +1 more source
LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
Conference on Computer and Communications Security, 2015Jiang Ming +3 more
semanticscholar +1 more source

