Sciweavers

3239 search results - page 325 / 648
» A Logical Process Calculus
Sort
View
125
Voted
AMAI
2006
Springer
15 years 4 months ago
A split-combination approach to merging knowledge bases in possibilistic logic
In this paper, we propose an adaptive approach to merging possibilistic knowledge bases that deploys multiple operators instead of a single operator in the merging process. The me...
Guilin Qi, Weiru Liu, David H. Glass, David A. Bel...
ML
1998
ACM
115views Machine Learning» more  ML 1998»
15 years 4 months 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...
KES
2010
Springer
15 years 2 months ago
Talking Biology in Logic, and Back
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...
Hasan Jamil
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 2 months ago
Using logic to handle conflicts between system, component, and infrastructure goals in complex robotic architectures
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
ICLP
1999
Springer
15 years 8 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy