2672 search results - page 474 / 535 » Hybridizing Concept Languages |
MMM
2010
Springer
14 years 13 days ago
2010
Springer
In recent years, we have witnessed the blooming of Web 2.0 content such as Wikipedia, Flickr and YouTube, etc. How might we benefit from such rich media resources available on the...
SPATIALCOGNITION
2000
Springer
14 years 11 days ago
2000
Springer
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...
TABLEAUX
2000
Springer
14 years 11 days ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
WEBDB
2000
Springer
14 years 11 days ago
2000
Springer
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
ICLP
1995
Springer
14 years 11 days ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...