7715 search results - page 662 / 1543 » Visual Rules Modeling |
181
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
190
click to vote
RIDE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object m...
185
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
264
click to vote
COLT
1994
Springer
15 years 11 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
150
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
In this paper, some considerations on extension of the Datalog language are proposed in order to apply this language on a GEFRED fuzzy relational database. For this integration, w...