Sciweavers

JAIR
2006
89views more  JAIR 2006»
13 years 9 months ago
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
Philippe Adjiman, Philippe Chatalic, Franço...
FSS
2006
154views more  FSS 2006»
13 years 9 months ago
Sequential Adaptive Fuzzy Inference System (SAFIS) for nonlinear system identification and prediction
In this paper, a Sequential Adaptive Fuzzy Inference System called SAFIS is developed based on the functional equivalence between a radial basis function network and a fuzzy infer...
Hai-Jun Rong, N. Sundararajan, Guang-Bin Huang, P....
FUZZIEEE
2007
IEEE
13 years 11 months ago
Transformation of a Mamdani FIS to First Order Sugeno FIS
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...
Javad Jassbi, S. H. Alavi, Paulo J. A. Serra, Rita...
ASWC
2006
Springer
14 years 1 months ago
Minerva: A Scalable OWL Ontology Storage and Inference System
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
Jian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu...
ESOP
1994
Springer
14 years 1 months ago
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
Torben Amtoft
LICS
2003
IEEE
14 years 2 months ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin
UM
2007
Springer
14 years 3 months ago
Exploiting Evidence Analysis in Plan Recognition
Information graphics, such as bar charts and line graphs, that appear in popular media generally have a message that they are intended to convey. We have developed a novel plan inf...
Sandra Carberry, Stephanie Elzer
CIARP
2007
Springer
14 years 3 months ago
Dynamic Penalty Based GA for Inducing Fuzzy Inference Systems
Abstract. Fuzzy based models have been used in many areas of research. One issue with these models is that rule bases have the potential for indiscriminant growth. Inference system...
Tomás Arredondo Vidal, Félix V&aacut...
WWW
2004
ACM
14 years 10 months ago
A diagrammatic inference system for the web
We developed a diagrammatic inference system for the World Wide Web. Our system enables the creation of diagrams such that the information contained in them can be searched and in...
Michael Wollowski, Peter Nei, Chris Barrell