2236 search results - page 330 / 448 » Language Independence and Language Tolerance in Logic Progra... |
127
click to vote
IGPL
2008
15 years 3 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...
149
Voted
PPSWR
2005
Springer
15 years 9 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...
144
click to vote
GRID
2003
Springer
15 years 9 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...
138
click to vote
ISSTA
2010
ACM
15 years 8 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...
158
click to vote
MUC
1992
15 years 8 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...