3032 search results - page 273 / 607 » Description Logic Rules |
153
click to vote
JOLLI
2011
14 years 11 months ago
2011
We define and study a calculus of discontinuity, a version of displacement calculus, which is a logic of segmented strings in exactly the same sense that the Lambek calculus is a ...
105
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
115
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
132
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
A non-uniform cellular automata-based model is presented for the evolutionary development of digital circuits at the gate level. The main feature of this model is the modified lo...
138
click to vote
MMMACNS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...