Sciweavers

2962 search results - page 126 / 593
» Reasoning on Association Rules
Sort
View
NIPS
2003
15 years 7 months ago
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
Artur S. d'Avila Garcez, Luís C. Lamb
CIB
2005
101views more  CIB 2005»
15 years 6 months ago
Association-Based Segmentation for Chinese-Crossed Query Expansion
The continually and high-rate growth of China's economy has attracted more and more international investors. These investors have an urgent need of identifying patterns in Chi...
Chengqi Zhang, Zhenxing Qin, Xiaowei Yan
WEBI
2004
Springer
15 years 11 months ago
Adaptation and Personalization in Web-based Learning Support Systems
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...
Lisa Fan
EACL
1993
ACL Anthology
15 years 7 months ago
LFG Semantics via Constraints
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
Mary Dalrymple, John Lamping, Vijay A. Saraswat
TLCA
2009
Springer
16 years 26 days ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer