Search Sciweavers | Sciweavers

17054 search results - page 208 / 3411

» Logics of Dynamical Systems

182

click to vote

ML
1998
ACM

115views Machine Learning» more ML 1998»

Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL

15 years 6 months ago

Download reference.kfupm.edu.sa

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...

claim paper

Read More »

188

click to vote

ICRA
2010
IEEE

116views Robotics» more ICRA 2010»

Using logic to handle conflicts between system, component, and infrastructure goals in complex robotic architectures

15 years 5 months ago

Download hri.cogs.indiana.edu

Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...

Paul W. Schermerhorn, Matthias Scheutz

claim paper

Read More »

176

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

16 years 1 months ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper