3424 search results - page 283 / 685 » Automated Testing of Classes |
182
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
189
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
172
click to vote
LPNMR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
200
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
193
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...