Knowledge Adaptation and Reasoning for Content

The ability to represent knowledge about the world and to draw logical inferences is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.

Recent blog and wiki posts

These are the two most recent headlines; see our blog and wiki page for more details. Click on the [+] to see a preview of the a post. Click on the title of a post to go to the blog and read the whole post.

• [+] Scientific writing with Emacs: style-check and writegood-mode (Christoph in “KWARC was!”, 25 Feb)
  
  Today I discovered a nice tool for improving your scientific writing: Neil Spring’s style-check.rb. In a primitive but effective way (and aware of LaTeX markup!), it checks your document for the occurrence of typical style or syntax errors. These are implemented as a configurable list of regular expressions. style-check.rb reports any encountered errors like a [...]
• [+] User:BarbGirou (BarbGirou in MathWeb - Recent changes [en], 25 May)
  

  New user account