64 search results - page 7 / 13 » Presenting TSTP Proofs with Inference Web Tools |
CN
1999
13 years 7 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
AO
2011
13 years 1 months ago
2011
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
ICWE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
DEXAW
2005
IEEE
14 years 1 months ago
2005
IEEE
Despite the importance of analytical tools to organisations, they still lack the inference power needed to solve the requests of decision mak...