39 search results - page 1 / 8 » Logic Representation of Programs to Detect Arithmetic Anomal... |
EUROMICRO
2000
IEEE
13 years 9 months ago
2000
IEEE
DSOM
2003
Springer
13 years 10 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
AMAI
2005
Springer
13 years 4 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
COMMA
2008
13 years 6 months ago
2008
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...
AMAI
2004
Springer
13 years 8 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...