People who code: we want your input. Take the Survey
Computer Science
Profile Activity
Meta user
Network profile
1,329
reputation
6
13

TomR

Apparently, this user prefers to keep an air of mystery about them.

1
answer
69
questions
~10k
people reached
  • Member for 5 years, 10 months
  • 94 profile views
  • Last seen May 22 at 17:23

Communities (68)

Top network posts

Top tags (85)

Score 1
Posts 13
Posts % 19
Score 1
Posts 11
Score 1
Posts 8
Score 0
Posts 30
Score 0
Posts 14
Score 0
Posts 10
View all tags →

Top posts (70)

All Questions Answers
Votes Newest
11 Are there parallel matrix exponentiation algorithms that are more efficient than sequential multiplication? Aug 16 '16
6 Do we have knowledge bases only because the logics are not automated enough? Sep 25 '17
6 Is there relation between K-Framework and structural operational semantics? Sep 29 '16
6 Framework or tools to generate theorem prover/solver/reasoner for new logic Sep 18 '16
5 Lambda calculus as the language of universal logic - connectives vs functions in lambda calculus? Jan 15 '18
5 Can lambda-calculus be used for knowledge representation? Jul 25 '17
5 What we lack to do automatic programming? Dec 5 '16
5 The importance of the language semantics for code generation and frameworks for code generation in model-driven development Apr 10 '16
4 How logic programming (especially ASP) is related to the reasoning in (first-order) logic? Oct 25 '17
4 Quantum algorithms for logical inference - reference request? Sep 27 '17
View all questions and answers →

Badges (19)

Gold

—

Silver

6

Rarest

Bronze

13

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.