Sciweavers

9145 search results - page 43 / 1829
» Description Logic Systems
Sort
View
98
Voted
ICTAI
2008
IEEE
15 years 7 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
96
Voted
ML
1998
ACM
115views Machine Learning» more  ML 1998»
15 years 4 days ago
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
Paul W. Finn, Stephen Muggleton, David Page, Ashwi...
82
Voted
IJAR
2010
107views more  IJAR 2010»
14 years 11 months ago
Fuzzy Description Logics and t-norm based fuzzy logics
Àngel García-Cerdaña, Eva Arm...