1359 search results - page 47 / 272 » Black-Box Program Specialization |
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
SIGCSE
2009
ACM
14 years 1 months ago
2009
ACM
This special session will proved information about the status of work related to Masters programs in Computing. Specifically, the session will describe work completed in the follo...
AIIA
1997
Springer
14 years 26 days ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
ISSAC
1995
Springer
14 years 7 days ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
IASTEDSEA
2004
13 years 10 months ago
2004
Instance orientation is an approach for designing and programming software systems. It addresses a limitation of current software architectures: it allows multiple higherlevel vie...