1588 search results - page 253 / 318 » On the Logic of Constitutive Rules |
116
click to vote
RTA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
122
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
137
click to vote
BTW
2007
Springer
15 years 7 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
105
click to vote
PADL
2007
Springer
15 years 7 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
115
click to vote
PKDD
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...