Skip to main content
Mathematics
Joshua Taylor's user avatar
Joshua Taylor's user avatar
Joshua Taylor's user avatar
Joshua Taylor
  • Member for 11 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
2,481
reputation
104k
reached
43
answers
6
questions
Communities
View all
About

I am an artificial intelligence and knowledge engineer working in cyber-security research.

Most of my activity has been in Lisp and Semantic Web related topics, with tag badges for:

Non-tag badges:

Badges
View all badges
This user doesn’t have any gold badges yet.
17
silver badges
35
bronze badges
Top tags
View all tags
167
Score
42
Posts
86
Posts %
47
Score
9
Posts
18
Posts %
44
Score
18
Posts
37
Posts %
34
Score
4
Posts
8
Posts %
31
Score
3
Posts
6
Posts %
16
Score
3
Posts
6
Posts %
Top posts
View all questions and answers
34
Why is this true? $(\exists x)(P(x) \rightarrow (\forall y) P(y))$
Jun 5, 2013
29
What's the point of modal logic?
Jun 11, 2013
18
categorical interpretation of quantification
Aug 14, 2013
16
Tricks for Constructing Hilbert-Style Proofs
Apr 28, 2013
10
Some doubts about the differences between logic implication and inference rule
Jun 7, 2013
7
name of the unit of adjunction between $-\times C$ and $\cdot^C$
Sep 7, 2013
7
Every sentence in propositional logic can be written in Conjunctive Normal Form
May 3, 2013
6
distribution of categorical product (conjunction) over coproduct (disjunction)
Apr 30, 2013
5
Simplifying a categorical proof of constructive dilemma
Jun 30, 2014
5
Are axioms and rules of inference interchangeable?
Apr 18, 2013
Top network posts
View all network posts
134
The MIT License – Clarity on Using Code on Stack Overflow and Stack Exchange
68
Difference between binary search and binary search tree?
64
What is the difference between DatatypeProperty, ObjectProperty, & FunctionalProperty, and when should I use them?
60
Why did SQL injection prevention mechanism evolve into the direction of using parameterized queries?
55
Aggregating results from SPARQL query