1189 search results - page 77 / 238 » The Quotient of an Abstract Interpretation |
JURIX
2008
14 years 16 days ago
2008
Abstract. In the AVERs sense-making tool for crime analysis different types of information are represented in different ways. More precisely, narrative knowledge is represented in ...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
AML
2002
13 years 11 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
POPL
2007
ACM
14 years 11 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
ICLP
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...