24 search results - page 1 / 5 » A Unified Framework for Class-Based Representation Formalism... |
KR
1994
Springer
14 years 3 months ago
1994
Springer
KRDB
2003
14 years 7 days ago
2003
Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme,...
CORR
2012
Springer
12 years 6 months ago
2012
Springer
Recent work has led to the development of an elegant theory of Linearly Solvable Markov Decision Processes (LMDPs) and related Path-Integral Control Problems. Traditionally, LMDPs...
BMCBI
2004
13 years 10 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
APN
2001
Springer
14 years 3 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...