808 search results - page 83 / 162 » What Is Answer Set Programming |
INFOVIS
1995
IEEE
14 years 16 days ago
1995
IEEE
Visualizations which depict entire information spaces provide context for navigation and browsing tasks; however, the limited size of the display screen makes creating effective g...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate speciļ¬c functions or classes that meet a userās speciļ¬cations. The key words here are spec...
AAIP
2009
13 years 10 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
LPKR
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. Recently the ļ¬eld of theory update has seen some improvement, in what concerns model updating, by allowing updates to be speciļ¬ed by so-called revision programs. The ...