1588 search results - page 92 / 318 » On the Logic of Constitutive Rules |
156
click to vote
COLING
1992
15 years 7 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
192
click to vote
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
162
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
214
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
186
click to vote
SAS
2007
Springer
16 years 13 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...