352 search results - page 65 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
122
Voted
ECML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
123
Voted
ASE
2004
15 years 2 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
105
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
105
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
126
Voted
VMCAI
2010
Springer
16 years 1 hour ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...