Sciweavers

1087 search results - page 190 / 218
» Exploiting Description Logic Reasoners in Inductive Logic
Sort
View
ENTCS
2002
97views more  ENTCS 2002»
14 years 11 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
SEMWEB
2005
Springer
15 years 5 months ago
Representing Web Service Policies in OWL-DL
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
Vladimir Kolovski, Bijan Parsia, Yarden Katz, Jame...
IEE
2008
91views more  IEE 2008»
14 years 12 months ago
Story-driven approach to software evolution
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
Juergen Rilling, Wen Jun Meng, René Witte, ...
NGC
2006
Springer
102views Communications» more  NGC 2006»
14 years 11 months ago
Evaluation of Automatic Generation of Basic Stories
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
Federico Peinado, Pablo Gervás
DEXAW
2008
IEEE
91views Database» more  DEXAW 2008»
15 years 6 months ago
Dynamic Taxonomies for the Semantic Web
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
Pierre Allard, Sébastien Ferré