Sciweavers

503 search results - page 35 / 101
» A multivalued knowledge-base model
Sort
View
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
14 years 4 months ago
Feed forward initialization of hysteretic systems
Abstract-- The paper analyzes a strategy to force stepconvergent dynamical hysteretic systems to a well-defined output value using only feed forward. Due to the multi-valued input-...
Patrick J. van Bree, C. M. M. van Lierop, P. P. J....
ECAI
2004
Springer
15 years 3 months ago
An architecture based on semantic weblogs for exploring the Web of People
This paper presents an architecture that helps users to collect and qualify meta-information about web resources within a weblog and then share them with a group of people. Our arc...
Tuan-Anh Ta, Jean-Marc Saglio, Michel Plu
IJIT
2004
14 years 11 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo
ML
2006
ACM
131views Machine Learning» more  ML 2006»
14 years 9 months ago
Markov logic networks
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
Matthew Richardson, Pedro Domingos
APN
2000
Springer
15 years 1 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...