7167 search results - page 342 / 1434 » Answer Set Programming |
157
click to vote
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...
111
click to vote
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
167
click to vote
ISOOMS
1994
15 years 7 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
136
click to vote
FOSSACS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
129
click to vote
IDEAL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...