2500 search results - page 339 / 500 » Logical Semantics of Modularisation |
161
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
194
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
177
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
179
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
204
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...