Skip to main content
Computer Science
TomR's user avatar
TomR's user avatar
TomR's user avatar
TomR
  • Member for 9 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
1,401
reputation
15k
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
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
How logic programming (especially ASP) is related to the reasoning in (first-order) logic?
Oct 25, 2017
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