764 search results - page 74 / 153 » On the Expressibility of Stable Logic Programming |
200
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
121
click to vote
ILP
2007
Springer
15 years 6 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
113
click to vote
ICALP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...
108
click to vote
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
196
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...