808 search results - page 83 / 162 » What Is Answer Set Programming |
121
click to vote
INFOVIS
1995
IEEE
15 years 5 months 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...
164
Voted
CSL
2007
Springer
15 years 8 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 ļ...
94
Voted
ICSE
2009
IEEE-ACM
15 years 9 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...
171
click to vote
AAIP
2009
15 years 3 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 ...
118
click to vote
LPKR
1997
Springer
15 years 6 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 ...