<style type="text/css"><!-- #headings { float:none; } #chumpings { float:left; width: 70%; } #navings { float:right; width: 20%; } #searches { float:right; width: 20%; } #blurb { float:right; width: 20%; } --></style>
scriborg


paolo mancarella

zool: mm, spatio-temporal reasoning

logic programming at imperial

Abductive Logic Agent System

zool: also abductive proof procedures for agents

zool: there's something really nice in this, and quite a lot of it out there

zool: /me blinks at metameaning in abduction.org

















Run by the Daily Chump bot.