884 search results - page 71 / 177 » Using Nested Logic Programs for Answer Set Programming |
ICML
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
AAAI
1994
15 years 1 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
101
click to vote
ILP
2003
Springer
15 years 5 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
EUROPAR
1999
Springer
15 years 4 months ago
1999
Springer
This paper describes a tiling technique that can be used by application programmers and optimizing compilers to obtain I/O-efficient versions of regular scientific loop nests. Du...