590 search results - page 32 / 118 » Non-Failure Analysis for Logic Programs |
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
JSC
2010
13 years 6 months ago
2010
We study the automated veriļ¬cation of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness speciļ¬cati...