3321 search results - page 547 / 665 » The Future of Knowledge Representation |
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
Document clustering is a very hard task in Automatic Text Processing since it requires to extract regular patterns from a document collection without a priori knowledge on the cat...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
Structured link vector model (SLVM) is a recently proposed document representation that takes into account both structural and semantic information for measuring XML document simi...
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes the process of designing an authoring tool for virtual environments, using constructivist principles. The focus of the tool is on helping novice designers wit...