3244 search results - page 486 / 649 » Extensions to Description Logics |
190
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
160
click to vote
AAAI
2008
15 years 9 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
177
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
175
click to vote
DLT
2008
15 years 8 months ago
2008
A tree automaton with global tree equality and disequality constraints, TAGED for short, is an automaton on trees which allows to test (dis)equalities between subtrees which may be...
162
click to vote
AAAI
2006
15 years 8 months ago
2006
Present developments in the natural sciences are providing enormous and challenging opportunities for various AI technologies to have an unprecedented impact in the broader scient...