- ARCHIVE / TAG ARCHIVE
- A Sneak Preview of Wolfram Alpha
It’s the new brainchild of Stephen Wolfram, author of Mathematica. It does look impressive in my opinion – can’t wait to try it live (due to launch some time in may)! Defined as a Computational Knowledge Engine. It does an awful lot of number-crunching but looks more as a giant closed database than a distributed […]
- Epistemic Logic
It’s nice when a few people’s interests happen to converge. You start tackling problems together, and learning as a group. This is what happened KMi recently with the Epistemic Logic interest group. We’ve decided to start a seminar, trying to make sense of the ‘epistemic logic‘ area and possibly draw some useful tips from it. […]
- How semantic is the semantic web?
Just read this article thanks to a colleague: I share pretty much everything it says about the SW, so I though it wouldn’t be too bad to pass it on to the next reader. Basically, it is about some very fundamental issues: what do we mean by semantics? Does a computer have semantics? If not, […]
Parerga und Paralipomena / At the core of all well-founded belief lies belief that is unfounded – Wittgenstein
