Sciweavers

3032 search results - page 430 / 607
» Description Logic Rules
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 10 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
98
Voted
WWW
2004
ACM
16 years 1 months ago
Using semantic web approach in augmented audio reality system for museum visitors
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...
Leila Kalantari, Marek Hatala, Jordan Willms
ICLP
2009
Springer
16 years 1 months ago
Answer Set Programming for Single-Player Games in General Game Playing
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
Michael Thielscher
123
Voted
CICLING
2009
Springer
15 years 7 months ago
The Value of Weights in Automatically Generated Text Structures
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...
Dana Dannélls
103
Voted
C5
2008
IEEE
15 years 7 months ago
SophieScript - Active Content in Multimedia Documents
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
Jens Lincke, Robert Hirschfeld, Michael Rüger...