BibSonomy :: user :: ludaesch ::

The blue social bookmark and publication sharing system.

bookmarks

(7)

<< < 1 > >>

The Openproof Project at CSLI
to teaching logic by ludaesch on Mar 31, 2009, 5:18 PM
(0)
Barry Smith, New York State Center of Excellence in Bioinformatics and Life Sciences, Buffalo
to Barry_Smith bioinformatics ecs268wq08 logic ontology people philosophy by ludaesch and 2 other users on Jan 24, 2008, 6:09 PM
(0)
Thomas Eiter's Home Page
to logic people by ludaesch and 1 other user on Jun 19, 2007, 3:40 PM
(0)
CONTEXT 07
to constraints logic by ludaesch on May 23, 2007, 12:29 PM
(0)
Michael Simon Babenberger - Wie Wittgenstein das Rechnen verlernte - Perlentaucher.de, Kultur und Literatur Online
to logic philosophy by ludaesch on May 19, 2007, 11:44 PM
(0)
Home page of Peter Baumgartner
to deduction logic people by ludaesch on Feb 5, 2007, 9:43 AM
(0)
A Complete Classification of Tractability in RCC-5 - Jonsson, Drakengren (ResearchIndex)
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The sati...
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RCC-5 is known to be NP-complete but not much is known about its approximatel
to 4dave logic reasoning spatial-algebra taxonomy by ludaesch on Jan 6, 2007, 5:15 AM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

(4)

<< < 1 > >>

<< < 1 > >>publications per page: 5 10 20 50 100