593 search results - page 39 / 119 » RDF and Logic: Reasoning and Extension |
106
click to vote
TPHOL
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
127
Voted
IJSSE
2011
14 years 7 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
134
click to vote
CADE
1992
Springer
15 years 4 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
112
Voted
CAEPIA
2009
Springer
15 years 1 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
127
click to vote
JLP
2007
15 years 14 days ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...