Skip to main content
Computer Science
TomR's user avatar
TomR's user avatar
TomR's user avatar
TomR
  • Member for 10 years, 4 months
  • Last seen more than 1 year ago
Profile Activity

Stats

1,411
reputation
18k
reached
1
answer
68
questions
Communities
View all

Badges

View all badges
This user doesn’t have any gold badges yet.
8
silver badges
17
bronze badges

Top tags

View all tags
1
Score
13
Posts
19
Posts %
1
Score
11
Posts
16
Posts %
1
Score
8
Posts
12
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
question
11
Are there parallel matrix exponentiation algorithms that are more efficient than sequential multiplication?
Aug 16, 2016
question
7
Framework or tools to generate theorem prover/solver/reasoner for new logic
Sep 18, 2016
question
6
Lambda calculus as the language of universal logic - connectives vs functions in lambda calculus?
Jan 15, 2018
question
6
Is there relation between K-Framework and structural operational semantics?
Sep 29, 2016
question
6
Do we have knowledge bases only because the logics are not automated enough?
Sep 25, 2017
question
5
The importance of the language semantics for code generation and frameworks for code generation in model-driven development
Apr 10, 2016
question
5
How logic programming (especially ASP) is related to the reasoning in (first-order) logic?
Oct 25, 2017
question
5
Can lambda-calculus be used for knowledge representation?
Jul 25, 2017
question
5
What we lack to do automatic programming?
Dec 5, 2016
question
4
What kind of formal semantics can describe HTML and CSS?
Oct 17, 2016

Top network posts

View all network posts
25
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?
15
How to see org.codehaus.jackson log messages - using logging.properties
14
What is Catholic "Gold ring mass"? What kind of liturgy it is?
13
Good reference about approximate methods for solving logic problems