1102 search results - page 22 / 221 » Generalizing Updates: From Models to Programs |
83
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
107
click to vote
ML
2008
ACM
15 years 10 days ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
89
Voted
DBPL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
ICFP
2006
ACM
16 years 11 days ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
108
click to vote
SMA
2003
ACM
15 years 5 months ago
2003
ACM
Associativity between feature models implies the automatic updating of different feature models of a part after changes are made in one of its feature models. This is an importan...