Sciweavers

7075 search results - page 372 / 1415
» Models and heterogeneous reasoning
Sort
View
DLOG
2009
15 years 4 months ago
Explaining by Example: Model Exploration for Ontology Comprehension
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
Johannes Bauer, Ulrike Sattler, Bijan Parsia
ICLP
2009
Springer
16 years 7 months ago
Generative Modeling by PRISM
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
Taisuke Sato
AINA
2009
IEEE
16 years 1 months ago
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
Oliver Ray
172
Voted
LICS
2005
IEEE
16 years 12 days ago
Ludics Nets, a game Model of Concurrent Interaction
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
Claudia Faggian, François Maurel
IWANN
2001
Springer
15 years 11 months ago
Neuronal Models with Current Inputs
We propose a novel approach based upon a superposition of ‘colored’ and ‘white’ noise to approximate current inputs in neural models. Numerical results show that the novel ...
Jianfeng Feng