2696 search results - page 354 / 540 » Semantic Abstraction and Anaphora |
137
click to vote
KES
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The growing availability of GPS and localization technologies in general opens up new challenges regarding the use of position information for Location Based Services. As...
159
click to vote
KI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
171
click to vote
LPNMR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
196
click to vote
LPNMR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
151
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...