5671 search results - page 850 / 1135 » A Semantic Approach to Interpolation |
218
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
151
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
183
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
170
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
177
click to vote
ICANN
2003
Springer
15 years 12 months ago
2003
Springer
The concept of semantic and context aware intelligent systems provides a vision for the Information Society where the emphasis lays on computing applications that can sense context...