1269 search results - page 67 / 254 » Pi-Calculus in Logical Form |
133
Voted
CONCUR
2011
Springer
14 years 13 days ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
116
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
171
click to vote
VLDB
2007
ACM
16 years 26 days ago
2007
ACM
When integrating data from heterogeneous sources, it is often necessary to transform both the schemas and the data from the underlying sources in order to present the integrated d...
125
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...
KR
2004
Springer
15 years 6 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...