Sciweavers

1588 search results - page 57 / 318
» On the Logic of Constitutive Rules
Sort
View
JOLLI
1998
103views more  JOLLI 1998»
15 years 6 months ago
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
Joeri Engelfriet, Jan Treur
TIME
2008
IEEE
16 years 1 months ago
Moving Spaces
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
Ivo Düntsch, Michael Winter
DSOM
2006
Springer
15 years 10 months ago
CMDB - Yet Another MIB? On Reusing Management Model Concepts in ITIL Configuration Management
According to ITIL, a CMDB (Configuration Management Database), containing a logical model of the IT infrastructure, forms the basis for effective and efficient IT Service Managemen...
Michael Brenner, Markus Garschhammer, Martin Saile...
BMCBI
2007
167views more  BMCBI 2007»
15 years 6 months ago
Applying negative rule mining to improve genome annotation
Background: Unsupervised annotation of proteins by software pipelines suffers from very high error rates. Spurious functional assignments are usually caused by unwarranted homolog...
Irena I. Artamonova, Goar Frishman, Dmitrij Frishm...
ISIPTA
2003
IEEE
16 years 2 days ago
Combining Belief Functions Issued from Dependent Sources
Dempster’s rule for combining two belief functions assumes the independence of the sources of information. If this assumption is questionable, I suggest to use the least speciļ¬...
Marco E. G. V. Cattaneo