2236 search results - page 330 / 448 » Language Independence and Language Tolerance in Logic Progra... |
150
click to vote
IGPL
2008
15 years 5 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
178
click to vote
PPSWR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
177
click to vote
GRID
2003
Springer
15 years 11 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
167
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
188
click to vote
MUC
1992
15 years 10 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...