Martin Berger
  • Member for 11 years, 5 months
  • Last seen this week
Is there good open source project that apply semantic web, modal logics, and similar technologies
1 votes

Not open source, but the AI engines of some successful computer games are based on modal logic, see e.g. "Using Exclusion Logic to Model Social Practices" and "Introducing Exclusion Logic as a Deontic ...

View answer
Comparing co-primes
Accepted answer
0 votes

This is a really interesting question. I cannot see a way to use the prime factorisations of integers to speed up comparison w.r.t. <, =, >. Here is my intuition about why it should be difficult ...

View answer
Proof of correctness of in-place Quick sort
0 votes

Tobias Nipkow has formalised a proof in Isabelle/HOL, have a look here (I didn't check that this is the right proof, don't have time right now and I'm not super familiar with Isabelle/HOL, please ...

View answer
1 2 3
4