2414 search results - page 331 / 483 » Reasoning Support for OWL-E |
175
click to vote
GECCO
2004
Springer
16 years 8 days ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
167
click to vote
ICGI
2004
Springer
16 years 8 days ago
2004
Springer
State Merging algorithms, such as Rodney Price’s EDSM (Evidence-Driven State Merging) algorithm, have been reasonably successful at solving DFA-learning problems. EDSM, however, ...
194
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
220
click to vote
MATA
2004
Springer
16 years 7 days ago
2004
Springer
Applications for mobile devices have some restrictions because of the limited capabilities and heterogeneity of these devices. However, their communication capabilities allow the d...
198
click to vote
NMR
2004
Springer
16 years 7 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...