11740 search results - page 2153 / 2348 » More Problems in Rewriting |
155
click to vote
LPNMR
2007
Springer
16 years 21 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
167
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
Only few well-maintained domain ontologies can be found on the Web. The likely reasons for the lack of useful domain ontologies include that (1) informal means to convey intended m...
160
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
263
click to vote
SMALLTALK
2007
Springer
16 years 20 days ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
175
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...