5423 search results - page 744 / 1085 » Denial-of-service in automation systems |
193
Voted
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
214
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
180
click to vote
CSL
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
148
click to vote
ICCBR
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
197
Voted
ICCBR
2005
Springer
16 years 11 days ago
2005
Springer
CBR is one of the techniques that can be applied to the task of approximating a function over high-dimensional, continuous spaces. In Reinforcement Learning systems a learning agen...