2395 search results - page 375 / 479 » Reasoning in Semantic Wikis |
153
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
206
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
162
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
161
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
125
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...