458 search results - page 80 / 92 » An Algebraic Approach to Sharing Analysis of Logic Programs |
LOPSTR
1998
Springer
14 years 27 days ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
CP
2006
Springer
14 years 13 days ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
PKDD
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
PAM
2012
Springer
12 years 4 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...