Sciweavers

1018 search results - page 155 / 204
» Integration with Ontologies
Sort
View
AAAI
2012
12 years 1 months ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla
PERCOM
2008
ACM
14 years 10 months ago
A Context Query Language for Pervasive Computing Environments
This paper identifies requirements for querying and accessing context information in mobile and pervasive computing environments. Furthermore it studies existing query languages s...
Roland Reichle, Michael Wagner, Mohammad Ullah Kha...
PERCOM
2006
ACM
14 years 10 months ago
Seamless Browsing of Visual Contents in Shared Learning Environments
This paper presents a new interaction technique for browsing large visual information bases in a collaborative environment. The ATELIER project deals with learning environments fo...
Marco Loregian, Kresimir Matkovic, Thomas Psik
NLDB
2005
Springer
14 years 4 months ago
Natural Language Processing: Mature Enough for Requirements Documents Analysis?
Requirements engineering is the Achilles’ heel of the whole software development process, because requirements documents are often inconsistent and incomplete. Misunderstandings ...
Leonid Kof
KI
2002
Springer
13 years 10 months ago
Description Logics for the Semantic Web
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
Franz Baader, Ian Horrocks, Ulrike Sattler