Sciweavers

662 search results - page 67 / 133
» Computing the Temporal Structure of Events in Natural Langua...
Sort
View
LOGCOM
2008
81views more  LOGCOM 2008»
15 years 18 days ago
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
124
Voted
SEMCO
2009
IEEE
15 years 7 months ago
Conceptual Space Markup Language (CSML): Towards the Cognitive Semantic Web
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
Benjamin Adams, Martin Raubal
94
Voted
FECS
2006
152views Education» more  FECS 2006»
15 years 2 months ago
Infusing Critical Thinking Skill Compare and Contrast into Content of Data Structures Course
This paper describes some of our efforts in infusing the critical thinking skill of comparing and contrasting into a course on data structures. Comparing and contrasting is the pr...
M. R. K. Krishna Rao, Muhammad Shafique, Kanaan A....
105
Voted
AI
2004
Springer
15 years 15 days ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
146
Voted
LFCS
2009
Springer
15 years 7 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera