Sciweavers

7124 search results - page 513 / 1425
» Programming Languages and Operating Systems
Sort
View
DBPL
1987
Springer
113views Database» more  DBPL 1987»
15 years 11 months ago
Orderings and Types in Databases
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
Atsushi Ohori
240
Voted
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 9 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
185
Voted
CCIA
2005
Springer
16 years 1 months ago
On Warranted Inference in Possibilistic Defeasible Logic Programming
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
Carlos Iván Chesñevar, Guillermo Ric...
195
Voted
KI
2007
Springer
16 years 1 months ago
Proposal of Generalized Rule Programming Model
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
Grzegorz J. Nalepa, Igor Wojnicki
178
Voted
KDD
2008
ACM
146views Data Mining» more  KDD 2008»
16 years 8 months ago
Constraint programming for itemset mining
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
Luc De Raedt, Tias Guns, Siegfried Nijssen