2253 search results - page 231 / 451 » The ComFoRT Reasoning Framework |
116
click to vote
LOGCOM
2008
14 years 11 months ago
2008
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...
JODS
2006
14 years 11 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
KES
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Zebra dove's voice competition has become more popular in Thailand and many other South East Asian countries. Even though there are specific judging rules to follow,...
SCP
2008
14 years 11 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
IGPL
2007
14 years 11 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...