- The Next 700 Relational Program Logics
2019/07/11 by Kenji Maillard, Catalin Hritcu, Cătălin Hriţcu +6 · 5 citations
Computer Science · #Algorithm #Artificial intelligence #Class (philosophy) #Codd's theorem #Computer science #Conjunctive query #Correctness #Database #Distributed systems and fault tolerance #Hoare logic #Logic, programming, and type systems #Programming language #Relational algebra #Relational calculus #Relational database #Relational model #Relational theory #Security and Verification in Computing #Sketch #Statistical relational learning #Theoretical computer science #cs.CR #cs.LO #cs.PL
- Progress on a cognitive-motivational-relational theory of emotion.
1991/01/01 by Richard S. Lazarus · 2,515 citations
Neuroscience · Psychology · #Cognition #Cognitive Science and Education Research #Cognitive psychology #Cognitive science #Psychology #Relational theory #Social psychology