Sciweavers

503 search results - page 54 / 101
» Combining Description Logics, Description Graphs, and Rules
Sort
View
CIC
2004
101views Communications» more  CIC 2004»
13 years 9 months ago
Lexicons in TIL and Verb Valency Frames
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
Ales Horák, Karel Pala
SIGIR
2004
ACM
14 years 1 months ago
A logic-based approach for computing service executions plans in peer-to-peer networks
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
Henrik Nottelmann, Norbert Fuhr
IWUC
2004
13 years 9 months ago
Mobile Agent System for Web Services Integration in Pervasive Networks
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahar...
CORR
2011
Springer
190views Education» more  CORR 2011»
12 years 11 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
MICCAI
2008
Springer
14 years 9 months ago
A Hybrid System for the Semantic Annotation of Sulco-Gyral Anatomy in MRI Images
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
Ammar Mechouche, Xavier Morandi, Christine Golbr...