1127 search results - page 129 / 226 » Theory Extension in ACL2(r) |
172
click to vote
EON
2008
15 years 7 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
170
click to vote
AAAI
1998
15 years 7 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
167
click to vote
COLING
1994
15 years 7 months ago
1994
We present a new apl)roach , ilhlstrated by two algorithms> for parsing not only Finite SI.ate (:Iranlnlars but also Context Free Grainlnars and their extension, by means of fi...
116
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: DNA sequencing is now emerging as an important component in biomedical studies of diseases like cancer. Short-read, highly parallel sequencing instruments are expected...
182
click to vote
AIM
2006
15 years 6 months ago
2006
: This paper explores the use of the web to build trust among value web chains. Businesses tend to concentrate on the traditional tangible elements of the supply chain and ignore t...