Results 301 to 310 of about 939,241 (354)
Some of the next articles are maybe not open access.
2011
In the 1930s Kurt Godel Alonso Church, and Alan Turing laid important foundations for logic and, theoretical computer science. Of particular interest for AI are Godel’s theorems. The completeness theorem states that first-order predicate logic is complete.
openaire +2 more sources
In the 1930s Kurt Godel Alonso Church, and Alan Turing laid important foundations for logic and, theoretical computer science. Of particular interest for AI are Godel’s theorems. The completeness theorem states that first-order predicate logic is complete.
openaire +2 more sources
The completeness of a predicate-functor logic
Journal of Symbolic Logic, 1985Predicate-functor logic, as founded by W. V. Quine ([1960], [1971], [1976], [1981]), is first-order predicate logic without individual variables. Instead, adverbs or predicate functors make explicit the permutations and replications of argument-places familiarly indicated by shifting variables about.
openaire +3 more sources
The proper treatment of variables in predicate logic
, 2018K. Wehmeier
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
2012
Following the same procedure as for propositional logic, we prepare now the necessary material for writing expressions upon which the logical calculus will act. In a first phase we will only work with formulas that are similar to the clauses of propositional logic. Then the calculus will be extended to all formulas.
openaire +2 more sources
Following the same procedure as for propositional logic, we prepare now the necessary material for writing expressions upon which the logical calculus will act. In a first phase we will only work with formulas that are similar to the clauses of propositional logic. Then the calculus will be extended to all formulas.
openaire +2 more sources
Basics of Second-Order Predicate Logic
THE LOGICAL FORESIGHT - Journal for Logic and Science, 2023Nijaz Ibrulj
exaly
LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
Conference on Computer and Communications Security, 2015Jiang Ming +3 more
semanticscholar +1 more source
Predicate Correlation Learning for Scene Graph Generation
IEEE Transactions on Image Processing, 2022Leitian Tao, Li Mi, Nannan Li
exaly
Fuzzy predicate logic for Knowledge Representation
International Conference on Fuzzy Theory and Its Applications, 2013Venkata Subba Reddy
semanticscholar +1 more source