6740 search results - page 429 / 1348 » Using Classification as a Programming Language |
145
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
247
Voted
Book
"As an experienced developer on the Java platform, you undoubtedly know how fast moving and comprehensive the platform is. Its many application programming interfaces (APIs) p...
239
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...
135
Voted
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
156
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...