2500 search results - page 281 / 500 » Logical Semantics of Modularisation |
144
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
167
click to vote
AINA
2007
IEEE
16 years 26 days ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
158
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
170
click to vote
AAAI
1994
15 years 7 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
174
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...