Results 161 to 170 of about 4,636,755 (203)

Statistical predicate invention

International Conference on Machine Learning, 2007
Stanley Kok, Pedro M. Domingos
semanticscholar   +1 more source

The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets

Semantics of Concurrent Computation, 1979
H. Genrich, Kurt Lautenbach
semanticscholar   +1 more source

A completeness theorem in modal logic

Journal of Symbolic Logic (JSL), 1959
Saul A. Kripke
semanticscholar   +1 more source

Static specification inference using predicate mining

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2007
M. Ramanathan, A. Grama, S. Jagannathan
semanticscholar   +1 more source

Does Embodiment of Verbs Influence Predicate Metaphor Processing in a Second Language? Evidence From Picture Priming

Frontiers in Psychology, 2021
exaly  

Investigation of Money Laundering Cases by Investigators Who Do Not Investigated the Predicate Crime

Corruptio, 2023
exaly  

Modelling and analysing the reliability for microservice‐based cloud application based on predicate Petri net

Expert Systems, 2022
Zheng Liu, Guisheng Fan, Huiqun Yu
exaly  

Finite Kripke models and predicate logics of provability

Journal of Symbolic Logic (JSL), 1990
Sergei N. Artëmov, G. Dzhaparidze
semanticscholar   +1 more source

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Machine Learning, 2015
Stephen H Muggleton
exaly  

Variable Behavior of English Predicate Negation and its implications for acquisition

PONTE International Scientific Researchs Journal, 2016
Paul Juinn Bing Tan, Paul Juinn Bing Tan, Phillip Potamites   +2 more
openaire   +2 more sources