Computer Science
TomR
  • Member for 6 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
1,341
reputation
11k
reached
1
answer
69
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
13
bronze badges
Top tags
View all tags
1
Score
13
Posts
19
Posts %
1
Score
11
Posts
16
Posts %
1
Score
8
Posts
11
Posts %
0
Score
30
Posts
43
Posts %
0
Score
14
Posts
20
Posts %
0
Score
10
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
11
Are there parallel matrix exponentiation algorithms that are more efficient than sequential multiplication?
Aug 16 '16
7
Framework or tools to generate theorem prover/solver/reasoner for new logic
Sep 18 '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
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
Top network posts
View all network posts
24
Is it normal design to completely decouple backend and frontend web applications and allow them to communicate with (JSON) REST API?
17
Is there definitive, authoritative scientific/academic consensus about the sustainability and greenness of nuclear energy?
14
How to see org.codehaus.jackson log messages - using logging.properties
13
Good reference about approximate methods for solving logic problems
12
English idiomatic proverb that expresses "work makes the doer"?

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.