Sciweavers

2490 search results - page 43 / 498
» Complexity of Contextual Reasoning
Sort
View
LFCS
2009
Springer
15 years 10 months ago
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
Uwe Keller, Stijn Heymans
115
Voted
AAAI
2007
15 years 5 months ago
Reasoning about Attribute Authenticity in a Web Environment
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
Thomas Wölfl
130
Voted
IAT
2010
IEEE
15 years 28 days ago
Predictive Analytics Using a Blackboard-Based Reasoning Agent
Significant increase in collected data for investigative tasks and the increased complexity of the reasoning process itself have made investigative analytical tasks more challengi...
Jia Yue, Anita Raja, William Ribarsky
124
Voted
CSL
2007
Springer
15 years 3 months ago
Modeling durations of syllables using neural networks
In this paper, we propose a neural network model for predicting the durations of syllables. A four layer feedforward neural network trained with backpropagation algorithm is used ...
K. Sreenivasa Rao, B. Yegnanarayana
109
Voted
IJIS
2002
79views more  IJIS 2002»
15 years 3 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur