2500 search results - page 21 / 500 » Logical Semantics of Modularisation |
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
118
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
JAIR
2008
14 years 10 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
POPL
2012
ACM
13 years 6 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
122
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...